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)

 

Isomorphism universal varieties of Heyting algebras


Authors: M. E. Adams, V. Koubek and J. Sichler
Journal: Trans. Amer. Math. Soc. 319 (1990), 309-328
MSC: Primary 06D20; Secondary 03G25, 08A35, 18B15
MathSciNet review: 955486
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A variety $ \mathbf{V}$ is group universal if every group $ G$ is isomorphic to the automorphism group $ {\operatorname{Aut}}(A)$ of an algebra $ A \in \mathbf{V}$; if, in addition, all finite groups are thus representable by finite algebras from $ \mathbf{V}$, the variety $ \mathbf{V}$ is said to be finitely group universal. We show that finitely group universal varieties of Heyting algebras are exactly the varieties which are not generated by chains, and that a chain-generated variety $ \mathbf{V}$ is group universal just when it contains a four-element chain. Furthermore, we show that a variety $ \mathbf{V}$ of Heyting algebras is group universal whenever the cyclic group of order three occurs as the automorphism group of some $ A \in \mathbf{V}$. The results are sharp in the sense that, for every group universal variety and for every group $ G$, there is a proper class of pairwise nonisomorphic Heyting algebras $ A \in \mathbf{V}$ for which $ {\operatorname{Aut}}(A) \cong G$.


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


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 06D20, 03G25, 08A35, 18B15

Retrieve articles in all journals with MSC: 06D20, 03G25, 08A35, 18B15


Additional Information

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