SQ-universal group

Last updated September 07, 2019

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.

Mathematics Field of study concerning quantity, patterns and change

Mathematics includes the study of such topics as quantity, structure (algebra), space (geometry), and change. It has no generally accepted definition.

In mathematics and abstract algebra, group theory studies the algebraic structures known as groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as rings, fields, and vector spaces, can all be seen as groups endowed with additional operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right.

In mathematics, a group is a set equipped with a binary operation that combines any two elements to form a third element in such a way that four conditions called group axioms are satisfied, namely closure, associativity, identity and invertibility. One of the most familiar examples of a group is the set of integers together with the addition operation, but groups are encountered in numerous areas within and outside mathematics, and help focusing on essential structural aspects, by detaching them from the concrete nature of the subject of the study.

History

Many classic results of combinatorial group theory, going back to 1949, are now interpreted as saying that a particular group or class of groups is (are) SQ-universal. However the first explicit use of the term seems to be in an address given by Peter Neumann to The London Algebra Colloquium entitled "SQ-universal groups" on 23 May 1968.

Examples of SQ-universal groups

In 1949 Graham Higman, Bernhard Neumann and Hanna Neumann proved that every countable group can be embedded in a two-generator group.^[1] Using the contemporary language of SQ-universality, this result says that F₂, the free group (non-abelian) on two generators, is SQ-universal. This is the first known example of an SQ-universal group. Many more examples are now known:

Graham Higman FRS was a prominent British mathematician known for his contributions to group theory.

Bernhard Hermann Neumann AC FRS was a German-born British-Australian mathematician who was a leader in the study of group theory.

Hanna Neumann German Australian mathematician

Johanna (Hanna) Neumann was a German-born mathematician who worked on group theory.

Adding two generators and one arbitrary relator to a nontrivial torsion-free group, always results in an SQ-universal group.^[2]
Any non-elementary group that is hyperbolic with respect to a collection of proper subgroups is SQ-universal.^[3]
Many HNN extensions, free products and free products with amalgamation.^[4]^[5]^[6]
The four-generator Coxeter group with presentation:^[7]

Generator (mathematics) elements of the Lie algebra to a Lie group

In mathematics and physics, the term generator or generating set may refer to any of a number of related concepts. The underlying concept in each case is that of a smaller set of objects, together with a set of operations that can be applied to it, that result in the creation of a larger collection of objects, called the generated set. The larger set is then said to be generated by the smaller set. It is commonly the case that the generating set has a simpler set of properties than the generated set, thus making it easier to discuss and examine. It is usually the case that properties of the generating set are in some way preserved by the act of generation; likewise, the properties of the generated set are often reflected in the generating set.

In abstract algebra, torsion refers to the elements of finite order in a group and the elements annihilated by any regular element of a ring in a module.

In group theory, more precisely in geometric group theory, a hyperbolic group, also known as a word hyperbolic group or Gromov hyperbolic group, is a finitely generated group equipped with a word metric satisfying certain properties abstracted from classical hyperbolic geometry. The notion of a hyperbolic group was introduced and developed by Mikhail Gromov (1987). The inspiration came from various existing mathematical theories: hyperbolic geometry but also low-dimensional topology, and combinatorial group theory. In a very influential chapter from 1987, Gromov proposed a wide-ranging research program. Ideas and foundational material in the theory of hyperbolic groups also stem from the work of George Mostow, William Thurston, James W. Cannon, Eliyahu Rips, and many others.

P=\left\langle a,b,c,d\,|\,a^{2}=b^{2}=c^{2}=d^{2}=(ab)^{3}=(bc)^{3}=(ac)^{3}=(ad)^{3}=(cd)^{3}=(bd)^{3}=1\right\rangle

Charles F. Miller III's example of a finitely presented SQ-universal group all of whose non-trivial quotients have unsolvable word problem.^[8]

In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer. The halting problem is an example: it can be proven that there is no algorithm that correctly determines whether arbitrary programs eventually halt when run.

In mathematics, especially in the area of abstract algebra known as combinatorial group theory, the word problem for a finitely generated group G is the algorithmic problem of deciding whether two words in the generators represent the same element. More precisely, if A is a finite set of generators for G then the word problem is the membership problem for the formal language of all words in A and a formal set of inverses that map to the identity under the natural map from the free monoid with involution on A to the group G. If B is another finite generating set for G, then the word problem over the generating set B is equivalent to the word problem over the generating set A. Thus one can speak unambiguously of the decidability of the word problem for the finitely generated group G.

In addition much stronger versions of the Higmann-Neumann-Neumann theorem are now known. Ould Houcine has proved:

