Lecture

Dedekind Rings and Fractional Ideals

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 the concept of Dedekind rings and fractional ideals, focusing on Proposition 3.6 which states the existence of a fractional ideal p^-1 such that p.p = A in a Dedekind ring. It further explores the properties of fractional ideals as A-modules and their relationship with maximal ideals. The lecture delves into the integrally closed nature of A, the factorization of fractional ideals into prime ideals, and the extension to fractional ideals. Additionally, it discusses the isomorphism of fractional ideals and their structure as a commutative group generated by Spec(A).

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

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

Official source

Ontological neighbourhood

Mathematics

Algebra: Abstract algebra

Related concepts (32)

Radical of an ideal

In ring theory, a branch of mathematics, the radical of an ideal of a commutative ring is another ideal defined by the property that an element is in the radical if and only if some power of is in . Taking the radical of an ideal is called radicalization. A radical ideal (or semiprime ideal) is an ideal that is equal to its radical. The radical of a primary ideal is a prime ideal. This concept is generalized to non-commutative rings in the Semiprime ring article.

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.

Ideal (order theory)

In mathematical order theory, an ideal is a special subset of a partially ordered set (poset). Although this term historically was derived from the notion of a ring ideal of abstract algebra, it has subsequently been generalized to a different notion. Ideals are of great importance for many constructions in order and lattice theory. A subset I of a partially ordered set is an ideal, if the following conditions hold: I is non-empty, for every x in I and y in P, y ≤ x implies that y is in I (I is a lower set), for every x, y in I, there is some element z in I, such that x ≤ z and y ≤ z (I is a directed set).

Sheaf of modules

In mathematics, a sheaf of O-modules or simply an O-module over a ringed space (X, O) is a sheaf F such that, for any open subset U of X, F(U) is an O(U)-module and the restriction maps F(U) → F(V) are compatible with the restriction maps O(U) → O(V): the restriction of fs is the restriction of f times that of s for any f in O(U) and s in F(U). The standard case is when X is a scheme and O its structure sheaf. If O is the constant sheaf , then a sheaf of O-modules is the same as a sheaf of abelian groups (i.

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.

Related lectures (64)

Ideals and Representations

Covers ideals, representations, modules, and maximal ideals in associative algebras.

Dedekind Rings: Integral Extensions and Noetherian Rings

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

Dedekind Rings: Theory and Applications

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

Simple Modules: Schur's Lemma

Covers simple modules, endomorphisms, and Schur's lemma in module theory.

Primary Decomposition in Commutative Rings