Assertion: group isomorphism | /r/HasProperty | bijective group homomorphism
Facets:
value: given two groups
type: OTHER
value: from g
type: OTHER
Source sentences:
text: Given two groups ( G , ∗) and ( H , ⊙ {\displaystyle \odot } ), a group isomorphism from ( G , ∗) to ( H , ⊙ {\displaystyle \odot } ) is a bijective group homomorphism from G to H .