Companion matrices, permutations and lattice ideals

Write f_i=x_1\cdots x_{i-1}x_{i+1}\cdots x_n-x_i, for all 1\leq i\leq n, so that I_n=\langle f_1,\ldots,f_n\rangle. Since x_1\equiv x_2x_3\cdots x_n\pmod{I_n} and x_i^2\equiv x_n^2\pmod{I_n}, for every 1\leq i\leq n-1, we obtain from f_n that

Therefore x_n^{2n-3}-x_n\in I_n, which proves (1).

Similarly, for 2\leq k\leq n-1, using f_k and x_1\equiv x_2\cdots x_n gives

Thus x_kx_n^{2(n-2)}-x_k\in I_n, proving (2)(i). For 2\leq k\leq n-1, multiplying f_k by x_k and f_n by x_n gives x_kf_k-x_nf_n=x_n^2-x_k^2, and hence x_k^2-x_n^2\in I_n. This proves (2)(ii). Finally, x_1-x_2x_3\cdots x_n=-f_1\in I_n, which proves (3). Thus all the polynomials belong to I_n.

The ideal I_n = \langle f_1, f_2, \dots, f_n \rangle, where f_i = x_1x_2 \cdots x_{i-1} x_{i+1} \cdots x_n - x_i for i = 1, \dots, n. For each f_i, the leading term \operatorname{Lt}(f_i) is divisible by the leading term of an appropriate element in \mathcal G_n.

Consider the S-pair S(f_i, f_j) of any two elements f_i and f_j in I_n, defined by

where \operatorname{Lt}(f_i) is the leading term of f_i and \operatorname{LCM} denotes the least common multiple. Now given any two distinct generators f_i and f_j where i \neq j, we have

Case 1: i, j > 1. If j \neq i and i, j > 1, then \operatorname{LCM}\bigl(\operatorname{Lt}(f_i),\operatorname{Lt}(f_j)\bigr) = x_1\cdots x_n and

This is a combination of q_i=x_i^2-x_n^2 and q_j=x_j^2-x_n^2, so it reduces to zero modulo \mathcal G_n.

Case 2: i =1 or j = 1. Assume without loss of generality that i = 1. Then \operatorname{LCM}\bigl(\operatorname{Lt}(f_1),\operatorname{Lt}(f_j)\bigr)=- \operatorname{Lt}(f_j) and a direct computation gives

which is exactly p_j\in\mathcal G_n. Thus the S-polynomial reduces to zero.

It remains to verify the S-pairs of the elements of \mathcal G_n themselves. For convenience, write

and

For 2\leq k<\ell\leq n-1,

Also,

For 2\leq k<\ell\leq n-1,

which is a linear combination of q_k and q_\ell, and hence reduces to zero.

For k\neq\ell, the leading terms of q_k and p_\ell are relatively prime, so S(q_k,p_\ell) reduces to zero. Similarly, S(q_k,p_n) reduces to zero. For the remaining pair q_k, p_k,

which is a combination of q_k and p_n, and therefore reduces to zero with respect to \mathcal G_n.

Finally, the leading term of p_1 is x_1, which is relatively prime to the leading terms of all the other elements of \mathcal G_n. Hence S(p_1,p)\longrightarrow 0 for every p\in \mathcal G_n\setminus\{p_1\}.

Moreover, each defining generator f_i reduces to zero modulo \mathcal G_n. Indeed, f_1=-p_1. For 2\leq i\leq n-1, reducing the leading term of f_i by p_1, and then reducing the resulting monomial using the polynomials q_j=x_j^2-x_n^2, 2\leq j\leq n-1, j\neq i, the remainder is exactly p_i, which is in \mathcal G_n. For f_n, reducing its leading term by p_1 and subsequently using q_j=x_j^2-x_n^2, 2\leq j\leq n-1, gives x_n^{2n-3}-x_n=p_n\in\mathcal G_n, which then reduces to zero.

Thus I_n=\langle \mathcal G_n\rangle, and every S-polynomial of every pair of elements of \mathcal G_n reduces to zero. By Buchberger’s criterion, \mathcal G_n is a Gröbner basis for I_n.

This set of monomials represents all those that cannot be reduced using the generators of the ideal J_n. The number of elements in this basis is 2^{n-1}\times (n-2)+1, corresponding to the choices of T and b.

From Corollary 1.4, the generating set for I_n with respect to the lexicographic order yields a basis for R_n / I_n consisting of monomials

