Finite lattice representation problem

Last updated

In mathematics, the finite lattice representation problem, or finite congruence lattice problem, asks whether every finite lattice is isomorphic to the congruence lattice of some finite algebra.

Contents

Background

A lattice is called algebraic if it is complete and compactly generated. In 1963, Grätzer and Schmidt proved that every algebraic lattice is isomorphic to the congruence lattice of some algebra. [1] Thus there is essentially no restriction on the shape of a congruence lattice of an algebra. The finite lattice representation problem asks whether the same is true for finite lattices and finite algebras. That is, does every finite lattice occur as the congruence lattice of a finite algebra?

In 1980, Pálfy and Pudlák proved that this problem is equivalent to the problem of deciding whether every finite lattice occurs as an interval in the subgroup lattice of a finite group. [2] For an overview of the group theoretic approach to the problem, see Pálfy (1993) [3] and Pálfy (2001). [4]

This problem should not be confused with the congruence lattice problem.

Significance

This is among the oldest unsolved problems in universal algebra. [5] [6] [7] Until it is answered, the theory of finite algebras is incomplete since, given a finite algebra, it is unknown whether there are, a priori, any restrictions on the shape of its congruence lattice.

Related Research Articles

<span class="mw-page-title-main">Semigroup</span> Algebraic structure consisting of a set with an associative binary operation

In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it.

Universal algebra is the field of mathematics that studies algebraic structures themselves, not examples ("models") of algebraic structures. For instance, rather than take particular groups as the object of study, in universal algebra one takes the class of groups as an object of study.

In mathematics, specifically abstract algebra, the isomorphism theorems are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules, Lie algebras, and various other algebraic structures. In universal algebra, the isomorphism theorems can be generalized to the context of algebras and congruences.

<span class="mw-page-title-main">Cyclic group</span> Mathematical group that can be generated as the set of powers of a single element

In group theory, a branch of abstract algebra in pure mathematics, a cyclic group or monogenous group is a group, denoted Cn, that is generated by a single element. That is, it is a set of invertible elements with a single associative binary operation, and it contains an element g such that every other element of the group may be obtained by repeatedly applying the group operation to g or its inverse. Each element can be written as an integer power of g in multiplicative notation, or as an integer multiple of g in additive notation. This element g is called a generator of the group.

In mathematics, a quotient algebra is the result of partitioning the elements of an algebraic structure using a congruence relation. Quotient algebras are also called factor algebras. Here, the congruence relation must be an equivalence relation that is additionally compatible with all the operations of the algebra, in the formal sense described below. Its equivalence classes partition the elements of the given algebraic structure. The quotient algebra has these classes as its elements, and the compatibility conditions are used to give the classes an algebraic structure.

In mathematics, a congruence subgroup of a matrix group with integer entries is a subgroup defined by congruence conditions on the entries. A very simple example would be invertible 2 × 2 integer matrices of determinant 1, in which the off-diagonal entries are even. More generally, the notion of congruence subgroup can be defined for arithmetic subgroups of algebraic groups; that is, those for which we have a notion of 'integral structure' and can define reduction maps modulo an integer.

<span class="mw-page-title-main">Arithmetic group</span>

In mathematics, an arithmetic group is a group obtained as the integer points of an algebraic group, for example They arise naturally in the study of arithmetic properties of quadratic forms and other classical topics in number theory. They also give rise to very interesting examples of Riemannian manifolds and hence are objects of interest in differential geometry and topology. Finally, these two topics join in the theory of automorphic forms which is fundamental in modern number theory.

In the mathematical area of order theory, the compact elements or finite elements of a partially ordered set are those elements that cannot be subsumed by a supremum of any non-empty directed set that does not already contain members above the compact element. This notion of compactness simultaneously generalizes the notions of finite sets in set theory, compact sets in topology, and finitely generated modules in algebra.

<span class="mw-page-title-main">Geometric group theory</span>

Geometric group theory is an area in mathematics devoted to the study of finitely generated groups via exploring the connections between algebraic properties of such groups and topological and geometric properties of spaces on which these groups act.

<span class="mw-page-title-main">Grigory Margulis</span> Russian mathematician

Grigory Aleksandrovich Margulis is a Russian-American mathematician known for his work on lattices in Lie groups, and the introduction of methods from ergodic theory into diophantine approximation. He was awarded a Fields Medal in 1978, a Wolf Prize in Mathematics in 2005, and an Abel Prize in 2020, becoming the fifth mathematician to receive the three prizes. In 1991, he joined the faculty of Yale University, where he is currently the Erastus L. De Forest Professor of Mathematics.

