Assertion: algebra | /r/HasProperty | ring
Facets:
value: for them
type: TRANSITIVE-OBJECT
value: in this case
type: TEMPORAL
value: with a ring homomorphism
type: OTHER
Source sentences:
text: In this case, an algebra over a field K is a ring A together with a ring homomorphism
text: For them, every algebra is a ring.