Results 1  10
of
16
Problems and results in tame congruence theory  A survey of the '88 Budapest Workshop
 Algebra Universalis
, 1992
"... . Tame congruence theory is a powerful new tool, developed by Ralph McKenzie, to investigate finite algebraic structures. In the summer of 1988, many prominent researchers in this field visited Budapest, Hungary. This paper is a survey of problems and ideas that came up during these visits. It is ..."
Abstract

Cited by 10 (3 self)
 Add to MetaCart
. Tame congruence theory is a powerful new tool, developed by Ralph McKenzie, to investigate finite algebraic structures. In the summer of 1988, many prominent researchers in this field visited Budapest, Hungary. This paper is a survey of problems and ideas that came up during these visits. It is intended both for beginners and experts, who want to do research, or just want to see what is going on, in this new, active area. An Appendix, written in April, 1990, is attached to the paper to summarize new developments. 1. Introduction First we list the names of those colleagues who were so kind as to accept our invitation to the Workshop. They are: Clifford Bergman, Joel Berman, G'abor Cz'edli, Keith Kearnes, George McNulty, Ralph McKenzie, James B. Nation, Peter P'alfy, Robert W. Quackenbush, ' Agnes Szendrei, Matthew Valeriote. Most of them spent only one or two weeks in Budapest, but Joel Berman, ' Agnes Szendrei, and Matthew Valeriote were here for almost a month. This meetin...
EMBEDDING GENERAL ALGEBRAS INTO MODULES
"... The problem of embedding general algebras into modules is revisited. We provide a new method of embedding, based on Jeˇzek’s embedding into semimodules. We obtain several interesting consequences: a simpler syntactic characterization of quasiaffine algebras, a proof that quasiaffine algebras witho ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
The problem of embedding general algebras into modules is revisited. We provide a new method of embedding, based on Jeˇzek’s embedding into semimodules. We obtain several interesting consequences: a simpler syntactic characterization of quasiaffine algebras, a proof that quasiaffine algebras without nullary operations are actually quasilinear, and several facts regarding the “abelian iff quasiaffine” problem.
Residual smallness and weak centrality
 The International Journal of Algebra and Computation
"... Abstract. We develop a method of creating skew congruences on subpowers of finite algebras using groups of twin polynomials, and apply it to the investigation of residually small varieties generated by nilpotent algebras. We prove that a residually small variety generated by a finite nilpotent (in p ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
(Show Context)
Abstract. We develop a method of creating skew congruences on subpowers of finite algebras using groups of twin polynomials, and apply it to the investigation of residually small varieties generated by nilpotent algebras. We prove that a residually small variety generated by a finite nilpotent (in particular, a solvable Eminimal) algebra is weakly abelian. Conversely, we show in two special cases that a weakly abelian variety is residually bounded by a finite number: when it is generated by an Eminimal, or by a finite strongly nilpotent algebra. This establishes the RSconjecture for Eminimal algebras. 1.
Clones of algebras with parallelogram terms
 Internat. J. Algebra Comput
