环同态基本定理

• homomorphism fundamental theorem for rings