Divided power structure

Divided power structure

In mathematics, specifically commutative algebra, a divided power structure is a way of making expressions of the form xn / n! meaningful even when it is not possible to actually divide by n!.

Contents

Definition

Let A be a commutative ring with an ideal I. A divided power structure (or PD-structure, after the French puissances divisées) on I is a collection of maps \gamma_n : I \to A for n=0, 1, 2, ... such that:

  1. γ0(x) = 1 and γ1(x) = x for x \in I, while \gamma_n(x) \in I for n > 0.
  2. \gamma_n(x +  y) = \sum_{i=0}^n \gamma_{n-i}(x) \gamma_i(y) for x, y \in I.
  3. γnx) = λnγn(x) for \lambda \in A, x \in I.
  4. γm(xn(x) = ((m,n))γm + n(x) for x \in I, where ((m, n)) = \frac{(m+n)!}{m! n!} is an integer.
  5. γnm(x)) = Cn,mγmn(x) for x \in I, where C_{n, m} = \frac{(mn)!}{(m!)^n n!} is an integer.

For convenience of notation, γn(x) is often written as x[n] when it is clear what divided power structure is meant.

The term divided power ideal refers to an ideal with a given divided power structure, and divided power ring refers to a ring with a given ideal with divided power structure.

Examples

  • If A is an algebra over the rational numbers Q, then every ideal I has a unique divided power structure where \gamma_n(x) = \frac{1}{n!} \cdot x^n. (The uniqueness follows from the easily verified fact that in general, xn = nn(x).) Indeed, this is the example which motivates the definition in the first place.
  • If A is a ring of characteristic p > 0, where p is prime, and I is an ideal such that Ip = 0, then we can define a divided power structure on I where \gamma_n(x) = \frac{1}{n!} x^n if n < p, and γn(x) = 0 if n \geq p. (Note the distinction between Ip and the ideal generated by xp for x \in I; the latter is always zero if a divided power structure exists, while the former is not necessarily zero.)
  • If M is an A-module, let S^\cdot M denote the symmetric algebra of M over A. Then its dual (S^\cdot M) \check{~} = Hom_A(S^\cdot M, A) has a canonical structure of divided power ring. In fact, it is canonically isomorphic to a natural completion of \Gamma_A(\check{M}) (see below) if M has finite rank.

Constructions

If A is any ring, there exists a divided power ring

A \langle x_1, x_2, \ldots, x_n \rangle

consisting of divided power polynomials in the variables

x_1, x_2, \ldots, x_n,

that is sums of divided power monomials of the form

c x_1^{[i_1]} x_2^{[i_2]} \cdots x_n^{[i_n]}

with c \in A. Here the divided power ideal is the set of divided power polynomials with constant coefficient 0.

More generally, if M is an A-module, there is a universal A-algebra, called

ΓA(M),

with PD ideal

Γ + (M)

and an A-linear map

M \to \Gamma_+(M).

(The case of divided power polynomials is the special case in which M is a free module over A of finite rank.)

If I is any ideal of a ring A, there is a universal construction which extends A with divided powers of elements of I to get a divided power envelope of I in A.

Applications

The divided power envelope is a fundamental tool in the theory of PD differential operators and crystalline cohomology, where it is used to overcome technical difficulties which arise in positive characteristic.

The divided power functor is used in the construction of co-Schur functors.

References

  • Pierre Berthelot and Arthur Ogus, Notes on Crystalline Cohomology. Annals of Mathematics Studies. Princeton University Press, 1978.

Wikimedia Foundation. 2010.

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

Look at other dictionaries:

  • Power (philosophy) — Powerful redirects here. For other uses, see Power (disambiguation). Power is a measurement of an entity s ability to control its environment, including the behavior of other entities. The term authority is often used for power perceived as… …   Wikipedia

  • structure — {{Roman}}I.{{/Roman}} noun ADJECTIVE ▪ basic, simple ▪ complex, elaborate ▪ coherent, logical ▪ rigid …   Collocations dictionary

  • Power semiconductor device — Power semiconductor devices are semiconductor devices used as switches or rectifiers in power electronic circuits (switch mode power supplies for example). They are also called power devices or when used in integrated circuits, called power… …   Wikipedia

  • Power chord — Component intervals from root perfect fifth root …   Wikipedia

  • social structure — structure (def. 9). [1825 35] * * * Introduction       in sociology, the distinctive, stable arrangement of institutions whereby human beings in a society interact and live together. Social structure is often treated together with the concept of… …   Universalium

  • Structure of the British Army — The structure of the British Army is broadly similar to that of the Royal Navy and Royal Air Force, being divided into two Commands as top level budget holders: Land Command and the Adjutant General. These are responsible for providing forces at… …   Wikipedia

  • Power dividers and directional couplers — A 10 dB 1.7–2.2 GHz directional coupler. From left to right: input, coupled, isolated (terminated with a load), and transmitted port …   Wikipedia

  • Structure of Handel's Messiah — For the full text, scriptural references and sound samples, see Messiah on Wikisource Title page of Handel s autograph score Messiah (HWV 56), the English language oratorio composed by George Frideric Handel in 1741, is structured in three parts …   Wikipedia

  • Iran's Power Dilemma — ▪ 2007 by Keith S. McLachlan       Since the early 1990s but especially in the past two years, Iran s policies of opposition to the Western powers had paid off handsomely and transfigured it from a pariah state into a successful leader of the… …   Universalium

  • Great power — This article is about great powers in the modern (post 1815) world. For nation states wielding similar power before 1815, see Historical powers. Great powers are recognized in an international structure such as the United Nations Security Council …   Wikipedia

Share the article and excerpts

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