# Commutator theory for congruence modular varieties

```@article{Freese1989CommutatorTF,
title={Commutator theory for congruence modular varieties},
author={Ralph Freese and Ralph McKenzie},
journal={Journal of Symbolic Logic},
year={1989},
volume={54},
pages={1114-1115}
}```
• Published 1 September 1989
• Mathematics
• Journal of Symbolic Logic
Introduction In the theory of groups, the important concepts of Abelian group, solvable group, nilpotent group, the center of a group and centraliz-ers, are all defined from the binary operation [x, y] = x −1 y −1 xy. Each of these notions, except centralizers of elements, may also be defined in terms of the commutator of normal subgroups. The commutator [M, N] (where M and N are normal subgroups of a group) is the (normal) subgroup generated by all the commutators [x, y] with x ∈ M, y ∈ N…
457 Citations

## Figures from this paper

• Mathematics
Int. J. Comput. Intell. Syst.
• 2021
In group theory, the commutator is a binary operation on the lattice of normal subgroups of a group which has an important role in the study of solvable, Abelian and nilpotent groups. Given normal
• Mathematics
New Perspectives in Algebra, Topology and Categories
• 2021
The theory of commutators [1] can be considered as an extension of the classical commutator theory for groups to more general varieties of algebras. A description of commutator of equivalence
We develop Commutator Theory for congruences of general alge- braic systems (henceforth called algebras) assuming only the existence of a ternary term d such that d(a, b, b)(a, a)a(a, a)d(b, b, a),
Let Μ be the variety of all algebras with one ternary operation given by two Mal'tsev identities P(x, x, y) = y = P(y, x, x) [4]. The algebras of this variety will be called /"-algebras. By Theorem
• Mathematics
The Journal of Symbolic Logic
• 2011
The aim of the present paper is to appropriately generalise the concepts of subtractivity and τ-regularity in such a way as to shed some light on the deep reason behind such theorems.
This paper is a chronological survey, with no proofs, of a direc- tion in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators,
• Mathematics
• 2017
We propose a new, widely generalized context for the study of the zero-divisor type (annihilating-ideal) graphs, where the vertices of graphs are not elements/ideals of a commutative ring, but
The Lifting Idempotent Property (LIP ) of ideals in commutative rings inspired the study of Boolean lifting properties in the context of other concrete algebraic structures (MV -algebras, commutative

## References

SHOWING 1-10 OF 80 REFERENCES

• Mathematics
• 1981
We focus on varieties T of universal algebras whose congruence lattices are all modular. No further conditions are assumed. We prove that if the variety "{ is residually small, then the following law
We focus on those universal algebras which ring theorists call associative algebras overK, whereK is a commutative ring having an identity element. They are calledK-algebras in this paper. For fixedK
In this paper we show how a cormnutator calculus can be developed in any variety {lof unital algebras with permutable weakly regular congruences. (This class of algebras includes groups, rings, Lie
• Mathematics
• 1984
In many familiar classes of algebraic structures kernels of congruence relations are uniquely specified by the inverse images q~-l(0)= {x [ q~(x)= 0} of a specified constant 0. On the one hand,
• Mathematics
• 1979
We prove that if V is any infinite-dimensional vector space over any uncountable field F, then the congruence lattice (=subspace lattice) of V cannot be represented as a congruence lattice (of any
0. Introduction. In [2] R. Freese and B. Jonsson have shown that the congruence lattices of algebras in modular varieties are in fact arguesian. Since the congruence lattice of an algebra W may be
• A. Pixley
• Mathematics