Adele ring ( $A_{K}$ )

An idele obtained by mapping the same nonzero element of a number field into every completion. Only finitely many local valuations are nonzero, so this diagonal tuple belongs to the idele group.

Discreteness of principal ideles

 0  0

The diagonal multiplicative group of a number field is discrete in its idele group. Require local units at every finite place and an archimedean neighbourhood of one. A diagonal element

x

meeting these restrictions has integral

x - 1

. If

x \neq = 1

, its nonzero integer field norm cannot have absolute value less than one, while sufficiently small archimedean differences would force exactly that.

Idele-to-ideal homomorphism ( $(x_{v})_{v} \mapsto \prod_{v < \infty} p_{v}^{ord_{v} (x_{v})}$ )

 0  0

The map from an idele to its finite-place fractional ideal is surjective, has kernel the product of the infinite multiplicative groups and finite-place unit groups, and sends diagonal elements to principal fractional ideals. It realizes the ideal class group as the corresponding quotient of the idele group.

Idelic modulus ( $∥ x ∥ = \prod_{v} ∣ x_{v} ∣_{v}$ )

 0  0

The idelic modulus is the product of normalized local moduli: ordinary real modulus, squared complex modulus and

(N p)^{- ord_{p} (x)}

at finite places. This continuous homomorphism to

R_{> 0}

has the diagonal multiplicative group in its kernel by the product formula. It differs from the idele norm, which maps between idele groups of field extensions.

Norm-one idele group ( $J_{K}^{1}$ )

 0  0

The norm-one idele group is the kernel of the idelic modulus. Its quotient by the diagonal

K^{\times}

is compact for a number field and surjects onto the ideal class group.

An idele is an element of the idele group: a tuple of nonzero elements of the completion of a valued field at all places, with finite-place components in the local unit groups except at finitely many places.

Restricted product topology on the idele group

 0  0

The idele topology is the restricted product topology with respect to

O_{v}^{\times}

. It is also the subspace topology induced by

x \mapsto (x, x^{- 1})

from

A_{K} \times A_{K}

Idèle class group ( $C_{K}$ )

 0  0

The idele class group is

C_{K} = I_{K} / K^{\times}

, where

K^{\times}

is embedded diagonally.

Idelic congruence subgroup ( $C_{K} (m)$ )

 0  0

The ideles congruent to one modulo

m

have finite components in

1 + p^{n_{p}}

at primes in the finite modulus and positive components at selected real places. Their image in

C_{K}

is the idelic congruence subgroup.

Norm group of an abelian extension ( $N_{L / K} C_{L}$ )

 0  0

For a finite abelian extension

L / K

, the norm group is the image of the idele-class norm

C_{L} \to C_{K}

. Class field theory gives

C_{K} / N_{L / K} C_{L} ≅ Gal (L / K)

Idele norm ( $N_{L / K} : I_{L} \to I_{K}$ )

 0  0

The

v

-component of the idele norm is

\prod_{w ∣ v} N_{L_{w} / K_{v}} (x_{w})

. It descends to an idèle class group norm

C_{L} \to C_{K}

Nonabelian norm-residue kernel theorem

 0  0

For a finite Galois extension

L / K

with group

G

, the kernel of the global reciprocity map

C_{K} \to G^{ab}

N_{L / K} C_{L}

. It follows that this norm group equals the norm group from the maximal abelian subextension

L^{[G, G]} / K

 Ancestors (6)

 Incoming links (3)

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (1)

Adele ring by

Wikipedia Bot  1

 View more

The "Adele ring" refers to a specific type of ring associated with the singer Adele, particularly her engagement ring. Adele's engagement ring is notable for its intricate design and has garnered attention in the media due to the artist's high profile. The ring is often described as a large diamond set in a unique design, highlighting Adele's style and taste. Additionally, there may be references to "Adele rings" in popular culture or jewelry trends inspired by her aesthetic.

 Read the full article

  See all articles in the same topic Create my own version

Adele ring ( $A_{K}$ )

Restricted product ( $\prod_{i}^{'} (X_{i}, U_{i})$ )

Restricted product topology

Idele group ( $I_{K}$ )

Principal idele ( $(a)_{v}, a \in K^{\times}$ )

Discreteness of principal ideles

Idele-to-ideal homomorphism ( $(x_{v})_{v} \mapsto \prod_{v < \infty} p_{v}^{ord_{v} (x_{v})}$ )

Idelic modulus ( $∥ x ∥ = \prod_{v} ∣ x_{v} ∣_{v}$ )

Norm-one idele group ( $J_{K}^{1}$ )

Idele ( $(x_{v})_{v}$ )

Restricted product topology on the idele group

Idèle class group ( $C_{K}$ )

Idelic congruence subgroup ( $C_{K} (m)$ )

Norm group of an abelian extension ( $N_{L / K} C_{L}$ )

Idele norm ( $N_{L / K} : I_{L} \to I_{K}$ )

Nonabelian norm-residue kernel theorem

 Ancestors (6)

 Incoming links (3)

 Discussion (0)

 Articles by others on the same topic (1)

 Discussion (0)  Subscribe (1)

 Discussion (0)