Source labels openKourovka Notebook · Group theory
Conjecture 19.25: 25»
Let and be finite groups of the same order with , where is the Euler totient function. Suppose that is simple. Is necessarily simple?
Source checked Jul 26, 20261 pinned Lean statementInspect problem