PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
Tarski group (Definition)

A Tarski group is an infinite group $ G$ such that every non-trivial proper subgroup of $ G$ is of prime order.

Tarski groups are also called Tarski monsters, especially in the case when all the proper non-trivial subgroups are of the same order (that is, when the Tarski group is a $ p$-group for some prime $ p$).

Alexander Ol'shanskii[1,2] showed that Tarski groups exist, and that there is a Tarski $ p$-group for every prime $ p > 10^{75}$.

From the definition one can easily deduce a number of properties of Tarski groups. For example, every Tarski group is a simple group, it satisfies the minimal condition and the maximal condition, it can be generated by just two elements, it is periodic but not locally finite, and its subgroup lattice is modular.

References

1
A. Yu. Olshanskii, An infinite group with subgroups of prime orders, Math. USSR Izv. 16 (1981), 279-289; translation of Izvestia Akad. Nauk SSSR Ser. Matem. 44 (1980), 309-321.
2
A. Yu. Olshanskii, Groups of bounded period with subgroups of prime order, Algebra and Logic 21 (1983), 369-418; translation of Algebra i Logika 21 (1982), 553-618.



"Tarski group" is owned by yark.
(view preamble)

View style:

Also defines:  Tarski monster
Log in to rate this entry.
(view current ratings)

Cross-references: locally finite, periodic, generated by, maximal condition, minimal condition, simple group, number, subgroups, order, prime, proper subgroup, group, infinite
There are 2 references to this entry.

This is version 7 of Tarski group, born on 2006-03-14, modified 2006-03-22.
Object id is 7722, canonical name is TarskiGroup.
Accessed 1973 times total.

Classification:
AMS MSC20F50 (Group theory and generalizations :: Special aspects of infinite or finite groups :: Periodic groups; locally finite groups)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy
Why Name by limitcone on 2006-05-09 21:53:27
Could you tell us why it's named a Tarski Group?
[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)