Composition ring

Composition ring

In mathematics, a composition ring, introduced in (Adler 1962), is a commutative ring (R, 0, +, −, ·), possibly without an identity 1 (see non-unital ring), together with an operation

\circ: R \times R \rightarrow R

such that, for any three elements f,g,h\in R one has

  1. (f+g)\circ h=(f\circ h)+(g\circ h)
  2. (f\cdot g)\circ h = (f\circ h)\cdot (g\circ h)
  3. (f\circ g)\circ h = f\circ  (g\circ h).

It is not generally the case that f\circ g=g\circ f, nor is it generally the case that f\circ (g+h) has any algebraic relationship to f\circ g and f\circ h.

Examples

There are a few way to make a commutative ring R into a composition ring without introducing anything new.

  • Composition may be defined by f\circ g=0 for all f,g. The resulting composition ring is a rather uninteresting.
  • Composition may be defined by f\circ g=f for all f,g. This is the composition rule for constant functions.
  • If R is a boolean ring, then multiplication may double as composition: f\circ g=fg for all f,g.

More interesting examples can be formed by defining a composition on another ring constructed from R.

  • The polynomial ring R[X] can be made into a composition ring with X\circ g=g for all g; it follows from the axioms for composition that in general f\circ g will be the result of substituting g for X into f.
  • The formal power series ring R[[X]] also has a substitution operation, but it is only defined if the series g being substituted has zero constant term (if not, the constant term of the result would be given by an infinite series with arbitrary coefficients). Therefore the subset of R[[X]] formed by power series with zero constant coefficient can be made into a composition ring with composition given by the same substitution rule as for polynomials. Since nonzero constant series are absent, this composition ring does not have a multiplicative unit.
  • If R is an integral domain, the field R(X) of rational functions also has a substitution operation derived from that of polynomials: substituting a fraction g1/g2 for X into a polynomial of degree n gives a rational function with denominator g_2^n, and substituting into a fraction is given by
\frac{f_1}{f_2}\circ g=\frac{f_1\circ g}{f_2\circ g}.
However, as for formal power series, the composition cannot always be defined when the right operand g is a constant: in the formula given the denominator f_2\circ g should not be identically zero. One must therefore restrict to a subring of R(X) to have a well-defined composition operation; a suitable subring is given by the rational functions of which the numerator has zero constant term, but the denominator has nonzero constant term. Again this composition ring has no multiplicative unit; if R is a field, it is in fact a subring of the formal power series example.
  • The set of all functions from R to R under pointwise addition and multiplication, and with \circ given by composition of functions, is a composition ring. There are numerous variations of this idea, such as the ring of continuous, smooth, holomorphic, or polynomial functions from a ring to itself, when these concepts makes sense.

For a concrete example take the ring {\mathbb Z}[x], considered as the ring of polynomial maps from the integers to itself. A ring endomorphism

F:{\mathbb Z}[x]\rightarrow{\mathbb Z}[x]

of {\mathbb Z}[x] is determined by the image under F of the variable x, which we denote by

f = F(x)

and this image f can be any element of {\mathbb Z}[x]. Therefore, one may consider the elements f\in{\mathbb Z}[x] as endomorphisms and assign \circ:{\mathbb Z}[x]\times{\mathbb Z}[x]\rightarrow{\mathbb Z}[x], accordingly. One easily verifies that {\mathbb Z}[x] satisfies the above axioms. For example, one has

(x^2+3x+5)\circ(x-2)=(x-2)^2+3(x-2)+5=x^2-x+3.

This example is isomorphic to the given example for R[X] with R equal to \mathbb Z, and also to the subring of all functions \mathbb Z\to\mathbb Z formed by the polynomial functions.

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Ring composition — is a narrative technique said to be characteristic of preliterate peoples. In ring composition, a narrator touches on a number of topics till a significant topic is reached, then continues on in the narrative by retracing in reverse order the… …   Wikipedia

  • Composition series — In abstract algebra, a composition series provides a way to break up an algebraic structure, such as a group or a module, into simple pieces. The need for considering composition series in the context of modules arises from the fact that many… …   Wikipedia

  • Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia

  • Ring-tailed Lemur — Taxobox name = Ring tailed LemurMSW3 Groves|pages=117|id=12100056] status = NT trend = down status system = iucn3.1 status ref = regnum = Animalia phylum = Chordata classis = Mammalia ordo = Primates familia = Lemuridae genus = Lemur genus… …   Wikipedia

  • Ring homomorphism — In ring theory or abstract algebra, a ring homomorphism is a function between two rings which respects the operations of addition and multiplication. More precisely, if R and S are rings, then a ring homomorphism is a function f : R → S such that …   Wikipedia

  • Ring theory — In abstract algebra, ring theory is the study of rings algebraic structures in which addition and multiplication are defined and have similar properties to those familiar from the integers. Ring theory studies the structure of rings, their… …   Wikipedia

  • Ring of Pietroassa — The Ring of Pietroassa (or Buzău torc) is a gold torc like necklace found in a ring barrow in Pietroassa (now Pietroasele), Buzău County, southern Romania (formerly Wallachia), in 1837. It formed part of a large gold hoard (the Pietroasele… …   Wikipedia

  • Composition algebra — In mathematics, a composition algebra A over a field K is a unital (but not necessarily associative) algebra over K together with a nondegenerate quadratic form N which satisfies for all x and y in A.  The quadratic form N is often referred… …   Wikipedia

  • Ring of Gullion AONB — The Ring of Gullion is located in County Armagh, Northern Ireland. It measures roughly 26 by 11 miles (42 by 18 km) and comprises some 150 km² defined topographically by the hills of the Ring Dyke. The formation is a type example of a Ring Dyke.… …   Wikipedia

  • Ring Edge — RingEdge RingEdge et RingWide sont deux systèmes d arcade fabriqués par la société Sega, dont la sortie est prévue pour septembre 2009 au Japon. Sommaire 1 Description 2 Spécifications techniques 2.1 RingEdge …   Wikipédia en Français

Share the article and excerpts

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