## Algebras

We have defined a ring as a -module (abelian group) with a linear function satisfying certain properties. The concept of an algebra takes this definition and extends it to work over more general base rings than .

Let be a module over a commutative ring with unit. Then has both a left and a right action by , since is commutative. Thus, when we take the tensor product , the result is also an module. It makes sense, then, to talk about an -module homomorphism . Equivalently, this is a “multiplication” function such that

An -module equipped with such a multiplication is called an -algebra. We will often write the multiplication as . In many cases of interest, the base ring will be a field , but any ring is an algebra over .

Usually the term “algebra” on its own will refer to an associative algebra. This imposes an additional condition like the one we had in the definition of a ring: . An algebra may also have a unit so that for all . Algebras can also be commutative if for all elements . There are other kinds of algebras we’ll get to later that are not associative.

Pretty much everything I’ve said about rings works for associative algebras as well, substituting “-module” for “abelian group”. An -module is a left -module if there is an -linear function , and a similar definition works for right -modules. We can take direct sums and tensor products of -modules, and we have an -module of homomorphisms . All these constructions are clear from what we’ve said about modules over rings if we consider that is a ring, and that an -module is an abelian group with actions of both and which commute with each other.

The standard constructions of rings also work for algebras. In particular, we can start with an -module and build the free -algebra on like we built the free ring on an abelian group. Just use , where the tensor powers over make sense because is commutative.

We can also start with any semigroup and build the semigroup algebra just like we did for the semigroup ring . As a special case, we can take to be the free commutative monoid on generators and get the algebra of polynomials in variables over . In fact, almost all of “high school algebra” is really about studying the algebra , where is the field of rational numbers I’m almost ready to define.

Another source of -algebras extends the notion of the ring of endomorphisms. If is any -module, then is again an -module, and composition is -bilinear, making this into an -algebra.

Algebras over more general commutative rings than — particularly over fields — are extremely useful objects of study mostly because the linear substrate can often be much simpler. Building everything on abelian groups can get complicated because abelian groups can be complicated, but building everything on vector spaces over a field is generally pretty straightforward since vector spaces and their linear transformations are so simple.

[…] one that we haven’t considered directly: let be a commutative ring with unit and let be an algebra over with unit. Then we have a homomorphism of rings sending to — the action of on the […]

Pingback by Pushouts and pullbacks « The Unapologetic Mathematician | June 14, 2007 |

[…] mention the Bracket polynomial and the Jones polynomial. Jones was studying a certain kind of algebra when he realized that the defining relations for these algebras were very much like those of the […]

Pingback by What is Knot Homology? « The Unapologetic Mathematician | July 11, 2007 |

[…] go any further into linear algebra. Specifically, we’ll need to know a few things about the algebra of polynomials. Specifically (and diverging from the polynomials discussed earlier) we’re […]

Pingback by Polynomials I « The Unapologetic Mathematician | July 28, 2008 |

[…] And, of course, once we’ve got monoids and -linearity floating around, we’re inexorably drawn — Serge would way we have an irresistable compulsion — to consider monoid objects in the category of -modules. That is: -algebras. […]

Pingback by Algebra Representations « The Unapologetic Mathematician | October 24, 2008 |

[…] or not. We know that the linear maps from a vector space (of finite dimension ) to itself form an algebra over . We can pick a basis and associate a matrix to each of these linear transformations. It turns […]

Pingback by The Algebra of Upper-Triangular Matrices « The Unapologetic Mathematician | February 5, 2009 |

[…] We’re about to talk about certain kinds of algebras that have the added structure of a “grading”. It’s not horribly important at the […]

Pingback by Graded Objects « The Unapologetic Mathematician | October 23, 2009 |

[…] and Symmetric Algebras There are a few graded algebras we can construct with our symmetric and antisymmetric tensors, and at least one of them will be […]

Pingback by Tensor and Symmetric Algebras « The Unapologetic Mathematician | October 26, 2009 |

[…] we proceed with the differential geometry: Lie algebras. These are like “regular” associative algebras in that we take a module (often a vector space) and define a bilinear operation on it. This much is […]

Pingback by Lie Algebras « The Unapologetic Mathematician | May 17, 2011 |

[…] Algebras from Associative Algebras There is a great source for generating many Lie algebras: associative algebras. Specifically, if we have an associative algebra we can build a lie algebra on the same […]

Pingback by Lie Algebras from Associative Algebras « The Unapologetic Mathematician | May 18, 2011 |

[…] called and give it a bilinear operation which we write as . We often require such operations to be associative, but this time we impose the following two […]

Pingback by Lie Algebras Revisited « The Unapologetic Mathematician | August 6, 2012 |

[…] off, we need an algebra over a field . This doesn’t have to be associative, as our algebras commonly are; all we […]

Pingback by Derivations « The Unapologetic Mathematician | August 10, 2012 |