"... Abstract. We describe a manageable set of relations that generates the finitary relational clone of an algebra with a parallelogram term. This result applies to any algebra with a Maltsev term and to any algebra with a near unanimity term. One consequence of the main result is that on any finite set ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
Abstract. We describe a manageable set of relations that generates the finitary relational clone of an algebra with a parallelogram term. This result applies to any algebra with a Maltsev term and to any algebra with a near unanimity term. One consequence of the main result is that on any finite set and for any finite k there are only finitely many clones of algebras with a kary parallelogram term which generate residually small varieties. 1.
CORRIGENDUM CLONES OF FINITE GROUPS
"... We proved in Clones of finite groups, [1], that any operation on the 8element quaternion group Q8 that preserves all the 5ary algebraic relations of Q8 is in the clone of Q8, but there is an operation that preserves all the 3ary algebraic relations that is not in the clone. Nothing is proved in [ ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
We proved in Clones of finite groups, [1], that any operation on the 8element quaternion group Q8 that preserves all the 5ary algebraic relations of Q8 is in the clone of Q8, but there is an operation that preserves all the 3ary algebraic relations that is not in the clone. Nothing is proved in [1] about the operations on Q8 that preserve the 4ary algebraic relations, but we claimed at the bottom of page 50 of [1] that there is an operation that preserves all the 4ary algebraic relations that is not in the clone. We later realized that was false and published the correction in [2]. 2. Commutator Collection One of the proofs in [1] could benefit from further explanation: Claim 3.15. If G is a nilpotent group of class c, t(x1,..., xn) is an nary term operation of G for some n> c, and t[xi/1] is constant for all i, then t is constant. (Here t[xi/1] represents the term obtained from t by replacing xi with 1.) We stated that this claim follows from commutator collection. Here we explain in more detail what that means. Recursively define the set C of commutator words in a given set of variables to be the
AN OVERVIEW OF MODERN UNIVERSAL ALGEBRA
"... Abstract. This article, aimed specifically at young mathematical logicians, gives a gentle introduction to some of the central achievements and problems of universal algebra during the last 25 years. I intend in this article to introduce nonspecialists to the fact that there are deep results in cont ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. This article, aimed specifically at young mathematical logicians, gives a gentle introduction to some of the central achievements and problems of universal algebra during the last 25 years. I intend in this article to introduce nonspecialists to the fact that there are deep results in contemporary universal algebra. The first four sections give the context in which universal algebra has something to say, and describe some of the basic results upon which much of the work in the field is built. Section 5 covers the highlights of tame congruence theory, a sophisticated point of view from which to analyze locally finite algebras. Section 6 describes some of the field’s “big ” results and open problems concerning finite algebras, notably the undecidability of certain finite axiomatizability problems and related problems, and the socalled “RS problem, ” currently the most important open problem in the field. This article presents a personal view of current universal algebra, one which is limited both by my ignorance of large parts of the field as well as the need to keep the article focused. For example, I do not mention natural duality theory, one of the
Chief Factor Sizes in Finitely Generated Varieties
"... Abstract. Let A be a kelement algebra whose chief factor size is c. We show that if B is in the variety generated by A, then any abelian chief factor of B that is not strongly abelian has size at most c k−1. This solves Problem 5 of The Structure of Finite Algebras, by D. Hobby and R. McKenzie. We ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. Let A be a kelement algebra whose chief factor size is c. We show that if B is in the variety generated by A, then any abelian chief factor of B that is not strongly abelian has size at most c k−1. This solves Problem 5 of The Structure of Finite Algebras, by D. Hobby and R. McKenzie. We refine this bound to c in the situation where the variety generated by A omits type 1. Asageneralization, we bound the size of multitraces of types 1, 2,and3 by extending coordinatization theory. Finally, we exhibit some examples of bad behavior, even in varieties satisfying a congruence identity.
ALGORITHMIC PROBLEMS IN VARIETIES
, 1994
"... Mankind always sets itself only such problems as it can solve. Karl Marx, The Introduction to "A Critique of Political Economy". ..."
Abstract
 Add to MetaCart
Mankind always sets itself only such problems as it can solve. Karl Marx, The Introduction to &quot;A Critique of Political Economy&quot;.
ON THE RELATIONSHIP OF AP, RS AND CEP IN CONGRUENCE MODULAR VARIETIES. II
"... Abstract. Let V be a congruence distributive variety, or a congruence modular variety whose free algebra on 2 generators is finite. If V is residually small and has the amalgamation property, then it has the congruence extension property. Several applications are presented. In two previous papers [1 ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. Let V be a congruence distributive variety, or a congruence modular variety whose free algebra on 2 generators is finite. If V is residually small and has the amalgamation property, then it has the congruence extension property. Several applications are presented. In two previous papers [1] and [2], we considered the following question: if V is a residually small variety with the amalgamation property, must V have the congruence extension property? Our work established the following implications for a congruence modular variety V: (1) If V is 2–finite and has C2, then AP + RS = ⇒ R. (2) If V is 4–finite with C2 and R, then AP + RS = ⇒ CEP. (The terminology will be explained below.) In this paper we supplement and extend these results. Assuming still that V is congruence modular, we have: (3) AP + RS = ⇒ C2. (4) If V has R, then AP + RS = ⇒ CEP. Combining these implications, we have that every congruence modular, 2–finite variety satisfies AP + RS = ⇒ CEP. Furthermore, every congruence distributive variety (no finiteness assumption) satisfies AP + RS = ⇒ CEP. Our universal algebraic notation and terminology are standard. Good references are [4] and [9]. Let V be a variety of algebras. We say that V • has the amalgamation property (AP) if, for all A, B0, B1 ∈Vand all embeddings fi: A → Bi, fori=0,1, there is C ∈V and embeddings gi: Bi → C, i =0,1, such that g0 ◦ f0 = g1 ◦ f1, • is residually small (RS) if there is a cardinal κ such that every subdirectly irreducible algebra in V has cardinality less than κ, • has the congruence extension property (CEP) if, for all A ≤ B ∈V,and congruence α on A, thereis¯α∈Con B such that ¯α ↾ A = α, • is n–finite, for a positive integer n, ifeverymemberofVgenerated by n elements is finite.