Definition:Multiple Pointed Algebra

From ProofWiki
Jump to navigation Jump to search

Definition

Let $R$ be a commutative ring with unity.

Let $I$ be a set.


An $I$-pointed algebra over $R$ is an ordered pair $(A, f)$ where:

$A$ is an algebra over $R$
$f : I \to A$ is a mapping


Also see