**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept# Principal ideal domain

Summary

In mathematics, a principal ideal domain, or PID, is an integral domain in which every ideal is principal, i.e., can be generated by a single element. More generally, a principal ideal ring is a nonzero commutative ring whose ideals are principal, although some authors (e.g., Bourbaki) refer to PIDs as principal rings. The distinction is that a principal ideal ring may have zero divisors whereas a principal ideal domain cannot.
Principal ideal domains are thus mathematical objects that behave somewhat like the integers, with respect to divisibility: any element of a PID has a unique decomposition into prime elements (so an analogue of the fundamental theorem of arithmetic holds); any two elements of a PID have a greatest common divisor (although it may not be possible to find it using the Euclidean algorithm). If x and y are elements of a PID without common divisors, then every element of the PID can be written in the form ax + by.
Principal ideal domains are noetherian, they are i

Official source

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 (4)

Loading

Loading

Loading

Related people

No results

Related units

No results

Related concepts

Loading

Related courses

Loading

Related lectures

Loading

Related concepts (40)

In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebr

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped wit

In mathematics, a unique factorization domain (UFD) (also sometimes called a factorial ring following the terminology of Bourbaki) is a ring in which a statement analogous to the fundamental theorem

Related courses (9)

MATH-310: Algebra

Study basic concepts of modern algebra: groups, rings, fields.

MATH-215: Rings and fields

C'est un cours introductoire dans la théorie d'anneau et de corps.

MATH-311: Rings and modules

The students are going to solidify their knowledge of ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra.

Related lectures (18)

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.

1999Let 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 class group of K. Since ℤ[𝓖(K)] is integral, the same holds for (K) and W(K). The subject of this thesis is the study of annihilating polynomials for quadratic forms. More specifically, for a given quadratic form φ over K, we study polynomials P ∈ ℤ[X] such that P([φ]) = 0 or P({φ}) = 0. Here [φ] ∈ (K) denotes the isometry class and {φ} ∈ W(K) denotes the equivalence class of φ. The subset of ℤ[X] consisting of all annihilating polynomials for [φ], respectively {φ}, is an ideal, which we call the annihilating ideal of [φ], respectively {φ}. Chapter 1 is dedicated to the algebraic foundations for the study of annihilating polynomials for quadratic forms. First we study the general structure of ideals in ℤ[X], which later on allows us to efficiently determine complete sets of generators for annihilating ideals. Then we introduce a more natural setting for the study of annihilating polynomials for quadratic forms, i.e. we define Witt rings for groups of exponent 2. Both (K) and W(K) are Witt rings for the square class group 𝓖(K). Studying annihilating polynomials in this more general setting relieves us to a certain extent from having to distinguish between isometry and equivalence classes of quadratic forms. In Section 1.1 we study the structure of ideals in R[X], where R is a principal ideal domain. For an ideal I ⊂ R[X] there exist sets of generators, which can be obtained in a natural way by considering the leading coefficients of elements in I. These sets of generators are called convenient. By discarding super uous elements we obtain modest sets of generators, which under certain assumptions are minimal sets of generators for I. Let G be a group of exponent 2. In Section 1.2 we study annihilating polynomials for elements of ℤ[G]. With the help of the ring homomorphisms Hom(ℤ[G],ℤ) it is possible to completely classify annihilating polynomials for elements of ℤ[G]. Note that an annihilating polynomial for an element f ∈ ℤ[G] also annihilates the image of f in any quotient of ℤ[G]. In particular, Witt rings for G are quotients of ℤ[G]. In Section 1.3 we use the ring homomorphisms Hom(ℤ[G],ℤ) to describe the prime spectrum of ℤ[G]. The obtained results can then be employed for the characterisation of the prime spectrum of a Witt ring R for G. Section 1.4 is dedicated to proving the structure theorems for Witt rings. More precisely, we generalise the structure theorems for Witt rings of fields to the general setting of Witt rings for groups of exponent 2. Section 1.5 serves to summarise Chapter 1. If R is a Witt ring for G, then we use the structure theorems to determine, for an element x ∈ R, the specific shape of convenient and modest sets of generators for the annihilating ideal of x. In Chapter 2 we study annihilating polynomials for quadratic forms over fields. More specifically, we first consider fields K, over which quadratic forms can be classified with the help of the classical invariants. Calculations involving these invariants allow us to classify annihilating ideals for isometry and equivalence classes of quadratic forms over K. Then we apply methods from the theory of generic splitting to study annihilating polynomials for excellent quadratic forms. Throughout Chapter 2 we make heavy usage of the results obtained in Chapter 1. Let K be a field with char(K) ≠ 2. Section 2.1 constitutes an introduction to the algebraic theory of quadratic forms over fields. We introduce the Witt-Grothendieck ring (K) and the Witt ring W(K), and we show that these are indeed Witt rings for 𝓖(K). In addition we adapt the structure theorems to the specific setting of quadratic forms. In Section 2.2 we introduce Brauer groups and quaternion algebras, and in Section 2.3 we define the first three cohomological invariants of quadratic forms. In particular we use quaternion algebras to define the Clifford invariant. In Section 2.4 we begin our actual study of annihilating polynomials for quadratic forms. Henceforth it becomes necessary to distinguish between isometry and equivalence classes of quadratic forms. We start by classifying annihilating ideals for quadratic forms over fields K, for which (K) and W(K) have a particularly simple structure. Subsequently we use calculations involving the first three cohomological invariants to determine annihilating ideals for quadratic forms over a field K such that I3(K) = {0}, where I(K) ⊂ W(K) is the fundamental ideal. Local fields, which are a special class of such fields, are studied in Section 2.5. By applying the Hasse-Minkowski Theorem we can then determine annihilating ideals of quadratic forms over global fields. Section 2.6 serves as an introduction to the elementary theory of generic splitting. In particular we introduce Pfister neighbours and excellent quadratic forms, which are the subjects of study in Section 2.7. We use methods from generic splitting to study annihilating polynomials for Pfister neighbours. The obtained result can be applied inductively to obtain annihilating polynomials for excellent quadratic forms. We conclude the section by giving an alternative, elementary approach to the study of annihilating polynomials for excellent forms, which makes use of the fact that (K) and W(K) are quotients of ℤ[𝓖(K)].

Let G be a connected reductive algebraic group over an algebraically closed field k,gamma is an element of g( k(( epsilon ))) a semisimple regular element, we introduce a fundamental domain F gamma for the affine Springer fibers X gamma. We show that the purity conjecture of X gamma is equivalent to that of F gamma via the Arthur-Kottwitz reduction. We then concentrate on the unramified affine Springer fibers for the group GL(d). It turns out that their fundamental domains behave nicely with respect to the root valuation of gamma. We formulate a rationality conjecture about a generating series of their Poincare polynomials, and study them in detail for the group GL(3). In particular, we pave them in affine spaces and we prove the rationality conjecture.