with the convention that x_n^{2n-4} is the only monomial when T = \varnothing and b = 2n-4. The element m(0,\varnothing)=1 is the first basis element. Let \mathcal{B}'=\mathcal{B}\setminus\{1\}. By Proposition 1.1, \dim R_n/I_n = c_n < \infty.

For each j \;=\; 1,\dots, n, consider the F-linear multiplication map m_{x_j}: R_n/I_n \rightarrow R_n/I_n defined by

In the basis set \mathcal{B}, the action of m_{x_j} behaves differently depending on whether j is in T, j=1, j=n, or j \notin T. The structure of I_n imposes relations that simplify products x_j \cdot m(b, T) in a uniform way:

(R1) Case 2\le j\le n-1 and j \notin T. If j \notin T and j\in\{2,\ldots,n-1\}, then

provided b\leq2n-5.

(R2) Case 2\le j\le n-1 and j \in T. If j \in T and j\in\{2,\ldots,n-1\}, then

provided b\leq2n-7. When b=2n-6, this gives x_jm(2n-6,T) =m(2n-4,T\setminus\{j\}), which is reduced using the relation x_jx_n^{2n-4}-x_j\in I_n. When b=2n-5, we obtain

(R3) Case j = n. If j=n, then

whenever b+1<2n-4. If b=2n-5 and T\neq\varnothing, then

using x_i x_n^{2n-4}-x_i\in I_n, for all 2\leq i\leq n-1. If T=\varnothing, then x_nx_n^{2n-5}=x_n^{2n-4}, which is the exceptional basis element. Finally,

Thus multiplication by x_n cyclically permutes the basis elements in \mathcal{B}' corresponding to each fixed T.

(R4) Case j = 1. Since 1\notin T, this case is not covered by (R1). Using x_1\equiv x_2x_3\cdots x_n\pmod{I_n}, we obtain

where S=\{2,\ldots,n-1\} and the second congruence follows from x_i^2\equiv x_n^2\pmod{I_n}, for all 2\leq i\leq n-1. After reducing the power of x_n by x_n^{2n-3}\equiv x_n\pmod{I_n}, the result is again a basis element of \mathcal{B}'. Again, observe that T and S\setminus T are distinct, so this action cannot fix any basis element. It remains to prove that these actions are bijections on \mathcal B'.

From x_n^{2n-3}-x_n =x_n(x_n^{2n-4}-1)\in I_n, we see that multiplication by x_n is not injective on the full basis \mathcal B, since

Thus it is necessary to remove the constant basis element and work on \mathcal{B}'=\mathcal{B}\setminus\{1\}. Thus, m_{x_j} maps \mathcal{B}' into \mathcal B' for every j=1,\ldots,n.

For j=n, the relations in (R3) show directly that multiplication by x_n permutes the elements of \mathcal{B}'. For 2\leq j\leq n-1, Proposition 1.3 gives x_j^2\equiv x_n^2\pmod{I_n}. Hence, as multiplication operators on R_n/I_n, m_{x_j}^2=m_{x_n}^2. Since m_{x_n} is a bijection on \mathcal B', m_{x_n}^2 is bijective. Consequently, m_{x_j}^2 is bijective, and therefore m_{x_j} is injective on the finite set \mathcal B'. Hence m_{x_j} is bijective.

The same argument applies to j=1, since x_1^2\equiv x_n^2\pmod{I_n}. Therefore multiplication by every x_j, 1\leq j\leq n, permutes the elements of \mathcal{B}'.

The matrix representation of the F-linear map m_{x_j} with respect to \mathcal B' is therefore a permutation matrix P_j\in M_{c_n-1}(F). This matrix corresponds to the companion matrix T_j with the first row and column, corresponding to the constant basis element 1, deleted. Hence, the reduced companion matrices P_j are permutation matrices.

The permutation matrix P_j \in M_{c_n-1}(F) represents the action of x_j on \mathcal{B}', where each basis element m_r \in \mathcal{B}' is indexed by a pair (b, T) with T \subseteq \{2, \dots, n-1\} for every 0\leq b<2n-4, except that (0,\varnothing) is omitted, together with the exceptional basis element m(2n-4,\varnothing)=x_n^{2n-4}. Each entry (P_j)_{k,r} of the matrix representation of \sigma_j \in \mathfrak{S}_{c_n-1} is the coefficient of the monomial m_r \in \mathcal{B}' in m_k:=m_{x_j}(m_{r'}) \in \mathcal{B}'. That is,