For every countable group G there exists a 2-generator SQ-universal group H such that G can be embedded in every non-trivial quotient of H.^[9]

Some elementary properties of SQ-universal groups

A free group on countably many generators h₁, h₂, ..., h_n, ... , say, must be embeddable in a quotient of an SQ-universal group G. If $h_{1}^{*},h_{2}^{*},\dots ,h_{n}^{*}\dots \in G$ are chosen such that $h_{n}^{*}\mapsto h_{n}$ for all n, then they must freely generate a free subgroup of G. Hence:

Every SQ-universal group has as a subgroup, a free group on countably many generators.

Since every countable group can be embedded in a countable simple group, it is often sufficient to consider embeddings of simple groups. This observation allows us to easily prove some elementary results about SQ-universal groups, for instance:

If G is an SQ-universal group and N is a normal subgroup of G (i.e.

N\triangleleft G

) then either N is SQ-universal or the quotient group G/N is SQ-universal.

To prove this suppose N is not SQ-universal, then there is a countable group K that cannot be embedded into a quotient group of N. Let H be any countable group, then the direct product H × K is also countable and hence can be embedded in a countable simple group S. Now, by hypothesis, G is SQ-universal so S can be embedded in a quotient group, G/M, say, of G. The second isomorphism theorem tells us:

MN/M\cong N/(M\cap N)

Now $MN/M\triangleleft G/M$ and S is a simple subgroup of G/M so either:

MN/M\cap S\cong 1

or:

S\subseteq MN/M\cong N/(M\cap N)

.

The latter cannot be true because it implies K ⊆ H × K ⊆ S ⊆ N/(M ∩ N) contrary to our choice of K. It follows that S can be embedded in (G/M)/(MN/M), which by the third isomorphism theorem is isomorphic to G/MN, which is in turn isomorphic to (G/N)/(MN/N). Thus S has been embedded into a quotient group of G/N, and since H ⊆ S was an arbitrary countable group, it follows that G/N is SQ-universal.

Since every subgroup H of finite index in a group G contains a normal subgroup N also of finite index in G,^[10] it easily follows that:

If a group G is SQ-universal then so is any finite index subgroup H of G. The converse of this statement is also true.^[11]

Variants and generalizations of SQ-universality

Several variants of SQ-universality occur in the literature. The reader should be warned that terminology in this area is not yet completely stable and should read this section with this caveat in mind.

Let ${\mathcal {P}}$ be a class of groups. (For the purposes of this section, groups are defined up to isomorphism ) A group G is called SQ-universal in the class ${\mathcal {P}}$ if $G\in {\mathcal {P}}$ and every countable group in ${\mathcal {P}}$ is isomorphic to a subgroup of a quotient of G. The following result can be proved:

Let n, m ∈ Z where m is odd,

n>10^{78}

and m > 1, and let B(m, n) be the free m-generator Burnside group, then every non-cyclic subgroup of B(m, n) is SQ-universal in the class of groups of exponent n.

Let ${\mathcal {P}}$ be a class of groups. A group G is called SQ-universal for the class ${\mathcal {P}}$ if every group in ${\mathcal {P}}$ is isomorphic to a subgroup of a quotient of G. Note that there is no requirement that $G\in {\mathcal {P}}$ nor that any groups be countable.

The standard definition of SQ-universality is equivalent to SQ-universality both in and for the class of countable groups.

Given a countable group G, call an SQ-universal group HG-stable, if every non-trivial factor group of H contains a copy of G. Let ${\mathcal {G}}$ be the class of finitely presented SQ-universal groups that are G-stable for some G then Houcine's version of the HNN theorem that can be re-stated as:

The free group on two generators is SQ-universal for

{\mathcal {G}}

.

However, there are uncountably many finitely generated groups, and a countable group can only have countably many finitely generated subgroups. It is easy to see from this that:

No group can be SQ-universal in

{\mathcal {G}}

.

An infinite class ${\mathcal {P}}$ of groups is wrappable if given any groups $F,G\in {\mathcal {P}}$ there exists a simple group S and a group $H\in {\mathcal {P}}$ such that F and G can be embedded in S and S can be embedded in H. The it is easy to prove:

If

{\mathcal {P}}

is a wrappable class of groups, G is an SQ-universal for

{\mathcal {P}}

and

N\triangleleft G

then either N is SQ-universal for

{\mathcal {P}}

or G/N is SQ-universal for

{\mathcal {P}}

.

If

{\mathcal {P}}

is a wrappable class of groups and H is of finite index in G then G is SQ-universal for the class

{\mathcal {P}}

if and only if H is SQ-universal for

