Relatively congruence modular quasivarieties of modules

DOI10.1007/978-3-319-74772-9_8zbMATH Open1459.08008arXiv1509.03809OpenAlexW2259843004MaRDI QIDQ4586418FDOQ4586418

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)

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.

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

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

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)

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• 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)