Ring structures on the multiplicative opposite #
A non-unital ring homomorphism f : R →ₙ+* S
such that f x
commutes with f y
for all x, y
defines a non-unital ring homomorphism to Sᵐᵒᵖ
.
Instances For
A non-unital ring homomorphism f : R →ₙ* S
such that f x
commutes with f y
for all x, y
defines a non-unital ring homomorphism from Rᵐᵒᵖ
.
Instances For
A non-unital ring hom α →ₙ+* β
can equivalently be viewed as a non-unital ring hom
αᵐᵒᵖ →+* βᵐᵒᵖ
. This is the action of the (fully faithful) ᵐᵒᵖ
-functor on morphisms.
Instances For
The 'unopposite' of a non-unital ring hom αᵐᵒᵖ →ₙ+* βᵐᵒᵖ
. Inverse to
NonUnitalRingHom.op
.
Instances For
A ring hom α →+* β
can equivalently be viewed as a ring hom αᵐᵒᵖ →+* βᵐᵒᵖ
. This is the
action of the (fully faithful) ᵐᵒᵖ
-functor on morphisms.
Instances For
The 'unopposite' of a ring hom αᵐᵒᵖ →+* βᵐᵒᵖ
. Inverse to RingHom.op
.