where \displaystyle m_{r} := m(b,T) = x_n^{b} \prod_{i \in T} x_i, 1 \leq r, k \leq c_n-1, r = b \times 2^{n-2} + t and \displaystyle t = \sum_{i=1}^{n-2} t_i2^{i-1} is a unique number in the range 0 \leq t \leq 2^{n-2}-1 such that for each a_i \in \{2 < 3 < \cdots < n-1\}, t_i = \begin{cases} 1, \; & \text{if}\; a_i\in T\\ 0, \; & \text{if}\; a_i \notin T \end{cases}. There is a bijection between the index r and the parameter (b,T) of the basis elements. Put M=2^{n-2}. For b=0 and 1\leq t\leq M-1, assign the index r=t. For 1\leq b\leq2n-5 and 0\leq t\leq M-1, assign r=bM+t. Finally, assign r=(2n-4)M=c_n-1 to the exceptional basis element x_n^{2n-4}. Thus the indices run precisely through 1,\ldots,c_n-1. The trace of P_j is the sum of the diagonal entries (P_j)_{k,k}, which correspond to fixed points of \sigma_j.

We show that (P_j)_{k,k} = 0 for all k. Suppose the source element is m_{r'} = m(b',T'). Consider the action of x_j on a basis element m_{r'} = m(b',T') \in \mathcal{B}'.

Case I: 2\le j\le n-1 and j \notin T', j \neq n. Then

where T := T'\cup \{j\}. Clearly, t> t', since T'\subsetneq T. Therefore, the index k of the image is strictly greater than r', so k\neq r', and thus (P_j)_{k,k} = 0 for all k.

Case II: 2\le j\le n-1 and j \in T'. Then

whenever b'+2<2n-4. At b'=2n-6 and b'=2n-5, the images reduce to their equivalent forms as in (R2). In every case the subset changes from T' to T'':= T'\setminus\{j\}, and so the pair (b',T') differs from (b'',T''), where b'' varies according to the case of b'. Hence, the index k of the image differs from the source r'. This implies that (P_j)_{k,k} = 0 for all k.

Case III: j = n. If b'<2n-5, then

so the value b' increases, implying that k \neq r'. Similarly, if b'=2n-5 and T'\neq\varnothing, then

using x_i x_n^{2n-4}-x_i\in I_n. If b'=2n-5 and T'=\varnothing, the image is the exceptional basis element x_n^{2n-4}. Finally,

Thus in every case k\neq r', and this ensures that (P_j)_{k,k} = 0 for all k.

Case IV: j = 1. Then

where S=\{2,\ldots,n-1\}. Thus the subset T' is replaced by its complement S\setminus T'. Since S is nonempty (as n\ge3), a finite set cannot equal its own complement, so the resulting basis element is different from m(b',T'). Therefore (P_1)_{k,k}=0.

