Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
All topics

2 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openKourovka Notebook · Group theory

Conjecture 19.25: 25»

Let GG and HH be finite groups of the same order with gGϕ(g)=hHϕ(h)\sum_{g \in G} \phi(|g|) = \sum_{h \in H} \phi(|h|), where ϕ\phi is the Euler totient function. Suppose that GG is simple. Is HH necessarily simple?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openKourovka Notebook · Group theory

Conjecture 20.76: 76»

Let GG be a finite pp-group and assume that all abelian normal subgroups of GG have order at most pkp^k. Is it true that every abelian subgroup of GG has order at most p2kp^{2k}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem