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:

    On every formal visit a child ought to be of the party, by way of provision for discourse.
    Jane Austen (1775–1817)

    No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.
    Florence Nightingale (1820–1910)