Spherical 7-Designs in 2 n -Dimensional Euclidean Space

We consider a finite subgroup _n of the group O(N) of orthogonal matrices, where N = 2 ⁿ , n = 1, 2 .... This group was defined in 7]. We use it in this paper to construct spherical designs in 2 ⁿ -dimensional Euclidean space R ^N . We prove that representations of the group _n on spaces of harmonic polynomials of degrees 1, 2 and 3 are irreducible. This and the earlier results 1–3] imply that the orbit _n,2 x ^t of any initial point x on the sphere S _{N – 1} is a 7-design in the Euclidean space of dimension 2 ⁿ .