| Version 4 |
Version 3 |
| \PMlinkescapeword{lattice} |
\PMlinkescapeword{lattice} |
| \PMlinkescapeword{properties} |
\PMlinkescapeword{properties} |
| \PMlinkescapeword{satisfies} |
\PMlinkescapeword{satisfies} |
| \PMlinkescapeword{subgroup} |
\PMlinkescapeword{subgroup} |
|
|
| A \emph{Tarski group} is an infinite group $G$ |
A \emph{Tarski group} is an infinite group $G$ |
| such that every non-trivial proper subgroup of $G$ is of prime order. |
such that every non-trivial proper subgroup of $G$ is of prime order. |
|
|
| Tarski groups are also called \emph{Tarski monsters}, |
Tarski groups are also called \emph{Tarski monsters}, |
| especially in the case when |
especially in the case when |
| all the proper non-trivial subgroups are of the same order |
all the proper non-trivial subgroups are of the same order |
| (that is, when the Tarski group is |
(that is, when the Tarski group is |
| a \PMlinkname{$p$-group}{PGroup4} for some prime $p$). |
a \PMlinkname{$p$-group}{PGroup4} for some prime $p$). |
|
|
| Ol'shanskij\cite{ol1,ol2} showed that Tarski groups exist, |
Ol'shanskij\cite{ol1,ol2} showed that Tarski groups exist, |
| and that there is a Tarski $p$-group for every prime $p > 10^{75}$. |
and that there is a Tarski $p$-group for every prime $p > 10^{75}$. |
|
|
| From the definition one can easily deduce |
From the definition one can easily deduce |
| a number of properties of Tarski groups. |
a number of properties of Tarski groups. |
| For example, |
For example, |
| every Tarski group is a simple group, |
every Tarski group is a simple group, |
| it satisfies the minimal condition and the maximal condition, |
it satisfies the minimal condition and the maximal condition, |
| it can be generated by just two elements, |
it can be generated by just two elements, |
| its subgroup \PMlinkname{lattice}{Lattice} is \PMlinkname{modular}{ModularLattice}, |
its subgroup \PMlinkname{lattice}{Lattice} is \PMlinkname{modular}{ModularLattice}, |
| and it is periodic but not locally finite. |
and it is periodic but not locally finite. |
|
|
| \begin{thebibliography}{9} |
\begin{thebibliography}{9} |
| \bibitem{ol1} |
\bibitem{ol1} |
| A.\ Yu.\ Ol'shanskij, |
A.\ Yu.\ Ol'shanskij, |
|
Math.\ USSR Izv.\ 16 (1981), 279--289;
|
Inv.\ Akad.\ Nauk SSSR Ser.\ Mat.\ 44 (1980), 309--321.
|
|
translation of Izvestia Akad.\ Nauk SSSR Ser.\ Matem.\ 44 (1980), 309--321.
|
(Russian)
|
| \bibitem{ol2} |
\bibitem{ol2} |
| A.\ Yu.\ Ol'shanskij, |
A.\ Yu.\ Ol'shanskij, |
| {\it Groups of bounded period with subgroups of prime order}, |
{\it Groups of bounded period with subgroups of prime order}, |
| Algebra and Logic 21 (1983), 369--418; |
Algebra and Logic 21 (1983), 369--418; |
| translation of Algebra i Logika 21 (1982), 553--618. |
translation of Algebra i Logika 21 (1982), 553--618. |
| \end{thebibliography} |
\end{thebibliography} |
