Locally finite group

Last updated

In mathematics, in the field of group theory, a locally finite group is a type of group that can be studied in ways analogous to a finite group. Sylow subgroups, Carter subgroups, and abelian subgroups of locally finite groups have been studied. The concept is credited to work in the 1930s by Russian mathematician Sergei Chernikov. [1]

Contents

Definition and first consequences

A locally finite group is a group for which every finitely generated subgroup is finite.

Since the cyclic subgroups of a locally finite group are finitely generated hence finite, every element has finite order, and so the group is periodic.

Examples and non-examples

Examples:

Non-examples:

Properties

The class of locally finite groups is closed under subgroups, quotients, and extensions ( Robinson 1996 , p. 429).

Locally finite groups satisfy a weaker form of Sylow's theorems. If a locally finite group has a finite p-subgroup contained in no other p-subgroups, then all maximal p-subgroups are finite and conjugate. If there are finitely many conjugates, then the number of conjugates is congruent to 1 modulo p. In fact, if every countable subgroup of a locally finite group has only countably many maximal p-subgroups, then every maximal p-subgroup of the group is conjugate ( Robinson 1996 , p. 429).

The class of locally finite groups behaves somewhat similarly to the class of finite groups. Much of the 1960s theory of formations and Fitting classes, as well as the older 19th century and 1930s theory of Sylow subgroups has an analogue in the theory of locally finite groups ( Dixon 1994 , p. v.).

Similarly to the Burnside problem, mathematicians have wondered whether every infinite group contains an infinite abelian subgroup. While this need not be true in general, a result of Philip Hall and others is that every infinite locally finite group contains an infinite abelian group. The proof of this fact in infinite group theory relies upon the Feit–Thompson theorem on the solubility of finite groups of odd order ( Robinson 1996 , p. 432).

Related Research Articles

<span class="mw-page-title-main">Abelian group</span> Commutative group (mathematics)

In mathematics, 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, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after Niels Henrik Abel.

<span class="texhtml mvar" style="font-style:italic;">p</span>-group Group in which the order of every element is a power of p

In mathematics, specifically group theory, given a prime number p, a p-group is a group in which the order of every element is a power of p. That is, for each element g of a p-group G, there exists a nonnegative integer n such that the product of pn copies of g, and not fewer, is equal to the identity element. The orders of different elements may be different powers of p.

<span class="mw-page-title-main">Symmetric group</span> Type of group in abstract algebra

In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group defined over a finite set of symbols consists of the permutations that can be performed on the symbols. Since there are such permutation operations, the order of the symmetric group is .

<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 abstract algebra, 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.

<span class="mw-page-title-main">Sylow theorems</span> Theorems that help decompose a finite group based on prime factors of its order

In mathematics, specifically in the field of finite group theory, the Sylow theorems are a collection of theorems named after the Norwegian mathematician Peter Ludwig Sylow that give detailed information about the number of subgroups of fixed order that a given finite group contains. The Sylow theorems form a fundamental part of finite group theory and have very important applications in the classification of finite simple groups.

<span class="mw-page-title-main">Nilpotent group</span> Concept in group theory of mathematics

In mathematics, specifically group theory, a nilpotent groupG is a group that has an upper central series that terminates with G. Equivalently, it has a central series of finite length or its lower central series terminates with {1}.

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

A group is a set together with an associative operation that admits an identity element and such that there exists an inverse for every element.

In mathematics, an amenable group is a locally compact topological group G carrying a kind of averaging operation on bounded functions that is invariant under translation by group elements. The original definition, in terms of a finitely additive measure on subsets of G, was introduced by John von Neumann in 1929 under the German name "messbar" in response to the Banach–Tarski paradox. In 1949 Mahlon M. Day introduced the English translation "amenable", apparently as a pun on "mean".

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

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 S and of inverses of such elements.

In mathematics, the Feit–Thompson theorem, or odd order theorem, states that every finite group of odd order is solvable. It was proved by Walter Feit and John Griggs Thompson.

In group theory, a branch of mathematics, a torsion group or a periodic group is a group in which every element has finite order. The exponent of such a group, if it exists, is the least common multiple of the orders of the elements.

<span class="mw-page-title-main">Prüfer group</span>

In mathematics, specifically in group theory, the Prüfer p-group or the p-quasicyclic group or p-group, Z(p), for a prime number p is the unique p-group in which every element has p different p-th roots.

In mathematics, George Glauberman's Z* theorem is stated as follows:

Z* theorem: Let G be a finite group, with O(G) being its maximal normal subgroup of odd order. If T is a Sylow 2-subgroup of G containing an involution not conjugate in G to any other element of T, then the involution lies in Z*(G), which is the inverse image in G of the center of G/O(G).

In mathematics, especially in the area of algebra known as group theory, the term Z-group refers to a number of distinct types of groups:

In abstract algebra, the focal subgroup theorem describes the fusion of elements in a Sylow subgroup of a finite group. The focal subgroup theorem was introduced in and is the "first major application of the transfer" according to. The focal subgroup theorem relates the ideas of transfer and fusion such as described by Otto Grün in. Various applications of these ideas include local criteria for p-nilpotence and various non-simplicity criteria focussing on showing that a finite group has a normal subgroup of index p.

In mathematics, two Prüfer theorems, named after Heinz Prüfer, describe the structure of certain infinite abelian groups. They have been generalized by L. Ya. Kulikov.

In mathematics, the height of an element g of an abelian group A is an invariant that captures its divisibility properties: it is the largest natural number N such that the equation Nx = g has a solution xA, or the symbol ∞ if there is no such N. The p-height considers only divisibility properties by the powers of a fixed prime number p. The notion of height admits a refinement so that the p-height becomes an ordinal number. Height plays an important role in Prüfer theorems and also in Ulm's theorem, which describes the classification of certain infinite abelian groups in terms of their Ulm factors or Ulm invariants.

<span class="mw-page-title-main">Sergei Chernikov</span> Russian mathematician

Sergei Nikolaevich Chernikov was a Russian mathematician who contributed significantly to the development of infinite group theory and linear inequalities.

References

  1. Dixon, M. R.; Kirichenko, V. V.; Kurdachenko, L. A.; Otal, J.; Semko, N. N.; Shemetkov, L. A.; Subbotin, I. Ya. (2012). "S. N. Chernikov and the development of infinite group theory". Algebra and Discrete Mathematics. 13 (2): 169–208.
  2. Curtis, Charles; Reiner, Irving (1962), Representation Theory of Finite Groups and Associated Algebras, John Wiley & Sons, pp. 256–262
  3. ROSENSTEIN, J . G. (1973). "Ω-categoricity of groups". J. Algebra. 25 (3): 435–467. doi:10.1016/0021-8693(73)90092-6.