Associative algebra: Difference between revisions
No edit summary |
m (5 revisions) |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{semibasic nongt def}} | |||
==Definition== | ==Definition== | ||
An algebra over a base ring <math>R</math> is defined as a ring <math>A</math>, along with the structure of a <math>R</math>-module to <math>A</math>. | An '''associative algebra''' over a base ring <math>R</math> is defined as a ring <math>A</math>, along with the structure of a <math>R</math>-module to <math>A</math>. | ||
In the particular case when <math>R</math> and <math>A</math> are both unital rings, this is equivalent to saying that we require an embedding of <math>R</math> as a sub (unital ring) of <math>A</math>. | In the particular case when <math>R</math> and <math>A</math> are both unital rings, this is equivalent to saying that we require an embedding of <math>R</math> as a sub (unital ring) of <math>A</math>. | ||
| Line 7: | Line 9: | ||
We typically studiy algebras over a field, which are just vector spaces over the field equipped with a suitable compatible multiplication. | We typically studiy algebras over a field, which are just vector spaces over the field equipped with a suitable compatible multiplication. | ||
Sometimes, we also look at the ''non-associative'' notion of algebra, where we do not | Sometimes, we also look at the ''non-associative'' notion of algebra, where we do not assume associativity of the multiplication for <math>A</math>. | ||
==Related notions== | ==Related notions== | ||
Latest revision as of 22:50, 7 May 2008
This article is about a standard (though not very rudimentary) definition in an area related to, but not strictly part of, group theory
Definition
An associative algebra over a base ring is defined as a ring , along with the structure of a -module to .
In the particular case when and are both unital rings, this is equivalent to saying that we require an embedding of as a sub (unital ring) of .
We typically studiy algebras over a field, which are just vector spaces over the field equipped with a suitable compatible multiplication.
Sometimes, we also look at the non-associative notion of algebra, where we do not assume associativity of the multiplication for .