{\mathcal {P}}

.

The motivation for the definition of wrappable class comes from results such as the Boone-Higman theorem, which states that a countable group G has soluble word problem if and only if it can be embedded in a simple group S that can be embedded in a finitely presented group F. Houcine has shown that the group F can be constructed so that it too has soluble word problem. This together with the fact that taking the direct product of two groups preserves solubility of the word problem shows that:

The class of all finitely presented groups with soluble word problem is wrappable.

Other examples of wrappable classes of groups are:

The class of finite groups.
The class of torsion free groups.
The class of countable torsion free groups.
The class of all groups of a given infinite cardinality.

The fact that a class ${\mathcal {P}}$ is wrappable does not imply that any groups are SQ-universal for ${\mathcal {P}}$ . It is clear, for instance, that some sort of cardinality restriction for the members of ${\mathcal {P}}$ is required.

If we replace the phrase "isomorphic to a subgroup of a quotient of" with "isomorphic to a subgroup of" in the definition of "SQ-universal", we obtain the stronger concept of S-universal (respectively S-universal for/in ${\mathcal {P}}$ ). The Higman Embedding Theorem can be used to prove that there is a finitely presented group that contains a copy of every finitely presented group. If ${\mathcal {W}}$ is the class of all finitely presented groups with soluble word problem, then it is known that there is no uniform algorithm to solve the word problem for groups in ${\mathcal {W}}$ . It follows, although the proof is not a straightforward as one might expect, that no group in ${\mathcal {W}}$ can contain a copy of every group in ${\mathcal {W}}$ . But it is clear that any SQ-universal group is a fortiori SQ-universal for ${\mathcal {W}}$ . If we let ${\mathcal {F}}$ be the class of finitely presented groups, and F₂ be the free group on two generators, we can sum this up as:

F₂ is SQ-universal in ${\mathcal {F}}$ and ${\mathcal {W}}$ .
There exists a group that is S-universal in ${\mathcal {F}}$ .
No group is S-universal in ${\mathcal {W}}$ .

The following questions are open (the second implies the first):

Is there a countable group that is not SQ-universal but is SQ-universal for ${\mathcal {W}}$ ?
Is there a countable group that is not SQ-universal but is SQ-universal in ${\mathcal {W}}$ ?

While it is quite difficult to prove that F₂ is SQ-universal, the fact that it is SQ-universal for the class of finite groups follows easily from these two facts:

Every symmetric group on a finite set can be generated by two elements
Every finite group can be embedded inside a symmetric group—the natural one being the Cayley group, which is the symmetric group acting on this group as the finite set.

SQ-universality in other categories

If ${\mathcal {C}}$ is a category and ${\mathcal {P}}$ is a class of objects of ${\mathcal {C}}$ , then the definition of SQ-universal for ${\mathcal {P}}$ clearly makes sense. If ${\mathcal {C}}$ is a concrete category, then the definition of SQ-universal in ${\mathcal {P}}$ also makes sense. As in the group theoretic case, we use the term SQ-universal for an object that is SQ-universal both for and in the class of countable objects of ${\mathcal {C}}$ .

Many embedding theorems can be restated in terms of SQ-universality. Shirshov's Theorem that a Lie algebra of finite or countable dimension can be embedded into a 2-generator Lie algebra is equivalent to the statement that the 2-generator free Lie algebra is SQ-universal (in the category of Lie algebras). This can be proved by proving a version of the Higman, Neumann, Neumann theorem for Lie algebras.^[12] However versions of the HNN theorem can be proved for categories where there is no clear idea of a free object. For instance it can be proved that every separable topological group is isomorphic to a topological subgroup of a group having two topological generators (that is, having a dense 2-generator subgroup).^[13]

A similar concept holds for free lattices. The free lattice in three generators is countably infinite. It has, as a sublattice, the free lattice in four generators, and, by induction, as a sublattice, the free lattice in a countable number of generators.^[14]

Related Research Articles

In abstract algebra, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, these are the groups that obey the axiom of commutativity. Abelian groups generalize the arithmetic of addition of integers. They are named after early 19th century mathematician Niels Henrik Abel.

A quotient group or factor group is a mathematical group obtained by aggregating similar elements of a larger group using an equivalence relation that preserves some of the group structure. For example, the cyclic group of addition modulo n can be obtained from the group of integers under addition by identifying elements that differ by a multiple of n and defining a group structure that operates on each such class as a single entity. It is part of the mathematical field known as group theory.

In mathematics, profinite groups are topological groups that are in a certain sense assembled from finite groups. They share many properties with their finite quotients: for example, both Lagrange's theorem and the Sylow theorems generalise well to profinite groups.

