Definition:Pointed Algebra over Ring

Definition
Let $R$ be a commutative ring.

A pointed algebra over $R$ is an ordered pair $\struct {A, a}$ where:
 * $A$ is an algebra over $R$
 * $a$ is an element of $A$.

Also see

 * Definition:Category of Pointed Algebras
 * Definition:Multiple Pointed Algebra
 * Definition:Pointed Set