Abstract:The product formula of Artin symbols (norm residue symbols) is an important equality that connects local and global class field theory. Usually, the product formula of Artin symbols is considered in abelian extensions of global fields. In this paper, however, the product is considered in non-abelian extensions such that each symbol is well-defined. As an application, some properties on fundamental units of real quadratic fields are obtained and will be presented here.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the product formula of Artin symbols in non - abelian extensions. Traditionally, the product formula of Artin symbols is usually considered in abelian extensions of global fields. However, this paper explores the situation in non - abelian extensions to ensure that each symbol can be well - defined.
Specifically, the author studies the following problems:
1. **Generalization of the product formula of Artin symbols**: How to define and calculate the product formula of Artin symbols in non - abelian extensions.
2. **Application of properties**: Through the study of these formulas, the author obtains some properties of the fundamental units of real quadratic fields and presents these results.
### Formula representation
The key formulas involved in the paper include:
- Local definition of Artin symbols:
\[
\left( a, L_P/K_p \right) : K_p^\times \to \text{Gal}(L_P/K_p)
\]
where \(K\) is a number field, \(L\) is an (possibly infinite) abelian extension of \(K\), \(p\) is a place of \(K\), and \(P\) is a place above \(L\).
- Product formula:
\[
\prod_{p} \left( a, L/K \right)_p = 1
\]
for \(a\in K^\times\), where \(p\) runs through all places of \(K\).
- Generalization in non - abelian extensions:
\[
\pi_{L/K}(a)=\prod_{p} \left( a, L/K \right)_p
\]
where \(L\) satisfies certain specific conditions such that the decomposition group is abelian and the image of the local Artin symbol lies in the center of \(\text{Gal}(L/K)\).
### Application example
The article also discusses how to use graph theory to express the results of these formulas in the case of \(K = \mathbb{Q}\) and \(a=- 1\). For example, for prime numbers \(p, q, r\) satisfying specific conditions, we have:
\[
c_{p,q}+c_{q,r}+c_{r,p} = 0\iff\left( \frac{pq}{r} \right)_4\left( \frac{qr}{p} \right)_4\left( \frac{rp}{q} \right)_4=-1
\]
### Summary
The main contribution of this paper is to generalize the product formula of Artin symbols from abelian extensions to non - abelian extensions, and shows the practical application of this generalization through specific examples, especially obtaining new insights in terms of the fundamental units of real quadratic fields.