Lecture

Decomposition & Inertia: Group Actions and Galois Theory

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 concepts of decomposition groups, inertia subgroups, and Galois theory. It explains how the group G acts transitively on Specp(B), the decomposition group of P, and the Frobenius element at P. The lecture also discusses unramified primes, residual extensions, and Chebotareff's theorem. Furthermore, it explores cyclotomic fields, abelian Galois extensions, and the Frobenius elements generating Gal(K/Q). The instructor demonstrates proofs related to Galois extensions, Frobenius elements, and unramified primes, providing examples and theoretical explanations throughout the lecture.

Instructors (3)

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.

Thomas Gerber

Official source

Ontological neighbourhood

Mathematics

Algebra: Abstract algebra, Polynomials

Related concepts (32)

Abelian extension

In abstract algebra, an abelian extension is a Galois extension whose Galois group is abelian. When the Galois group is also cyclic, the extension is also called a cyclic extension. Going in the other direction, a Galois extension is called solvable if its Galois group is solvable, i.e., if the group can be decomposed into a series of normal extensions of an abelian group. Every finite extension of a finite field is a cyclic extension.

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.

Frobenius endomorphism

In commutative algebra and field theory, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of commutative rings with prime characteristic p, an important class which includes finite fields. The endomorphism maps every element to its p-th power. In certain contexts it is an automorphism, but this is not true in general. Let R be a commutative ring with prime characteristic p (an integral domain of positive characteristic always has prime characteristic, for example).

Cyclotomic field

In number theory, a cyclotomic field is a number field obtained by adjoining a complex root of unity to Q, the field of rational numbers. Cyclotomic fields played a crucial role in the development of modern algebra and number theory because of their relation with Fermat's Last Theorem. It was in the process of his deep investigations of the arithmetic of these fields (for prime n) – and more precisely, because of the failure of unique factorization in their rings of integers – that Ernst Kummer first introduced the concept of an ideal number and proved his celebrated congruences.

Galois theory

In mathematics, Galois theory, originally introduced by Évariste Galois, provides a connection between field theory and group theory. This connection, the fundamental theorem of Galois theory, allows reducing certain problems in field theory to group theory, which makes them simpler and easier to understand. Galois introduced the subject for studying roots of polynomials.

Related lectures (47)

Galois Theory Fundamentals

Explores Galois theory fundamentals, including separable elements, decomposition fields, and Galois groups, emphasizing the importance of finite degree extensions and the structure of Galois extensions.

Ramification and Structure of Finite Extensions

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

Galois Theory of Qp

Explores the Galois theory of Qp, covering algebraic extensions, inertia groups, and cyclic properties.

Topology: Homomorphisms and Galois Theory

Explores homomorphisms in topology and delves into Galois theory.

Norm Extension in Finite Fields