Assertion: r algebra | /r/DefinedAs | a commutative ring
Facets:
value: η
type: OTHER
value: with a commutative ring homomorphism
type: OTHER
value: together
type: MANNER
Source sentences:
text: If a ring is commutative then it equals its center, so that a commutative R-algebra can be defined simply as a commutative ring A together with a commutative ring homomorphism η : R → A {\displaystyle \eta \colon