Semiprime ideals in orthomodular lattices
Georges Chevalier · Czech digital mathematics library · 1988
We prove that, in an orthomodular lattice, an ideal is semiprime if and only if it contains the commutator ideal.This result allows us to characterize the distributivity of an orthomodular lattice.We also give some properties of kernels of conguence relations in orthomodular lattices.