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

Discrete valuation ring

Summary

In abstract algebra, a discrete valuation ring (DVR) is a principal ideal domain (PID) with exactly one non-zero maximal ideal. This means a DVR is an integral domain R which satisfies any one of the following equivalent conditions:

R is a local principal ideal domain, and not a field.

R is a valuation ring with a value group isomorphic to the integers under addition.

R is a local Dedekind domain and not a field.

R is a Noetherian local domain whose maximal ideal is principal, and not a field.

R is an integrally closed Noetherian local ring with Krull dimension one.

R is a principal ideal domain with a unique non-zero prime ideal.

R is a principal ideal domain with a unique irreducible element (up to multiplication by units).

R is a unique factorization domain with a unique irreducible element (up to multiplication by units).

R is Noetherian, not a field, and every nonzero fractional ideal of R is irreducible in the sense that it cannot be written as a finite inters

Official source

https://en.wikipedia.org/wiki/Discrete_valuation_ring

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 (7)

Related publications

Related people

Related units

Related concepts (36)

Related concepts

Related courses (3)

Related courses

Related lectures (5)

Related lectures

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

Construction Of Self-Dual Integral Normal Bases In Abelian Extensions Of Finite And Local Fields

Erik Jarl Pickett

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

If L/K is a finite Galois extension of local fields, then we say that the valuation criterion VC(L/K) holds if there is an integer d such that every element x is an element of L with valuation d generates a normal basis for L/K. Answering a question of Byott and Elder, we first prove that VC(L/K) holds if and only if the tamely ramified part of the extension L/K is trivial and every non-zero K[G]-submodule of L contains a unit of the valuation ring of L. Moreover, the integer d can take one value modulo [L:K] only, namely-d(L/K)-1, where d(L/K) is the valuation of the different of L/K. When K has positive characteristic, we thus recover a recent result of Elder and Thomas, proving that VC(L/K) is valid for all extensions L/K in this context. When char K=0, we identify all abelian extensions L/K for which VC(L/K) is true, using algebraic arguments. These extensions are determined by the behaviour of their cyclic Kummer subextensions.

2012

Construction Of Self-Dual Integral Normal Bases In Abelian Extensions Of Finite And Local Fields

Erik Jarl Pickett

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