Arguesian identities in the congruence variety of Abelian groups
type: Item
instance of: scholarly article
title: Arguesian identities in the congruence variety of Abelian groups
zbMATH Open document ID: 0957.06007
published in: Advances in Mathematics
publication date: 2000-03-23T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 06C05
Mathematics Subject Classification ID: 51A30
zbMATH DE Number: 1422998
zbMATH Keywords: Arguesian identities
zbMATH Keywords: linear lattices
zbMATH Keywords: congruence variety of abelian groups
zbMATH Keywords: unfolding
zbMATH Keywords: projective geometry
author: Catherine Yan
reviewed by: Horst Szambien
MaRDI profile type: Publication
full work available at URL: aima.1999.1865
OpenAlex ID: W2021575618
cites work: On the exterior calculus of invariant theory
cites work: Q5331549
cites work: Selected papers on algebra and topology. Ed. by Gian-Carlo Rota and Joseph S. Oliveira
cites work: On the Foundations of Combinatorial Theory: IX Combinatorial Methods in Invariant Theory
cites work: Q4896505
cites work: Q4165427
cites work: Q5572358
cites work: A geometric identity for Pappus' theorem.
cites work: Arguesian identities in invariant theory
cites work: A complete logic for n-permutable congruence lattices
cites work: Proof theory for linear lattices
cites work: Arguesian lattices which are not type-1
cites work: On the representation of lattices
cites work: Q5829441
cites work: Representation of Modular Lattices and Of Relation Algebras
cites work: Arguesian identities in linear lattices
cites work: Q4849834
cites work: Q4192196
cites work: Q5834606
cites work: Multilinear Cayley factorization
cites work: Distributive laws for commuting equivalence relations
cites work: Commuting quasi-order relations
DOI: 10.1006/AIMA.1999.1865
description: scientific article; zbMATH DE number 1422998