Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
YCor's user avatar
  • 63.9k
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) ...
Mare's user avatar
  • 26.5k
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 ...
Tristan Bice's user avatar
  • 1,307
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 ...
Martin Rubey's user avatar
  • 5,792