Lecture

Localization Theorem in Dedekind Rings

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.

Description

This lecture covers the Localization Theorem in Dedekind rings, stating that for a Dedekind ring A and its integral closure B in a finite separable extension of Q, the dimension of B/p.B is equal to the degree of the extension. It also explores the properties of localization at a multiplicative set, the uniqueness of maximal ideals in a PID, and the isomorphism induced by the injection A to Ap. Additionally, it discusses the integral closure of Ap in K, leading to an isomorphism of kp-algebras. The lecture concludes with the concept of ramification in field theory, defining ramified primes in K and unramified extensions in B.

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

Official source

Ontological neighbourhood

Mathematics

Algebra: Abstract algebra

Related concepts (32)

Ramification (mathematics)

In geometry, ramification is 'branching out', in the way that the square root function, for complex numbers, can be seen to have two branches differing in sign. The term is also used from the opposite perspective (branches coming together) as when a covering map degenerates at a point of a space, with some collapsing of the fibers of the mapping. Branch point In complex analysis, the basic model can be taken as the z → zn mapping in the complex plane, near z = 0.

Maximal ideal

In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal (with respect to set inclusion) amongst all proper ideals. In other words, I is a maximal ideal of a ring R if there are no other ideals contained between I and R. Maximal ideals are important because the quotients of rings by maximal ideals are simple rings, and in the special case of unital commutative rings they are also fields.

Branched covering

In mathematics, a branched covering is a map that is almost a covering map, except on a small set. In topology, a map is a branched covering if it is a covering map everywhere except for a nowhere dense set known as the branch set. Examples include the map from a wedge of circles to a single circle, where the map is a homeomorphism on each circle. In algebraic geometry, the term branched covering is used to describe morphisms from an algebraic variety to another one , the two dimensions being the same, and the typical fibre of being of dimension 0.

Exploration of Mars

The planet Mars has been explored remotely by spacecraft. Probes sent from Earth, beginning in the late 20th century, have yielded a large increase in knowledge about the Martian system, focused primarily on understanding its geology and habitability potential. Engineering interplanetary journeys is complicated and the exploration of Mars has experienced a high failure rate, especially the early attempts. Roughly sixty percent of all spacecraft destined for Mars failed before completing their missions and some failed before their observations could begin.

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.

Related lectures (64)

Dedekind Rings and Fractional Ideals

Explores Dedekind rings, fractional ideals, integrally closed properties, prime ideal factorization, and the structure of fractional ideals as a commutative group.

Ramification and Structure of Finite Extensions

Explores ramification and structure of finite extensions of Qp, including unramified extensions and Galois properties.

Dedekind Rings: Integral Extensions and Noetherian Rings

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

Galois Theory: Dedekind Rings

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

Local Rings and Residues