Fred Wehrung and the dragon

George Hutchinson's book on lattices of Submodules

Recent work of Vincent Duquenne

Mathematik fuer Neugierige: Ein alternativer Mathe-Vorkurs - von Jon Nedelmann

Niklas Niemann: On linear representations of *-regular rings having representable ortholattice of projections

Classroom notes

Geometrie fuer Lehramt

Logik und Allgemeine Algebra fuer Informatiker 2001

Lineare Algebra fuer Physiker 2001

Modules and presentations

Einfuehrung in die Algebra SS 2010

Einfuehrung in die Algebra SS 2006

Publications

Annotated list of papers 2010 and earlier

Arguesian lattices: in Encycopedia of Math.

Arguesian lattices: in Encycopedia of Math.

1972--1979

On modular latices with 4 generators , with A.Day and R.Wille (AU 1972)

Modulare Verbaende von Laenge hoestens 6 , Houston Confercence 1973

On the equational theory of submodule lattices , Houston Confercence 1973

S-verklebte Summen von Verbaenden , Math.Z. 1973

Weak (projective) radius and finite equational bases for classes of lattices , AU 1973

The class of sublattices of normal subgroup lattices is not elementary, with W.Poguntke (AU 1974) ,

Erratum: On quadruples of normal subgroups /a> (Ulm 1975)

On modular lattices generated by 1+2+2, with M.Kindermann and R.Wille, (AU 1975) ,

