Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept

Valuation (algebra)

Summary

In algebra (in particular in algebraic geometry or algebraic number theory), a valuation is a function on a field that provides a measure of the size or multiplicity of elements of the field. It generalizes to commutative algebra the notion of size inherent in consideration of the degree of a pole or multiplicity of a zero in complex analysis, the degree of divisibility of a number by a prime number in number theory, and the geometrical concept of contact between two algebraic or analytic varieties in algebraic geometry. A field with a valuation on it is called a valued field. Definition One starts with the following objects: *a field K and its multiplicative group K×, *an abelian totally ordered group (Γ, +, ≥). The ordering and group law on Γ are extended to the set Γ ∪ {∞} by the rules *∞ ≥ α for all α ∈ Γ, *∞ + α = α + ∞ = ∞ + ∞ = ∞ for all α ∈ Γ. Then a valuation of K is any map :v : K → Γ ∪ {∞} which

Official source

https://en.wikipedia.org/wiki/Valuation_(algebra)

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (4)

Related publications

Related people

Related units

Related concepts (26)

Related concepts

Related courses (3)

Related courses

Related lectures (4)

Related lectures

Let G be the product of an abelian variety and a torus defined over a number field K. Let R-1, ..., R-n be points in G(K). Let l be a rational prime, and let a(1), ..., a(n) be nonnegative integers. Consider the set of primes p of K satisfying the following condition: the l-adic valuation of the order of (R-i mod p) equals a(i) for every i = 1, ..., n. We show that this set is either finite or has a positive natural density. We characterize the n-tuples a(1), ..., a(n) for which the density is positive. More generally, we study the l-part of the reduction of the points.

2011

Explicit construction of self-dual integral normal bases for the square-root of the inverse different

Erik Jarl Pickett

Let K be a finite extension of Q(p), let L/K be a finite abelian Galois extension of odd degree and let D-L be the valuation ring of L. We define A(L/K) to be the unique fractional D-L-ideal with square equal to the inverse different of L/K. For p an odd prime and L/Q(p) contained in certain cyclotomic extensions, Erez has described integral normal bases for A(L)/Q(p) that are self-dual with respect to the trace form. Assuming K/Q(p) to be unramified we generate odd abelian weakly ramified extensions of K using Lubin-Tate formal groups. We then use Dwork's exponential power series to explicitly construct self-dual integral normal bases for the square-root of the inverse different in these extensions. (C) 2009 Elsevier Inc. All rights reserved.

2009

Let

F/E

be a finite Galois extension of fields with abelian Galois group

\Gamma

. A self-dual normal basis for

F/E

is a normal basis with the additional property that

Tr_{F/E}(g(x),h(x))=\delta_{g,h}

for

g,h\in\Gamma

. Bayer-Fluckiger and Lenstra have shown that when

char(E)\neq 2

, then

F

admits a self-dual normal basis if and only if

[F:E]

is odd. If

F/E

is an extension of finite fields and

char(E)=2

, then

F

admits a self-dual normal basis if and only if the exponent of

\Gamma

is not divisible by

4

. In this paper we construct self-dual normal basis generators for finite extensions of finite fields whenever they exist. Now let

K

be a finite extension of

\Q_p

, let

L/K

be a finite abelian Galois extension of odd degree and let

\bo_L

be the valuation ring of

L

. We define

A_{L/K}

to be the unique fractional

\bo_L

-ideal with square equal to the inverse different of

L/K

. It is known that a self-dual integral normal basis exists for

A_{L/K}

if and only if

L/K

is weakly ramified. Assuming

p\neq 2

, we construct such bases whenever they exist.

2010

Let

F/E

be a finite Galois extension of fields with abelian Galois group

\Gamma

. A self-dual normal basis for

F/E

is a normal basis with the additional property that

Tr_{F/E}(g(x),h(x))=\delta_{g,h}

for

g,h\in\Gamma

. Bayer-Fluckiger and Lenstra have shown that when

char(E)\neq 2

, then

F

admits a self-dual normal basis if and only if

[F:E]

is odd. If

F/E

is an extension of finite fields and

char(E)=2

, then

F

admits a self-dual normal basis if and only if the exponent of

\Gamma

is not divisible by

4

. In this paper we construct self-dual normal basis generators for finite extensions of finite fields whenever they exist. Now let

K

be a finite extension of

\Q_p

, let

L/K

be a finite abelian Galois extension of odd degree and let

\bo_L

be the valuation ring of

L

. We define

A_{L/K}

to be the unique fractional

\bo_L

-ideal with square equal to the inverse different of

L/K

. It is known that a self-dual integral normal basis exists for

A_{L/K}

if and only if

L/K

is weakly ramified. Assuming

p\neq 2

, we construct such bases whenever they exist.

2010