In his proof of Szemerédi’s Theorem, Gowers introduced certain norms that are defined on a parallelepiped structure. A natural question is on which sets a parallelepiped structure (and thus a Gowers norm) can be defined. We focus on dimensions $2$ and $3$ and show when this possible, and describe a correspondence between the parallelepiped structures and nilpotent groups.

For an algebraic number field $K$ with $3$-class group ${\mathrm{Cl}}_3\left(K\right)$ of type $(3,3)$, the structure of the $3$-class groups ${\mathrm{Cl}}_3\left(N_i\right)$ of the four unramified cyclic cubic extension fields $N_i$, $1\le i\le 4$, of $K$ is calculated with the aid of presentations for the metabelian Galois group ${\mathrm{G}}_3^2\left(K\right)=\mathrm{Gal}\left({\mathrm{F}}_3^2\left(K\right)\right|K)$ of the second Hilbert $3$-class field ${\mathrm{F}}_3^2\left(K\right)$ of $K$. In the case of a quadratic base field $K=\mathbb{Q}\left(\sqrt{D}\right)$ it is shown that the structure of the $3$-class groups of the four $S_3$-fields $N_1,...,N_4$ frequently determines the type of principalization of the $3$-class group of $K$ in $N_1,...,N_4$. This provides...

In this paper, we give a generalization of Baer Theorem on the injective property of divisible abelian groups. As consequences of the obtained result we find a sufficient condition for a group $G$ to express as semi-direct product of a divisible subgroup $D$ and some subgroup $H$. We also apply the main Theorem to the $p$-groups with center of index $p^2$, for some prime $p$. For these groups we compute $N_c\left(G\right)$ the number of conjugacy classes and $N_a$ the number of abelian maximal subgroups and $N_{na}$ the number of nonabelian...