Library
▹
Algebra
▹
Rings
▹
Homomorphisms
Hom
(homomorphisms)
Iso
(isomorphisms)
Aut
(automorphisms)
Aut
Ker
id
R
Iso(
R
,
S
) is nonempty ⇔
R
=
S
if
R
,
S
are rings
φ
-1
∈ Iso(
S
,
R
)
if
R
,
S
are rings,
φ
:
R
↔
S
is an isomorphism