Assertion: isomorphism's inverse | /r/DefinedAs | unary operation
Facets:
value: as a property of the multiplication
type: OTHER
Source sentences:
text: More precisely, they are equivalent for fields, for which every homomorphism is a monomorphism, and for varieties of universal algebra, that is algebraic structures for which operations and axioms (identities) are defined without any restriction (fields are not a variety, as the multiplicative inverse is defined either as a unary operation or as a property of the multiplication, which are, in both cases, defined only for nonzero elements).