Associative Algebra - Formal Definition

Formal Definition

Let R be a fixed commutative ring. An associative R-algebra is an additive abelian group A which has the structure of both a ring and an R-module in such a way that ring multiplication is R-bilinear:

for all rR and x, yA. We say A is unital if it contains an element 1 such that

for all xA. Note that such an element 1 must be unique if it exists at all.

If A itself is commutative (as a ring) then it is called a commutative R-algebra.

Read more about this topic:  Associative Algebra

Famous quotes containing the words formal and/or definition:

    The formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.
    Simon Hoggart (b. 1946)

    One definition of man is “an intelligence served by organs.”
    Ralph Waldo Emerson (1803–1882)