设 [tex=0.5x1.214]gNOHIx2AGu3qP//Yn7oxrg==[/tex] 是群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]到群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的同构, 证明:对于任意的[tex=7.5x1.357]ZQMpGr73vEhlsV541O4Yx72mt1UE/SKg3FK8loX/zUI=[/tex] 举例说明, 若[tex=0.5x1.214]gNOHIx2AGu3qP//Yn7oxrg==[/tex]是群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]到群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的同态, 则[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]的阶与[tex=1.857x1.357]+oWS0hM0HogLU9xbRXppWQ==[/tex]的阶不一定相同.
举一反三
- 设[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex] 为群, [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]是[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]中的 2 阶元,证明 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 中与[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]可交换的元素构成[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的子群.
- 设群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的每个元素 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]都满足 [tex=2.143x1.214]V+7/hfR5UbG151kRF33SMw==[/tex],则 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 是交换群。
- 设[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是一个群,[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]假设[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]的阶为[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex], 证明 :对任意整数[tex=0.5x0.786]U5O66aolbR1y5vuKrQbXNA==[/tex], 有[tex=5.071x2.429]IMMODsngCeQoQMBbAl6sIyludYJFRDrf5oFv7wHEzuKXxYxxYkuofnY8PklswQV2[/tex]
- 设 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 是群。证明: [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 是交换群的充分必要条件是映射[p=align:center][tex=5.643x1.286]vYnB+TvcXPCyhuHqL1f9eiqPnWI+P41J9NXNd2auPeI=[/tex]是[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的同构映射。
- 设[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是群,[tex=2.857x1.214]sSIApBg6OzoLyhTiB5OMxw==[/tex], 证明：[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]与[tex=2.357x1.214]nk7JdtL8JbaOABbzm3PG7A==[/tex]具有相同的阶.