Relatively congruence modular quasivarieties of modules

DOI10.1007/978-3-319-74772-9_8MaRDI QIDQ4586418zbMATH OpenOpenAlexFDO

Authors Keith A. Kearnes

Publication date 13 September 2018

Published in Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1509.03809

zbMATH Keywords

quasivarietyrelatively congruence distributivefinitely axiomatizable quasivarietyrelatively congruence modularquasivarieties of modules

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Congruence modularity, congruence distributivity (08B10) Quasivarieties (08C15)

Abstract: We show that the quasiequational theory of a relatively congruence modular quasivariety of left $R$-modules is determined by a two-sided ideal in $R$ together with a filter of left ideals. The two-sided ideal encodes the identities that hold in the quasivariety, while the filter of left ideals encodes the quasiidentities. The filter of left ideals defines a generalized notion of torsion. It follows from our result that if $R$ is left Artinian, then any relatively congruence modular quasivariety of left $R$-modules is axiomatizable by a set of identities together with at most one proper quasiidentity, and if $R$ is a commutative Artinian ring then any relatively congruence modular quasivariety of left $R$-modules is a variety.

Recommendations

• Commutator Theory for Relatively Modular Quasivarieties
• Quasivarieties of modules over path algebras of quivers
• Relative principal congruences in congruence-modular quasivarieties
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Characterization of relatively distributive quasivarieties of algebras

Cites work

• A finite basis theorem for difference-term varieties with a finite residual bound
• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• Commutator Theory for Relatively Modular Quasivarieties
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Finite basis problems and results for quasivarieties
• Finite equational bases for congruence modular varieties
• Finite equational bases for finite algebras in a congruence-distributive equational class
• The Relationship Between Two Commutators
• The weak extension property and finite axiomatizability for quasivarieties

Cited in

(5)

• scientific article; zbMATH DE number 2064076 (Why is no real title available?)
• Congruence modularity implies the Arguesian law for single algebras with a difference term
• Commutative rings whose principal ideals have unique generators
• Commutator Theory for Relatively Modular Quasivarieties
• Deductive Varieties of Modules and Universal Algebras

This page was built for publication: Relatively congruence modular quasivarieties of modules

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