Source authenticated
Kourovka Problem 21.150 - Rank Inequality for p-Group Extensions
For an extension $G = A \rtimes B$ of elementary abelian $p$-groups with $a \in A$ satisfying $C_B(a) = 1$, must $H = \langle a, B\rangle$ satisfy $\operatorname{rank}(Z(H) \cap H') \le \operatorname{rank}(B)$? An explicit extension violates the bound.
Exact FrontierDelta
Prior state unknown→disproved
Scope and record
Occurred: Jul 20, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Kourovka Problem 21.150 - Rank Inequality for p-Group Extensions · Kourovka 21.150
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Lineage and corrections
This event attributed to Aristotle