设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是幺环，[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是有限群，则在群环[tex=2.357x1.357]R4s8KmPtyolZZPRaTS8AdQ==[/tex]中有一子集，对于乘法为群且与[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]同构。
举一反三
- 若[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是环且[tex=3.214x1.357]YaIQvnEpkvLjpnciFF5C/g==[/tex]，有限群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的阶大于等于[tex=0.5x1.0]r0gpD7XCpZsfwi44gt1cgA==[/tex]，证明群环 [tex=2.357x1.357]R4s8KmPtyolZZPRaTS8AdQ==[/tex]有零因子。
- 设群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]只有有限个子群，证明[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/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=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的任何真子群都是循环群，试问[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]一定是循环群吗？
- 设 [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]的阶不一定相同.