Definition:Trace of Element of Algebra over Ring

From ProofWiki
Jump to navigation Jump to search

Definition

Let $A$ be a commutative ring with unity.

Let $B$ be an algebra over $A$ such that $B$ is a finite-dimensional free module over $A$.

Let $b \in B$. Free

The trace $\map {\operatorname {Tr}_{B / A} } b$ of $b$ is the trace of the regular representation $\lambda_b : B \to B$ over $A$.


Also see


Sources