Algebra Seminar talk

2025-01-31
Adam Madejski
Über den freien orthomodularen Verband mit zwei Erzeugenden

Abstract:
We outline the fundamentals of the theory of orthomodular lattices before deriving the structure and basic properties of the free orthomodular lattice with two generators. We then introduce a notation proposed by Mirko Navara for the elements of this lattice, and extend its original scope to a novel form of arithmetic in orthomodular lattices.