Difference between revisions of "Isomorphism"
Jump to navigation
Jump to search
(Bypass redirect so I don't have to later.) |
|||
| Line 1: | Line 1: | ||
| − | Given two [[group]]s <math>G,G'</math>, an '''isomorphism''' from <math>G</math> to <math>G'</math> is a [[function]] <math>\phi : G \to G'\,</math> such that <math>\phi</math> is a [[homomorphism]] and <math>\phi</math> is [[Bijection|bijective]].<br /><br /> | + | Given two [[Group (mathematics)|group]]s <math>G,G'</math>, an '''isomorphism''' from <math>G</math> to <math>G'</math> is a [[function]] <math>\phi : G \to G'\,</math> such that <math>\phi</math> is a [[homomorphism]] and <math>\phi</math> is [[Bijection|bijective]].<br /><br /> |
Two groups <math>G,G'</math> are called '''isomorphic''' if an isomorphism from <math>G</math> to <math>G'</math> exists. | Two groups <math>G,G'</math> are called '''isomorphic''' if an isomorphism from <math>G</math> to <math>G'</math> exists. | ||
<!--Apologies if the TeX and font size don't work well together. I have Firefox set to use a specified font to avoid a weird bug, so I'm not sure how it'll look normally. - CSGuy --> | <!--Apologies if the TeX and font size don't work well together. I have Firefox set to use a specified font to avoid a weird bug, so I'm not sure how it'll look normally. - CSGuy --> | ||
Revision as of 21:06, November 17, 2008
Given two groups <math>G,G'</math>, an isomorphism from <math>G</math> to <math>G'</math> is a function <math>\phi : G \to G'\,</math> such that <math>\phi</math> is a homomorphism and <math>\phi</math> is bijective.
Two groups <math>G,G'</math> are called isomorphic if an isomorphism from <math>G</math> to <math>G'</math> exists.