The geometry of discrete L-algebras

The relationship of discrete L-algebras to projective geometry is deepened and made explicit in several ways. Firstly, a geometric lattice is associated to any discrete L-algebra. Monoids of I-type are obtained as a special case where the perspectivity relation is trivial. Secondly, the structure group of a non-degenerate discrete L-algebra X is determined and shown to be a complete invariant. It is proved that X set minus {1} is a projective space with an orthogonality relation. A new definition of non-symmetric quantum sets, extending the recursive definition of symmetric quantum sets, is provided and shown to be equivalent to the former one. Quantum sets are characterized as complete projective spaces with an anisotropic duality, and they are also characterized in terms of their complete lattice of closed subspaces, which is one-sided orthomodular and semimodular. For quantum sets of finite cardinality n > 3, a representation as a projective space with duality over a skew-field is given. Quantum sets of cardinality 2 are classified, and the structure group of their associated L-algebra is determined.