Power associativity


Power associativity

In abstract algebra, power associativity is a weak form of associativity.

An algebra (or more generally a magma) is said to be power-associative if the subalgebra generated by any element is associative.Concretely, this means that if an element "x" is multiplied by itself several times, it doesn't matter in which order the multiplications are carried out, so for instance "x"("x"("xx")) = ("x"("xx"))"x" = ("xx")("xx").This is stronger than merely saying that ("xx")"x" = "x"("xx") for every "x" in the algebra.

Every associative algebra is obviously power-associative, but so are all other alternative algebras (like the octonions, which are non-associative) and even some non-alternative algebras like the sedenions.

Exponentiation to the power of any natural number other than zero can be defined consistently whenever multiplication is power-associative.For example, there is no ambiguity as to whether "x"3 should be defined as ("xx")"x" or as "x"("xx"), since these are equal.Exponentiation to the power of zero can also be defined if the operation has an identity element, so the existence of identity elements becomes especially useful in power-associative contexts.

A nice substitution law holds for real power-associative algebras with unit, which basically asserts that multiplication of polynomials works as expected. For "f" a real polynomial in "x", and for any "a" in such an algebra define "f"("a") to be the element of the algebra resulting from the obvious substitution of "a" into "f". Then for any two such polynomials "f" and "g", we have that ("fg") ("a") = "f"("a")"g"("a").

References

* R.D. Schafer, "An introduction to non-associative algebras", Dover, 1995, ISBN 0-486-68813-5. Chap.V, pp.128-148.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Associativity — In mathematics, associativity is a property that a binary operation can have. It means that, within an expression containing two or more of the same associative operators in a row, the order that the operations occur does not matter as long as… …   Wikipedia

  • Power domains — In denotational semantics and domain theory, power domains are domains of nondeterministic and concurrent computations.The idea of power domains for functions is that a nondeterministic function may be described as a deterministic set valued… …   Wikipedia

  • Associative property — This article is about associativity in mathematics. For associativity in the central processor unit memory cache, see CPU cache. For associativity in programming languages, see operator associativity. In mathematics, associativity is a property… …   Wikipedia

  • Octonion — In mathematics, the octonions are a normed division algebra over the real numbers, usually represented by the capital letter O, using boldface O or blackboard bold . There are only four such algebras, the other three being the real numbers R, the …   Wikipedia

  • Sedenion — In abstract algebra, sedenions form a 16 dimensional algebra over the reals. The set of sedenions is denoted as mathbb{S}. Two types are currently known: # Sedenions obtained by applying the Cayley Dickson construction # Conic sedenions ( 16… …   Wikipedia

  • List of abstract algebra topics — Abstract algebra is the subject area of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras. The phrase abstract algebra was coined at the turn of the 20th century to distinguish this …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

  • Division algebra — In the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebra over a field, in which division is possible. Contents 1 Definitions 2 Associative division algebras 3 Not necessarily asso …   Wikipedia

  • Cayley–Dickson construction — In mathematics, the Cayley–Dickson construction produces a sequence of algebras over the field of real numbers, each with twice the dimension of the previous one. The algebras produced by this process are known as Cayley–Dickson algebras; since… …   Wikipedia

  • Associativité des puissances — En algèbre, l associativité des puissances est une forme affaiblie de l associativité. Un magma est dit associatif des puissances si le sous magma engendré par n importe quel élément est associatif. Concrètement, cela signifie que si un élément x …   Wikipédia en Français