Integral element

Integral element

In commutative algebra, an element b of a commutative ring B is said to be integral over its subring A if there are a_j \in A such that

b^n + a_{n-1} b^{n-1} + \dots + a_1 b + a_0 = 0.

That is to say, b is a root of a monic polynomial over A.[1] If B consists of elements that are integral over A, then B is said to be integral over A or B is an integral extension of A.

If A, B are fields, then the notions of "integral over" and of an "integral extension" are precisely "algebraic over" and "algebraic extensions" in field theory (since one does not have to insist on "monic".) The special case of greatest interest in number theory is that of complex numbers integral over Z; in this context, they are usually called algebraic integers (e.g., \sqrt{2}.) A ring consists of some (not all) algebraic integers is called the ring of integers, a central object in algebraic number theory.

In this article, the term ring will be understood to mean commutative ring with a unity.

Contents

Examples

  • Integers are the only elements of Q that are integral over Z (Thus, Z is the integral closure of Z in Q.)
  • Gaussian integers, complex numbers of the form a + \sqrt{-1}b, a, b \in \mathbf{Z}, are integral over Z. (cf. quadratic integers.) \mathbf{Z}[\sqrt{-1}] is then the integral closure of Z in \mathbf{Q}[\sqrt{-1}].
  • The roots of unity and nilpotent elements are integral over Z.
  • The integral closure of Z in the field of complex numbers C is called the ring of algebraic integers.
  • Let a finite group G act on a ring A. Then A is integral over AG the set of elements fixed by G.
  • Let R be a ring and u a unit in a ring containing R. Then (i) u − 1 is integral over R if and only if u^{-1} \in R[u]. (ii) R[u] \cap  R[u^{-1}] is integral over R.[2]

Equivalent definitions

Let B be a ring, and let A be a subring of B. Given an element b in B, the following conditions are equivalent:

  • (i) b is integral over A;
  • (ii) the subring A[b] of B generated by A and b is a finitely generated A-module;
  • (iii) there exists a subring C of B containing A[b] and which is a finitely-generated A-module;
  • (iv) there exists a finitely generated A-submodule M of B with b M \subset M and the annihilator of M in B is zero.

