Associative rings and algebras Chain, growth and finiteness conditions Problem
Kurosh problem
Builds on Associative algebraFieldAlgebraic elementNil idealGolod–Shafarevich theoremPolynomial identity ringBurnside problemDivision ring
Problem
Let be a field and let be an associative algebra over that is generated by finitely many elements. Assume that is algebraic: every element of is algebraic over , that is, a root of a nonzero polynomial with coefficients in . Must be finite-dimensional over ?
Remarks
The problem is a ring-theoretic analogue of the Burnside problem for periodic groups. An important special case asks whether a finitely generated nil algebra, in which every element is nilpotent, must be nilpotent and hence finite-dimensional.
The answer is negative in general. Golod used the Golod–Shafarevich theorem in 1964 to construct a finitely generated infinite-dimensional nil algebra. The same construction gave infinite finitely generated periodic groups, a negative answer to the general Burnside problem.
The answer is positive for algebras that satisfy a polynomial identity: a finitely generated algebraic polynomial identity algebra is finite-dimensional. In particular it is positive when the elements of are algebraic of bounded degree.
A variant asks the same question for division rings that are algebraic over their centre and finitely generated over it.
Reading path
To understand this page from the ground up, read these 20 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Algebraic element concept
- Associative algebra concept
- Division ring concept
- Exponent of a group concept
- Field concept
- Finitely generated group concept
- Formal power series concept
- Free algebra concept
- Free group concept
- Graded ring concept
- Hilbert class field concept
- Nil ideal concept
- Order of an element concept
- P-group concept
- Polynomial identity ring concept
- Torsion group concept
- Two-sided ideal concept
- Burnside problem problem
- Golod–Shafarevich theorem statement
- Kurosh problem problem
Further reading
About this page
| Tag | B1Q5F5VNSK |
|---|---|
| URI | m2://B1Q5F5VNSK |
| Kind | problem |
| Writing | W0 stub |
| MSC | 16N40, 16P90, 16R10 |
| Status | This copy of the site has no build data. Run m2 status B1Q5F5VNSK. |
| About | Associative algebra |
| Uses | Associative algebra, Field, Algebraic element, Nil ideal, Golod–Shafarevich theorem, Polynomial identity ring, Burnside problem, Division ring |
| Same as | |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.