Diagonal Condition in Multiplication Table of $\displaystyle {\, \mathbb{Z} [i] / (α) }$

Abstract: Multiplication table of a ring with identity 1 is said to have the diagonal condition if 1s occur only on the main diagonal. In this paper, we study the diagonal condition in the ring of Gaussian integers $\mathbb{Z}[i]$. Furthermore, we also find the Gaussian integers $α$ so that the rings of Gaussian integers modulo $α$ satisfy the diagonal condition.

• The paper proves that Z[i]/(α) satisfies the diagonal condition if and only if α is associate to (1+i) or (1+i)^2, yielding admissible norms 2 and 4.
• It analyzes prime-power quotients using Gaussian prime factorization, finite-field unit groups, explicit counterexamples, and the Chinese Remainder Theorem to exclude inert, split, and higher-power factors.
• The result contrasts with the divisor-of-24 classification for Z_n and motivates broader investigations of diagonal conditions in quadratic integer rings and related quotient structures.

Background and motivation

The paper studies the diagonal condition for multiplication tables of quotient rings of the Gaussian integers $\mathbb{Z}[i]$. A ring with identity satisfies the diagonal condition if the identity element occurs only on the main diagonal of its multiplication table — equivalently, every unit $u$ satisfies $u^2 = 1$, so that all units are involutions.

The starting point is Chebolu's classical result [(2606.02975), citing Chebolu 2012]: the multiplication table of $\mathbb{Z}_n$ has 1's only on the diagonal if and only if $n$ divides 24. Chebolu and Mayers later showed the analogous threshold for polynomial rings $\mathbb{Z}_n[x_1,\dots,x_m]$ is divisibility by 12, and Genzlinger and Lockridge treated the three-dimensional "multiplication cube" variant, obtaining divisors of 4 or 6. The present work extends this line of inquiry to the Gaussian integers, asking which nonzero non-unit Gaussian integers $\alpha$ make the finite ring $\mathbb{Z}[i]/(\alpha)$ satisfy the diagonal condition.

Preliminaries on $\mathbb{Z}[i]$ and its quotients

The paper assembles standard structural facts about $\mathbb{Z}[i]$: it is a Euclidean domain (with a geometric proof via lattice squares of side $u$0 showing every $u$1 lies within distance less than $u$2 of some lattice point $u$3), hence a PID and UFD. The norm $u$4 gives the index of the ideal $u$5; the author proves $u$6 multiplicatively via the Chinese Remainder Theorem.

A constructive procedure is given for enumerating coset representatives of $u$7: plot the vectors $u$8 and $u$9, form the fundamental square they span, and read off interior and boundary lattice points. For example, $u^2 = 1$0 has eight coset representatives ($u^2 = 1$1), consistent with $u^2 = 1$2. Congruences in $u^2 = 1$3 embed into congruences in $u^2 = 1$4, and componentwise reduction modulo $u^2 = 1$5 holds for both real and imaginary parts.

The classification of Gaussian primes used throughout is the standard one: $u^2 = 1$6 (over 2); rational primes $u^2 = 1$7, which remain prime in $u^2 = 1$8; and conjugate pairs $u^2 = 1$9 with $\mathbb{Z}_n$0 for rational primes $\mathbb{Z}_n$1. A short case analysis confirms $\mathbb{Z}_n$2 in the split case, which is essential because it lets the author treat $\mathbb{Z}_n$3 and $\mathbb{Z}_n$4 independently.

Main results

The strategy mirrors Chebolu's: reduce the diagonal condition to the requirement that all units square to 1, then test this against the unit group structure of each type of prime-power quotient. The results are uniformly negative beyond the smallest cases:

• Powers of $\mathbb{Z}_n$5: $\mathbb{Z}_n$6 fails the diagonal condition for all $\mathbb{Z}_n$7. The witness is $\mathbb{Z}_n$8, whose square is $\mathbb{Z}_n$9 modulo $n$0 but not $n$1, forcing the contradiction $n$2. Thus only exponents $n$3 survive.
• Inert primes: for $n$4, the quotient $n$5 is a field of order $n$6, so its unit group is cyclic of order $n$7; since $n$8, some unit does not square to 1. Consequently no power $n$9 with $\mathbb{Z}_n[x_1,\dots,x_m]$0 satisfies the condition.
• Split primes: for $\mathbb{Z}_n[x_1,\dots,x_m]$1 with $\mathbb{Z}_n[x_1,\dots,x_m]$2, the field $\mathbb{Z}_n[x_1,\dots,x_m]$3 has cyclic unit group of order $\mathbb{Z}_n[x_1,\dots,x_m]$4, again containing elements whose square is not 1. Hence neither $\mathbb{Z}_n[x_1,\dots,x_m]$5 nor $\mathbb{Z}_n[x_1,\dots,x_m]$6 works for any $\mathbb{Z}_n[x_1,\dots,x_m]$7.

Combining these via unique factorization and the Chinese Remainder Theorem yields the main theorem: $\mathbb{Z}_n[x_1,\dots,x_m]$8 satisfies the diagonal condition if and only if $\mathbb{Z}_n[x_1,\dots,x_m]$9 is a unit multiple of $\alpha$0 or $\alpha$1 (up to associates). This is a sharp contrast with the integer case, where the admissible moduli are precisely the divisors of 24 — here the admissible norms collapse to just 2 and 4. The reason is structural: over $\alpha$2, every odd-type prime factor immediately produces a cyclic unit group too large to consist entirely of involutions, whereas in $\alpha$3 the interplay of several small primes can still force exponent 2 on all units.

Limitations and open questions

The paper is a short note, and several aspects are left open. The proofs rely on explicit witnesses (such as $\alpha$4) and cyclicity of unit groups of finite fields; no uniform characterization covering rings such as $\alpha$5, $\alpha$6, or general quadratic integer rings $\alpha$7 is attempted. The author explicitly proposes extending the diagonal-condition analysis to these domains — particularly imaginary quadratic rings whose unit group is only $\alpha$8 — and to floor-quotient analogues suggested by Lagarias' problems. Whether the dichotomy between the divisor-of-24 phenomenon in $\alpha$9 and the divisor-of-4 phenomenon in $\mathbb{Z}[i]/(\alpha)$0 reflects a deeper pattern across number fields remains unaddressed. Additionally, the manuscript contains editorial gaps (e.g., statements of intermediate lemmas are abbreviated), so a reader should verify the precise formulations against the cited sources where the text is incomplete.

Conclusion

This paper transfers the diagonal-condition problem from $\mathbb{Z}[i]/(\alpha)$1 to quotient rings of the Gaussian integers and resolves it completely: among all $\mathbb{Z}[i]/(\alpha)$2, only the two smallest nontrivial quotients, modulo $\mathbb{Z}[i]/(\alpha)$3 and $\mathbb{Z}[i]/(\alpha)$4, have multiplication tables with 1's confined to the main diagonal. Every other prime factor — inert, split, or a higher power of $\mathbb{Z}[i]/(\alpha)$5 — introduces a unit of order exceeding 2 and destroys the condition. The result sharpens the picture begun by Chebolu and points toward a systematic study of the diagonal condition across quadratic integer rings.