In mathematics, a topological group is a group G together with a topology on G such that both the group's binary operation and the function mapping group elements to their respective inverses are continuous functions with respect to the topology. A topological group is a mathematical object with both an algebraic structure and a topological structure. Thus, one may perform algebraic operations, because of the group structure, and one may talk about continuous functions, because of the topology.

In mathematics, specifically abstract algebra, the isomorphism theorems are three 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.

In group theory, a branch of abstract algebra, a cyclic group or monogenous group is a group 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 a power of g in multiplicative notation, or as a multiple of g in additive notation. This element g is called a generator of the group.

In mathematics, the free groupF_S over a given set S consists of all words that can be built from members of S, considering two words different unless their equality follows from the group axioms. The members of S are called generators of F_S. An arbitrary group G is called free if it is isomorphic to F_S for some subset S of G, that is, if there is a subset S of G such that every element of G can be written in one and only one way as a product of finitely many elements of S and their inverses.

In mathematics, a presentation is one method of specifying a group. A presentation of a group G comprises a set S of generators—so that every element of the group can be written as a product of powers of some of these generators—and a set R of relations among those generators. We then say G has presentation

Generating set of a group Subset of a group such that all group elements can be expressed by finitely many group operations on its elements

In abstract algebra, a generating set of a group is a subset such that every element of the group can be expressed as the combination of finitely many elements of the subset and their inverses.

In abstract algebra, a free abelian group or free Z-module is an abelian group with a basis. Being an abelian group means that it is a set with an addition operation that is associative, commutative, and invertible. A basis is a subset such that every element of the group can be found by adding or subtracting basis elements, and such that every element's expression as a linear combination of basis elements is unique. For instance, the integers under addition form a free abelian group with basis {1}. Addition of integers is commutative, associative, and has subtraction as its inverse operation, each integer is the sum or difference of some number of copies of the number 1, and each integer has a unique representation as an integer multiple of the number 1.

In mathematics, more specifically algebraic topology, a covering map is a continuous function $from a topological space to a topological space such that each point in has an open neighbourhood evenly covered by; the precise definition is given below. In this case, is called a covering space and the base space of the covering projection. The definition implies that every covering map is a local homeomorphism.$

In mathematics, a von Neumann algebra or W*-algebra is a *-algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. It is a special type of C*-algebra.

In mathematics, specifically group theory, the free product is an operation that takes two groups G and H and constructs a new group G ∗ H. The result contains both G and H as subgroups, is generated by the elements of these subgroups, and is the “universal” group having these properties, in the sense that any two homomorphisms from G and H into a group K factor uniquely through a homomorphism from G ∗ H to K. Unless one of the groups G and H is trivial, the free product is always infinite. The construction of a free product is similar in spirit to the construction of a free group.

In geometric topology, a field within mathematics, the obstruction to a homotopy equivalence $of finite CW-complexes being a simple homotopy equivalence is its Whitehead torsion which is an element in the Whitehead group . These concepts are named after the mathematician J. H. C. Whitehead.$

In algebra, a finitely generated group is a group G that has some finite generating set S so that every element of G can be written as the combination of finitely many elements of the finite set S and of inverses of such elements.

In mathematics, the Grothendieck group construction constructs an abelian group from a commutative monoid $M$ in the most universal way, in the sense that any abelian group containing a homomorphic image of $M$ will also contain a homomorphic image of the Grothendieck group of $M$ . The Grothendieck group construction takes its name from a specific case in category theory, introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory. This specific case is the monoid of isomorphism classes of objects of an abelian category, with the direct sum as its operation.

In mathematics, the HNN extension is an important construction of combinatorial group theory.

In mathematics, the Cuntz algebra $, named after Joachim Cuntz, is the universal C*-algebra generated by n isometries satisfying certain relations. It is the first concrete example of a separable infinite simple C*-algebra.$

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 ℵ₁ compact elements, but F. Wehrung provided a counterexample for distributive lattices with ℵ₂ compact elements using a construction based on Kuratowski's free set theorem.

In mathematics, the Tits alternative, named for Jacques Tits, is an important theorem about the structure of finitely generated linear groups.

References

