Glossary

7.3 Frobenius automorphisms and Artin symbols

4 min read•july 30, 2024

Frobenius automorphisms and Artin symbols are key players in understanding prime decomposition in number fields. They provide a way to connect local properties of primes with global properties of field extensions, giving us insight into how primes split.

These concepts are crucial for studying Galois theory, class field theory, and L-functions. They help us analyze prime factorization, ramification, and splitting behavior in number fields, tying together various aspects of algebraic number theory.

Frobenius automorphism in Galois extensions

Definition and properties

Top images from around the web for Definition and properties

  • FrobeniusDSolveFormula | Wolfram Function Repository View original

    Is this image relevant?

  • GaloisGroupProperties | Wolfram Function Repository View original

    Is this image relevant?

  • FrobeniusDSolveFormula | Wolfram Function Repository View original

    Is this image relevant?

1 of 3

Top images from around the web for Definition and properties

  • FrobeniusDSolveFormula | Wolfram Function Repository View original

    Is this image relevant?

  • GaloisGroupProperties | Wolfram Function Repository View original

    Is this image relevant?

  • FrobeniusDSolveFormula | Wolfram Function Repository View original

    Is this image relevant?

1 of 3
  • represents a specific element of the of a field extension associated with a prime ideal in the ring of integers of the base field
  • For Galois extension L/K and unramified prime ideal p of K, Frobenius automorphism σ in Gal(L/K) satisfies σ(x)≡xq(modP)σ(x) ≡ x^q \pmod{P} for all x in the ring of integers of L
    • q denotes the of p
    • P represents a prime ideal of L lying above p
  • Well-defined and independent of the choice of P above p due to conjugation action of Galois group on prime ideals above p
  • Order of Frobenius automorphism in Galois group equals inertia degree of p in extension L/K
  • For finite fields, explicitly described as map x↦xqx \mapsto x^q (q represents order of base field)

Applications and significance

  • Plays crucial role in studying decomposition groups and inertia groups associated with prime ideals in Galois extensions
  • Provides information about splitting behavior of primes in the extension
  • Used in the formulation of the
  • Connects local and global properties of number fields
  • Appears in the study of zeta functions and L-functions associated with number fields
  • Generalizes to the for potentially ramified primes

Properties of the Frobenius automorphism group

Structure and characteristics

  • Frobenius automorphism group (Frob(L/K)) generated by all Frobenius automorphisms associated with unramified prime ideals of K
  • For normal extension L/K, Frob(L/K) forms a normal subgroup of Gal(L/K)
  • of Frob(L/K) corresponds to maximal unramified subextension of L/K
  • Structure reflects arithmetic properties of the extension (prime splitting behavior, distribution of prime ideals)
  • Density of Frobenius elements in Gal(L/K) related to Chebotarev density theorem
  • For global fields, Frob(L/K) dense in Galois group with respect to Krull topology (fundamental result in class field theory)

Applications and connections

  • Action on ideal class group of L provides information about structure and arithmetic properties of extension
  • Used in studying decomposition of primes in number fields
  • Connects local and global properties of algebraic number fields
  • Appears in formulation of reciprocity laws in class field theory
  • Utilized in the study of Galois representations and their arithmetic applications
  • Plays role in analyzing distribution of prime ideals in number fields

Artin symbol and Frobenius connection

Definition and properties

  • Artin symbol ([(L/K)/p]) generalizes Frobenius automorphism to potentially ramified prime ideals in Galois extension L/K
  • Coincides with Frobenius automorphism for unramified prime ideals
  • Defined as generator of decomposition group modulo for prime ideal P of L lying above p
  • Satisfies multiplicativity property: [(L/K)/p1p2]=[(L/K)/p1][(L/K)/p2][(L/K)/p₁p₂] = [(L/K)/p₁][(L/K)/p₂] for coprime ideals p₁ and p₂
  • Extends to fractional ideals of K, providing homomorphism from ideal group of K to Gal(L/K)
  • Artin reciprocity law relates Artin symbol to characters of idele class group, generalizing quadratic reciprocity

Applications and significance

  • Used to study ramification and splitting behavior of primes in Galois extensions
  • Appears in the formulation of class field theory for abelian extensions
  • Utilized in the definition of Artin L-functions, generalizing Dedekind zeta functions
  • Plays crucial role in the study of reciprocity laws and their generalizations
  • Connects local and global properties of number fields through its behavior under localization
  • Used in the study of Galois representations and their arithmetic applications

Artin symbol for prime splitting behavior

Determining prime factorization

  • Artin symbol determines factorization of prime ideal p in extension L/K (splitting type, ramification index, inertia degree)
  • Order of Artin symbol in Gal(L/K) equals least common multiple of inertia degrees of prime ideals of L above p
  • For abelian extensions, provides concrete realization of isomorphism between Gal(L/K) and quotient of idele class group of K (class field theory)
  • Chebotarev density theorem formulated using Artin symbols, describing density of prime ideals with given splitting behavior in L/K
  • Behavior under composition of field extensions provides insights into structure of absolute Galois group of

Applications in number theory

  • Used in the study of prime decomposition laws in number fields
  • Appears in the formulation of generalized Riemann hypothesis for number fields
  • Utilized in the analysis of distribution of prime ideals in number fields
  • Plays role in the study of Galois representations and their arithmetic applications
  • Used in the formulation of reciprocity laws and their generalizations in class field theory
  • Connects local and global properties of number fields through its behavior under localization

