Arguesian identities in the congruence variety of Abelian groups (Q1971631)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Arguesian identities in the congruence variety of Abelian groups |
scientific article |
Statements
Arguesian identities in the congruence variety of Abelian groups (English)
0 references
23 March 2000
0 references
The author continues the work begun with \textit{M. Mainetti} [Adv. Math. 144, 50-93 (1999; Zbl 0933.06004)], treating the following problem posed by \textit{M. Hawrylycz} [Adv. Math. 122, 1-48 (1996; Zbl 0858.15019)]: Translate Arguesian identities in Grassmann-Cayley algebras into inequalities holding in linear lattices (i.e. lattices of commuting equivalence relations) or in the congruence variety of abelian groups. The problem has been solved for Arguesian identities of order 2 in the joint paper cited above. The main result (Thm. 4.2) of the paper under review is a general solution for Arguesian identities \(P=Q\) of arbitrary order by transforming these identities into lattice inequalities in the congruence variety of abelian groups. The transformation is carried out by applying the so-called unfolding procedure to the polynomials \(P\), \(Q\) on either side of the identity. Whereas many Arguesian identities fail to hold when viewed as lattice identities in a projective geometry, their unfoldings are valid inequalities in the lattice of subspaces of any vector subspace as a consequence of (4.2). This phenomenon is demonstrated by generating various theorems of synthetic projective geometry and their generalizations to higher dimensions (Desargues, Bricard, Fontené) by the unfolding procedure.
0 references
Arguesian identities
0 references
linear lattices
0 references
congruence variety of abelian groups
0 references
unfolding
0 references
projective geometry
0 references
0 references