↑ G. Higman, B.H. Neumann and H. Neumann, 'Embedding theorems for groups', J. London Math. Soc. 24 (1949), 247-254
↑ Anton A. Klyachko, 'The SQ-universality of one-relator relative presentation', Arxiv preprint math.GR/0603468, 2006
↑ G. Arzhantseva, A. Minasyan, D. Osin, 'The SQ-universality and residual properties of relatively hyperbolic groups', Journal of Algebra 315 (2007), No. 1, pp. 165-177
↑ Benjamin Fine, Marvin Tretkoff, 'On the SQ-Universality of HNN Groups', Proceedings of the American Mathematical Society, Vol. 73, No. 3 (Mar., 1979), pp. 283-290
↑ P.M. Neumann: The SQ-universality of some finitely presented groups. J. Austral. Math. Soc. 16, 1-6 (1973)
↑ K. I. Lossov, 'SQ-universality of free products with amalgamated finite subgroups', Siberian Mathematical Journal Volume 27, Number 6 / November, 1986
↑ Muhammad A. Albar, 'On a four-generator Coxeter Group', Internat. J. Math & Math. Sci Vol 24, No 12 (2000), 821-823
↑ C. F. Miller. Decision problems for groups -- survey and reflections. In Algorithms and Classification in Combinatorial Group Theory, pages 1--60. Springer, 1991.
↑ A.O. Houcine, 'Satisfaction of existential theories in finitely presented groups and some embedding theorems', Annals of Pure and Applied Logic, Volume 142, Issues 1-3 , October 2006, Pages 351-365
↑ Lawson, Mark V. (1998) Inverse semigroups: the theory of partial symmetries, World Scientific. ISBN 981-02-3316-7, p. 52
↑ P.M. Neumann: The SQ-universality of some finitely presented groups. J. Austral. Math. Soc. 16, 1-6 (1973)
↑ A.I. Lichtman and M. Shirvani, 'HNN-extensions of Lie algebras', Proc. American Math. Soc. Vol 125, Number 12, December 1997, 3501-3508
↑ Sidney A. Morris and Vladimir Pestov, 'A topological generalization of the Higman-Neumann-Neumann Theorem', Research Report RP-97-222 (May 1997), School of Mathematical and Computing Sciences, Victoria University of Wellington. See also J. Group Theory 1, No.2, 181-187 (1998).
↑ L.A. Skornjakov, Elements of Lattice Theory (1977) Adam Hilger Ltd. (see pp.77-78)

Lawson, M.V. (1998). Inverse semigroups: the theory of partial symmetries. World Scientific. ISBN 978-981-02-3316-7.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] G. Higman, B.H. Neumann and H. Neumann, 'Embedding theorems for groups', J. London Math. Soc. 24 (1949), 247-254

[2] Anton A. Klyachko, 'The SQ-universality of one-relator relative presentation', Arxiv preprint math.GR/0603468, 2006

[3] G. Arzhantseva, A. Minasyan, D. Osin, 'The SQ-universality and residual properties of relatively hyperbolic groups', Journal of Algebra 315 (2007), No. 1, pp. 165-177

[4] Benjamin Fine, Marvin Tretkoff, 'On the SQ-Universality of HNN Groups', Proceedings of the American Mathematical Society, Vol. 73, No. 3 (Mar., 1979), pp. 283-290

[5] P.M. Neumann: The SQ-universality of some finitely presented groups. J. Austral. Math. Soc. 16, 1-6 (1973)

[6] K. I. Lossov, 'SQ-universality of free products with amalgamated finite subgroups', Siberian Mathematical Journal Volume 27, Number 6 / November, 1986

[7] Muhammad A. Albar, 'On a four-generator Coxeter Group', Internat. J. Math & Math. Sci Vol 24, No 12 (2000), 821-823

[8] C. F. Miller. Decision problems for groups -- survey and reflections. In Algorithms and Classification in Combinatorial Group Theory, pages 1--60. Springer, 1991.

[9] A.O. Houcine, 'Satisfaction of existential theories in finitely presented groups and some embedding theorems', Annals of Pure and Applied Logic, Volume 142, Issues 1-3 , October 2006, Pages 351-365

[10] Lawson, Mark V. (1998) Inverse semigroups: the theory of partial symmetries, World Scientific. ISBN 981-02-3316-7, p. 52

[11] P.M. Neumann: The SQ-universality of some finitely presented groups. J. Austral. Math. Soc. 16, 1-6 (1973)

[12] A.I. Lichtman and M. Shirvani, 'HNN-extensions of Lie algebras', Proc. American Math. Soc. Vol 125, Number 12, December 1997, 3501-3508

[13] Sidney A. Morris and Vladimir Pestov, 'A topological generalization of the Higman-Neumann-Neumann Theorem', Research Report RP-97-222 (May 1997), School of Mathematical and Computing Sciences, Victoria University of Wellington. See also J. Group Theory 1, No.2, 181-187 (1998).

[14] L.A. Skornjakov, Elements of Lattice Theory (1977) Adam Hilger Ltd. (see pp.77-78)