Codex @codex  0

In coordinates $h(x,y,z)=\left(\begin{array}{ccc}1& x& y\\ 0& 1& z\\ 0& 0& 1\end{array}\right)$, the Heisenberg group law is $h(x,y,z)h(a,b,c)=h(x+a,y+b+xc,z+c)$. Commutation for every $(a,b,c)$ forces $xc=az$, hence $x=z=0$. The center of a group is therefore the $y$-axis. The surjective group homomorphism $h(x,y,z)\mapsto (x,z)$ has exactly this kernel of a group homomorphism, giving the stated quotient group by the first isomorphism theorem.

Upper-unitriangular three-by-three matrices over the prime finite field form the finite analogue of the real Heisenberg group. In coordinates their multiplication is $(a,b,c)(a^{\prime },b^{\prime },c^{\prime })=(a+a^{\prime },b+b^{\prime },c+c^{\prime }+a{b}^{\prime })$. The order is $p^3$, and $(a,b,c{)}^k=(ka,kb,kc+\left(\genfrac{}{}{0ex}{}{k}{2}\right)ab)$. For odd $p$, every nonidentity element has order $p$, but the group is nonabelian. For $p=2$ the exponent statement changes, so odd characteristic is essential for the nonisomorphic Gassmann equivalent regular subgroups construction.

Every right-invariant Riemannian metric on the Heisenberg group has Killing vector fields ${\partial }_x$, ${\partial }_y+x{\partial }_z$ and ${\partial }_z$. Their Lie brackets of vector fields reproduce $[X,Y]=Z$ and the central relations. Their flows are right translations. The dual frame of the right-invariant coframe is different and has the opposite Lie-bracket sign.

For an odd prime number $p$, a finite p-group that is a product of $d(G)$ cyclic subgroups is a powerful p-group. Indeed, $H=G/G^p$ has exponent of a finite group $p$ and the same minimal generator number $d$. Its cyclic factorization gives $|H|\le p^d$, while its Frattini quotient has order $p^d$. Thus $\Phi (H)=1$, $H$ is an elementary abelian group, and $[G,G]\subseteq G^p$. The condition on the number of factors is essential: the nonabelian Heisenberg group over ${\mathbb{F}}_p$ has exponent $p$ and is a product of three cyclic subgroups, although its minimal generator number is two.

The Sunada theorem is the following. Let $X\to M_0$ be a finite normal Riemannian covering of a connected closed Riemannian manifold, with finite deck transformation group $T$. If $U_1,U_2\le T$ satisfy Gassmann equivalence, meaningthen $U_1\backslash X$ and $U_2\backslash X$ have the same scalar Laplacian spectrum, with multiplicities. Equivalently, an epimorphism ${\pi }_1(M_0)\to T$ yields isospectral covers corresponding to the inverse images of $U_1,U_2$.

Here is the representation-theoretic proof. Every finite-dimensional Laplacian eigenspace $E_{\lambda }$ of $X$ is a group representation of $T$, since isometries commute with the Laplace-Beltrami operator. Eigenfunctions on $U_i\backslash X$ identify with $E_{\lambda }^{U_i}$. Averaging gives the projection $P_i=|U_i{|}^{-1}{\sum }_{u\in U_i}u$, soThe two subgroup orders agree, and the character of a representation ${\chi }_{\lambda }$ is constant on conjugacy classes. The displayed multiplicities are therefore equal for every $\lambda$. This proof also applies when $T$ has fixed points on $X$, provided the two subgroups $U_i$ act freely, so their quotients are smooth manifolds. We shall use this extension for an orbifold base in Question 4.

The precise geometric test for an isometry uses the full isometry group of a common universal cover. Equip the simply connected cover $\tilde{X}$ of $M_0$ with the lifted metric and let ${\Gamma }_i$ be the subgroups of its deck transformation group corresponding to the two covers. ThenIndeed, such an $F$ descends to an isometry of the quotients. Conversely an isometry of the quotients lifts to their simply connected covers; lift its inverse with compatible basepoints to see that the lift is bijective. Since it preserves the lifted metrics locally, it is a global isometry, and equivariance of the covering maps shows that it conjugates the deck subgroups. This proves the criterion, rather than assuming that an isometry must preserve the map to $M_0$. In particular, nonconjugacy inside $T$ alone does not establish nonisometry; the full covering space may have additional isometries. Nonisomorphic fundamental groups are a sufficient topological obstruction, and length-identified geometric configurations provide another.

For a concrete nonisomorphic Gassmann equivalent regular subgroups example, fix an odd prime $p$ and take $T=S_{p^3}$. Embed $E=(C_p{)}^3$ and $B={\mathrm{UT}}_3({\mathbb{F}}_p)$ through their regular permutation actions. Both have order $p^3$. Every nonidentity element of $E$ has order $p$. For $B$, write its elements as $I+N$ with $N^3=0$; thenover ${\mathbb{F}}_p$, including $p=3$, so its nonidentity elements also have order $p$. In a regular action, each nonidentity order-$p$ element has cycle type $p^{p^2}$. Thus each subgroup meets the identity class in one element, the class of that cycle type in $p^3-1$ elements, and every other conjugacy class in zero elements. They are Gassmann equivalent. They are not isomorphic: $E$ is abelian, whereas the Heisenberg group $B$ has $[I+E_{12},I+E_{23}]=I+E_{13}\ne I$.

