Lecture

Dedekind Rings: Factorisation and Ideal Class Group

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

In courses (2)

MATH-482: Number theory I.a - 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 algebraic number fields, algebraic integers, units, ideal c ...

MATH-317: Algebra V - Galois theory

Galois theory lies at the interface of Field Theory and Group Theory. It aims to describe the algebraic symmetries of fields. We will focus on Galois theory for finite field extensions and some applications. ...

Description

This lecture covers Dedekind rings, defining them as domains that are integrally closed and Noetherian, with every prime ideal being maximal. It explores factorisation in Dedekind rings, showing that every ideal can be uniquely factored into prime ideals. The lecture also discusses fractional ideals, principal fractional ideals, and the ideal class group of a Dedekind ring. Additionally, it delves into the heredity of Dedekind rings in finite separable extensions, separable extensions, and the properties of matrices in algebraic extensions.

Instructors (3)

Thomas Gerber

Donna Testerman

Teaching & PhD Past EPFL PhD Students Soumaïa Nadia Ghandour, Iulian Ion Simion, Mikaël Cavallin, Mikko Tapani Korhonen, Nathan Scheinmann, Ana Retegan, Jonathan Gruber

Philippe Michel

Ph. Michel's main research interest lie in the field of analytic number theory and range over a variety of techniques and methods which include: arithmetic geometry, exponential sums, sieve methods, automorphic forms and allied representations, L-functions and more recently ergodic theory. Ph. Michel is a former student of ENS Cachan and obtained his PhD in Universté Paris XI in 1995 under the guidance of E. Fouvry. From 1995 to 1998 he was maître de conférence at Universté Paris XI and full professor at Université Montpellier II until 2008 then when he joined EPFL. Ph. Michel was awarded the Peccot-Vimont prize, has been member of the Institut Universitaire de France and wa invited speaker at the 2006 International Congress of Mathematician.

Official source

Ontological neighbourhood

Mathematics

Algebra: Abstract algebra, Polynomials

Related concepts (32)

Galois extension

In mathematics, a Galois extension is an algebraic field extension E/F that is normal and separable; or equivalently, E/F is algebraic, and the field fixed by the automorphism group Aut(E/F) is precisely the base field F. The significance of being a Galois extension is that the extension has a Galois group and obeys the fundamental theorem of Galois theory. A result of Emil Artin allows one to construct Galois extensions as follows: If E is a given field, and G is a finite group of automorphisms of E with fixed field F, then E/F is a Galois extension.

Ideal (ring theory)

In mathematics, and more specifically in ring theory, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers preserves evenness, and multiplying an even number by any integer (even or odd) results in an even number; these closure and absorption properties are the defining properties of an ideal.

Prime ideal

In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with the zero ideal. Primitive ideals are prime, and prime ideals are both primary and semiprime. An ideal P of a commutative ring R is prime if it has the following two properties: If a and b are two elements of R such that their product ab is an element of P, then a is in P or b is in P, P is not the whole ring R.

Purely inseparable extension

In algebra, a purely inseparable extension of fields is an extension k ⊆ K of fields of characteristic p > 0 such that every element of K is a root of an equation of the form xq = a, with q a power of p and a in k. Purely inseparable extensions are sometimes called radicial extensions, which should not be confused with the similar-sounding but more general notion of radical extensions. An algebraic extension is a purely inseparable extension if and only if for every , the minimal polynomial of over F is not a separable polynomial.

Splitting of prime ideals in Galois extensions

In mathematics, the interplay between the Galois group G of a Galois extension L of a number field K, and the way the prime ideals P of the ring of integers OK factorise as products of prime ideals of OL, provides one of the richest parts of algebraic number theory. The splitting of prime ideals in Galois extensions is sometimes attributed to David Hilbert by calling it Hilbert theory. There is a geometric analogue, for ramified coverings of Riemann surfaces, which is simpler in that only one kind of subgroup of G need be considered, rather than two.

Related lectures (64)

Dedekind Rings: Theory and Applications

Explores Dedekind rings, integral closure, factorization of ideals, and Gauss' Lemma.

Dedekind Rings: Integral Extensions and Noetherian Rings

Explores Dedekind rings, integral extensions, and noetherian rings in algebraic structures.

Commutative Algebra: Recollections

Covers fundamental concepts in commutative algebra, including rings, units, zero divisors, and local rings.

Galois Theory: Dedekind Rings

Explores Galois theory with a focus on Dedekind rings and their unique factorization of fractional ideals.

Ideal Class Group Relations