All Questions
4 questions
7
votes
1
answer
193
views
Free median algebras and maximal linked systems
$\DeclareMathOperator\MLS{MLS}$Recall that the median operation, on the power set $2^Y$ of subsets of a set $Y$, is the ternary law $m(A,B,C)$ mapping a triple of subsets to the set of elements ...
3
votes
0
answers
107
views
Do Frobenius algebras have a lattice basis and what lattices do appear?
Let $K$ be for simplicity be the field with two or three elements (or alternatively we could restrict to ideals containing only the field elements $-1$ or $1$ as coefficients).
A (commutative) ...
2
votes
1
answer
168
views
A non-orthomodular orthocomplemented lattice identity?
Assume you have an orthocomplemented (but possibly not orthomodular) lattice $L$. For $q,r\in L$ say "$q$ and $r$ are in position $p'$" to mean that $q\wedge r^\perp=0$ and $r\wedge q^\perp=0$. Is ...
16
votes
3
answers
10k
views
Proving that a poset is a lattice
I discovered experimentally that a certain finite poset (sorry, I cannot give its definition here) seems to be in fact a (non-distributive, non-graded) lattice. The covering relations are reasonably ...