同型核の規則性と等価性の characterization