Weakly diagonal algebras and definable principal congruences

DOI10.1007/S00012-006-1948-2MaRDI QIDQ861595zbMATH OpenOpenAlexFDO

Authors Kalle Kaarli, Alden F. Pixley

Publication date 29 January 2007

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-006-1948-2

zbMATH Keywords

affine complete varietiesdefinable principal congruencesminimal algebra

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Operations and polynomials in algebraic structures, primal algebras (08A40) Congruence modularity, congruence distributivity (08B10)

Review text

An algebra is called minimal if it has no proper subalgebras. An algebra \(A\) is named weakly diagonal if every non-empty subuniverse of \(A\times A\) contains the graph of some automorphism of \(A\). The authors state that finite weakly diagonal algebras are precisely the largest minimal algebras of the varieties they generate. Then it is shown how this fact simplifies the study of varieties generated by a finite minimal algebra. Applications to the theory of affine complete varieties: (i) affine complete varieties of finite type have definable principal congruences (DPC); (ii) arithmetical affine complete varieties of finite type have equationally definable principal congruences (EDPC).

Recommendations

• Finite arithmetical affine complete algebras having no proper subalgebras
• scientific article; zbMATH DE number 871433
• Publication:5750916
• scientific article; zbMATH DE number 1236689
• Definable principal subcongruences.

Cited in

(5)

• Finite arithmetical affine complete algebras having no proper subalgebras
• Congruence computations in principal arithmetical varieties
• Operator properties of congruence permutable varieties with strongly definable principal congruences.
• scientific article; zbMATH DE number 437429 (Why is no real title available?)
• A CHARACTERIZATION OF THE INVERSE MONOID OF BI-CONGRUENCES OF CERTAIN ALGEBRAS

This page was built for publication: Weakly diagonal algebras and definable principal congruences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861595)