<span class="mw-page-title-main">Lattice of subgroups</span>

In mathematics, the lattice of subgroups of a group is the lattice whose elements are the subgroups of , with the partial order relation being set inclusion. In this lattice, the join of two subgroups is the subgroup generated by their union, and the meet of two subgroups is their intersection.

In mathematics, a matrix group is a group G consisting of invertible matrices over a specified field K, with the operation of matrix multiplication. A linear group is a group that is isomorphic to a matrix group.

In mathematics, in the realm of group theory, a countable group is said to be SQ-universal if every countable group can be embedded in one of its quotient groups. SQ-universality can be thought of as a measure of largeness or complexity of a group.

In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most famous and long-standing open problems in lattice theory; it had a deep impact on the development of lattice theory itself. The conjecture that every distributive lattice is a congruence lattice is true for all distributive lattices with at most 1 compact elements, but F. Wehrung provided a counterexample for distributive lattices with ℵ2 compact elements using a construction based on Kuratowski's free set theorem.

<span class="mw-page-title-main">Lattice (discrete subgroup)</span>

In Lie theory and related areas of mathematics, a lattice in a locally compact group is a discrete subgroup with the property that the quotient space has finite invariant measure. In the special case of subgroups of Rn, this amounts to the usual geometric notion of a lattice as a periodic subset of points, and both the algebraic structure of lattices and the geometry of the space of all lattices are relatively well understood.

In the branch of mathematics known as universal algebra, a subdirectly irreducible algebra is an algebra that cannot be factored as a subdirect product of "simpler" algebras. Subdirectly irreducible algebras play a somewhat analogous role in algebra to primes in number theory.

Bass–Serre theory is a part of the mathematical subject of group theory that deals with analyzing the algebraic structure of groups acting by automorphisms on simplicial trees. The theory relates group actions on trees with decomposing groups as iterated applications of the operations of free product with amalgamation and HNN extension, via the notion of the fundamental group of a graph of groups. Bass–Serre theory can be regarded as one-dimensional version of the orbifold theory.

In mathematics, especially in the study of infinite groups, the Hirsch–Plotkin radical is a subgroup describing the normal nilpotent subgroups of the group. It was named by Gruenberg (1961) after Kurt Hirsch and Boris I. Plotkin, who proved that the product of locally nilpotent groups remains locally nilpotent; this fact is a key ingredient in its construction.

<span class="mw-page-title-main">Gopal Prasad</span> Indian-American mathematician

Gopal Prasad is an Indian-American mathematician. His research interests span the fields of Lie groups, their discrete subgroups, algebraic groups, arithmetic groups, geometry of locally symmetric spaces, and representation theory of reductive p-adic groups.

George A. Grätzer is a Hungarian-Canadian mathematician, specializing in lattice theory and universal algebra. He is known for his books on LaTeX and his proof with E. Tamás Schmidt of the Grätzer–Schmidt theorem.

References

  1. G. Grätzer and E. T. Schmidt, Characterizations of congruence lattices of abstract algebras, Acta Sci. Math. (Szeged) 24 (1963), 34–59.
  2. Pálfy and Pudlák. Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups. Algebra Universalis 11(1), 22–27 (1980). DOI
  3. Péter Pál Pálfy. Intervals in subgroup lattices of finite groups. In Groups ’93 Galway/St. Andrews, Vol. 2, volume 212 of London Math. Soc. Lecture Note Ser., pages 482–494. Cambridge Univ. Press, Cambridge, 1995.
  4. Péter Pál Pálfy. Groups and lattices. In Groups St. Andrews 2001 in Oxford. Vol. II, volume 305 of London Math. Soc. Lecture Note Ser., pages 428–454, Cambridge, 2003. Cambridge Univ. Press.
  5. Joel Berman. Congruence lattices of finite universal algebras. [ permanent dead link ] PhD thesis, University of Washington, 1970.
  6. Bjarni Jónsson. Topics in universal algebra. Lecture Notes in Mathematics, Vol. 250. Springer Verlag, Berlin, 1972.
  7. Ralph McKenzie. Finite forbidden lattices. In: Universal algebra and lattice theory (Puebla, 1982), Lecture Notes in Math., vol. 1004, pp. 176–205. Springer, Berlin (1983). DOI

Further reading