algebra / Noncommutative ring theory; division algebras

Kurosh's problem for division rings: are algebraic division rings locally finite?

Claims Theorem 1.1: there is a countable division ring DD of characteristic zero with center FF and x,y∈Dx,y\in D such that D=F[x,y]=F(x,y)D=F[x,y]=F(x,y), [D:F]=∞[D:F]=\infty, and every element of DD is algebraic over FF (with no uniform degree bound). So algebraicity over the center does not imply local finiteness. It does NOT give an example in positive characteristic or over a prescribed center, and polynomial degrees grow without bound, as they must by Jacobson's theorem.

48Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraSep 23, 2026Significance 48/100Registry: unreviewed

Kurosh's problem for division rings: are algebraic division rings locally finite?

Prior state unknown→disproved

Claims Theorem 1.1: there is a countable division ring DD of characteristic zero with center FF and x,y∈Dx,y\in D such that D=F[x,y]=F(x,y)D=F[x,y]=F(x,y), [D:F]=∞[D:F]=\infty, and every element of DD is algebraic over FF (with no uniform degree bound). So algebraicity over the center does not imply local finiteness. It does NOT give an example in positive characteristic or over a prescribed center, and polynomial degrees grow witho…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Claims Theorem 1.1: there is a countable division ring DD of characteristic zero with center FF and x,y∈Dx,y\in D such that D=F[x,y]=F(x,y)D=F[x,y]=F(x,y), [D:F]=∞[D:F]=\infty, and every element of DD is algebraic over FF (with no uniform degree bound). So algebraicity over the center does not imply local finiteness. It does NOT give an example in positive characteristic or over a prescribed center, and polynomial degrees grow without bound, as they must by Jacobson's theorem.

Claims Theorem 1.1: there is a countable division ring DD of characteristic zero with center FF and x,y∈Dx,y\in D such that D=F[x,y]=F(x,y)D=F[x,y]=F(x,y), [D:F]=∞[D:F]=\infty, and every element of DD is algebraic over FF (with no uniform degree bound). So algebraicity over the center does not imply local finiteness. It does NOT give an example in positive characteristic or over a prescribed center, and polynomial degrees grow without bound, as they must by Jacobson's theorem.

Recorded attempts

Evidence graph

Connected research record

Kurosh's problem for division rings: are algebraic division rings locally finite? — Mathematical Frontier Network