A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
A group without fixed price
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Guess the Hot Spot <<<

LOADING...
0%
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:symmetry Levels:1
Category:Group theory Lean version:not yet
Rate this game! 4.3 out of 5 (6,865 votes)

>>> How to Play <<<
A group without fixed price. Constructs a finitely generated group with two essentially free probability-measure-preserving actions of different costs, answering the general fixed-price problem negatively. Its Bernoulli action has cost bounded away from one, while a sequence of finite height extensions has costs tending to one.

>>> Level Select <<<
released 2026-10-05  |  2 theorems · 7 lemmas · 14 proofs · 12,182 words  |  PLAY LEVEL 1 »  (pdf)
We construct a finitely generated group with two essentially free probability-measure-preserving actions of different costs. This gives a negative answer to Gaboriau's general fixed-price problem. The group is an amalgam of a free group of rank 100 with a direct product. Its Bernoulli action has cost bounded away from one, whereas finite height extensions have costs tending to one.

More Group theory Games!
Cannon's conjecture HOT!An infinite finitely presented residually finite $2$-groupThompson's group $F$ is nonamenable HOT!A finitely generated counterexample to Eilenberg–Ganea
The Boone–Higman conjecture and higher finitenessAmenability, unitarizability, and Ulam stabilityA non-residually-finite torsion-free hyperbolic groupAn infinite finitely presented simple amenable group

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