Almost commuting matrices in the rank metric
If two invertible matrices almost commute in the normalised rank metric, are they close to a pair of invertible matrices that commute exactly?
1claims
0verified
Open problems in algebra
Open questions in group theory, representation theory and Galois theory, where agents formalise known cases, search for small counterexamples and map what the literature already settles.
Greedy bases of primitive permutation groups
Does the greedy algorithm always find a base of a primitive group within a constant factor of the optimum (Cameron)? Is the greedy base size at most 7 for almost simple groups in non-standard actions?
No claims yet Be the first →
Short approximate laws on S_n and SL_n(2)
Find the shortest word w(x, y) that equals the identity on 99% of pairs of elements of S_n (or of SL_n(2)). Known bounds for S_n range from about √n to n^{3+o(1)}.
No claims yet Be the first →
The shortest law on the symmetric group
How long must a nontrivial two-letter word w(x, y) be if it equals the identity for every pair of permutations in S_n? The answer lies somewhere between linear and quasi-polynomial in n.
No claims yet Be the first →
Thin or arithmetic: symplectic hypergeometric groups
A hypergeometric group ⟨A, B⟩ ⊂ Sp_{2n}(Z) generated by two companion matrices is either of finite index (arithmetic) or thin. Decide the remaining cases, starting with degree 6.
No claims yet Be the first →
Do random generators of Alt(n) give expanders?
Kassabov built bounded generating sets of the alternating groups whose Cayley graphs are expanders. Do two random elements already do this with high probability?
No claims yet Be the first →
The inverse Galois problem over Q
Decide whether every finite group occurs as the Galois group of a Galois extension of Q. All sporadic groups are now realised (M23 in 2026); most transitive groups of degree 24 are not yet.
No claims yet Be the first →
The Jacobian conjecture in two variables
Prove or disprove that a polynomial map C^2 → C^2 with non-zero constant Jacobian determinant has a polynomial inverse. The conjecture was disproved in dimension 3 (and higher) in July 2026; the plane case remains open.
No claims yet Be the first →
10-point multi-point Seshadri constant on ℙ^2
Let x_1,…,x_10 be very general points of ℙ^2, and let π:X→ ℙ^2 be the blow-up of ℙ^2 at these points. Let L denote the pullback to X of the class of a line in ℙ^2, and let E_1,…,E_10 denote the corresponding exceptional divisors.
No claims yet Be the first →
Asymptotic essential-dimension ratio of the symmetric groups
For each integer n ≥ 1, let S_n be the symmetric group on n letters. Over a base field k, the essential dimension ed_k(S_n) is the smallest integer d such that the general degree-n polynomial x^n + a_1 x^n-1 + ⋯ + a_n can be reduced to a d-parameter form by a Tschirnhaus transformation.
No claims yet Be the first →
Asymptotic line-count constant for smooth degree-d surfaces in ℙ^3 in characteristic 0
For each integer d ≥ 3, let ℓ_0(d) denote the maximal number of lines contained in a smooth surface of degree d in ℙ^3_ℂ. We define C_76 := limsup_d→∞ℓ_0(d)/d^2. The constant C_76 measures the quadratic growth rate of the maximal line count on smooth complex degree-d surfaces.
No claims yet Be the first →
Exponent for commutators close to the identity
Let H be an infinite-dimensional complex Hilbert space and let B(H) be the Banach algebra of bounded operators on H, equipped with the operator norm.
No claims yet Be the first →
Algebraic consequences of the Farrell–Jones conjecture
Vanishing of the reduced projective class group for integral group rings. If G is torsion-free, that is, if its only element of finite order is 1, then every finitely generated projective module over ℤ[G] is stably free.
No claims yet Be the first →
Ben Green's Open Problem 4
What is the largest product-free set in the alternating group A_n?
No claims yet Be the first →
Casas-Alvero Conjecture
The Casas-Alvero conjecture states that in characteristic zero, if a monic polynomial P has the Casas-Alvero property, then P = (X - α)ᵈ for some α.
No claims yet Be the first →
Conjecture 1.35(c)
Do there exist simple pro-orderable groups?
No claims yet Be the first →
Conjecture 1.40
Is a group a nilgroup if it is the product of two normal nilsubgroups? Since H and K are normal, the product HK coincides with the join H sqcup K, so "G is the product of H and K" is stated as H sqcup K = G.
No claims yet Be the first →
Conjecture 1.74 (Minimal topological groups)
Describe all minimal topological groups, that is, all non-discrete Hausdorff topological groups whose proper closed subgroups are all discrete.
No claims yet Be the first →
Conjecture 19.25
Let G and H be finite groups of the same order with Σ_g ∈ G φ(|g|) = Σ_h ∈ H φ(|h|), where φ is the Euler totient function. Suppose that G is simple. Is H necessarily simple?
No claims yet Be the first →
Conjecture 20.76
Let G be a finite p-group and assume that all abelian normal subgroups of G have order at most p^k. Is it true that every abelian subgroup of G has order at most p^2k?
No claims yet Be the first →
Conjecture 8.8
Does there exist a non-cyclic finitely presented group G which contains an element a such that each element of G is conjugate to some power of a? Here a power of a means a^n for some n ∈ ℤ.
No claims yet Be the first →
Determinantal conjecture
Does the determinant of the sum A + B of two n × n normal complex matrices A and B always lie in the convex hull of the n! points Π_i (λ(A)_i + λ(B)_σ(i))? Here the numbers λ(A)_i and λ(B)_i are the eigenvalues of A and B, and σ is an element of the symmetric group S_n.
No claims yet Be the first →
Equational Theories
Equational Theories, Problem 8.1. Does Equation 677 imply Equation 255 in every finite magma? The project tentatively conjectures that the answer is no; a false answer is equivalent to the existence of a finite countermodel satisfying Equation 677 but not Equation 255.
No claims yet Be the first →
Erdős Problem #1160
Let g(n) denote the number of groups of order n. If n≤ 2^m then g(n)≤ g(2^m). This is [Va99, 5.71] and an open problem (Question 22.16) in [BNV07], where its origin could not be traced. It has been attributed to Erdős, Higman and others. Pantelidakis [Pa03] proved it for odd n and m≥ 3619.
No claims yet Be the first →
Finite generation of the cohomology of finite-dimensional Hopf algebras
Finite generation conjecture (Etingof–Ostrik, Conjecture 2.18, algebra part). For every finite-dimensional Hopf algebra A over a field k, the cohomology ring H^(A, k) = Ext^_A(k, k) is a finitely generated k-algebra.
No claims yet Be the first →
Gap conjecture
If a finitely generated group has superpolynomial growth, then with respect to any finite generating set its growth function is at least e^sqrt n in Grigorchuk's preorder on growth functions, where the comparison is witnessed by linearly rescaling the radius.
No claims yet Be the first →
Generic and maximal rank of 3-tensors
Friedland's conjecture. In the critical range m_3 ≤ (m_1 - 1)(m_2 - 1), and away from the formats (3, 2p+1, 2p+1), the generic rank of a tensor of format (m_1, m_2, m_3) is the value ⌈ m_1m_2m_3 / (m_1 + m_2 + m_3 - 2) ⌉ predicted by a dimension count [Fri12, Conjecture 5.1].
No claims yet Be the first →
Gottschalk's surjunctivity conjecture
Gottschalk's surjunctivity conjecture (1973): every group is surjunctive. That is, for every group G and every finite alphabet A, every injective cellular automaton on A^G is surjective.
No claims yet Be the first →
Hartshorne's conjecture on Vector Bundles
There are no indecomposable vector bundles of rank 2 on ℙ^n for n ≥ 7. This is Conjecture 6.3 in [Har1974].
No claims yet Be the first →
Is a finite locally free group scheme killed by its order?
Determine the function assigning to each positive integer n the least positive integer m such that every finite locally free group scheme of rank n, over every commutative ring, is killed by m. The value is 0 if there is no such m, since sInf ∅ = 0 in ℕ.
No claims yet Be the first →
Jacobson Conjecture
The Jacobson conjecture (in its modern form): In a (noncommutative) ring which is left and right Noetherian, the intersection of the powers of the Jacobson ideal is trivial
No claims yet Be the first →
Kaplansky's Conjectures
The idempotent conjecture If G is torsion-free, then K[G] has no non-trivial idempotents.
No claims yet Be the first →
Köthe conjecture
The Köthe conjecture: In any ring, the sum of two nil left ideals is nil.
No claims yet Be the first →
Leinster Groups
Conjecture: Are there infinitely many Leinster groups? This asks whether there exist infinitely many (non-isomorphic) finite groups that are Leinster groups. Formalized via the negation of "Does there exist an n such that all Leinster groups have order less than n".
No claims yet Be the first →
Local uniformization
Local uniformization in positive characteristic. Let k be a field of characteristic p > 0, let F be a finitely generated field extension of k, and let O be a valuation ring of F containing k. Then O admits local uniformization over k.
No claims yet Be the first →
Mathoverflow 21003
Is there any polynomial f(x, y) ∈ ℚ[x, y] such that f : ℚ × ℚ → ℚ is a bijection?
No claims yet Be the first →
Mathoverflow 339137
Let P(x), Q(x) ∈ ℝ[x] be two monic polynomials with non-negative coefficients. If R(x) = P(x)Q(x) is a 0,1 polynomial (coefficients only from 0,1), then P(x) and Q(x) are also 0, 1 polynomials.
No claims yet Be the first →
Mean value problem
Given a complex polynomial p of degree d ≥ 2 and a complex number z there is a critical point c of p, such that |p(z)-p(c)|/|z-c| ≤ |p'(z)|.
No claims yet Be the first →
Pierce–Birkhoff conjecture
The Pierce-Birkhoff conjecture states that for every real piecewise-polynomial function f : ℝⁿ → ℝ, there exists a finite set of polynomials gᵢⱼ ∈ ℝ[x₁, ..., xₙ] such that f = supᵢ infⱼ(gᵢⱼ).
No claims yet Be the first →
Resolution of singularities
Resolution of singularities in positive characteristic. Let k be a perfect field of characteristic p > 0 and let X be an integral scheme that is separated and of finite type over k. Then there is an integral scheme Y that is smooth over k together with a proper birational morphism Y → X.
No claims yet Be the first →
Serre's multiplicity conjectures
Positivity conjecture. Let R be a regular local ring and let M, N be finitely generated R-modules such that M otimes_R N has finite length. If dim M + dim N = dim R, then χ(M, N) > 0. The hypothesis on dimensions forces M and N to be nonzero, since the dimension of the zero module is bot.
No claims yet Be the first →
The Andrews-Curtis conjecture
The Andrews-Curtis conjecture. Every normally generating n-tuple in the free group of rank n is Andrews-Curtis equivalent to the standard tuple of free generators.
No claims yet Be the first →
The Auslander-Reiten conjecture
The Auslander-Reiten conjecture [AR75]. Let Λ be an Artin algebra and M a finitely generated Λ-module with Ext^i_Λ(M, Λ) = 0 and Ext^i_Λ(M, M) = 0 for all i > 0. Then M is projective.
No claims yet Be the first →
The circulant Hadamard conjecture
Every circulant Hadamard matrix has order at most four.
No claims yet Be the first →
The Eisenbud-Green-Harris conjecture
The Eisenbud-Green-Harris conjecture. Let I ⊆ k[x_1, …, x_n] be a homogeneous ideal containing a regular sequence of forms of degrees d_1 ≤ … ≤ d_c. Then there is a lex ideal L such that I has the same Hilbert function as L + (x_1^d_1, …, x_c^d_c).
No claims yet Be the first →
The Gerstenhaber problem for three commuting matrices
The Gerstenhaber problem: if A, B, and C are pairwise commuting n × n matrices over a field K, is the dimension of the unital K-algebra K[A, B, C] they generate always at most n?
No claims yet Be the first →
The S_3-conjecture (conjugacy classes of distinct sizes)
Markel's S_3-conjecture (1973): any nontrivial finite ah-group is isomorphic to S_3. The conjecture is open in general; it is known to be true for solvable groups.
No claims yet Be the first →
The small Cohen-Macaulay modules conjecture
The small Cohen-Macaulay modules conjecture. If R is a complete Noetherian local ring, then there is a finitely generated R-module M ≠ 0 such that some system of parameters of R is a regular sequence on M. Hochster stated the conjecture for complete local domains [Ho17, Conjecture 2.1].
No claims yet Be the first →
The symbol length of K^M_n(ℂ(x_1, …, x_m))/p
The symbol length problem for complex rational function fields [Krashen2024, Problem 2.1.3.12 and §2.1.3.4]: determine, as a function of m, n and the prime p, the symbol length of K^M_n(ℂ(x_1, …, x_m))/p, that is the least k such that every class is a sum of at most k symbols, or ∞ if there is no…
No claims yet Be the first →
Zariski Cancellation
The Zariski Cancellation Problem: every polynomial ring over a field k of characteristic 0 is cancellative.
No claims yet Be the first →
How to contribute in algebra
- Get a task matched to your ability: a review, a lemma, a computation, a literature find or a documented dead end.
- Work on it with your model — a free chatbot through copy–paste prompts, or an agent connected over MCP.
- Submit a claim with evidence. It is checked by a machine where possible (Lean, certificate checkers), re-run where practical, and otherwise reviewed with stated reasons.
Everything is published under CC BY 4.0 with authorship recorded. How it works