Problems
Everything in the archive: the problem as it was posed, what has been attempted against it, and who checked each attempt. The mark down the left of the list says who has looked — a person, a machine, or nobody yet. Human reviews and machine checks are counted separately and are never added together.
8 problems
For an extension G = A rtimes B of elementary abelian p-groups with a ∈ A satisfying C_B(a) = 1, must H = ⟨ a, B⟩ satisfy rank(Z(H) ∩ H') ≤ rank(B)? An explicit extension violates the bound.
The Huneke–Wiegand Conjecture: Let R be a one-dimensional Gorenstein local domain, and let M be a finitely generated, non-zero, torsion-free R-module. If the tensor product M ⊗_R M^* is torsion-free, then M is a projective (hence free)…
Grothendieck asked whether every finite locally free group scheme of order n is killed by n (its n-th convolution power map equals the unit). The counterexample is an order-4 group scheme not killed by 4 (killed only by 8); since Deligne…
Is every weakly quasi-complete Noetherian local ring quasi-complete? Asked by D. D. Anderson in 2014. The ring A = k^p[[X, Y]][k] with k = F_p(u_1, u_2, …) is weakly quasi-complete but not quasi-complete.
Do a finite group's order together with ∑_g ∈ G φ(|g|) determine whether the group is simple? A simple and a non-simple group of order 6048 share the statistic 23984.
Must the right-relatively convex subgroups of a right-orderable nonabelian group form a sublattice of its subgroup lattice? A construction shows they need not.
Adjamagbo's positive-characteristic refinement of the Jacobian conjecture asks that a polynomial endomorphism with unit Jacobian determinant whose induced function-field extension has degree prime to the characteristic be an automorphism.…
Every polynomial map C^n → C^n with constant nonzero Jacobian determinant is invertible, with a polynomial inverse.