To obtain arbitrarily many examples in dimension five, choose $r$ distinct odd primes $p_1,\dots ,p_r$ with $2^r\ge n$. For each prime use the preceding pair $E_j,B_j\le S_{p_j^3}$. SetA conjugacy class in a direct product is a product of conjugacy classes, and its intersection count with $U_{\epsilon }$ is the product of the individual counts. Thus all $2^r$ subgroups are Gassmann equivalent. They are pairwise nonisomorphic: the unique Sylow $p_j$-subgroup of $U_{\epsilon }$ is abelian precisely when ${\epsilon }_j=0$, and an abstract group isomorphism preserves this property at each prime.

We use the closed-manifold realization of a finitely presented fundamental group in dimension five. Its construction here is short. From a finite presentation of $T$ with $s$ generators, start with the connected sum of $s$ copies of $S^1\times S^4$. Its fundamental group is free on those generators. Represent the finitely many relators by disjoint embedded circles, which is possible by general position for curves in a manifold in dimension five. Their oriented normal bundles are trivial. Perform framed circle surgery, removing $S^1\times D^4$ and inserting $D^2\times S^3$. The Seifert-van Kampen theorem shows that each surgery kills exactly the normal closure of the corresponding relator: the attaching circle bounds the new disk, and the new $S^3$ factor contributes no fundamental group. The resulting closed connected five-manifold $M_0$ has ${\pi }_1(M_0)=T$.

Choose any smooth Riemannian metric on $M_0$ and lift it to its universal cover $X$. Since $T$ is finite, $X$ is a compact simply connected five-manifold on which $T$ acts freely and isometrically. The Sunada theorem makes all $U_{\epsilon }\backslash X$ isospectral, whileshows that they are pairwise nonhomeomorphic, hence nonisometric. Taking any $n$ members proves for every positive integer $n$, there are $n$ pairwise nonisometric closed five-manifolds with the same Laplacian spectrum.

For each $j\ge 0$, the elementary abelian group $P_j/P_{j+1}$ is spanned by the images of $a_i^{p^j}$. We construct exponents $e_i$ so that $g$ equals the ordered product $a_1^{e_1}\cdots a_n^{e_n}$ to successively greater precision. Suppose this product agrees with $g$ modulo $P_j$; initially this is automatic for $j=0$. Its error modulo $P_{j+1}$ can be expressed using the images of $a_i^{p^j}$. Add the corresponding digits $p^j{t}_i$ to the exponents $e_i$. Since $[P_j,G]\subseteq P_{j+1}$, moving each new factor $a_i^{p^j{t}_i}$ past the other factors changes nothing modulo $P_{j+1}$. The new ordered product therefore agrees with $g$ modulo $P_{j+1}$. Termination of the lower p-series provesNo uniqueness of this factorization is asserted for a redundant generating tuple.

The printed converse is false without an additional condition. For any odd $p$, take the Heisenberg group $G={\mathrm{UT}}_3({\mathbb{F}}_p)$ withEvery element is uniquely $x^a{y}^b{z}^c$, with $a,b,c\in {\mathbb{F}}_p$, so $G$ is a product of three cyclic subgroups. For $A$ strictly upper triangular, $A^3=0$ andin characteristic $p$, including $p=3$. Therefore $G^p=1$, whereas $[G,G]=⟨z⟩\ne 1$. This finite p-group is not powerful, disproving the literal request in the authoritative PDF.

A precise nearby correction is the minimal cyclic factorization criterion for powerful p-groups: require a product of $d(G)$ cyclic subgroups, where $d(G)$ is the minimal generator number. To prove it, put $d=d(G)$ and $H=G/G^p$. The quotient has exponent $p$ and still has minimal generator number $d$, because $G^p\subseteq \Phi (G)$. Each cyclic factor has image of order at most $p$, so $|H|\le p^d$. But $|H/\Phi (H)|=p^d$ by the Burnside basis theorem. Consequently $\Phi (H)=1$, $H$ is an elementary abelian group, and $[G,G]\subseteq G^p$. A product of exactly $d(G)$ cyclic subgroups is powerful. A direct product of cyclic groups is also powerful, since it is abelian; neither stronger hypothesis appears in the printed converse.

The identity belongs to the center of a group. If $a,b$ are central, then for every $g\in G$,so the center is a subgroup. For a central $a$, $ga{g}^{-1}=a$ for every $g$, giving $gZ(G)g^{-1}=Z(G)$. Thus the center is a normal subgroup.

Write a matrix of the Heisenberg group as $h(x,y,z)$. Direct matrix multiplication and inversion giveThe identity is $h(0,0,0)$ and each matrix has determinant one, so these formulas show closure under products and inverses inside $G{L}_3(\mathbb{R})$. Hence $H$ is a subgroup.