The usual proof of this uses a variant of Cayley–Hamilton theorem on determinants (or simply Cramer's rule.) Specifically, one can use (Matsumura):

Theorem Let u be an endmorphism of an A-module M generated by n elements and I an ideal of A such that u(M) \subset IM. Then there is a relation:
u^n + a_{n-1} u^{n-1} + \dots  + a_1 u + a_0 = 0, a_i \in I^i.

This theorem (with I = A and u multiplication by b) gives (iv) \Rightarrow (i) and the rest is easy. (Note the generality on an ideal I is useful for the consideration of the integral closure of an ideal.) Coincidentally, Nakayama's lemma is also an immediate consequence of this theorem.

It follows from the above that the set of b \in B that is integral over A forms a subring of B containing A. It is called the integral closure of A in B. The proof is due to Dedekind (Milne, ANT). Alternatively, one can use symmetric polynomials to show integral elements form a ring. (loc cit.) If A happens to be the integral closure of A, then A is said to be integrally closed in B. If A is reduced (e.g., a domain) and B its total ring of fractions, one often drops qualification "in B" and simply says "integral closure" and "integrally closed."[3]

Similarly, "integrality" is transitive. Let C be a ring containing B and c in C. If c is integral over B and B integral over A, then c is integral over A. In particular, if C is itself integral over B and B is integral over A, then C is also integral over A.

If A is noetherian, one has a simpler criterion for integrality: b is integral over A if and only if there is a nonzero d such that d b^n \in A for all n \ge 0. This can be used to weaken (iii) in the above to

(iii) bis There exists a finitely generated A-submodule of B that contains A[b].

Finally, the assumption that A be a subring of B can be modified a bit. If f: A  \rightarrow B is a ring homomorphism, then one says f is integral if f(A) is integral over B, in the same way one says f is finite (B finitely generated A-module) or of finite type (B finitely generated A-algebra). In this view point, one can says

f is finite if and only if f is integral and of finite-type.

Or, more explicitly,

B is a finitely generated A-module if and only if B is generated as A-algebra by a finite number of elements integral over A.

Integral extensions

One of the Cohen-Seidenberg theorems shows that there is a close relationship between the prime ideals of A and the prime ideals of B. Specifically, they show that an integral extension AB has the going-up property, the lying over property, and the incomparability property. In particular, the Krull dimension of A and B are the same.

When A, B are domains, A is a field if and only if B is a field.

Let f: A \to B be an integral extension of rings. Then the induced map f^\#: \operatorname{Spec} B \to \operatorname{Spec} A is closed. This is a geometric interpretation of the going-up property.

Integral closure

Let A \subset B be rings and A' the integral closure of A in B. (See above for the definition.)

Integral closures behave nicely under various construction. Specifically, the localization S−1A' is the integral closure of S−1A in S−1B, and A'[t] is the integral closure of A[t] in B[t].[4]

The integral closure of a local ring A in, say, B, need not be local. This is the case for example when A is Henselian and B is a field extension of the field of fractions of A.

If A is a subring of a field K (A is necessarily a domain), then the integral closure of A in K is the intersection of all valuation rings of K containing A.

Assume A is reduced. The conductor of A is \{ a\in K : a A' \subseteq A\}: it is the largest ideal of A that is also an ideal of A'.[5] If the conductor is A, then A is integrally closed. Note this is a generalization of the same concept in algebraic number theory.

There is a concept of the integral closure of an ideal. The integral closure of an ideal I \subset R, usually denoted by \overline I, is the set of all elements r \in R such that there exists a monic polynomial x^n + a_{1} x^{n-1} + \ldots + a_{n-1} x^1 + a_n with a_i \in I^i with r as a root. The integral closure of an ideal is easily seen to be in the radical of this ideal.

There are alternate definitions as well.

  • r \in \overline I if there exists a c \in R not contained in any minimal prime, such that c r^n \in I^n for all sufficiently large n.
  •  r \in \overline I if in the normalized blow-up of I, the pull back of r is contained in the inverse image of I. The blow-up of an ideal is an operation of schemes which replaces the given ideal with a principal ideal. The normalization of a scheme is simply the scheme corresponding to the integral closure of all of its rings.

The notion of integral closure of an ideal is used in some proofs of the going-down theorem.

Noether's normalization lemma

Noether's normalisation lemma is a theorem in commutative algebra. Given a field K and a finitely generated K-algebra A, the theorem says it is possible to find elements y1, y2, ..., ym in A that are algebraically independent over K such that A is finite (and hence integral) over B = K[y1,..., ym]. Thus the extension KA can be written as a composite KBA where KB is a purely transcendental extension and BA is finite.[6]

Notes

  1. ^ The above equation is sometimes called an integral equation and b is said to be integrally dependent on A (as opposed to algebraic dependent.)
  2. ^ Kaplansky, 1.2. Exercise 4.
  3. ^ Chapter 2 of Huneke and Swanson 2006
  4. ^ An exercise in Atiyah-MacDonald.
  5. ^ Chapter 12 of Huneke and Swanson 2006
  6. ^ Chapter 4 of Reid.

References

  • H. Matsumura Commutative ring theory. Translated from the Japanese by M. Reid. Second edition. Cambridge Studies in Advanced Mathematics, 8.
  • M. Reid, Undergraduate Commutative Algebra, London Mathematical Society, 29, Cambridge University Press, 1995.

Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • integral — in|te|gral [ ıntəgrəl, ın tegrəl ] adjective * 1. ) forming an essential part of something and needed to make it complete: an integral part (of something): Home visits by staff are an integral part of the service. integral to: The scene isn t… …   Usage of the words and phrases in modern English

  • integral */ — UK [ˈɪntɪɡrəl] / UK [ɪnˈteɡrəl] / US / US [ˈɪntəɡrəl] adjective 1) forming an essential part of something and needed to make it complete an integral part (of something): Home visits by staff are an integral part of the service. integral to: The… …   English dictionary

  • Element chimique — Élément chimique Pour les articles homonymes, voir Élément. On définit par élément chimique, ou simplement élément, une catégorie d atomes ayant en commun le même nombre de protons dans leur noyau atomique, ce nombre, noté Z, définissant le… …   Wikipédia en Français

  • intégral — intégral, ale, aux [ ɛ̃tegral, o ] adj. et n. f. • 1640 ; parties intégralesXIVe; lat. integralis, de integer « entier » I ♦ Cour. Qui n est l objet d aucune diminution, d aucune restriction. ⇒ 1. complet, entier. Remboursement intégral.… …   Encyclopédie Universelle

  • Integral imaging — is a true auto stereo method (stereo imagery viewable without the requirement of special glasses). An integral image consists of a tremendous number of closely packed, distinct micro images, that are viewed by an observer through an array of… …   Wikipedia

  • element — el·e·ment n: one of the constituent parts (as a particular act, a mental state, or an attendant circumstance) of a crime as defined by statute that the prosecution must prove to win a conviction Merriam Webster’s Dictionary of Law. Merriam… …   Law dictionary

  • integral part — index component, constituent (part), detail, element, factor (ingredient), ingredient, member ( …   Law dictionary

  • Integral domain — In abstract algebra, an integral domain is a commutative ring that has no zero divisors,[1] and which is not the trivial ring {0}. It is usually assumed that commutative rings and integral domains have a multiplicative identity even though this… …   Wikipedia

  • Élément 118 — Ununoctium Ununoctium Ununs …   Wikipédia en Français

  • Élément SECIS — Variabilité des bases nucléiques sur l élément SECIS. Un élément SECIS, de l anglais selenocysteine insertion structure, est un élément cis régulateur d ARN messager long d une soixantaine de nucléotides caractérisé par sa forme en épingle à… …   Wikipédia en Français

Share the article and excerpts

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