Molecules and linearly ordered ideals of MV-algebras (Q1385188): Difference between revisions

By a molecule in an MV-algebra \(A\) the author means a nonzero element \(m\) the set of whose minorants in \(A\) forms a chain. He notes that a nonzero ideal \(I\) of \(A\) is linearly ordered iff every nonzero element of \(I\) is a molecule (Theorem 2.4). Also, \(m\) is a molecule iff the ideal of all elements orthogonal to \(m\) is prime (Theorem 2.2). Further (Theorem 2.8) if the Boolean skeleton of \(A\) is nontrivial then 1 cannot be a molecule -- simply because 1 will then have two incomparable nonzero minorants. The paper proceeds along similar lines, discussing the connections between molecules, Boolean elements, elements \(x\) such that \(2x\) is Boolean, atoms, elements \(x\) smaller or equal to \(\neg x\), essential and weakly essential ideals, ideals \(I\) such that \(A/I\) is Boolean (called ``implicative'' in this paper, and not to be confused with the implicative ideals introduced in the sixties and seventies by Antonio A. Monteiro and his school).