Definition:Pointed Algebra over Ring

From ProofWiki
Jump to navigation Jump to search

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