Perfect field

Perfect field

In algebra, a field k is said to be perfect if any one of the following equivalent conditions holds:

Otherwise, k is called imperfect.

In particular, every field of characteristic zero and finite fields are perfect.

More generally, a ring of characteristic p (p a prime) is called perfect if the Frobenius endomorphism is an automorphism.[1]

Contents

Examples

Examples of perfect fields are: a field of characteristic zero, finite fields, algebraically closed fields, the union of perfect fields, fields algebraic over a perfect field. (In particular, an imperfect field is necessarily transcendental over its prime subfield, which is perfect.) On the other hand, if k has a positive characteristic, then k(X), X indeterminate, is not perfect. In fact, most fields that appear in practice are perfect. The imperfect case arises mainly in algebraic geometry.

Perfect closure and perfection

The first condition says that, in characteristic p, a field adjoined with all p-th roots (usually denoted by k^{p^{-\infty}}) is perfect; it is called the perfect closure, denoted by kp. Equivalently, the perfect closure is a maximal purely inseparable subextension. If E / k is a normal finite extension, then E \simeq k_p \otimes_k k_s.[2]

In terms of universal properties, the perfect closure of a ring A of characteristic p is a perfect ring Ap of characteristic p together with a ring homomorphism u : AAp such that for any other perfect ring B of characteristic p with a homomorphism v : AB there is a unique homomorphism f : ApB such that v factors through u (i.e. v = fu). The perfect closure always exists.[3]

The perfection of a ring A of characteristic p is the dual notion (though this term is sometimes used for the perfect closure). In other words, the perfection R(A) of A is a perfect ring of characteristic p together with a map θ : R(A) → A such that for any perfect ring B of characteristic p equipped with a map φ : BA, there is a unique map f : BR(A) such that φ factors through θ (i.e. φ = θf). The perfection of A may be constructed as follows. Consider the projective system

\cdots\rightarrow A\rightarrow A\rightarrow A\rightarrow\cdots

where the transition maps are the Frobenius endomorphism. The inverse limit of this system is R(A) and consists of sequences (x0, x1, ... ) of elements of A such that x_{i+1}^p=x_i for all i. The map θ : R(A) → A sends (xi) to x0.[4]

Notes

  1. ^ Serre 1979, Section II.4
  2. ^ Cohn, Theorem 11.4.10
  3. ^ Bourbaki 2003, Section V.5.1.4, page 111
  4. ^ Brinon & Conrad 2009, section 4.2

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Field (mathematics) — This article is about fields in algebra. For fields in geometry, see Vector field. For other uses, see Field (disambiguation). In abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it …   Wikipedia

  • Field of definition — In mathematics, the field of definition of an algebraic variety V is essentially the smallest field to which the coefficients of the polynomials defining V can belong. Given polynomials, with coefficients in a field K , it may not be obvious… …   Wikipedia

  • Perfect Game Collegiate Baseball League — logo Sport Baseball Founded 2010 No. of teams …   Wikipedia

  • Perfect Strangers (TV series) — Perfect Strangers Perfect Strangers opening title from seasons 3 8. Format Sitcom Created by Dale McRaven …   Wikipedia

  • Perfect Songs — is a music publishing company founded in 1982 by Trevor Horn and his his wife Jill Sinclair. It is part of the SPZ group of companies owned by Horn and his associates, which also includes Sarm Studios (recording studios), Horn Productions (record …   Wikipedia

  • Perfect Drive Golf Villas at PGA Village — (Порт Сейнт Луси,США) Категория отеля: 3 звездочный отель Адрес …   Каталог отелей

  • Glossary of field theory — Field theory is the branch of mathematics in which fields are studied. This is a glossary of some terms of the subject. (See field theory (physics) for the unrelated field theories in physics.) Definition of a field A field is a commutative ring… …   Wikipedia

  • Perfect fluid — In physics, a perfect fluid is a fluid that can be completely characterized by its rest frame energy density rho; and isotropic pressure p .Real fluids are sticky and contain (and conduct) heat. Perfect fluids are idealized models in which these… …   Wikipedia

  • Perfect game — A perfect game is defined by Major League Baseball as a game in which a pitcher (or combination of pitchers) pitches a victory that lasts a minimum of nine innings and in which no opposing player reaches base. [cite… …   Wikipedia

  • Perfect graph — The Paley graph of order 9, colored with three colors and showing a clique of three vertices. In this graph and each of its induced subgraphs the chromatic number equals the clique number, so it is a perfect graph. In graph theory, a perfect… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”