Summary
In mathematics, specifically ring theory, a principal ideal is an ideal in a ring that is generated by a single element of through multiplication by every element of The term also has another, similar meaning in order theory, where it refers to an (order) ideal in a poset generated by a single element which is to say the set of all elements less than or equal to in The remainder of this article addresses the ring-theoretic concept. a left principal ideal of is a subset of given by for some element a right principal ideal of is a subset of given by for some element a two-sided principal ideal of is a subset of given by for some element namely, the set of all finite sums of elements of the form While this definition for two-sided principal ideal may seem more complicated than the others, it is necessary to ensure that the ideal remains closed under addition. If is a commutative ring with identity, then the above three notions are all the same. In that case, it is common to write the ideal generated by as or Not all ideals are principal. For example, consider the commutative ring of all polynomials in two variables and with complex coefficients. The ideal generated by and which consists of all the polynomials in that have zero for the constant term, is not principal. To see this, suppose that were a generator for Then and would both be divisible by which is impossible unless is a nonzero constant. But zero is the only constant in so we have a contradiction. In the ring the numbers where is even form a non-principal ideal. This ideal forms a regular hexagonal lattice in the complex plane. Consider and These numbers are elements of this ideal with the same norm (two), but because the only units in the ring are and they are not associates. A ring in which every ideal is principal is called principal, or a principal ideal ring. A principal ideal domain (PID) is an integral domain in which every ideal is principal. Any PID is a unique factorization domain; the normal proof of unique factorization in the integers (the so-called fundamental theorem of arithmetic) holds in any PID.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related publications (3)

Annihilating Polynomials for Quadratic Forms

Klaas-Tido Rühl

Let K be a field with char(K) ≠ 2. The Witt-Grothendieck ring (K) and the Witt ring W (K) of K are both quotients of the group ring ℤ[𝓖(K)], where 𝓖(K) := K*/(K*)2 is the square
EPFL2010

Restructuration du quartier Herti-Süd, Zug West

Proposition d'interventions précises pour coordonner le développement de la ville vers l'ouest. Choix de l'élément principal (halle de foire) et développement de cet objet jusqu'au détail.
1999
Related concepts (48)
Dedekind domain
In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily unique up to the order of the factors. There are at least three other characterizations of Dedekind domains that are sometimes taken as the definition: see below. A field is a commutative ring in which there are no nontrivial proper ideals, so that any field is a Dedekind domain, however in a rather vacuous way.
Algebraic number field
In mathematics, an algebraic number field (or simply number field) is an extension field of the field of rational numbers such that the field extension has finite degree (and hence is an algebraic field extension). Thus is a field that contains and has finite dimension when considered as a vector space over . The study of algebraic number fields, and, more generally, of algebraic extensions of the field of rational numbers, is the central topic of algebraic number theory.
Principal ideal
In mathematics, specifically ring theory, a principal ideal is an ideal in a ring that is generated by a single element of through multiplication by every element of The term also has another, similar meaning in order theory, where it refers to an (order) ideal in a poset generated by a single element which is to say the set of all elements less than or equal to in The remainder of this article addresses the ring-theoretic concept.
Show more
Related courses (5)
MATH-310: Algebra
Study basic concepts of modern algebra: groups, rings, fields.
MATH-334: Representation theory
Study the basics of representation theory of groups and associative algebras.
MATH-482: Algebraic number theory
Algebraic number theory is the study of the properties of solutions of polynomial equations with integral coefficients; Starting with concrete problems, we then introduce more general notions like alg
Show more
Related lectures (62)
The classical Lie algebras
Covers the classical Lie algebras, focusing on calculations and dimensions.
Weyl character formula
Explores the proof of the Weyl character formula for finite-dimensional representations of semisimple Lie algebras.
Rings and Modules
Covers rings, modules, fields, minimal ideals, and the Nullstellensatz theorem.
Show more