Available in electronic format
Available in print format
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(e) ISSN 0002-9947(p)
     

Minimal sets and varieties

Author(s): Keith A. Kearnes; Emil W. Kiss; Matthew A. Valeriote
Journal: Trans. Amer. Math. Soc. 350 (1998), 1-41.
MSC (1991): Primary 08A05; Secondary 08A40, 08B15
Retrieve article in: PDF
This article is available free of charge

Abstract | References | Similar articles | Additional information

Abstract: The aim of this paper is twofold. First some machinery is established to reveal the structure of abelian congruences. Then we describe all minimal, locally finite, locally solvable varieties. For locally solvable varieties, this solves problems 9 and 10 of Hobby and McKenzie. We generalize part of this result by proving that all locally finite varieties generated by nilpotent algebras that have a trivial locally strongly solvable subvariety are congruence permutable.


References:

1.
J. Berman and S. Seif. An approach to tame congruence theory via subtraces. Algebra Universalis, 30:479-520, 1993. MR 94f:08003

2.
S. Burris and H.P. Sankappanavar. A Course in Universal Algebra. Springer-Verlag, 1981. MR 83k:08001

3.
R. Freese and R. McKenzie. Commutator Theory for Congruence Modular Varieties, volume 125 of London Mathematical Society Lecture Note Series. Cambridge University Press, 1987. MR 89c:08006

4.
S. Givant. Universal Horn classes categorical or free in power. Ann. Math. Logic, 15:1-53, 1978. MR 80c:03032

5.
S. Givant. A representation theorem for universal Horn classes categorical in power. Ann. Math. Logic, 17:91-116, 1979. MR 81b:03038

6.
D. Hobby and R. McKenzie. The Structure of Finite Algebras, volume 76 of Contemporary Mathematics. American Mathematical Society, 1988. MR 89m:08001

7.
K. Kearnes. An order-theoretic property of the commutator. International Journal of Algebra and Computation, 3:491-534, 1993. MR 95c:08002

8.
K. Kearnes. Categorical quasivarieties via Morita equivalence. preprint, 1994.

9.
K. Kearnes and Á. Szendrei. A characterization of minimal locally finite varieties. Trans. Amer. Math. Soc. 349:1749-1768, 1977. CMP 97:09

10.
E. Kiss. An easy way to minimal algebras. Internat. J. Algebra Comput. 7:55-75, 1977. CMP 97:06

11.
E. Kiss and P. Pröhle. Problems and results in tame congruence theory. Algebra Universalis, 29:151-171, 1992. MR 93g:08004

12.
R. McKenzie. Algebraic version of the general Morita theorem for algebraic varieties. preprint.

13.
R. McKenzie. Finite forbidden lattices. In Universal Algebra and Lattice Theory, volume 1004 of Springer Lecture Notes. Springer-Verlag, 1983, pp. 176-205. MR 85b:06006

14.
R. McKenzie. Categorical quasivarieties revisited. Algebra Universalis, 19:273-303, 1984. MR 87g:08022

15.
E. Palyutin. The description of categorical quasivarieties. Algebra and Logic, 14:86-111, 1975. MR 53:2672

16.
Á. Szendrei. Maximal non-affine reducts of simple affine algebras. Algebra Universalis. 34:144-174, 1995. MR 96i:08001

17.
Á. Szendrei. Clones in Universal Algebra, volume 99 of Séminaire de Mathématiques Superieures. Les Presses de l'Université de Montréal, 1986. MR 87m:08005

18.
Á. Szendrei. A survey on strictly simple algebras and minimal varieties. In A. Romanowska and J. D. H. Smith, editors, Universal Algebra and Quasigroup Theory. Heldermann Verlag, Berlin, 1992, pp. 209-239. MR 93h:08001

19.
Á. Szendrei. Strongly abelian minimal varieties. Acta Sci. Math. (Szeged), 59:25-42, 1994. MR 95g:08002

20.
W. Taylor. The fine spectrum of a variety. Algebra Universalis, 5:262-303, 1975. MR 52:10547


Similar Articles:

Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 08A05, 08A40, 08B15

Retrieve articles in all Journals with MSC (1991): 08A05, 08A40, 08B15


Additional Information:

Keith A. Kearnes
Affiliation: Department of Mathematics, University of Louisville, Louisville, Kentucky 40292
Email: kakear01@homer.louisville.edu

Emil W. Kiss
Affiliation: Department of Algebra and Number Theory, Eötvös Lóránd University, 1088 Budapest, Múzeum krt. 6--8, Hungary
Email: ewkiss@cs.elte.hu

Matthew A. Valeriote
Affiliation: Department of Mathematics and Statistics, McMaster University, Hamilton, Ontario, Canada, L8S 4K1
Email: valeriot@mcmaster.ca

DOI: 10.1090/S0002-9947-98-01594-3
PII: S 0002-9947(98)01594-3
Received by editor(s): October 14, 1994
Received by editor(s) in revised form: August 18, 1995
Additional Notes: This research was partially supported by a fellowship from the Alexander von Humboldt Stiftung (to the first author), by the Hungarian National Foundation for Scientific Research, grant no. 1903 (to the second author), and by the NSERC of Canada (third author)
Copyright of article: Copyright 1998, American Mathematical Society


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2009, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google