Composition ring

Algebraic structure → Ring theory Ring theory
Basic concepts Rings • Subrings • Ideal • Quotient ring • Fractional ideal • Total ring of fractions • Product of rings • Free product of associative algebras • Tensor product of algebras Ring homomorphisms • Kernel • Inner automorphism • Frobenius endomorphism Algebraic structures • Module • Associative algebra • Graded ring • Involutive ring • Category of rings • Initial ring $\mathbb {Z}$ • Terminal ring $0=\mathbb {Z} /1\mathbb {Z}$ Related structures • Field • Finite field • Non-associative ring • Lie ring • Jordan ring • Semiring • Semifield
Commutative algebra Commutative rings • Integral domain • Integrally closed domain • GCD domain • Unique factorization domain • Principal ideal domain • Euclidean domain • Field • Finite field • Polynomial ring • Formal power series ring Algebraic number theory • Algebraic number field • Integers modulo $n$ • Ring of integers • p-adic integers $\mathbb {Z} _{p}$ • p-adic numbers $\mathbb {Q} _{p}$ • Prüfer p-ring $\mathbb {Z} (p^{\infty })$
Noncommutative algebra Noncommutative rings • Division ring • Semiprimitive ring • Simple ring • Commutator Noncommutative algebraic geometry Free algebra Clifford algebra • Geometric algebra Operator algebra

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

\circ :R\times R\rightarrow R

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

$(f+g)\circ h=(f\circ h)+(g\circ h)$
$(f\cdot g)\circ h=(f\circ h)\cdot (g\circ h)$
$(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)$ (or $f\circ (g\cdot h)$ ) has any algebraic relationship to $f\circ g$ and $f\circ h$ .