Key Terms to Review (16)

Artin Symbol: The Artin symbol is an important notation in algebraic number theory that describes the action of the Galois group of a number field on the ideal class group of another number field. It plays a crucial role in understanding how primes in one field relate to primes in another through their factorization, particularly when considering extensions and residue fields. This symbol connects the notions of Galois theory and class field theory, making it essential for examining the arithmetic properties of number fields.
Characteristic Polynomial: The characteristic polynomial is a polynomial associated with a square matrix or a linear transformation that encodes important information about its eigenvalues. This polynomial is formed by taking the determinant of the matrix subtracted by a scalar multiple of the identity matrix, typically expressed as $$P(t) = ext{det}(A - tI)$$, where $A$ is the matrix and $t$ represents the eigenvalue. It reveals the roots, which correspond to the eigenvalues, providing insights into the structure and properties of the matrix.
Chebotarev Density Theorem: The Chebotarev Density Theorem describes the distribution of prime ideals in a number field and how they split in finite Galois extensions. It connects the splitting behavior of primes to the structure of Galois groups, providing a way to determine the density of primes that behave in certain ways relative to these extensions.
Emil Artin: Emil Artin was a prominent 20th-century mathematician known for his significant contributions to algebraic number theory, particularly in the areas of class field theory and algebraic integers. His work has influenced various aspects of modern mathematics, linking concepts like field extensions and ideals to the broader framework of number theory.
Finite Field: A finite field, also known as a Galois field, is a set equipped with two operations, addition and multiplication, satisfying the properties of a field, but containing a finite number of elements. This concept is fundamental in various mathematical disciplines, including algebraic structures where fields play a critical role, as well as in number theory and applications in coding theory and cryptography.
Fixed field: A fixed field is the subfield of elements in a field extension that remain unchanged under the action of a group of automorphisms. In the context of Galois theory, it plays a crucial role as it relates the structure of field extensions to their automorphisms, connecting important concepts such as Galois groups and normal extensions.
Frobenius Automorphism: The Frobenius automorphism is a key concept in field theory, particularly in the study of Galois extensions. It describes a specific type of automorphism of a field extension that relates to the prime elements of a base field, typically linked to the roots of unity in the context of finite fields. This automorphism plays a crucial role in understanding the structure of number fields and their splitting behavior under various primes.
Galois Group: A Galois group is a mathematical structure that captures the symmetries of the roots of a polynomial equation, formed by the automorphisms of a field extension that fix the base field. This concept helps us understand how different roots relate to one another and provides a powerful framework for analyzing the solvability of polynomials and the structure of number fields.
Inertia group: An inertia group is a subgroup of the Galois group that describes how primes split in a field extension and identifies the behavior of the ramification of those primes. It plays a crucial role in understanding how primes behave under various extensions, particularly in relation to decomposition and ramification. Inertia groups provide insight into the local behavior of field extensions, connecting to concepts like Frobenius automorphisms and completions of number fields.
Kronecker-Weber Theorem: The Kronecker-Weber Theorem states that every abelian extension of the rational numbers can be obtained by adjoining a root of unity and a root of a cyclotomic field. This theorem is significant because it provides a comprehensive understanding of how certain field extensions relate to number fields, particularly in the context of their structure and properties.
Niels Henrik Abel: Niels Henrik Abel was a Norwegian mathematician known for his groundbreaking contributions to algebra, particularly in the area of group theory and elliptic functions. His work laid the foundation for many concepts in modern mathematics, including developments in Galois theory, which connects to the study of polynomial equations and their solutions through group symmetries.
Norm: In algebraic number theory, the norm of an algebraic number is a value that gives important information about its behavior in relation to a field extension. It can be viewed as a multiplicative measure that reflects how the number scales when considered within its minimal field, connecting properties of elements with their corresponding fields and extensions.
Number Field: A number field is a finite degree extension of the field of rational numbers, which means it is a larger set of numbers that includes rational numbers and is generated by adjoining algebraic numbers to the rationals. Number fields provide a framework for studying the properties of algebraic integers and their factorization, which connects deeply with various concepts in algebraic number theory.
Order of an automorphism: The order of an automorphism is the smallest positive integer n such that applying the automorphism n times returns the original element. In algebraic structures, understanding the order of automorphisms helps in determining symmetries and behaviors of the structure, particularly in fields and Galois theory. This concept is crucial when discussing Frobenius automorphisms and Artin symbols, as it reveals insights into the structure of field extensions and their corresponding automorphisms.
Residue class: A residue class is a set of integers that are equivalent to each other under a specific modulus, representing all integers that give the same remainder when divided by that modulus. These classes form the foundation of modular arithmetic and play a crucial role in number theory, especially in analyzing properties of integers within a given modulus. Each residue class can be represented by a single integer, often taken to be the smallest non-negative integer in the class.
Splitting of Primes: The splitting of primes refers to how a prime ideal in the ring of integers of a number field decomposes into a product of prime ideals in an extension field. This concept is crucial in understanding the behavior of prime numbers within different number fields, particularly when examining how they relate to the structure of field extensions through Frobenius automorphisms and Artin symbols.
© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.
Back
Practice QuizGlossary
Practice QuizGlossary
Next guide