Algebra (structure)
Revision as of 22:41, 12 April 2009 by Boy Soprano II (talk | contribs) (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</...)
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 
, 
,
![\[r(xy) = (rx)y = x(ry) ,\]](http://latex.artofproblemsolving.com/e/a/2/ea27d317813f88117250ccc42d15e2714ea6a444.png)
and
![\[r(x+y) = rx + ry.\]](http://latex.artofproblemsolving.com/e/f/0/ef05a4497c7f89e8fa4cb841a4c207b37d506d0c.png)
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.
