Difference between revisions of "Algebra (structure)"
(New page: Let <math>R</math> be a commutative ring. We say that a set <math>E</math> is an '''<math>R</math>-algebra''' if <math>E</math> is an <math>R</math>-module and we have a <math>A</...) |
(No difference)
|
Revision as of 23:41, 12 April 2009
Let be a commutative ring. We say that a set is an -algebra if is an -module and we have a -bilinear mapping of into , denoted multiplicatively. That is, we have a multiplication between elements of , and between elements of and elements of such that for any , , and We identify elements of with the corresponding elements of .
Note that multiplication in need not be associative or commutative; however, the elements of must commute and associate with all elements of . We can thus think of as an -module endowed with a certain kind of multiplication.
Equivalently, we can say that is an -algebra if it is a not-necessarily-associative ring that contains as a sub-ring.
This article is a stub. Help us out by expanding it.