• Kyungpook Mathematical Journal
• /
• 제50권2호
• /
• pp.195-211
• /
• 2010

Let A be a locally finite total algebra of finite type such that $k^A(a_1,\cdots,a_n)\;{\neq}\;a_i$ ai for every operation $k^A$, elements $a_1,\cdots,a_n$ an and $1\;\leq\;i\;\leq\;n$. We show that the weak subalgebra lattice of A uniquely determines its (strong) subalgebra lattice. More precisely, for any algebra B of the same finite type, if the weak subalgebra lattices of A and B are isomorphic, then their subalgebra lattices are also isomorphic. Moreover, B is also total and locally finite.

• 대한수학회논문집
• /
• 제12권3호
• /
• pp.513-519
• /
• 1997

We show that each orthomodular lattice containing only atomic nonpath-connected blocks is a full subalgebra of an irreducible path-connected orthomodular lattice and there is a path-connected orthomodualr lattice L containing a weakly path-connected full subalgebra C(x) for some element x in L.

• 대한수학회보
• /
• 제46권5호
• /
• pp.845-856
• /
• 2009

A block of an orthomodular lattice L is a maximal Boolean subalgebra of L. A site is a subalgebra of an orthomodular lattice L of the form S = A $\cap$ B, where A and B are distinct blocks of L. An orthomodular lattice L is called with finite sites if |A $\cap$ B| < $\infty$ for all distinct blocks A, B of L. We prove that there exists a weakly path-connected orthomodular lattice with finite sites which is not path-connected and if L is an orthomodular lattice such that the height of the join-semilattice [ComL]$\vee$ generated by the commutators of L is finite, then L is pathconnected.

• 대한수학회보
• /
• 제31권1호
• /
• pp.61-72
• /
• 1994

Every irreducible block-finite orthomodular lattice is simple [9] and every irreducible orthomodular alttice such that no proper p-ideal of L contains infinitely many commutators is simple [5]. Every finite (height) OML L which does not belong to the varitety generated by MO2 has one of the OML MO3, 2$^{3}$.2$^{2}$, D$_{16}$ OMLHOUSE as the homomorpyhic image of a subalgebra of L [3]. In this paper, we extend these results.s.