Rothaus–Thompson conjugacy-class tiling problem
For each , let . Is it true that there is no subset such that the multiplication map , , is bijective? Equivalently, does fail to tile for every ?
References
Primary source
Additional references
- Tilings of symmetric and alternating groups by conjugacy classes — arXiv — Gábor Somlai, Binzhou Xia, Sanming Zhou
Progress summary
A new preprint reportedly rules out every symmetric-group case except transpositions and settles the analogous alternating-group question, but the remaining transposition case is open.
Rothaus and Thompson posed the relevant tiling question in 1966, asking whether the symmetric group can be tiled by the identity together with all transpositions. The broader conjugacy-class problem remains focused on the exceptional transposition case.
Known results
- Rothaus–Thompson, 1966: nonexistence when has a prime factor .
- Nomura, 1985: related necessary conditions for the transposition tiling problem.
- Somlai, Xia, and Zhou, 2025: strengthened the obstruction to and derived partition-transitivity conditions on a complementary set.
- The cases involving and the transposition class remain conjectural for general .
October 2026 preprint
Somlai, Xia, and Zhou’s reported preprint claims to eliminate every symmetric-group conjugacy class except transpositions and to settle the corresponding alternating-group statement in a stronger normal-subset form. The symmetric-group transposition case remains open; the claimed advance has not received independent mathematical assessment in the retrieved sources.
Current status (as of October 2026): The general symmetric-group problem is reduced, according to an unverified preprint, to the transposition case, while the claimed alternating-group analogue is reported as settled; the transposition case itself remains open.
Solutions 0
No solutions have been posted yet.