Wreath Product in Factorization of Holosymmetric Group

The holosymmetric group Q of an n-dimensional crystal lattice determined by a given lattice basis B is considered. This group is contained in the n-dimensional orthogonal group O(n) so its elements preserve the orthogonality of basis vectors and their lengths. These conditions yield the decomposition of lattice basis into orthogonal sublattices and next the factorization of the holosymmetric group, which can be written as a direct product of complete monomial groups of k-dimensional (k ≤ n) holosymmetric groups. Simple, decomposable and primitive holosymmetric groups are discussed. The results for n ≤ 4 are presented.