Definition:Pointed Algebra over Ring

Definition
Let $R$ be a commutative ring.

A pointed algebra over $R$ is an ordered pair $(A, a)$ where:
 * $A$ is an algebra over $R$
 * $a$ is an element of $A$

Also see

 * Definition:Category of Pointed Algebras