Locally finite group

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.

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 finite, every element has finite order, and so the group is periodic.

Examples and non-examples

Examples:
* Every finite group is locally finite
* Every infinite direct sum of finite groups is locally finite harv|Robinson|1996|p=443
* The Prüfer groups are locally finite abelian groups
* Every periodic solvable group is locally finite harv|Dixon|1994|loc=Prop. 1.1.5.
* Every subgroup of a locally finite group is locally finite. If "G" is a group and "S" is a subgroup of "G" and "F" is a finite subset of "S", the subgroup generated by "F" cannot be an infinite subset of "S" for then it would be and infinite subset of "G" contradicting the fact that "G" is locally finite.
* If G is not a locally finite group, then it is possible that there is a locally finite subgroup of G; in particular, the trivial group.

Non-examples:
* No group with an element of infinite order is a locally finite group
* No nontrivial free group is locally finite
* A Tarski monster group is periodic, but not locally finite.

Properties

The class of locally finite groups is closed under subgroups, quotients, and extensions harv|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 harv|Robinson|1996|p=429.

The class of locally finite groups behaves somewhat similarly to the class of finite groups. Much of the 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 harv|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 harv|Robinson|1996|p=432.

References

External links

*springer|id=L/l060410|author=A.L. Shmel'kin

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

Locally finite — The term locally finite has a number of different meanings in mathematics:*Locally finite collection of sets in a topological space *Locally finite group *Locally finite measure *Locally finite poset … Wikipedia
Locally compact group — In mathematics, a locally compact group is a topological group G which is locally compact as a topological space. Locally compact groups are important because they have a natural measure called the Haar measure. This allows one to define… … Wikipedia
Residually finite group — In the mathematical field of group theory, a group G is residually finite or finitely approximable if for every nontrivial element g in G there is a homomorphism h from G to a finite group, such that :h(g) eq 1.,There are a number of equivalent… … Wikipedia
Group isomorphism — In abstract algebra, a group isomorphism is a function between two groups that sets up a one to one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two… … Wikipedia
Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines … Wikipedia
Group representation — In the mathematical field of representation theory, group representations describe abstract groups in terms of linear transformations of vector spaces; in particular, they can be used to represent group elements as matrices so that the group… … Wikipedia
Group action — This article is about the mathematical concept. For the sociology term, see group action (sociology). Given an equilateral triangle, the counterclockwise rotation by 120° around the center of the triangle acts on the set of vertices of the… … Wikipedia
Locally compact space — In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space.Formal definitionLet X be a topological space. The… … Wikipedia
Group algebra — This page discusses topological algebras associated to topological groups; for the purely algebraic case of discrete groups see group ring. In mathematics, the group algebra is any of various constructions to assign to a locally compact group an… … Wikipedia
Hall's universal group — In algebra, Hall s universal group isa countable locally finite group, say U , which is uniquely characterized by the following properties.* Every finite group G admits a monomorphism to U .* All such monomorphisms are conjugate by inner… … Wikipedia

Academic Dictionaries and Encyclopedias

Locally finite group

Look at other dictionaries:

Share the article and excerpts

Academic Dictionaries and Encyclopedias

Wikipedia

Locally finite group

Look at other dictionaries:

Share the article and excerpts

Direct link