Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Dedekind Rings: Factorisation and Ideal Class Group

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.

This video is available exclusively on Mediaspace for a restricted audience. Please log in to MediaSpace to access it if you have the necessary permissions.

Watch on Mediaspace

Instructors (3)

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.

Thomas Gerber

Donna Testerman

Official source

Ontological neighbourhood

Mathematics

Algebra: Abstract algebra, Polynomials

Related concepts (32)

Separable extension

In field theory, a branch of algebra, an algebraic field extension is called a separable extension if for every , the minimal polynomial of over F is a separable polynomial (i.e., its formal derivative is not the zero polynomial, or equivalently it has no repeated roots in any extension field). There is also a more general definition that applies when E is not necessarily algebraic over F. An extension that is not separable is said to be inseparable.

Ideal class group

In number theory, the ideal class group (or class group) of an algebraic number field K is the quotient group JK/PK where JK is the group of fractional ideals of the ring of integers of K, and PK is its subgroup of principal ideals. The class group is a measure of the extent to which unique factorization fails in the ring of integers of K. The order of the group, which is finite, is called the class number of K. The theory extends to Dedekind domains and their field of fractions, for which the multiplicative properties are intimately tied to the structure of the class group.

Fractional ideal

In mathematics, in particular commutative algebra, the concept of fractional ideal is introduced in the context of integral domains and is particularly fruitful in the study of Dedekind domains. In some sense, fractional ideals of an integral domain are like ideals where denominators are allowed. In contexts where fractional ideals and ordinary ring ideals are both under discussion, the latter are sometimes termed integral ideals for clarity. Let be an integral domain, and let be its field of fractions.

Field extension

In mathematics, particularly in algebra, a field extension is a pair of fields such that the operations of K are those of L restricted to K. In this case, L is an extension field of K and K is a subfield of L. For example, under the usual notions of addition and multiplication, the complex numbers are an extension field of the real numbers; the real numbers are a subfield of the complex numbers. Field extensions are fundamental in algebraic number theory, and in the study of polynomial roots through Galois theory, and are widely used in algebraic geometry.

Separable polynomial

In mathematics, a polynomial P(X) over a given field K is separable if its roots are distinct in an algebraic closure of K, that is, the number of distinct roots is equal to the degree of the polynomial. This concept is closely related to square-free polynomial. If K is a perfect field then the two concepts coincide. In general, P(X) is separable if and only if it is square-free over any field that contains K, which holds if and only if P(X) is coprime to its formal derivative D P(X).

Related lectures (36)

Ideal Class Group Relations

Covers the relations between the ideal class group and proper fractional ideals.

Dedekind Rings: Integral Extensions and Noetherian Rings Log in to Mediaspace to watch this video

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

Dedekind Rings: Theory and Applications Log in to Mediaspace to watch this video

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

Separable Extensions: Dedekind Rings Log in to Mediaspace to watch this video

Explores separable extensions and Dedekind rings, focusing on coefficients and prime ideals.

Dimension Theory of Rings Log in to Mediaspace to watch this video