Non-generators in complete lattices and semilattices
Abstract
As well-known, in a finitary algebraic structure the set of all the non-generators is the intersection of all the maximal proper substructures. In particular, is a substructure. We show that the corresponding statements hold for complete semilattices but fail for complete lattices, when as the notion of substructure we take complete subsemilattices and complete sublattices, respectively.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.