In all cases, m_{x_j}(m_{r'}) \neq m_{r'}, meaning that \sigma_j(r') \neq r' for all r'. Hence, \sigma_j has no fixed points, and is therefore a derangement.

By Theorem 4.5, we have that the lattice ideal I_{L_n} \subset R_n = F[x_1,\dots,x_n] admits the canonical identification

where G_n \cong \mathbb{Z}^n / L_n is the associated finite abelian group. Under this isomorphism, each monomial class in R_n / I_{L_n} corresponds naturally to a basis element of the group algebra F[G_n]. In particular, the action of multiplication by the variable x_j is precisely the action of left multiplication by the group element

the image of the j-th standard basis vector of \mathbb{Z}^n. Hence, the permutation matrix P_j representing m_{x_j} is exactly the matrix of the regular representation of g_j on F[G_n].

This identification allows the study of P_j to be reduced to understanding the left regular action of g_j on the finite group G_n; the orbit structure of this action corresponds precisely to the coset decomposition of G_n modulo the cyclic subgroup \langle g_j \rangle.

By Proposition 3.1, the group G_n decomposes as G_n \;\cong\; C_2^{\,n-2} \times C_{2n-4}, with commuting generators that may be chosen so that g_j=h_j\,t for 1\le j\le n-1, where h_j has order 2 and t has order 2n-4. Since these components commute, the order of g_j equals the order of the product h_j t, i.e., \operatorname{ord}(g_j)=\operatorname{lcm}(2,2n-4)=2n-4=2(n-2). Left multiplication by g_j thus partitions G_n into cosets of the cyclic subgroup \langle g_j \rangle, each forming an orbit of length \operatorname{ord}(g_j)=2(n-2). As |G_n| = (n-2)2^{\,n-1} (Proposition 3.1), the number of distinct cosets, and hence the number of disjoint cycles in the permutation induced by g_j, is

Therefore, \sigma_j decomposes into exactly 2^{n-2} cycles each of length 2(n-2), giving

as claimed.

Because x_n^{2n-3}-x_n = 0, x_j is a zero-divisor. Since zero-divisors cannot be units, there is no element m(b,T)\in \mathcal B' such that x_jm(b,T)=1 in A_n=R_n/I_n. Hence W is a common invariant subspace of A_n for all multiplication operators m_{x_j}.

Let A_n=R_n/I_n and, for each k, let m_{x_k}:A_n\to A_n denote multiplication by x_k. Because A_n is a commutative F-algebra, the operators commute on the whole space. That is, for any i, j and for any element a \in A_n,

So m_{x_i}\,m_{x_j} = m_{x_j}\,m_{x_i} on A_n. By Lemma 2.6, the subspace

is common invariant for all m_{x_k}. Choose the ordered basis \mathcal{E}=(\,1,\,\mathcal{B}^\prime\,) of A_n, so that every m_{x_k} has a block upper–triangular matrix

with respect to \mathcal{E}, where \alpha_k is the scalar coefficient of 1 in the normal form of m_{x_k}(1)=x_k in A_n (since x_k is a nonconstant basis monomial, \alpha_k =0), \rho_k is the row vector of coordinates of x_k in the basis \mathcal{B}^\prime, and the lower–left block is 0 because W is m_{x_k}–invariant. By definition, the reduced companion matrix P_k is the matrix of the restriction m_{x_k}\!_{\restriction_W} in the basis \mathcal{B}^\prime, so P_k=B_k.

Since T_iT_j=T_jT_i (the m_{x_k} commutes on A_n), the (2,2)-block of the product gives

Therefore P_iP_j=P_jP_i, i.e. [P_i,P_j]=0.

From the presentation of the abelian group

we have that

Write h_i = g_ig_n^{-1} for i = 1, \dots, n-1. Then h_i^2 = 1. Since g_n^2 = g_1g_2\cdots g_{n}, and by iteratively multiplying the equations in (Proof) above, this implies

The group G_n is now generated by h_1, \dots, h_{n-1} and g_n, with the relations

This defines a subgroup of C_2^{n-1} \times C_{2n-4}. Using the relation h_1h_2\cdots h_{n-1}g_n^{n-2} = 1, we can express h_{n-1} as

This now eliminates the dependent generators. Thus, the group G_n is generated by h_1, h_2, \dots, h_{n-2} all satisfying h_i^2 = 1, forming a free abelian group isomorphic to C_2^{n-2}, and g_n which satisfies g_n^{2n-4} = 1, generating a cyclic group isomorphic to C_{2n-4}. The relations show that G_n can be written as

Since there are no futher dependencies between these generators h_1, \dots, h_{n-2}, g_n, G_n is isomorphic to the direct product C_2^{n-2} \times C_{2n-4}.

Split C_{2n-4}\cong C_{2^{s}}\oplus C_m with \gcd(2^{s},m)=1. No nontrivial homomorphisms exist between the odd part C_m and the 2-primary part of G_n, hence by [Hillar-Rhea, Lemma 2.1] we have

Thus it suffices to compute \operatorname{Aut}\big(G_n^{(2)}\big).

Case s=1. Then G_n^{(2)}=C_2^{\,r}\oplus C_2\cong C_2^{\,r+1}, an (r\!+\!1)-dimensional \mathbb{F}_2-vector space. Group automorphisms are precisely \mathbb{F}_2-linear automorphisms: \operatorname{Aut}\big(G_n^{(2)}\big)\cong \mathrm{GL}(r\!+\!1,2). Multiplying by (\mathbb{Z}/m\mathbb{Z})^\times\cong (\mathbb{Z}/(2n-4)\mathbb{Z})^\times gives the desired structure and order.

Case s\ge2. Now G_n^{(2)}=C_2^{\,r}\oplus C_{2^{s}}. Let e\in C_{2^{s}} be the unique element of order 2 (the 2^{s-1}-st power of a generator). It is characteristic, hence fixed by any automorphism. On the 2-torsion layer

the induced linear action must fix the line \langle e\rangle, so the image of the restriction map \operatorname{Aut}\big(G_n^{(2)}\big)\twoheadrightarrow \operatorname{Aut}\big(\Omega_1(G_n^{(2)})\big) is the stabilizer of \langle e\rangle in \mathrm{GL}(r\!+\!1,2), which is

Its kernel consists of automorphisms acting trivially on \Omega_1, i.e. “shears’’ f\in\operatorname{Hom}(C_{2^{s}},C_2^{\,r})\cong C_2^{\,r} sending (v,c)\mapsto (v+f(c),c). This kernel is normal, and units in (\mathbb{Z}/2^{s}\mathbb{Z})^\times act by precomposition. Therefore

and restoring the odd part yields the stated semidirect product with (\mathbb{Z}/(2n-4)\mathbb{Z})^\times. Taking orders gives |\operatorname{Aut}(G_n)|=2^{2r}\,|\mathrm{GL}(r,2)|\,\phi(2n-4).

The lattice L_n \subset \mathbb{Z}^n is generated by the vectors

where H(n-3) is the Heaviside step function, e_1, \dots, e_n are canonical basis for \mathbb{Z}^n. Since L_n has rank n, we may select n linearly independent generators, such as \{v_1, \dots, v_n\}. These form the columns of the relation matrix

where Q_n is the all-ones matrix, and \boldsymbol{I}_n the n \times n identity. Explicitly,

The group is isomorphic to the cokernel of the linear map R: \mathbb{Z}^n \to \mathbb{Z}^n, i.e., G_n \cong \mathbb{Z}^n / \operatorname{im}(R). To determine the structure of \mathbb{Z}^n / L_n, we compute the Smith normal form (SNF) of R. The invariant factors of R will reveal the group structure and the index [\mathbb{Z}^n : L_n] = |\det(R)|.

Define the all-ones vector \mathbf{1} and the vector f as

and consider the unimodular matrices

These matrices correspond to sequences of elementary row and column operations: subtracting the first row/column from the others, then adding twice the first row/column to the others. One may verify that \det(U) = \det(V) = 1, since e_1^T f = 0.

Now compute the product

Multiplying out and simplifying using the identities e_1^T f = 0, e_1^T \mathbf{1} = 1, and f^T \mathbf{1} = n-1, we obtain

where M' = -2(Q_{n-1} - \boldsymbol{I}_{n-1}).

Now, the matrix K = Q_{n-1} - \boldsymbol{I}_{n-1} has eigenvalues n-2 (with eigenvector \mathbf{1}) and -1 (with multiplicity n-2). Hence,

Since all entries of K are 0 or 1, the greatest common divisor of its entries is 1, so the first invariant factor of K is 1. The invariant factors d_1 \mid d_2 \mid \cdots \mid d_{n-1} must satisfy d_1 \cdots d_{n-1} = |\det(K)| = n-2, and since d_1 = 1 and K is an integer matrix of full rank n-1, it follows that

with the entry 1 occurring n-2 times. Therefore,

with 2 repeated n - 2 times, and combining with the leading 1 gives

Thus,

with n-2 copies of \mathbb{Z}/2, and

This completes the proof.

The lattice ideal I_{L_n} \subset R_n is generated by binomials of the form

Since F is algebraically closed of characteristic zero, and I_{L_n} is generated by binomials without monomial factors, it is radical.

We now show that I_{L_n} \subset R_n is zero-dimensional, i.e., \dim_k R_n / I_{L_n} < \infty. The variety V(I_{L_n}) consists of points (x_1, \dots, x_n) \in F^n satisfying the system

We consider two cases.

Case 1: n = 3. Here, H(0) = 0, so x_i^2 = 1 for i = 1, 2, 3. Hence, x_i = \pm 1. The relations x_1 = x_2 x_3, x_2 = x_1 x_3, and x_3 = x_1 x_2 imply

Thus, the product x_1 x_2 x_3 = 1, and each x_i^2 = 1. The only solutions are

yielding |V(I_{L_3})| = 4.

Case 2: n > 3. Now H(n-3) = 1, so x_i^2 = x_n^2 for 1 \leq i \leq n-1. Thus, x_i = \varepsilon_i x_n with \varepsilon_i = \pm 1. Also, x_n^{2n-4} = 1, so x_n is a (2n-4)th root of unity.

From x_n = \prod_{j=1}^{n-1} x_j, we substitute x_j = \varepsilon_j x_n to obtain

Since x_n \neq 0 (as x_n^{2n-4}=1), divide both sides by x_n

Let \varepsilon = \prod_{j=1}^{n-1} \varepsilon_j \in \{\pm 1 \}. Then \varepsilon = x_n^{-(n-2)}. Note that x_n^{-(n-2)} is also a (2n-4)th root of unity, and in fact (x_n^{-(n-2)})^2 = x_n^{-2(n-2)} = 1 since x_n^{2n-4} = 1. Hence, x_n^{-(n-2)} = \pm 1.

For each x_n satisfying x_n^{2n-4} = 1, the condition \varepsilon = x_n^{-(n-2)} determines the product of the signs \varepsilon_1, \ldots, \varepsilon_{n-1}. There are 2^{n-2} choices of signs (\varepsilon_1, \ldots, \varepsilon_{n-1}) \in \{ \pm 1 \}^{n-1} with fixed product \varepsilon. Since there are 2n-4 choices for x_n, the total number of solutions is

In both cases, |V(I_{L_n})| = c_n -1, as shown in Proposition 1.1. Since V(I_{L_n}) has finitely many points and I_{L_n} is radical, we conclude that \dim_F R_n / I_{L_n} = |V(I_{L_n})| = c_n -1 < \infty. Hence, I_{L_n} is zero-dimensional.

The variety computations show that the zero set V(I_n) consists of the origin together with the finite set of points parametrised by the lattice construction. From Proposition 1.1, we have |V(I_n)| = c_n = 1 + (n-2)2^{\,n-1} points for I_n, while the lattice ideal I_{L_n} cuts out the same family of nonzero solutions and satisfies |V(I_{L_n})| = c_n - 1, the origin being excluded. Hence

Both ideals are generated by binomials without monomial factors and are shown to be radical and zero-dimensional. Therefore, the ideals of these varieties are intersections of their reduced primary components. Since V(I_{L_n}) is exactly the complement of the origin in V(I_n), the only additional reduced component of I_n is the maximal ideal \mathfrak{m} of the origin. Consequently, the radical primary decomposition of I_n is

Finally, since both I_n and I_{L_n} are already radical, no embedded nilpotent components appear, and hence the equality holds as an equality of ideals, not just radicals

By Proposition 4.1, G_n \cong \mathbb{Z}^n / L_n with independent generators h_1, \dots, h_{n-2} of order 2 and a generator t of order 2n-4 defined by

The group algebra F[\mathbb{Z}^n/L_n] is thus the commutative F-algebra of dimension |\mathbb{Z}^n /L_n| = c_n -1 generated by u_{h_1},\dots, u_{h_{n-2}}, u_t with the obvious group relations

and all generators commute.

Define a map \Phi: R_n \to F[\mathbb{Z}^n/L_n] by

where g_i = \bar{e}_i \in \mathbb{Z}^n / L_n is the image of e_i in \mathbb{Z}^n / L_n. Expressed in terms of the chosen generators h_j and t the explicit image of each x_i is

Extend \Phi linearly and multiplicatively to all of R_n. This map is a canonical F-algebra homomorphism by construction: it preserves addition due to linearity, multiplication due to the identity u_g u_{g'} = u_{gg'} induced by the usual group-algebra convolution, and the unit since \Phi(1) = u_1.

We now verify that \Phi vanishes on the generators of I_{L_n}, so it descends to a well-defined map \overline{\Phi}: R_n / I_{L_n} \to F[\mathbb{Z}^n / L_n].

The defining binomials of I_{L_n} are precisely the relations in the quotient group \mathbb{Z}^n/L_n: the relation \bar{e}_i = \sum_{j \neq i} \bar{e}_j in \mathbb{Z}^n / L_n implies u_{g_i} = \prod_{j \neq i} u_{g_j}, so \Phi(f_i) = 0; the relation (2n-4)\bar{e}_n = 0 implies u_t^{2n-4} = 1, so \Phi(f_{n+1}) = 0; and the relations 2\bar{e}_i = 2H(n-3)\bar{e}_n imply u_{g_i}^2 = u_t^{2H(n-3)}, so \Phi(f_{i+n+1}) = 0. Thus every generator of I_{L_n} maps to zero, so \Phi(I_{L_n})=0. Consequently \Phi induces a well-defined homomorphism

The induced map is surjective because the u_{g_i} generate the group algebra. Since \mathbb{Z}^n / L_n is a finite abelian group, the group algebra F[\mathbb{Z}^n / L_n] is a finite-dimensional vector space over F. Its dimension is exactly |\mathbb{Z}^n / L_n|. Moreover, because I_{L_n} is radical and zero dimensional (Proposition 4.2), the ring R_n/I_{L_n} is an Artinian reduced ring, and its length equals its dimension as a F-vector space. Therefore, \overline{\Phi } is injective. Hence, \overline{\Phi} is an isomorphism of F-algebras, and