Open dcernst opened 5 years ago
My definition of isomorphism is "bijective homomorphism", but morally it should be "bijective homomorphism whose inverse is a homomorphism." Then add theorem that states: isomorphism if and only if bijective homomorphism.
My definition of isomorphism is "bijective homomorphism", but morally it should be "bijective homomorphism whose inverse is a homomorphism." Then add theorem that states: isomorphism if and only if bijective homomorphism.