The chromatic Smith fixed-point problem for finite p-groups at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

The chromatic Smith fixed-point problem for finite $p$-groups

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	donuts, coffee cups	Levels:	1
Category:	Topology	Lean version:	not yet
Rate this game! 4.8 out of 5 (5,140 votes)

>>> How to Play <<<

Cyclic length and chromatic fixed-point loss. Determines the optimal chromatic loss from geometric H-fixed points to geometric G-fixed points for every subgroup H of a finite p-group G. At every nonnegative height, the loss equals the shortest subnormal-chain length from H to G with cyclic quotients. Each quotient counts once regardless of order, and finite spectra witness sharpness.

>>> Level Select <<<

LEVEL 1 Cyclic length and chromatic fixed-point loss

released 2026-09-24 | 6 theorems · 15 lemmas · 29 proofs · 13,394 words | PLAY LEVEL 1 » (pdf)

For a finite p-group G and a subgroup H, we prove that the optimal chromatic fixed-point loss equals the shortest length of a subnormal chain from H to G with cyclic quotients. The equality holds at every prime and every nonnegative height, resolving positively the equality proposed by Kuhn and Lloyd.

More Topology Games!
Chromatic splitting: counterexamples and filtrations	Counterexamples to the Hahn–Wilson conjecture at height two	A four-dimensional counterexample to Borel rigidity	A counterexample to Wall's finite D(2) conjecture
The Hilbert–Smith conjecture in every dimension HOT!	Counterexamples to disk embedding and Wall's manifold conjecture	The purely cosmetic surgery conjecture for knots in $S^3$	Failure of rational injectivity for maximal coarse assembly

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

Cool Links: openai/math Lean Mathlib arXiv the real Coolmath Games

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600