On maximal subalgebras (Q5920044)
From MaRDI portal
scientific article; zbMATH DE number 6722419
Language | Label | Description | Also known as |
---|---|---|---|
English | On maximal subalgebras |
scientific article; zbMATH DE number 6722419 |
Statements
On maximal subalgebras (English)
0 references
22 May 2017
0 references
All rings in this article are commutative and have a unity. A minimal ring extension is a non-trivial ring extension that does not allow a proper intermediate ring. The paper builds on results of \textit{D. Ferrand} and \textit{J. P. Olivier} [J. Algebra 16, 461--471 (1970; Zbl 0218.13011)]. The authors' guiding problem is to classify all maximal subalgebras of a given affine \(\mathbf k\)-domain where \(\mathbf k\) is an algebraically closed field.In case \(\mathbf k\) is an algebraically closed field, all extending maximal \(\mathbf k\)-subalgebras of a given one-dimensional affine \(\mathbf k\)-domain \(R\) are classified. The authors use techniques of birational geometry of surfaces and the classification of extending maximal subalgebras of one-dimensional affine \(\mathbf k\)-domains to construct a number of examples which show that not all extending maximal \(\mathbf k\)-subalgebras of \(\mathbf k [t, y]\) contain a coordinate. These examples indicate that it is difficult to classify all maximal subalgebras of \(\mathbf k [t, y]\). The central section of the paper classifies all maximal subrings of \(\mathbf k [t, t^{-1}, y]\) that contain \(\mathbf k [t, y]\). Section 6 of the paper reduces classification of all maximal \(\mathbf k\)-subalgebras of \(\mathbf k [t, t^{-1}, y]\) to another classification result, which is solved in the last section by way of classification of the maximal \(\mathbf k\)-subalgebras of \(\mathbf k [t, y]\) that contain \(\mathbf k [t]\).
0 references
commutative algebra
0 references
integral domains
0 references
valuations
0 references
Hahn field
0 references
minimal ring extension
0 references
maximal subalgebra
0 references
algebraically closed field
0 references
birational geometry
0 references
spectrum of a ring
0 references