Unsolved Problems

Showing 1-40 of 40 problems

ALG-001
Open

Inverse Galois Problem

Is every finite group the Galois group of some Galois extension of the rational numbers $\mathbb{Q}$?...

L4
Algebra
543
29
ALG-002
Open

Kaplansky's Conjectures

A set of conjectures about group rings: (1) Zero divisor conjecture: If $G$ is a torsion-free group and $K$ is a field, then $K[G]$ has no zero diviso...

L4
Algebra
321
18
SMA-016
Open

The Jacobian Conjecture

If $F: \mathbb{C}^n \to \mathbb{C}^n$ is a polynomial map with constant non-zero Jacobian determinant, then $F$ is invertible....

L4
Algebra
298
17
HIL-013
Open

Hilbert's 13th Problem: Seventh Degree Equations

Prove that the general equation of the seventh degree cannot be solved using functions of only two variables....

L4
Algebra
287
16
HIL-014
Open

Hilbert's 14th Problem: Finite Generation of Rings

Is the ring of invariants of a linear algebraic group acting on a polynomial ring always finitely generated?...

L4
Algebra
176
9
ALG-002
Open

Hadamard Conjecture

For every positive integer $k$, does there exist a Hadamard matrix of order $4k$?...

L4
Algebra
387
31
ALG-003
Open

Köthe Conjecture

If a ring has no nil ideal other than $\{0\}$, does it follow that it has no nil one-sided ideal other than $\{0\}$?...

L4
Algebra
245
18
ALG-005
Open

Jacobson's Conjecture

For a left-and-right Noetherian ring $R$, is the intersection of all powers of the Jacobson radical $J(R)$ equal to zero?...

L4
Algebra
198
14
ALG-006
Open

Zauner's Conjecture

Do SIC-POVMs (Symmetric Informationally Complete Positive Operator-Valued Measures) exist in all finite dimensions?...

L4
Algebra
176
16
ALG-008
Open

Andrews-Curtis Conjecture

Can every balanced presentation of the trivial group be transformed into a trivial presentation by a sequence of Nielsen transformations and conjugati...

L4
Algebra
212
19
ALG-009
Open

Bounded Burnside Problem

For which positive integers $m$ and $n$ is the free Burnside group $B(m,n)$ finite? In particular, is $B(2,5)$ finite?...

L4
Algebra
189
15
ALG-013
Solved

Rota's Basis Conjecture

For a matroid of rank $n$ with $n$ disjoint bases $B_1, \ldots, B_n$, can we always find an $n \times n$ matrix whose rows are the bases and whose col...

L4
Algebra
198
17
ALG-014
Open

McKay Conjecture

For a finite group $G$ and prime $p$, is the number of irreducible complex characters of $G$ whose degree is not divisible by $p$ equal to the corresp...

L4
Algebra
156
13
ALG-015
Open

Are All Groups Surjunctive?

Is every group surjunctive? That is, for any group $G$, if $\phi: A^G \to A^G$ is a cellular automaton that is injective, must it also be surjective?...

L4
Algebra
143
11
ALG-016
Open

The Babai Conjecture on Graph Isomorphism

Can graph isomorphism be decided in quasi-polynomial time for all graphs?...

L4
Algebra
445
38
ALG-018
Open

Hilbert's Fifteenth Problem

Can Schubert calculus be given a rigorous foundation?...

L4
Algebra
245
21
ALG-021
Open

The Pierce-Birkhoff Conjecture

Is every piecewise-polynomial function $f: \mathbb{R}^n \to \mathbb{R}$ the maximum of finitely many minimums of finite collections of polynomials?...

L4
Algebra
178
15
ALG-023
Open

The Andrews-Curtis Conjecture

Can every balanced presentation of the trivial group be transformed into a trivial presentation by a sequence of Nielsen transformations and conjugati...

L4
Algebra
412
28
ALG-025
Open

The Guralnick-Thompson Conjecture

What are the composition factors of finite groups appearing in genus-0 systems?...

L4
Algebra
298
19
ALG-026
Open

The Herzog-Schönheim Conjecture

If a finite system of left cosets of subgroups of a group $G$ partitions $G$, must some two subgroups have the same index?...

L4
Algebra
321
22
ALG-028
Open

The Isomorphism Problem for Coxeter Groups

Is there an algorithm to determine whether two Coxeter groups given by presentations are isomorphic?...

L4
Algebra
367
25
ALG-032
Open

The Surjunctivity Conjecture

Is every group surjunctive?...

L4
Algebra
389
27
ALG-035
Open

Dade's Conjecture

Is there a relationship between the numbers of irreducible characters in blocks of a finite group and its local subgroups?...

L4
Algebra
312
21
ALG-036
Open

The Demazure Conjecture

Can representations of semisimple algebraic groups be characterized over the integers?...

L4
Algebra
289
18
ALG-040
Open

The Generalized Star Height Problem

Can all regular languages be expressed with generalized regular expressions of bounded star height?...

L4
Algebra
334
23
ALG-004
Open

Crouzeix's Conjecture

Is $\|f(A)\| \leq 2\sup_{z \in W(A)} |f(z)|$ for all matrices $A$ and functions $f$ analytic on the numerical range?...

L4
Algebra
278
21
ALG-009
Open

Zauner's Conjecture (SIC-POVM)

Do symmetric informationally complete POVMs exist in all dimensions?...

L4
Algebra
298
26
ALG-012
Open

Andrews–Curtis Conjecture

Can every balanced presentation of the trivial group be transformed to a trivial presentation by Nielsen moves?...

L4
Algebra
289
23
ALG-014
Open

Herzog–Schönheim Conjecture

Can a finite system of left cosets forming a partition of a group have distinct indices?...

L4
Algebra
198
16
ALG-002
Open

Casas-Alvero Conjecture

If a polynomial of degree d over a field of characteristic 0 shares a factor with each of its first d-1 derivatives, must it be $(x-a)^d$?...

L4
Algebra
203
16
ALG-004
Open

Crouzeix's Conjecture

Is $\|f(A)\| \leq 2 \sup_{z \in W(A)} |f(z)|$ for any matrix A and analytic function f on the numerical range W(A)?...

L4
Algebra
156
12
ALG-005
Open

Determinantal Conjecture

Characterize the determinant of the sum of two normal matrices....

L4
Algebra
134
10
ALG-006
Open

Eilenberg-Ganea Conjecture

Does every group with cohomological dimension 2 have a 2-dimensional Eilenberg-MacLane space K(G,1)?...

L4
Algebra
178
14
ALG-008
Open

Finite Lattice Representation Problem

Is every finite lattice isomorphic to the congruence lattice of some finite algebra?...

L4
Algebra
142
11
ALG-009
Open

Hadamard Matrix Conjecture

Does a Hadamard matrix of order 4k exist for every positive integer k?...

L4
Algebra
245
19
ALG-010
Open

Köthe Conjecture

If a ring has no nil two-sided ideal besides {0}, does it also have no nil one-sided ideal besides {0}?...

L4
Algebra
167
13
ALG-012
Open

Rota's Basis Conjecture

Given n bases of an n-dimensional matroid, can we find n disjoint rainbow bases?...

L4
Algebra
189
15
MOD-002
Open

Generalized Star Height Problem

Can all regular languages be expressed with generalized regular expressions having bounded star height?...

L4
Algebra
143
11
MOD-007
Open

Henson Graphs Finite Model Property

Do Henson graphs have the finite model property?...

L4
Algebra
123
9
MOD-009
Open

Infinite Minimal Field Algebraic Closure

Is every infinite minimal field of characteristic zero algebraically closed?...

L4
Algebra
134
10