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.