Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

Finitely decidable congruence modular varieties


Author: Joohee Jeong
Journal: Trans. Amer. Math. Soc. 339 (1993), 623-642
MSC: Primary 08B10; Secondary 03B25
MathSciNet review: 1150016
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A class $ \mathcal{V}$ of algebras of the same type is said to be finitely decidable iff the first order theory of the class of finite members of $ \mathcal{V}$ is decidable. Let $ \mathcal{V}$ be a congruence modular variety. In this paper we prove that if $ \mathcal{V}$ is finitely decidable, then the following hold. (1) Each finitely generated subvariety of $ \mathcal{V}$ has a finite bound on the cardinality of its subdirectly irreducible members. (2) Solvable congruences in any locally finite member of $ \mathcal{V}$ are abelian. In addition we obtain various necessary conditions on the congruence lattices of finite subdirectly irreducible algebras in $ \mathcal{V}$.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 08B10, 03B25

Retrieve articles in all journals with MSC: 08B10, 03B25


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9947-1993-1150016-6
PII: S 0002-9947(1993)1150016-6
Article copyright: © Copyright 1993 American Mathematical Society