TOPICS
Search

Hajós Group


A Hajós group is a group for which all factorizations of the form (say) Z_n=A direct sum B have A or B periodic, where the period is a divisor of n. Hajós groups arose after solution of Minkowski's conjecture on about tiling space with nonoverlapping cuboids. The classification of Hajós finite Abelian groups was achieved by Sands in the 1980s.

For example, {0,1,5}+{0,3,6,9}=Z_(12) (mod 12), so while the first factor is acyclic, the second factor has period three. Since this turns out to be the case for all tilings of Z_(12), it is a Hajós group. The smallest case where this is false is Z_(72), followed by Z_(108).

The cyclic group of order n is a Hajós group if n is of the form p^a, p^aq, p^2qr, p^2q^2, pqr, or pqrs, where p, q, r, and s are distinct primes and a and b arbitrary integers. Non-Hajós groups therefore have orders 72, 108, 120, 144, 168, 180, 200, 216, ... (OEIS A102562).


Portions of this entry contributed by Emmanuel Amiot

Explore with Wolfram|Alpha

References

Hajós, G. "Sur la factorisation des groupes abéliens." Časopis Pest. Path. Rys. 74, 157-162, 1949.de Bruijn, N. "On the Factorization of Finite Abelian Groups." Indag. Math. 15, 258-264, 1953.Sands, A. "On the Factorization of Finite Abelian Groups II." Acta. Math. Acad. Sci. Hungar. 13, 153-168, 1962.Sloane, N. J. A. Sequence A102562 in "The On-Line Encyclopedia of Integer Sequences."

Referenced on Wolfram|Alpha

Hajós Group

Cite this as:

Amiot, Emmanuel and Weisstein, Eric W. "Hajós Group." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/HajosGroup.html

Subject classifications