Congruence computations in principal arithmetical varieties

DOI10.1007/s00012-018-0568-yzbMath1412.08001OpenAlexW2901393769WikidataQ128906055 ScholiaQ128906055MaRDI QIDQ1623244

Kalle Kaarli, Alden F. Pixley

Publication date: 23 November 2018

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-018-0568-y

zbMATH Keywords

Chinese remainder theoremdiscriminatoraffine complete varietiescongruence computationsprincipal arithmetical varieties

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30) Operations and polynomials in algebraic structures, primal algebras (08A40) Congruence modularity, congruence distributivity (08B10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weakly diagonal algebras and definable principal congruences
• Affine complete varieties
• Equational compactness in quasi-primal varieties
• A note on the congruence extension property
• Strong representation of congruence lattices
• Derived Operations and Congruences
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• Two Mal'cev-type theorems in universal algebra
• Protoalgebraic logics
• A new characterization of arithmeticity

This page was built for publication: Congruence computations in principal arithmetical varieties