Concerning M.M-Gluhov`s paper on the word problem for free modular lattices (AU 1975) ,

Zum Wortproblem fuer freie Untermodulverbaende , mit A.Huhn (Arch. Math, 1975)

Zum Begriff der Charakeristik modularer Verbaende mit A.Huhn , (Math.Z. 1975)

On modular lattices generated by two complemented pairs (Houston J. 1976) ,

Affine algebra in congruence modular varieties , (Acta Sci. Math 1978)

A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity. , with J.Hagemann (Arch. Math 1979)

A condition sufficient for distributivity of lattices linear of subspaces , (Arch. Math. 1979)

Algebras in modular varieties: Baer refinements, cancellation and isotopy , with H.P.Gumm (Houston J. . Math. 1979)

1980--1989

Applications 0f Model Theory to Representations of finite-dimesnional algebras with Ch.U. Jensem and H.Lenzing (Math.Z. 1981)

Projective geometry on partially ordered sets , with U.Faigle (TAMS 1981 )

On some identities valid in modular congruence varieties, with R.Freese and A.Huhn , (AU 1981)

A parameter for subdirectly irreducible modular lattices with four generators (Acta Sci. Math 1981) ,

On the arithmetic of projective coordinate systems , (TAMS 1984)

On the word problem for the modular lattice with four free generators (Annalen Math 1984) ,

On elementary arguesian lattices with 4 generators (AU 1984)

Frames of permuting equivalences (Acta Sci.Math 1987)

The Classification od subspaces in Hermitean vector spaces, with Herbert Gross and Remo Moresi (J. Algebra 105, 1987)

Gluings of modular lattices, with Alan Day (Order 5 1988)

1990--1999

Acyclic modular lattices and their representations with M.Wild, (J-Algebra 136 1991)

Galois lattices (27) Note di Mat. e Fis., CERFIM, (1992)

A geometric description of modular lattices, 2. version (26), with Doug Pickering and Michael Roddy, AU 31 (1994)

Small Arguesian lattices (24) with Alan Day, Bjarni Jonsson, J.B.Nation and Doug Pickering, AU 31 (1994)

Alan Day's work on modular and Arguesian lattices (23), AU 34 (1995)

On the undecidability of implications between embedded multivalued database dependencies (22), Inform. and Comp. 122 (1995)

Corrigendum: On the undecidability of implications between embedded multivalued database dependencies (22), Inform. and Comp. 204 (2006)

Classification of subspaces (19), with Remo Moresi, Reto Scuppli, and Marcel Wild, In: Orthogonal Geometry in infinite Dimensional Vector Spaces, H.A.Keller, U.-M.Kuenzi, and M. Wild eds., Bayreuther Math. Schriften 55 (1998)

On automprphism groups of arguesian lattices , Acta Math Hungar. 79 (1998)

Proatomic modular ortholattices: Representation and equational theory (18), with M.S.Roddy, Note di Mat. e Fis. CERFIM (1999)

2000--2009

A note on the equational theory of modular ortholattices (16), with M.S. Roddy, AU 44 (2000)

On the size of Boolean combinations of subgroups of finite abelian groups (14), ORDER 17 (2001)

Erratum: On the contraction of vectorial lattice representations (28), ORDER 22 (2005)

On n-distributive modular ortholattices (11). with Florence Micol and M.S.Roddy, AU 53 (2005)

A characterization of subgroup lattices of finite abelian groups, with G.Takach (12), Beitraege Algebra Geometrie 46 (2005)

Corrigendum: Gluings of modular lattices (30) ORDER 23 (2006)

Errors in publication on primary lattices (2005)

Corrigendum: On the undecidability of implications between embedded multivalued database dependencies (22), Inform. and Comp. 204 (2006)

On locally finite modular lattice varieties of finite height (9), with Anvar Nurakunov, ORDER 24 (2007)

Existence varieties of regular rings and complemented modular lattices (10), with Marina Semenova, J. Algebra 314 (2007)

A second note on the equational theory of modular ortholattices (16), with M.S. Roddy, AU 57 (2007)

Complemented modular lattices with involution and orthogonal geometry (5), AU 61 (2009)

On perpfert pairs for quadruples in complemented modular lattices and concepts of perfect elements (35) (6), AU 61 (2009)

On the equational theory of projection lattices of finite von Neumann algebra factors (7), Conference in memory of Herbert Gross, Locarno 2009

2010--2019

On the equational theory of projection lattices of finite von Neumann algebra factors (3), JSL 75 (2010)

Talk on Jardafest, Praha 2010

Generators of existence varieties of regular rings and complemented modular lattices (2), with Marina Semenova, Cent. Eur.J. Math. 8 (2010)

On the number of join irreducivles and acyclicity in finite modular lattices (1), AU 64 (2010)

Computational Complexity of Geometirc Quantum Logic, with Martin Ziegler, Oxford 2010

Generators for complemented modular lattices and the von Neumann-Jonsson coordinatization theorems (4) AU 63 (2010)

Computational Complexity of Quantum Satisfiablity, with Martin Ziegler, LICS 2011

Three ultrafilters in a modular logic with M.Roddy (I.J. Theoretical Physics 50, 2011)

A review of some of Bjarni Jonsson's work on representation of Arguesian lattices (AU 2012)

On the coordinatization of primary arguesian lattices of low geometric dimension (12), (2012)

On geometric representations of modular ortholattices, with M.S.Roddy, (2012)

Expressiveness and Computational Complexity of Geometric Quantum Logic, with Martin Ziegler, ArXive 2012

Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines, with Johanna Sokoli and Martin Ziegler, MCU 2013

On varieties of modular ortholattices which are generated by their finite-dimensional members with M.S.Roddy (2013)

On the coordinatization of primary arguesian lattices of low geometric dimension (Beitr. Algebra Geometrie 55 2014)

Rings of quotients of finite AW*-algebras: Representation and algebraic approximation, with Marina Semenova, (Algebra i Logika 2014)

Rings of quotients of finite AW*-algebras: Representation and algebraic approximation, with Marina Semenova, (Algebra i Logika 2014)

Linear representations of regular rings and complemented modular lattices with involution , with Marina Semenova (Acta Sci. Math 2015)

On the satisfiability problem for classes of structures related to finite dimensional vector spaces, with Y. Tsukamoto, M. Ziegler IJAC 26 (2016)

On the consistency problem for modular lattices and related structures, with Y. Tsukamoto and M. Ziegler, (2016)

Computational Complexity of Quantum Satisfiability, with Martin Ziegler (JACM 2016)

Homogeneous modular lattices are distributive , with Marina Semenova (Order 2017)

Definable relations in finite dimensional subspace lattices with involution, with M.Ziegler , AU 79 (2018)

Definable relations in finite dimensional subspace lattices with involution II, with M.Ziegler , AU 28 (2019)

Direct finiteness of representable regular rings with involution, corrected (AU 2019

2020--

Unit-regulartity and representability for semiartinian *-regular rings. corrected (Arch Math, Brno 2020),

Varieties of *-regular rings. corrected , Math, Slovaca 2ß2ß

Representations of *-regular rings and their ortholattices of projections. with Niklas Niemann (Acta Sci Math 86 2020)

(Co)isotropic triples and poset representations. with J. Lorand and A. Weinstein (Rend. Sem. Math Padua 2021)

Om the complexity of equational decision problems for finite height complemented and orthocomplementesd modular lattices (AU 2022)

Perspectivity in complemented modular lattices and regular ings AU 2025

On the equational theory of finite modular lattices , ORDER 1ß26

Notes

On geometric representations of modular ortholattices, Introductory survey (2012)

Problems on modular lattices

On forbidden minors of matroids representable in finite characteristic (25)

On Frankl's conjecture (13), with R.Langsdorf

Notes on the ``Third Life of Quantum Logic''

Preliminaries

A geometric description of modular lattices, 1. version, with Doug Pickering and Michael Roddy

Rings of quotients of finite AW*-algebras: Faithfull representation and equational theory, with M.S.Roddy, Marina Semenova, and M.Ziegler

On the consistency problem for modular lattices and related structures, with Y. Tsukamoto and M. Ziegler, (2016) preliminary version 1

On the consistency problem for modular lattices and related structures, with Y. Tsukamoto and M. Ziegler, (2016) preliminary version

hkw''

hrs''

herbert (25)

Lansky'

Useful links

St.K. Berberian's book on Baer *-rings,

Florence Micol: On representability of *-regular rings and modular ortholattices, Ph.D. Thesis 2003

Niklas Niemann: A short version of the Ph.D.thesis: On representability of $*$-regular rings in endomorphism rings of inner product spaces (2007)

Achim Blumensath's book on Model Theory, and much more

St.N. Burris's and H.P.Sankappanavar's book on Universal Algebra,

J.B. Nation's book on Lattice Theory,


Christian Herrmann
Last modified: Fri Apr 1 23:12:50 CEST 2022