Zalesskii group
From Groupprops
Definition
The Zalesskii group can be defined as the following subgroup of unitriangular matrix group:UT(3,Q). Note that the group is not unique up to isomorphism, because the choice of group depends on the choice of prime partitioning in Step (1). The number of such groups up to isomorphism equals the cardinality of the continuum.
Step no. | Step detail |
---|---|
1 | Partition the set of all prime numbers into three pairwise disjoint subsets where , all three of the subsets being infinite. |
2 | Let be the set |
3 | Let be the set |
4 | Let be the set |
5 | The group we are interested in is the subgroup inside , the group of upper-triangular matrices with 1s on the diagonal and rational entries. |
The group was constructed by Zalesskii to demonstrate that there exist infinite nilpotent groups in which every automorphism is inner.
References
Original construction
- An example of a torsion-free nilpotent group having no outer automorphisms by A. E. Zalesskii, Matematicheskie Zametki, Volume 11,Number 1, Page 21 - 26(January 1972): ^{}^{More info}