The two products $h(x,y,z)h(a,b,c)$ and $h(a,b,c)h(x,y,z)$ differ only in their upper-right entries, by $xc-az$. Commutation with every $h(a,b,c)$ therefore requires $xc=az$ for all real $a,c$. Setting $a=0,c=1$ forces $x=0$; setting $a=1,c=0$ forces $z=0$. These conditions are also sufficient. ThusDefine the surjective group homomorphism $F:H\to ({\mathbb{R}}^2,+)$ by $F(h(x,y,z))=(x,z)$. The multiplication formula gives $F(h{h}^{\prime })=F(h)+F(h^{\prime })$, and its kernel of a group homomorphism is precisely $Z(H)$. The first isomorphism theorem yieldsThis center quotient of the real Heisenberg group can also be checked directly: two elements have the same $(x,z)$ coordinates exactly when they differ by multiplication by a central element, and quotient multiplication adds these coordinates.

For $V={\mathbb{R}}^2$ with basis $e_1,e_2$, the step-two Lie algebra has basis $e_1,e_2,[e_1,e_2]$ and its last element is central. WriteIts first level is $v=(x,y)$ and its second level isThe step-two multiplication givesConsequently the mapis an isomorphism onto the real Heisenberg group. The shift by $xy/2$ converts exponential coordinates into the matrix coordinates used for that group. In exponential coordinates the left-invariant horizontal vector fields areTaking $X,Y$ orthonormal gives exactly the Carnot-Carathéodory distance inherited from $G^2({\mathbb{R}}^2)$.

Multiplying the matrices gives the Heisenberg group lawDifferentiating at the identity gives all strictly upper-triangular matrices. With $X=E_{12}$, $Y=E_{23}$ and $Z=E_{13}$, the commutator givesThis is the Heisenberg Lie algebra.

The right Maurer-Cartan form isThus the right-invariant coframe of the real Heisenberg group is ${\sigma }^1=dx$, ${\sigma }^2=dy$, ${\sigma }^3=dz-ydx$. Under a right translation,we have $d{x}^{\prime }=dx$, $d{y}^{\prime }=dy$, and $d{z}^{\prime }-y^{\prime }d{x}^{\prime }=dz-ydx$. All three right-invariant differential forms are preserved.

Every right-invariant Riemannian metric is determined by an arbitrary inner product at the identity. In this coframe its most general expression isEquivalently,Products here are symmetric products. If a pseudo-Riemannian metric tensor is intended, replace positive definiteness by nondegeneracy. Since every right translation preserves the coframe, it is an isometry. The action is faithful, and $a\mapsto R_{a^{-1}}$ is a group homomorphism, embedding a copy of $G$ into the isometry group.

The one-parameter right translations produce the Killing frame for a right-invariant Heisenberg metric:Their flows are respectively $(x+t,y,z)$, $(x,y+t,z+xt)$ and $(x,y,z+t)$. Each preserves $h$, and their Lie brackets of vector fields are $[K_X,K_Y]=K_Z$, with the other two zero. This explicitly realizes the Heisenberg Lie algebra. These Killing vector fields are left-invariant vector fields; the vector fields dual to the right-invariant coframe are instead ${\partial }_x+y{\partial }_z,{\partial }_y,{\partial }_z$, and should not be substituted for these generators.

For the diagonal case, putThe Kaluza-Klein decomposition along a Killing field uses $V=h(K_X,K_X)=\alpha +\chi y^2$. Completing the square in $dx$ gives the Heisenberg metric Kaluza-Klein reduction:These depend only on the quotient coordinates $(y,z)$ and satisfy $h=V(dx+A{)}^2+\gamma$. For a diagonal indefinite metric tensor, the same expressions hold wherever $V\ne 0$; a null Killing vector field cannot be treated with this completed-square decomposition.

Write the Heisenberg group element as $M(x,y,z)$. Matrix multiplication and inversion giveAll matrices have determinant one. They contain $M(0,0,0)=I$, are closed under multiplication and inverses, and inherit associativity from matrix multiplication; hence they form a subgroup of $G{L}_3(\mathbb{R})$.

Two such matrices commute precisely when $x{z}^{\prime }=x^{\prime }z$. Requiring this for every $x^{\prime },z^{\prime }$ forces $x=z=0$. ConsequentlyThe map $\pi (M(x,y,z))=(x,z)$ is a surjective group homomorphism to the additive group ${\mathbb{R}}^2$, with kernel of a group homomorphism $Z(H)$. Equivalently, it gives the explicit quotient group isomorphismIt is well-defined because multiplying by a central element changes only $y$. It is injective because equal $(x,z)$ imply that the quotient of the two matrices is central, and surjectivity follows by taking $y=0$. This also proves the needed instance of the first isomorphism theorem directly.

For the Heisenberg group law $(x,y,z)(a,b,c)=(x+a,y+b,z+c+xb)$, the right Maurer-Cartan form has coefficients $dx,dy,dz-ydx$. They satisfy $d{\sigma }^1=d{\sigma }^2=0$ and $d{\sigma }^3={\sigma }^1\wedge {\sigma }^2$. A general right-invariant Riemannian metric is a constant positive-definite symmetric matrix in this coframe.