Theorem in class field theory on mappings induced by extending ideals
This article is about the Hauptidealsatz of class field theory. For the theorem about Noetherian rings, see Krull's principal ideal theorem.
In mathematics, the principal ideal theorem of class field theory, a branch of algebraic number theory, says that extending ideals gives a mapping on the class group of an algebraic number field to the class group of its Hilbert class field, which sends all ideal classes to the class of a principal ideal. The phenomenon has also been called principalization, or sometimes capitulation.
and 25 Related for: Principal ideal theorem information
In mathematics, the principalidealtheorem of class field theory, a branch of algebraic number theory, says that extending ideals gives a mapping on the...
In mathematics, specifically ring theory, a principalideal is an ideal I {\displaystyle I} in a ring R {\displaystyle R} that is generated by a single...
In mathematics, a principalideal domain, or PID, is an integral domain in which every ideal is principal, i.e., can be generated by a single element...
nonprincipal otherwise. By the principalidealtheorem any nonprincipal ideal becomes principal when extended to an ideal of the Hilbert class field. This...
algebra, the structure theorem for finitely generated modules over a principalideal domain is a generalization of the fundamental theorem of finitely generated...
ideal theorem use minimal prime ideals. A prime ideal P is said to be a minimal prime ideal over an ideal I if it is minimal among all prime ideals containing...
principal rings in terms of special principal rings and principalideal domains. Zariski–Samuel theorem: Let R be a principal ring. Then R can be written as...
mathematics, the Boolean prime idealtheorem states that ideals in a Boolean algebra can be extended to prime ideals. A variation of this statement for...
..., an is a minimal set of generators of m. Then by Krull's principalidealtheorem n ≥ dim A, and A is defined to be regular if n = dim A. The appellation...
denominators in I {\displaystyle I} , hence the name fractional ideal. The principal fractional ideals are those R {\displaystyle R} -submodules of K {\displaystyle...
fractional ideals of the ring of integers of K, and PK is its subgroup of principalideals. The class group is a measure of the extent to which unique factorization...
non-Noetherian local ring whose maximal ideal is principal (see a counterexample to Krull's intersection theorem at Local ring#Commutative case.) If R is...
principal idealtheorem, every prime ideal of O generates a principalideal of the ring of integers of E. A generator of this principalideal is called...
contains at least one prime ideal (in fact it contains at least one maximal ideal), which is a direct consequence of Krull's theorem. More generally, if S is...
function Homological conjectures in commutative algebra Krull's principalidealtheorem Regular local ring Matsumura, Hideyuki: "Commutative Ring Theory"...
ideals of R. Krull's theorem (1929): Every nonzero unital ring has a maximal ideal. The result is also true if "ideal" is replaced with "right ideal"...
principal left, principal right, or principal two-sided ideals of a ring, partially ordered by inclusion. The ascending chain condition on principal ideals...
small integers. The Chinese remainder theorem (expressed in terms of congruences) is true over every principalideal domain. It has been generalized to any...