Category:Power-Associative Algebras

From ProofWiki
Jump to navigation Jump to search

This category contains results about Power-Associative Algebras.
Definitions specific to this category can be found in Definitions/Power-Associative Algebras.

Let $\struct {A_R, \oplus}$ be an algebra over a ring $R$.


Then $\struct {A_R, \oplus}$ is a power-associative algebra if and only if $\oplus$ is power-associative.


That is:

For all $a \in A_R$, the subalgebra generated by $\set a$ is an associative algebra.

This category currently contains no pages or media.