Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA0AAAAPCAYAAAA/I0V3AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADdSURBVDjLY2hsbGQgFTPQXxMQMAIxMwT/ZwSJhcL5q5iwamoo9jCQY2B4ycjA+M84usEnLS2U312WYRfQpL+ybjnFOJ1XXh4rZchgtDu0OtTImEH2hEdxg0GOm2yJrEdeEU5N9ZHGvgzGUQujjY3rYuvrJcvL03g9ZGVXgjTj1BRlxLBIVlb2iHFsvTeIX53lYiQr67kiraODB6um+vpYSWMGxjuyHllwp4CdBvQPLGAwNKGbCjLEiEH2lFukW4qpR04yVk05HrKFsh45heihySDrsROn8wZ5MiIFAwBu/hJphMH04wAAAABJRU5ErkJggg==)
– степень представления
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADpSURBVDjLY2hsbGSgBDPQ3QAgYCTbgOosFyNjt7wUsgwoL0/jdZNh2Gsc3eBDsgEgZ0cZMywE0v/JMqA+0tjX2M2tVpZB9qZHXr0hSQaA/C1rHN3TEG3sw8BgfDe2vl6SaAPA/jZ2qwtNS+OrjTT0I8kAkL+jjRkWAOm/IMzIwPCPQcZjT1pHBw9RBoD9HdvgDeODA5EYA0A2w/yNLA42wDhqId6UCARMYL/KuO1NKy/nhRmYlhbKB0oDsm45JQwMq5iwGlBfHytpzMBwG+ZnWY+8IpB4Q6yxN0wMjGXddyF7g2Ho5UZ0DABRWIG2vnPnxwAAAABJRU5ErkJggg==)
, т.е.
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADwAAAAVCAYAAAAaX42MAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAKwSURBVFjD7ZdNbtpAFICfYZu26wSGMwQ/9QbRMFHS7lwVkFeNrApFXgCVFyg17JB6iIiuWm5Qkuy6SLlApYYcIDlD03SezQRjxqYtiSgKlp6wxzO8+d7fPEOn04HHJI8KdqWA5ZWJPvflM0A/kzZnJYHlZXielUPAL7bvb9KY41hPeR7OIC9OnW53g8Z8396kOZbn5WjNygL7ZXwBgBcKlsBMgB8GwE0UmKTdENsFKHzfqbXwvwQmT0jJAlhZNXZ7NwaGH3p2oGCjcshZIw6soBngN8vzc6nAE+Whskme0PPtTIhM3iVJPzMPNvQe/DQARwRFYxKkCcCuhesXKwg9Jty6bn0SMIkrWB2w0ksFDi0D11LpL6y29ylPdhkMKHQYP2zEF8rNHNNmEwUrx2nAgT6sfAg2yPGAAFu1HSTvELzn2VsmsCGN/y2w74oiA3Noe95WakiHSswTq2WZCOyclJHFk6x8X1JF9KVORDBGaLf3AoNUcV/m7qUunOcCBwUMLslxqcBBiMlQkBt4T4q6XWdDMPZZZ+VFQzoqZYF1kxlDJmr1KaAFgXWROR2mJnxkjH1VVpYhZjK2+0n3p4uGtJKu5zwp5Y3T+PwHBw4nGaOYlZu0SFe07qtKv+XsHTBxMlNtbdybA9ycG9Jjx2mB494Mzzs25GV+8Fy4bx4C9qhcfCl/b3S5pvTLM9WMv7NkyryW0Qh5fmY5zrN4oxGwUNHSGOvupiZLedS74SEOV8BKA50VFxWqyNQkcI5HOmCVNjLCmlEg1XhM0qdwJRrt7RnvJ6TUcron2VCY44qsjiTl9dnQZOfUOaW1i9MnTXKzshRgqu5lzPSUBwh4DJR1OX8V3+iftIvTsHChy92lANMxV5LNTDRNwuIUhmc0pWY9Pfl4+Nc56+/hNfAaePXlN2XF8s8iioFXAAAAAElFTkSuQmCC)
. Мы можем считать, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACsAAAAXCAYAAACS5bYWAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIGSURBVFjD7ZbNTttAEMfHCUcK11I6fobECzfUU+pMRcvNiBD5FGRVkbVSSCWritR1bjn1XLUHVE7AAyAReuwB8QJIwAvwDOGjO06jNB8Eq0paR8phJMve2f3t7H/+a6jX6zAtMTWgM9j/BusApKEdRqJhg8BZFgCXAOZNrlyzEgvbaHjzZK58cZVaUpKyqyRLiYaVMnzOz7VyzqKCepV4zR4BpLYs/ExSZeNMxuOhq/MhcZQaAND90P3+YPT2Su/4x3ehJ/Ft/AAgrlkOcWC3BezpvNtHogVie68/J6xSxgS4McC4F8Xwrec5i3mEpt7BHdp+NRasPn5hgnmBuHIcF/ZvIwjcF1mwTp2aYwnAMz5JLhSS3H0SVkVOYFwJN1wvEpW8RmN+UjKI1iuId7rq34tCfOLCBIH3jBAPqRpmRsIGnrOQf2n8QCrvRq5AxVKv7zrpccogyrNgHxF/Cletd5oa8c1Bf5F6kh60Tres1D5gvskDlXKXbFtuRg6hd9vWUnwNxwleQ5/iNRen8y6SgNZrp+EGYPkIPxayG7qhrjow7LHCfu/pqsxJW+yQlGt5U3wdJ2x/FRneAjy3C/bOKvmlobA+YYVvqz910k7kWwxaSH6FZTFuWF6X5+53B0A6GSmDp2ISsBP765oqWHaK16b45gRqOfGwv62pNUxPs5/vGew/il/GBYaR1MkZBwAAAABJRU5ErkJggg==)
. Покажем, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAD8AAAAXCAYAAAC8oJeEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHNSURBVFjD7ZdBjoJAEEXrAB5gTITdHEDrDi0LLzASdsSV6Vm4No07krkBO+/hCbzBLLyBd3DSzTQyWF2AAyZGFrWBprte1a+qBna7HbyqvSz4AD/AD/BXWyLsAeACgKdIqTG1Jglxka+BiyfWm74dNT5NgsMqTUf2WZquRsEEDtXn2tbC22jfMEwWrTOfw3nnQKpp9Z2SwdQDOHPB6RtcqWiMACeTAAK+7KcrOfyBBLyO9hz9jNu0S7OQrgyaDDvgXYFj4fWBQohP6lApMBYCt3WS6sqstF2B5uCLssDlvnHmteQxiuIqvJYRChnn9dRO8tc+4jCHg8W3jvccvFVNK9mHiOpDyfdyxHUUBYqtTOQbF83OZW/q1vumek8T2ee9i04UXWMYqmrEtdy1A7aJPELyxnEGrAk81zdoyf8usvBW7tcR0r7L3yv7PNizo+u8Onjue1LydqHZ2JsdEYMvuzlVf0Vj6Wn03Vvzdc3yVh7+PLMbVWc9NzfNCPQx6xq+rmNzo6wxvL0RlW92ZbnfyJbIfh/wro7955JjjL6QcarpNEN9wt/bYJ8a/j9N1v5/uAL3FPBNR9ptwOhS6By+6AktHBz+5wf4Af7h9gMrq0vxDlxTiQAAAABJRU5ErkJggg==)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAXCAYAAABNq8wJAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAKfSURBVFjD7ZfNbtNAEMfHCceWcqQoGy48QOJJ38DdLGoqThZ1LF8oslAULWoT5EOgdm9RHyGq+pELUt6gojwAvAE0fYCivAGosGsn5MObKClIJCKHka1d2zv/md/MyHB4eAiLbAvt/FLAfynABEgCwD0AMznumZ8AWvSMsFYrMVcCijqcCu9+AOC14/vrMYeE87Xn2WficivuvxNW3ps7hHwLtwFIh3E/O7pXKxlIADqg4ZVK4F8XAIPp/m3j8ZBmI5xpCgF1z13NY7ohBRDG9+9cAy2ARM+ZVkveqx2SrNZKDNMANzLdfcMv46Lnec4jSulrBLhGOygMBoJTfEkpvpP4oBNs3UmALLISfVyNHEnfUAN9IOyDW6+vKFEg7EK1NwmfDcfZFQLaaPnbA+joG6y8W6akKvBpT4NPTIDnmvfzKe0S9OJJeJjvrMuDVOms190VisaB6boPZkHIRvQdv/KEpeCS0HK1hw5D9pYH/KFY/whon83cRiUOO3qiCVg87adbfFgIUqUzEqe1h9GZjJDEB9E+CLsRwrk467yHDqsEGZkFAlpnWnyGBIQ4jKQu7AgaflI5EwpI5xuu563Ogk/POVnIItPNHjpybRI+0fyIZ7bfn7sRGcBpjXbTKaOkQugpIe8N18tNKyDCJ3KOM7IPRP+cy7EjWUPyDDEjmip85FmMwIUGcXFDrQ2yO03JMOdOSrD/VfTHW7Rs17Li/TqMqINb4qNXBc7JpBqQnYzzAkGyeWy63ppcC2wsiFnwTaJjmpD0XCMXtk/j1RtVpKWIfBobYwVIZwYZtgIrowsRk1pi/D11DQg09kb3ggrLCHRe9Kbz0PvdJjKTgHm3pYB/bXJGbRI8NrmXWkgBxRychPUxMvmXPzRLAX9ovwDHnBt3W7u9MgAAAABJRU5ErkJggg==)
, т.е.
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADwAAAAVCAYAAAAaX42MAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAL9SURBVFjD7VdBTttAFP0OW1rWQIZeIZnf3iAygyjducKJvCqyqiiyRJLKCwQOu0g9BJBVywma0O66IByglUJyAO5Qms63YxjMJCQpqFRk8ZVoPDOe99/7b75hf38fnlI8KbD3BtgCa+4h5j46wH0Aw/OsNAI2nSBYvGt+EDiLNNfyvDTItf8d4F07+wYAO+OAjaNWEZkVWPmZK+7gowJM7EkW5kCR4DFAKhoDI/CtZclWaxKwKmgG2Lb8YPlRAA4B2bghf38ZgOcEisZKJqsCrFwIL8jmOTSY8MrDNlaSQ5GCRO16gpWB5xtjrNXEcUp35uvnfSPyi9vzhzOA+Y/hwUzcIoA7xRxKVk4JvO87S1lgZzSuNyaYK5ovqpQwSpBp4h4wceLW6/NX9eyJLIPsmeP7S8n1eYSDaO2QwPyBvlTgwgDjNxZqr13XWlhl0JJZuGRmqTJ2DRcQA2vHQgSji06wHh42ZB97Ojn7rvV8NW18jQ8VGRX0kmqIx9EONu5LrhER/ESelyOwU1GpZUiV6rvv3MQWWM4yo81EaTsek5tUdICp7jd5qqEy4PvuMyETgE5tXQdYzf7fSPqKCMwfSZL2IiXKdzP2mYCPBbguF6hs3ag/DeAB8111fFAK7VtzhzA/raTDdeQrjH2PlSjfzRlb+6SW0kiXfm+yD8DWWuqCsF4cXDc0gOVBjyjDirwXzDR8AywcJu/dCLDRSzI/bQz26zJRLCtKrJKCYhMb6dLRHQuXZAD6zVlb3qX8Zr3DIfDNBskuakjgXJpGHwsF17ZvGlyYfQ3z00aSTTojl8Zq2ubWK1F6NxIwyZCaA+muuzrAsexk9qoqc4Fk/lp6vGPX7AwH6ND/JLDwihsizWmiJNi26jOxa8vboTlS0tRQ8IEjx1dSLHENy6fUMU3aJk7Sjj5o40H3p42pozjzBDjn+i9DiZrm2+QBB23ij0naRD/s0KATG8s/A1yvu/OCQVOVgCpRVS5JpjnwL+N+PIw7d/Y9PAM8AzwDrIs/IdHt6PH5EMcAAAAASUVORK5CYII=)
. Обозначим через
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABMAAAARCAYAAAA/mJfHAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADnSURBVDjLY2hsbGSgFmaguWGrGBiYGBgYmBH4PyM+cbyGRRkzzGdkYPgL1PAfiP/KemQV4RMn6M0cN9kSBgbZ1x7FDQbEiOM1LMqIYRGDcfQCYsVxGlZeHitlxMB41zi2wZsYcbyG1Uca+zIwGN0NzcuTQQ7w2khDPwYG4zux9fWSRBsGDOiFDAyMoID+g4wZQQGPw4tYDSsvT+P1kGHYI+uRV4TpRYa7xtENPkQbVp3lYiTLIHvTI6/eENPrwFhEE8drGDjqZT12p3V08BAjjtOw+vpYSWOgV2TdcoqJEad/3hx+hgEAFQjEUXgz0PMAAAAASUVORK5CYII=)
циклическую группу, порожденную элементом
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA0AAAAPCAYAAAA/I0V3AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADhSURBVDjLY2hsbGQgFTMMrKZVDAxMDAwMzFAMZIcy49UUClSY5SZfAlT8h4FB7qWbm3Edg6zH7rSODh6smsrTQvncZRj3MBhHzQfx6+tjJY0ZGO7KeuQVYbXpPwMDY4QR0yKYBrAh5Wm8HkBDjGMbvLFqqo809mVgML4TW18vCROrznIxlmUwPokshqIpyphhIdCWhUhO5XeTYdjLYBy9AOg/Rqyaoo0ZFjAYRSwChVheXqgM0C+3GRkY/htHR6dFRtYbYnderLE3JMRA2OhWZEOkgREDwy0QG6fzhlAyIoQBNRIOtohi2D4AAAAASUVORK5CYII=)
. По теореме 3.3
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABgAAAAXCAYAAAARIY8tAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGLSURBVEjH7ZXBTsJAEIYHuIqcMR1OPoBlfARS1oDeegDSm9kYYpooMRuDyZYbiS8BR3kDCTyAj6DGB+AdFNxZU6yGeLDlpE0m2Zls95v5Z7aFwWAA2zT4B2QKME8OYJXbGqDfrRF54elWAEr6u54Dc+pEzcwBKyNNm2BsJFpmDmDddYuOSYgbBHwUoXYzBRjdq0jt26hDTQB6CbQuZwawupOnfSlL1y33JFMA696i/MhI9Mpm5nMJjpjJ4XAnNWCte6Abccw2OQGYAOTNvgKAX+D9vl1/+D8COPN+VxDrnoxbAHVGsd8VeGmrAnoOdG//CGFqXl0C1qfJKr8czllYrR1vLtWwGAOl9Et8B9A7u4ozVEoWBeKd6EUH7OtQuAj08L1H64XWQbkK8BRrjuL8wsYDasQxayjuOUN7INYnPAAQJ5aoMPXHjntkintLDsGmS/hrQJvyYwqixia5UgF4YsLQd1xwZ4FSe9wjJWuHiGIilSqmBkQ9cVABWLAsPMafPaosMqng7/0y3wHg6hCCm6WWRAAAAABJRU5ErkJggg==)
эквивалентно прямой сумме представлений степени 1. Значит, для некоторой невырожденной матрицы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAALEAAAByCAYAAAAcVTDfAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAlhSURBVHja7d1PTxNpHAfwp2WPKhcuCk/3tEnxZPvAVTyQ4SGgiYdRh6aQRZ0Y0kxWIZkYlKk3Iu5Z9CL1gvIKVtj7Gl/AZoP6Aty34O6y85vpwDCdtgOl7Uz7PfwS0NI+neczz7/2eX7s2bNnDIFIcuAiIIC4l2KHsTRj6gCuxUmu104aiGMSKmMDJYUvMy4/6Ovr53BNmsecYG/SQtvq9o2PyrDD1NULU5ztcll6iOtho2AsZcdANVKNHmsVxQzjU7uqbl4A4i5WWEHwF3K5fAWA3VhdmhQZxr4xlvk2ubQqmj2+vCyvcKG9YOwgBcTdqbD8uDTuAm+1VzL181M8855uassqXhQZ5bVumuebQrZbZKFZ14G4C1EQwipa1sUojz043s0OxGFSc9ZRLohZJgpbR9eHbUXBub6un1OE8jQKeCA+w3BaGlFYi/x4TVy38f7jRS+OoWlyy5XScr3fG4Uhx+9Kw8oBcScRGzInNetqVPBjGflK1fXBXl6GawXxSa4nEJ8VYk1ORG05aE10VRt3W+IeXoYzJH9ko13xIV7h0ngU9UZXlNJtIO5gzGeHNrML1s0oKxhz+fRbJube0O+qMx52Z+IHTZagEjcmtidoaaFVqstsKU2kK6JYnomG+NrlbHZ+A4hjiNhZQmK5T6phjBiGOiJY6osoWjNuS6XcjjoxTELQBG2a8+1J3Rwz9ckxzqe3o/Y6QBxjxFSxkrMPwQmdMzFkYreXEHs3rbdOfJL1cyDuQiyMDr2MgrjhGFJRbvUa4lPPMWzEo6Pzz4G4k5MYRdxrdUloSVHuFM3yJSD2JnbGLSBOEGKqtDxj+/jOBRAnuiVGADEQAzEQAzEQAzEQAzEQI4AYiIEYiIEYiIEYiIEYiL3oh50fQNzjiPth5wcQ9zDiftn5AcQ9jNi38+N7vx7AAsQJRuzs/BDpStjOj6ODSLpzJgMQA3GkCNn58dnb+UHnWtAXzLt1JgMQA3Gk8O38+B6c0BWkXKShxUnOtwBiIO7a6kRd5KZ+XsrCIlpiIE4kYprwPVCEHuVMMyAG4lgipuNP3WFGfh/DCSBO7HCiXwKIgRiIgRiIgRiIEUAMxEAMxEAMxEAMxEAMxAggBmIgBmIgBmIgBmIgBmIEEAPxqSviaKd0CoiBOJGI3RQDmT+TnJ43kYiTnjkIw4keRaweO/yj8QbHKJmDwrpHt+tsfLAIfZm8Xtd6kjICcfcRh9W32qDuqnU/4B9eNfJQUwjB2H6Kpf7zDgDJaU9vhOExzeJws8xBTh40Rbnn375O/0ZZ3LmYa5hlZ07wDdoNESx4szICcbwQh9W3qauDUzy1R5sFvA21/sdTFlP6vxTjf3s7Yup5CG2JbZyXciy/RzjdnBTuz8E0WHS2woKi/NwIsVN4Lt/7EdPu3yi50Vys/KNd8HzUMgJx/BC79S0P69sy1WHaDe4dbxA2NxiXpbtO/Uj+yEuWXvXwR9g2r9qC0FFM1T8s+7CEvWCjzEHO5kjO9uzCVo7w6eeVjHgdfL7D7mNnJ+0/s8EpeEZ5Hczc3qyMtcON8LPRgLi9iIP17WUo5crSiv3zD82GlOWCmPXvHK/nIWScy1dy2uMbVOlLyo8r9e6YRpmDqLAOECmeeNiC+PyAndehre7T0y/yLPXVn4a1INhW8MyGRmWs6TH8EXgvQNxexITQX99Oq5zKfxLCrZ90/s7bsDEx+dHtIYc95bofhB7mIdBN263nSOp3/5DhNMcx0TBCKA/0x1ruRqOM7dXxzyFCp/tg4ou/VQ3+TZQyoiWOB+Jg3TljXSF2Na18pTq3+RJ2qIyX0dSeDf7rT5Ye9pw1iKvj1XetnCN24HYZWwTMKYQvQ3uwAO6Y+ej1ntrogy11yN80LCNa4vgipkbKj5Ja1SDIY8NVatS43PPXdVPE1Cr60Z14vc4GTEOGo+TdfEUUyrP13sScYBXv/+0Z64Upu4UNZnQPlqnVMgJx5xAH67tcFDNpoVW8FYZmdUkTeDpptAZx4G8OW0/dWfbgO6c95IOew8nKLuZ+9br0O3n2lpa/vEK7b+Jookd3Io1t6bWdSSDLf1VNa/j4Ulu6QrDPooxA3BnE3vpusL4PV5x0c4zqcprzd/QJpf8jd/8aMZ0yGpxzeR5qEFv2i7U6Dj58DrvLPt6lH2Vqd/49M/ZKNU0Haknyh4ePKchFJ7O7r8s3TXXYuxPPooxA3H7EcmLiiffxebW+N+mgxYAT58w6r8f2f+ReNfE9bPhX9bAZrPuOv1H3BEnxMdji1nQl9vDCvlO32/ldAiBu/zpx1PpuFuRBkoeQ+urKm3XeWIRP7Nr9ZRggbj/iqPXdLBp56OuLDsSdQdzuAGIgBmIgRgAxEAMxEPcv4rhtaQJiID5xxG1LExADMYYTQAzEQAzECCAGYiAGYiAGYiAGYiAGYgQQAzEQAzEQAzEQAzEQAzECiIEYiIEYiIEYiIEYiIEYAcRADMRADMTtq+w27wQBYiBue7R7JwgQAzGGE0AMxEAMxAggBmIgBuKOR0kR94H4rBGXbgNxB2M+O7SZXbBuAuBZIb52OZud3wBiIAZiIAZiIO6jWBgdegnEZ4t4dHT+ORB3MLA6gdUJIEYAcZIQ+748E5ujVIEYiE+0TkzZT50UZSzzbXJpNQ+09RBjnTiWqxOUT3qKZ97Tt7/qZXpHYHUi1ogp1a8/53RYpvckx8HxoVJNIncg7gHEYdniGyXWTlwLSjepL5F7MBUtEMc4oq4T9zJiGh5R6mFV1wcZUwdaHU5gnbjjLZC8GmViF8wW3yw7fJKCEoJTInAnn3KLObMtQ+aEYtwD4k4iti+61KyJZo9zs8VrleoyW0oLyfSexKD3QlnrvUTgqjMePkid9vnKBTErCuVZIO5wVypEwWr2OMoWT8nSJ3VzzNQnxzif3m6lxYpLuMnDc59UwxgxDHVEsNRnL/P9aaJbHx71NWJ3pUGsFU3zUpQK99aJ45Jyq9Wgm1Ny9sEZSgQmdDTMYG5E+nCHliGlkE+6cXP3PWLCKZTSfXwKVzuZFYqylmGZv6K0rrTC0UorDsQtxpzgG/gUrhYx41O7iqL80qx1NU112B6WrXVtbI8Kq3armbFNGhu2uszUM8MsKRcNS/spz/K/FS3rYr2VDV1XB+na1XsMEHd4kpdnbL/VZab+6sHYG2eO0OVvAqIyEIkPXAQEECMQ3Y7/AYVGmPrevoMCAAAAAElFTkSuQmCC)
Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA0AAAATCAYAAABLN4eXAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADvSURBVDjLY2hsbGQgFTMMnKZQBgZmBjD+z0iUpvr6WEljBobbjAwM/2Q98oqItqmjI43HQ1Z2pUdevSHRmqqzXIxkZT1XpHV08BCtKcdNtkTWLacYxF7FwMAE8R8DI15NUcYMC42jG3zS0kL5PGUZdgH99xfEx6mpvDxWyojBaHdodZaap6zsCpC/wDajBQpq6EUa+zIYRy2MNpbt8ShuMMAVKBhOMzExmWkc2+CNL1BQ4siIQfaUrEd0HXqg4AwIdFNhhrhlhft4eOSFYtWU5SFbJOuRBfdwQ7GHgRwDw0sGBqNbsfX1koMkldNMEwDEXF/WPDII8gAAAABJRU5ErkJggg==)
– порядок элемента
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA0AAAAPCAYAAAA/I0V3AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADcSURBVDjLY2hsbGQgFTMMrCYgYARiJigGslcx4dW0Cqgwx022GKj4LwOD7Cs3N+M6BlmP3WkdHTxYNZWXp/G6yzDuYTCOmg/i19fHShozMNyVdcspxmoTyBkRRgyLGIyjF8DEOjrSeDxkGPYYRzf4YNVUH2nsy8BgfCe2vl4SJlad5WIky2B0ClkMRVOUMcNCoLMWwvhpaaF8bjIMe5FtxtAUbcywgMEoYhEoxMrLQ6WBfrkNZP83jo5OjYysN8SqqSHW2BsSYiBsfDuyPtIQotH4Nk7nDaFkRAgDAKaND3QI0qMrAAAAAElFTkSuQmCC)
. Тогда
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACsAAAAZCAYAAACo79dmAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHGSURBVFjD7ZfPTsJAEMancMVwxnR5BmDlqheyLBKOVQvp0cY0pIkWw4GYpbeevHvCeOQNRLj7DEYfwHfQ4C6VP5EithbSJjSZUzfb33zz7cwWbNuGuERsQAPDjgEkACUZC9iuhquA6JPuOKnIw7bb2j4h5okCkAToJyINy1R6VDKMwwqCASJNK0wgVwBviwXaUCXknB5k76jZOMa4wcICbetKmsgwApkOvSwWyAIYpFessSpTcQ1R8yoMUMa0TAHghZ/cT9+wbjkWw/WmC2hMAOsFdFsyOjhMGzQJsnzBinKUkfTEIT9E8GzH3Jst8a6B8Y3GWGaqBO8Kj14b9wESsJTwcvL/ghUQvMxvU/VmULje86NQHUNvmqxnrNjPF2zXojkE+FkxTRm23Jp8wwqvdtRibZ0C62LjNnDa+l5Zloa/AfInEQkb8IWtxYUL6kiTZBw9RYu0s8kx+5NhJaxQQ5LLQ0XX0wLygqBrgOw7tbq5OfzmLjDCgmcFeACZjL4ZpJWws5M/K9cc1G1bcA+oMtiEsuu+7XuCiYGAtW41FvdZPhCYGAiRhxV3gnz+1N523w0Ey8SFm3sJ0ebl7h9sB7uD/Vt8AaXp/NARAQTdAAAAAElFTkSuQmCC)
. Взяв след в равенстве (6.3), получаем
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKwAAAAYCAYAAABnaha7AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAARKSURBVHja7VrLThsxFHVYU9bl4fwDY/oHaGoEXaZSGGUFzQKhqQRIs0Blkl1UtR/QdgNd0V9o6K6LwhdUCvwA/Yam9fXEGePMw5kXITLSkZjJZK6vfXzuw0HdbhcZGDwVmEkwMIQ1MDCENTAoirDsr1bGswYGhRIWyOd5jVWCyPeW7y+nPe/7rWV4tuF5q2byDSonrN8krxAiAx2yjr/j0vU6qv/ePDi1ZnZSKo4CVdibl8iW6CDDAkC9B/97XmtFV1mjSIsRuW553kpZiyPGPoL2YvV67cWXdfJZ1688trLYy4KqfXoUwgbqif4yBb0Vjh7a+AQhfE9df32XoAtM3SNNp2uq0y7FR4jsXmhO2ILuBLbbjSWKUT8YO8c/bB8el7G4eW3NImHz+pR17dTPpffUUgnLFZA4HzixbLIPBD092LS4KjKnIRe1EL6B+3GDZuQ+DhzG97ZNzhCm/Xavt/hQZa2bqEl0CDqXJmwSxDmPz5HRndhIo+tB3PN5FrcIW7NG2Hifmto+NVPXbvJdARfQPft8SJzOjrRphupmSR2AQ4jfOG1YbOC3pNXZhnsdh+ww5b2LmgDPaz+ja+hKLNx4EhTD4j4MsKiFEakGFHXThDJZFWCy2OJ+kd4R+Z6strLay5MWVeFT7rXjImj1A67hXyCGIHpqFE/fMZQcMWm9kb8YqOckYcFBSBVklYHdDQRWiRlH5JxhpRamMvFKrKHowzRFz2orq71pUbVPedeO22UpIggk8IrzBuNvahRPNK6qZRphR12DB/eDVGIy9CcRNktKEDfWqIIxb/jUsKWtlLOSEqT5VGZKAOA1EcY/hbBxtcdbl3Iamdol4EWWknsmpQSBuoaFFM9F1tCPqOKq6JSAb6I1eiXGKhM02K2QE4UFZJ7FTbI1zvvY4rDNePJUCJvkUxXpAKScShQ/ATHTKrqkLsEwilCi6FJ7qVwZrd2v4GhwoIBuocokjvOm2Xwo7XHKmysEsglvtNtLYH/U0fgjQoouMXSei7HFuycupY2wMLX6RdhTuyxp10X7JKKGFD0KzW1VNRX8spv2/gvq7qUSFsgEzX1W3b+LU0BwUFWQTotsh/JPBk2/uR6ozeThAp+QAnI1ZZcOQvvhZE9LWFrf+JT0XJqtMOLgj3GdFF178PkWRt9FpEu7LsOncTEWFN+DaVt3aYAWp6yu465BhE8RuQwcCLBQ3epsi5ZWN+KkJHAQX2c5sZrmOPexmudFVOkOpXtxJHpK6Ljuc9u239KNjfdchIjjz8TBgVrlA2EZIQmEAde2X08UThmOWUcbYiBaZPNIWFFtV+1jmTnmFsaX4A/UL0kHRpURdlyYSDIsh/i4QYoftEzz45cqlVWugqEXWdZx8ERraJTLz8MZvkzSXcvqlD2H2go7zxi3yhJyvaLyMbmNMw8q6xByJgpJnueWPIeGsAZzAzMJBoawBgaGsAYGDP8BJCIAPcL5kaIAAAAASUVORK5CYII=)
. Это означает, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAIAAAAAYCAYAAAAyC/XlAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAJXSURBVGje7Vg7TsNAEJ1QAzUfL3eIlzM4G/HpLJFYqZBcIQsBUgoETroIiQtAAaJCHAHCATgDcAHOED4Zk4ATiJ31Z+M4U7zCkeO3M/v2zcxCs9kEwuyCkkACoCSQAAgkAEJ+cQcwB3A3RwKYQdi2uWho8AiaaNut1jwJYIbgurVlDvAMAB/SAvi2jQEU1FiVWs7J2LHaGPcMdiglALQNweChu7j3Hj6ZsXcYIbgh/F+H4nDG5U1gA5XEGIdbSgA923hlwjkYsBFevQpbYJXDlS+4vxjxjTiccXijYFIx+rg7stxyAnBEkQF/Muv11aRPz8haNQFO5fV4gjFKCQBtxq3wrSinJ6pFxeGclhIQN0YlJaBetxdKWqEN3LoeRZ60PQZxegsco1nKegkIizEzJWD4RUw6Jr/VsufLDO4B+EvNdZfTtKc+53fiaiu9Mea92ywdTav9B8WYqRJgcbgGrdQ2bXsRF9j94xEAexOOW0QRlNb4RdICCOJ0hDCRDxsmHfSHJLmHb8fCntOK0e90PsdLbDTE7+3ocAOa8Yj8gQLwXRz0bOV3kWkJIIhz0P7Y+X+/R4EXCzoaK93jqQh7TjvGnwbx2NTxPZnRcEzezqjcyiUtBQGMqeKCJcRuEpuRRTQcZ8kwjH2xvn5WcStFzi1XWW6zLgDcfOyeea2xkecr2zJjtxhjw+Kb/buCTAnA62TX+CXOsSo3/6RS3AZ95yavV8OeA/g2varrDaU5lh5/EqqL48AR7MA/5uTVBSzOT/vNrlezFeY4l5ZKIAEQSAAEEgAhFF+JVBolQjZbRQAAAABJRU5ErkJggg==)
, т.е.
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADwAAAAVCAYAAAAaX42MAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAALKSURBVFjD7VdBbtpAFP3AtmnWSTz0CuC5QuSORNKdpRjLu8qqELKUQGVVtB2zQ+ohAixzgqYh+yYHaFVaDlD1Cm3S+TZTxsSBgYSqVUAayYxmxv/9996fb2i32/CQxoMCuzBg8csBXOem522wCzr7ddfdZZwA5EWchck4yS8NuFXbpdQKnsv/1yIBQWAbFOipx/nWrL2ce1u4zg4CAxO3KsBVCseClV/iHSI8+ElY/XApwKFvP7YMOKdutCfn3jjlZwB0OA+sHFGDlYpQ/Lxba9FVsly3SBOA/GCNqLSUpJFJkbmeyNiVBMxDe0cw9kEXrAqaAL2wQ76zMpZN6AN1u0t5GOXHHbpPGXtNgHxhAS/LQwkLjjS9JJ4n/g0YOQKz2tfz4PRIezLbOjBSlbgQYOFbk9Dqu8ile0K+I2Q0DL3tMpBLCf5mcYJCzXrSRA8BFL9bFn0LhJ35nc6jOKiAlQmUL70w3M7yYLLvlkGrx3PjRWIy5DwXcOxbanHb9zdfJX6NASPj8jlrz1MjN5CByYyravjDgsP3V+JfJbnagNG3Ds13ZWZF5bsCgw3wIHFoIwsw7jkw832VhTD0N5hIAPWiyjRgYtUb9ynp5F0wmGW12b71eEWRWk8Cjj2YAXjM/Dd1Hq8yLFLqXBbr9yHpeXLOBIwstWqMom+nAunJyhd5tJLLAJysqfYUeW/iVYb71Ls3AZwbqaz/DTnfAIzFJvaqYZ37YWdDJsAfB06sFy+x2iYBkwtxn5rqfpdCF8yDPkovaUjgK7Zm1HV9x5kUuISJNOt37a7wfWZsE4zxdtmnyrnYMJTSkR0KF2ymJEXYKWYQpSc82Ewxl1prDp3IKSVnmqnmJGZiTrVdiFlGDnVlv/RLxix/xK5pkVZRtxX9J7+Wxq3iJ91WMYy7MxiqxfC/+zxMrGC+1/l40Fm3/h5eA14DXgOeNX4DVjby6MMOK+QAAAAASUVORK5CYII=)
. Плскольку
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADpSURBVDjLY2hsbGSgBDPQ3QAgYCTbgOosFyNjt7wUsgwoL0/jdZNh2Gsc3eBDsgEgZ0cZMywE0v/JMqA+0tjX2M2tVpZB9qZHXr0hSQaA/C1rHN3TEG3sw8BgfDe2vl6SaAPA/jZ2qwtNS+OrjTT0I8kAkL+jjRkWAOm/IMzIwPCPQcZjT1pHBw9RBoD9HdvgDeODA5EYA0A2w/yNLA42wDhqId6UCARMYL/KuO1NKy/nhRmYlhbKB0oDsm45JQwMq5iwGlBfHytpzMBwG+ZnWY+8IpB4Q6yxN0wMjGXddyF7g2Ho5UZ0DABRWIG2vnPnxwAAAABJRU5ErkJggg==)
точно,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAATCAYAAAAao7T0AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFBSURBVEjH7ZVBToNAFIZ/cNvouhH0CnXmCmYkaVySQAlLZ9F0RxMWJg7suEVblr2C9AIeoeoB9AyaOhOlEKWmIQ10weJPJpP33nzz/uGBOI5xLDoakA5GaQnowFJvHYZz+5QZWMGwMp4kvdZghPD7BFhrwGfrMLkmzAz2htkAEh4nP9Kq/C2838ZVqDpvbxh1wJhdTmWxD8B8Z4w+wLQefycqjShm33E7REez2jChfFw3hpblRZTHFHg12SRo1CZlh0P0tHybJOE9y0BG/WjYqE3CpbcAffGF6Od79+NraoI8lfcasUkWXsjkxZ95QL256tqBbZr+C+NRzEGcVLU3DO1z+Vae5We0oZ5357ri6lAgtqzvEKQw2Mrm/Kx80W1Q5NNh0WKydiN3oAaUWu+yqe7QK865eLOCaND9KDuYuvoC7jiltqXovTcAAAAASUVORK5CYII=)
. Поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAD8AAAAXCAYAAAC8oJeEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAALmSURBVFjD7ZhPTttQEMYnsKVlW0qeVz0AyYQbgPOqQHaWSCyvUlkVilxBUlmIpk52UY8AiyQsuUERHIAeoIsUDtA2R6Cib+wYUue9pI6cShVZjCL535tv3m++sQOtVgueajxZ4QvxC/GROAdYAoBlAGNZdeM9QCq4huJ8ad6JBjmN52Mo8nzUcJ+KJb6M0BHKfgHgreV5a2M3CeGNUqYofkQN4I7x6sG8hZdwqQcsf2G32yvhcdc2VvU0XEGaX44ep6hydkC5ZUpHRdXmKBf0SrgLwAbc8TLRc8f7W1kGMBDFuZEVJ+koZ+EM2Os/hHuetZYF6PubJBFP0azxDZHnT6ZX67HEmwjdlER827Wf5VE7IfGMO4fzFk4iEeAWS96u7HxVZzWV+CHFPdV56YKua73Udf2dv6jZ3BnF3dHxja5jg5BHq1mI17OhR8hCjma7ba/wNFyqdm+S+PBeQLP71ztPyG9aViVaccJ9kzsVsWA9LvLkI9SDysByR5qgqLKPPZqduOKH1HyLhb2J6Fle7dVoxQl3jvyD03RecDIZRTWTDJoox/scNdC+8lpzYxbsPQsLYqP6huOko84vRR7R/PjQL1juhbhTAoHZpQZxkJ8Vez9x4fCGba+qnjtNPOXuusa6IKCPlleYKJ6QD4WR6UG2fBbgXq0MF5Mib0x5L5gV+8CxM9eG663PIl7kjgzwWjqy5cgHFzqcHQLLfsnl+Cd6+Ej/daPGkmdwkZrT6AsJVIivTzM80bq1iT1PWDqOkUZt+9SwXR+zpok7Ytb/INzpvGtv5fwRp799H8XUL4CGJ0mLn+TYRNsebUZav6LWoM2JMynG3oiCyPZJBCEX4j6GbQTTeYkP53z0nSJ8yXnMSfsuM8VJ1CS6Q3MUf5MpNYqzTIs9SZv+N+JDKslPVKanmi5H/vcH3EVdPnHx4iPj+baGp3ESjFsAYPyzytWl1ytaIXHxD54QI8HFnxkL8Qvx/zx+A7N6DP3rBuvuAAAAAElFTkSuQmCC)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAGEAAAAXCAYAAAAbfSF/AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAMYSURBVGje7VhNTuMwFPbs4QAg3DuQp7kBymQBS5Bo1B3TBaoiDUXKojNKu+tiTjCzgTnGlAvQEwwSnKA9Qxn/xKlxbdduCG2kVHqq2uT5/Xzve882Go1GqJHtSpOEBoRGGhB2HQTy+aRKLQNU/NbFUiY2F911OTQqxoDuiNKCyCv7xtGkOx7v1QmANO0cAoK/nSw74L+7+9ERekBH0YOIJcs6B+ydND3cxEYMkIn1TdIL8W2eywVcZmdOIAjUBtcnAUZoThXrxobsEojP8CwSxJONnlkyJBDYsyQ6bqHWv5PrQeBlg+hBmFy5+iF8UIFYSX6e+JlArmACEzyjjn40GGoBrCsIyoAABRNdhZKq7KsgiIRiBI8+jEhCuIqS7Nj0fDzu7lHmQTw8Ff8NYzhV7b9RagO6Z5TJlbhj+EkYYgtQMKB975tAm9j0C5tSVXN645kpATQOHPb6htagBaF4ZohN9ZkBHbSHtjjU/Jn+UxTQXHZep8CTgue2CjDMFr1AfGejO4b4p1x1nKmkYg19mFI+QHhq8s8GAo83mOrW3iQOnit4kdfLW9KLzA5kS64ZSTInpEU+QugAPB+cB6ynWmzrAncGQZOgMgPZGwSJCbdWENigcWdC2XZUBB19/kYoMMVRcrNmJ9IvC4Kulcn+UjZC2Pu6Lg4tCJoi1lJO7IY49fGTGMYcgCX1XJJYph0tB22+tVTe1dmvCoRN4vCeCQpSxt2RUGaTH6OJLeD3EjaIlXOKyX7V7Yi9A3Hm4rfwUd6S6mKxtpG88l8FM3RGvrTgV5UgCPbpEqOzbxvMNIZ2gP4wENJ032cwyyD7zMNiS0rs8cPj6kxzbyOaE3PVINB2SA9RYQg/XEEQvsuzbeWwprD67RbV3B5ZZUP03ffmIInwTXFi1sRRKklVgpBXDWsN8qFIZqTJPk84fvQ5AatXHLW5Ra0KBNY26MExr0oKgtgcJGF4IezZ7PtcRZjaRC1AoLsWkoTfm15+2YaZ3P6Wp2a0kLeo6+wXl3OWInF5Z6dBKObGlm5Yt21/J0BopAGhAaGR95P/tqxaGFi8KbIAAAAASUVORK5CYII=)
. Полученное противоречие доказывает теорему.
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA8AAAARCAYAAAACCvahAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADlSURBVDjLY2hsbGQgFzPQVDMQMJKlubw8VsrNLSecLM05brIlDDJue9PKy3lJ0lxensbrIcuwm5GB4Z9xZL0vSZrrI419TaPzwkEGMBhFLSJac0dHGo+HnMnM2Pp6yTwP2SIGBtk3LlnVRkRprs5yMTL1yEsGu6A+VtKYgeGOrFtOCVGao42N60G2IvgMCxgYjO8ii2HVDLLV2C0vBcX/eR6GsgwMb9ADDkNzlLFsr0devSFGGIACTsZjT1pHBw9WzaBEYWQU1QBMVUzouDbS0A894FA0Q0KW4S9ebBw1nz4Zg2aaAVuRaVXIM18QAAAAAElFTkSuQmCC)
Таблицы характеров. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAESSURBVDjL1ZNNCsIwEIWfrot70RzCDt5ASkBdurClK6ELkS5UcCGSdtdjVK+hNxFv4BX8SSytURtdCIKFYWBIvrx5M0Ucx/g28B8Q+VVkVLWo5PWPkPyyS1jLfCqCvDQIBjWHnFWQJJYRogBiSH2Zz2B8qx+OfOqqOnMms7dKcgD5UbdM5cRhM/KinhGyHHdsBhyVbJNPIW+PeChaRkjmAR18IeofDK6WQpIksHgTOzT5TvfhVmfY3jwCLlmmvf7Q3Qvh1wk4gNx1WRuRRz0FYTycGvekgNjuxmDovKzVF088QgqwY2e8tPV60arB8MfxZmr26sXBYtHITZRTIzW159G+3dhMkbapKp4W7w//4p9CruDKuwcGzhGDAAAAAElFTkSuQmCC)
– группа и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHcAAAAYCAYAAADAm2IFAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAOrSURBVGje7Vm9UttAEF5Dy5A2BJ+fAevqTBpHHENCpxmERlWICg+jAjOjghiZzk1egBRgSh7BQJ88QWb4eQBCHiEJ0UqWEfKdLMknHIiKbxgJa7W73/7dCvb396HE80TphJLcEiW5JZ4OuScAMwAwG0ElRJFKBe89mUl7/y7QaXZSvaZlb1G68W8OnKXTmZ7391eA2k2juUvben2NGp13RRrhv5cs961udy68b1navFqFc6iys+h9RJORbU/H33W9vQZwl5mIadpbpG5cYfgQOgvoxmF4v9u15pYJ9AHILbPdelHGbChwDISdRgl0XXNBAbiooE4cchGdFlsiALdE3drJ6jyRvSuPYG+RugmEVf5Qs7Ma/zE6mdaWD3jOlQFfPsC1KBq3VNISkesHBoVe0v/FzpuOvUXr9uBit9lQvOj/CdQ4EjqfGu0c/SGG0b4ZRiSrwpmXfa2s5IbPinTnIZ29+t40slaGbnHn7cgoQ14GHd73Bw4iJSYerX5ZFhiURO4g6y+zlGVZ9hYBGbqNRn6Gsia7DHnRSmtQ+85anaU8Zblj0lUAeqk5zuK4CXfa9j6GbiP9zsuqXgFj+9iy7BNDVvqaZc0nRHMiuUio42iLmMG8PsXr7zLsLWr2mFS3uMArUDaOk7LrnjxtVnZZdm1WJ0C/aY67mIdczHx83nTdhZQOTGUvQhsGZvajVk5yU+sW8DGq14MLg8IRgHKNZS3+QzxnMso+2R37JR6JKkCv0jgxR7/uiSLW70NjBirRMMZDGnvxXY5jvsJqgIGZ9aiVF2l18+0mcEqYvZ1ILmZODeCmgkJtuxqW0aDUka9hL/TPvDV6IJvcpIkXM2cdh62qeu6V7hfxnhohd4e3BOBVGjwbp7HXZkxDW4OMov3Qbp7s+BYt6VqGbj5vOnvTaO4q8S0d18HBsiJaSpWLKJFFkRv2mngUhkuM6IaGN3Txsj50Eg5aPH3T2PvwHeRzOMHGZQ9lDbZr465l6WZQ6pom3fT9Epmuc2dYgeRe4Roxz7S9LjhGYdZjdIum8CzvMBj7EG0Lk8qe9HnkQlX1j4ZhrKTaLU+L3HBPjP2c12tEuIus6eJT8jDrBUNcFmJdnb6Pyp9UtgzdBsuOH7xZI5dAx2vob2v0SxYCshIc/3Aw9veCUi0Dw+BR1o9lfH2SCVulmw3bfq1Sta1ZzvzE5A6POhkIeMoYfHUa9r1xZ+jHhE7pHlZQn5NYBXjWpPzvKJ1QkluiJLfEP4W/Tf3gpB/U/L8AAAAASUVORK5CYII=)
– классы сопряженных элементов в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAESSURBVDjL1ZNNCsIwEIWfrot70RzCDt5ASkBdurClK6ELkS5UcCGSdtdjVK+hNxFv4BX8SSytURtdCIKFYWBIvrx5M0Ucx/g28B8Q+VVkVLWo5PWPkPyyS1jLfCqCvDQIBjWHnFWQJJYRogBiSH2Zz2B8qx+OfOqqOnMms7dKcgD5UbdM5cRhM/KinhGyHHdsBhyVbJNPIW+PeChaRkjmAR18IeofDK6WQpIksHgTOzT5TvfhVmfY3jwCLlmmvf7Q3Qvh1wk4gNx1WRuRRz0FYTycGvekgNjuxmDovKzVF088QgqwY2e8tPV60arB8MfxZmr26sXBYtHITZRTIzW159G+3dhMkbapKp4W7w//4p9CruDKuwcGzhGDAAAAAElFTkSuQmCC)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAG8AAAAYCAYAAAD04qMZAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAM/SURBVGje7VjNTttAEB7DldIzJZtnAM+56oUu20J7c0WwfCq1qgj5kFD5gKKEW6SqL9AeEBx5BH7upS9QqfAC8AyldCfJJq7xb8kGIi3SCGJg9pv5dma+Mezt7YGx6TSTBEOeMUOesekl7whgBuBoxhAzZeT5vjPPK3AGFXHqd7tzhpwpIa/d9hZsgF8WwI0hbwzkyS+ZS5gFcGbVs9vhM7B0gNnmrKmLvIeIRzeuVIftGr6R339bgJdeu71Az2RydwDYtWh2lvJnV+/wFEuea7rIu288OolLx1W9EkF7uTR5naZYYrj5mX4OOG6Rk936CjLAczogD9Qmwj4BSjXc3J8kefeNR5dl4PpeBFfuAS5i29l1EMG6RK+zpjMYnW3zIeLRjSv3D2oCGzazfjBRb5ST/I+nbd43nkkY4UJmnZfBlfnLbug/Wa1Yp/E21ydnNGB1t83RUCe7tf5XYKTFQ+ZE/E+auCxc/VwnY8ocph85+wRMnEST2e36c6sMjtWAHXPb3ImTR8qrVVt+q4hnfLvpCvG+bHWmxUMWht4zBLgY+N+ZtGhJw0W5fiVzzUTQKKU2Bwm7QbezfuemEIFV/DpO8ujmb9hwCBV+5vj+U1VdfeWFF+qsumCNaGtJktpl4wmEcMg/7ZsIeKzOSvIdfwuU9TkPWx6u3g5cEy9W6rt20uqQGCwpnipUf3KOrUmQp5b0UWuVMlnKd6oIG+wTJaFHrXOUDFJsVYCrKMFl4/m35bMvSqLHfauuA2z1mKok73MetiK4SMh4Hm4lrQ53Exk6i/ZA8Sj5qm6JzspLlNIurss5cDCU1QDXEsafeDKoaumGJu1rReKJVkK8JWf5LtpRkv6/aJ45r31wXfd1btukkq/hzIEanORUlizSbQ84f6cS9hDk9VuIXGhjs2FYtSnDvkg80YU5KtOzfJfqKAmCrwguWZk2XVia85nkxUu+lzwP14ZCITJnQt+Zf1nFb04YLmpfYuUi7QRBBQYzMW14J7b2gvEMRZG9caj7dVkZXD1Sg+A5R95y/HB+LC+mh6tABIA2AiOBqVk47jNIBEVXmceyvMt516Iq7OU7ofrN2/kpNpMEQ54xQ56xUvYXczjadvclyoEAAAAASUVORK5CYII=)
– нерпиводимые характеры группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFASURBVDjL1ZNBSsNAFIb/pNuK60LmDpqnNwhhIOoui6RkJWQRShatEKSUSXa5RVuXvUGhXqSkJ7BHsMaZaDWWhAqC0MDPwGPmm/f++YMsy/BX4TQgC0AH0PnWQq8OyfpRSAlo6pBH+lyur3vp5M3C0D23yZ6Eed5thSjAo3d5J5cdGF/WN4uAHEnfMR4PWzuRnzb5ALxRIJymLgc2G1E/vWmFjCOLGLQtyJ+2+TTg1/d8lF60QnyC9IA2gRC9et39Ya6S22mE5HnY5QZWMPiq7kNVZ1gqLySgrLyCua5f9AURIugRsJGjzJvGEB7dSkDJeDRszcknpIDpPymDGwx9kKMWh6M2eTLVwLZWNKZ6PUnCMznqM6g/O5pY1Y0JrDWYhRvHxt7IJLSu5Ku9UJA6v4696qie1EoHwTvBv/hfIe8imbu55czQeQAAAABJRU5ErkJggg==)
, а
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAGAAAAAYCAYAAAAF6fiUAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHFSURBVGje7Vg7bsMwDOUBcoEAce+QcG6nQlWAzAUcwVOMTIGXzIHizUsv0C3naE7QO/gGuUNb25Hjqv7FPxkohwf4A9FPfCRFGnzfB4I5kBNIABKAQAKQAMYQBNsJn8EZZvy8DYIJCTAgpHSmCBACwBcJYBA7Zu1JABJgPALEDonKAlgXxvBQ1zlrhFOyrgC4PnUpQFOevQfTHZzyD8Sro1SNtthuP6YMMMWzD05/IzgTpcooiuNqTAKY4tkHp/TiKHAFgKEj5TTtUjw+t2DxmX1mugR1wbNrtOFUqaB6lt5rHxo6A6p4ZlvboUpSXd/l8ck1kt0EOo5r23KuDL084HvXAsTfbiBAHk+PsdeIX/RuAYuPIbKiju+kzZ+4l1yXlCBVLjC0pT1PDN0ivmsBfg1i185BkUxSGC56xtXheXOM9ZbdtG5Tn8Kr7ttwEojScdDN7vHuOaCvDCgVqSBy6kBwvsnLqjY2m6yPheRiI4RYthrEhhQgzY6Cg7vOwah3IG1tNl2vMqf0DBhrBjTuSho6uQ94DN1nz3tkyA56Rt5/2Iz8x9ltEk1gcjZIS2FU/3+CVu+WRvMv6D+DnEACkAAEg/gGNPVOfQmieQMAAAAASUVORK5CYII=)
– представители ее классов сопряженных элементов. Отметим, что в силу теоремы 4.10 число неприводимых характеров совпадает с числом классов сопряженности. Упорядочим значения
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADQAAAAYCAYAAAC1Ft6mAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHESURBVFjD7VdNqsIwEJ4DeAHBHMIO7wqhC9cPaulOXEnh4Vqiu27eITzH8wS9gQtv4B18pCUaw2SSiIJIF4H+pJP5vvnmSwq73Q4+aXwUmAHQAOhdAM0R9jDJD8umGT1rIaWqcQbZX6XU+NF5KynWAHDBcjuLBvQKMNsSZwB4CoG5gqrzqQBxzGs1pd/BWcjVOghIs4MAJ46BV1WGTjxrqe840u9ummY5yidw8KG/sQ0Xm/FeCuJMMaoX5+Jxo4uL8z2Vo/ucl5xncscazn/1dS1xoQFwTPbVES0F1O0LTYiUuLGZp2IbFcVJjtGuO0pEVahiykmU6x2XaSpRXwtwce8nJZhBmX/9ZAJaTk49+/TCrhIMQDt5rho+sNGNmKLjECCK4RR5cXkm9dBdokQ1NVCJcmOe+6Thq467LlWFkHElM29cLsbafaZgAzJJdzGralEUt7lUJZIAhRzEmIZ2IwoQtT9Qtn2z/t7+jbm41aRsO6Si6I3Vfmcsm6qe+22MdaduyNGAuEa2g9iAaim/zVxt5eR+lLAdhIgNST7Y9Ne+sqRkS8bIqUsCS/X6wyl9Inn674MB+egxZ/gfGgANgN5j/AMAFB5Lsw4gwwAAAABJRU5ErkJggg==)
таким образом, чтобы получить
таблицу характеров группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEmSURBVDjL1ZOxisJAEIb/pJbrRfchdPANJC4o11mYkEpIIZJCDyxENunyFqdX+gjim6hvkFc4dVdjSLxdLYQDi2HZYeebmX9mEccxXjW8B2QN2CjZ2r4EAdZTiHqkggZkr+T5mxt5yyDofzjkLIIkqRghCrAYND4vQayzKT6OfOpK/5E54+nDSq4A60h+1NVVOXbYlLyoZ4TMR+0mA1JVtkmnkLeGPBQNI8QlSA3o4AtRfSwwbC0kSYIKr2OLOt8WdVD+DsMmE/ekNJGJdsVEOUQIv0rAAeSudG1EHvUUhPFwYtyTDLJH0/0xCPolK9jft/pHE4+wBFjaHs2p6M9bNQheumTV7CyZsT+b1W4iyqkRg5Waxq4do5zSd2lTNYv3hr/4XyFnLr+8+ygU6nEAAAAASUVORK5CYII=)
, в которой строки помечены различными неприводимыми характерами, начиная с
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAAYCAYAAAAcYhYyAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD7SURBVDjLY2hsbGSgFDMMc0NWMTAwMTCsYiLbkLS0UD43GYa9DDIee9I6OnhINqS+PlbSiIHhFiMDw1+yDYHhHDfZ4lFD6GgIEAAjjoEZgv+D2Iz4DClBN+Q/UENtpKEfUOMfEJZ1yymO9vBIhqlBMSAUaEuEEcMiBhm3vaFpafww28AGMxjfjq2vlwTxszxki2Q9sopwJjaYbQwMci89ihsMystjpYwYjHaDDED1Uigz0RmwIdrYh8E4aiGYXexhIMvA8Apo1j9kl5FkCNjFkca+DLIeu5HDjLAhYNuNT4bm5ckwQMNM1iOviOTypCHW2Bs9rEZS8UgOBgBGQkJIJ3d/0AAAAABJRU5ErkJggg==)
, а столбцы – классами сопряженности группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFASURBVDjL1ZNBSsNAFIb/pNuK60LmDpqnNwhhIOoui6RkJWQRShatEKSUSXa5RVuXvUGhXqSkJ7BHsMaZaDWWhAqC0MDPwGPmm/f++YMsy/BX4TQgC0AH0PnWQq8OyfpRSAlo6pBH+lyur3vp5M3C0D23yZ6Eed5thSjAo3d5J5cdGF/WN4uAHEnfMR4PWzuRnzb5ALxRIJymLgc2G1E/vWmFjCOLGLQtyJ+2+TTg1/d8lF60QnyC9IA2gRC9et39Ya6S22mE5HnY5QZWMPiq7kNVZ1gqLySgrLyCua5f9AURIugRsJGjzJvGEB7dSkDJeDRszcknpIDpPymDGwx9kKMWh6M2eTLVwLZWNKZ6PUnCMznqM6g/O5pY1Y0JrDWYhRvHxt7IJLSu5Ku9UJA6v4696qie1EoHwTvBv/hfIe8imbu55czQeQAAAABJRU5ErkJggg==)
, начиная с класса
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABkAAAAVCAYAAACzK0UYAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEvSURBVEjH7ZWxDQIxDEVNDwOACDuAV0AoBQwA6NorEKKhSEERrrs1mAMmYAIKmABmQOBABBz2JUJCNJz0m5yT5/uxfZBlGXxb8DPI9amQYtf9u2gIBY8QVqD0Os3zql83Jq3pJmygqTfP66RpT82v+844tIMoiAMUDrI2qSPAng7iIC5mptsK4KR603kp5H7YAcfLPpeRy1iASAm+QfI8rZIlXDYhiN8LOFrF2cUEhiDe0qBdi0m304LWTs9s+xO7lmPsA+A+MabBQlwAVZQxNakUQ5BbFSYN+qLne2UqpLMtZhILISfcfmvrX7mTsqKJrxDfpARhLI2G+D4pBr40o5M6csUhucA3ozAeQoqCPOYQHqTLl2SHOHDzi5kWcqkWBmSZbonxFv72f/KHSLoAzHHxPqiYVzgAAAAASUVORK5CYII=)
.
Различные строки таблицы характеров ортогональны между собой в смысле теоремы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABsAAAAVCAYAAAC33pUlAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEISURBVEjHY2hsbGSgF2YYNpb9Z2BgZABiuliW4yZbbBzd4EMXy/LcjFM88uoNCVrGAA6CVUxExwcW9XkeHqGx9fWSBC2rjTT0Y5Dx2JPW0cFDjGXEqMcqWF4eK2XMwHCHWMuIVY81OKKNjes8PWV7iLGMFPUYAvWRxr7GsQ3eoJREjGWkqMcMDuPoOliyJaSZVPUYwQFLPYQ0k6oexbLqLBcjj8haB6AhzCCc4SZbyiDjtjc0LY0fuRQgVz2KZVHGDPOBiv7AMDDT/AXq+Qdig+IEXSOp6vHmM2ITCCnqSdK8ioGBCVepQpFlWR6yRQyy7rtgmjs60njcZRl2IYvhUz+867ORYxkAFeIngMOSQWcAAAAASUVORK5CYII=)
, а в силу теоремы 4.9 столбцы ортогональны между собой в обычном смысле как векторы комплексного унитарного пространства.
Заключение
Таким образом, в данной работе мы показали, что каждое представление конечной группы эквивалентно некоторому ее унитарному представлению и является мполне приводимым.
Путем прямых вычислений доказали лемму:
для произвольной квадратной матрицы ![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADtSURBVDjLY2hsbGSgBDPQxAAgYARiJmyYKAMaYo29gYr/AvF/KA3GjAzGd0PLy6WJ8kJ9noehLAPDG+PYBm8Qv6MjjcdDlmE3g4zHnrSODh7CBkQa+zIwGN+Jra+XhInluMmWAMXuIovhNCDKiGERg3H0Ahgf6BfGCJCYrMdugi4oL4+VMmZguGsYWesHDTzmLLDtDH9hXsJrAMT5jP+QAvAP0Om3kZ2O14AoLE4lOh3U18dKgpwv65FXRFZCqs5yMZJjkLvhUdxgQLIBoAADh7RRxCIGhlVMJBkATTiv4IEm676LrDAYHLmRFAwAnGF5zpX0ZbkAAAAASUVORK5CYII=)
и теорему:
Пусть
– группа и
– ее подгруппа. Пусть
– представление
степени
, а
– его характер. Тогда индуцированное представление
имеет степень
, где
, и характер ![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAANsAAAAsCAYAAADsFM3hAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAb0SURBVHja7VxNbtw2FGa9jg+QNPSyew+nNwhUGU2WLjoWvErqhWHMIjGghdEo3hloe4C0mySbNleocwHnBC1qXyDOFWxHJEUNxeGvhpQ907f4FhbGovi99z0+Pj4JHR8fIwAAkB5AAgAAYgMAQGzLP2mEvqIABwCA2BKiLPfW84foA3qYf9g7ObkHTgAAsSVAVe3eJwid16vaNYgNAGIbAAcZfgFiA4DYQGwAEBuIDQAAsYHYAKsuNlFCX7ZS+iqLDY41Vkxs1JjVhDxhVb0aODt4UeT502Vx3lUV28nJ3r0co1OEyMVuVd0HB18BsTFnReRcGHSa4+c4nz5fpZVNXbVDcZuC+26D/A5iWzKx6ZyHnlWN0OhUGNPHwXydbwgnpWPsjNA7JrayXDf9jgaQZuW+kXDtgRu60vvyGZuDmGIbyh4h/MR8flOQ9Ame8m8XFhvrtGApCXUgfPlo/2hEr78qyGNEdt4y4U3zTYzQJXfE2UrXvc/uA4LI3y7j8wPn+ndl+SCVYTuH2s288mm1afo9m6sQnEOc8v11YpP4vJL57MOVzSFiiW0Ie8jzlW1jClbBz0+KyvabgqA3UkBtxzVdV+8dypH24tH+o9EG2vhHOCJLuxqByWJr/zakZHxfpxehlqBavHRcnSPeFjqCo3shB7F0DiSbPvPlsw9Xs70ZFW4TOHB+Sm0Qc2VLaQ/dfPm88HtbAIwpttmWaD7omq6r9w7hSBttRgh/lAeRBcVXM3JGnY6lZAS91Udyep9ZuhliYHH/uyK47gqOP9uIbQzx0pfP0BXNvVrsrddi+yMWfynsYZovGwvn72MUrnzFRv1XDXy267p7+3KkU/ohIsWbueguOYcU7Y2pmEmErjTIFPlDCheJU1Cn4OYipINPE1e6+bjm2KRAV2KlC+HONI7NHn1gmi8dR1y3zdPHB3zE1tj0ghSvHvtctwmZ7fEdHGlXNepI8oPTgkJIHs2LKN1orpLFl2ku1iwjL2Xn45Fi9FEX6aV8Wg/FsWNX+pr0jRVMyKR6YnN8hc+1lk/J2UxcNQGt3d/R/2uvaYTks8drOL+SOZ8W3/7oGsdmjz5By+QblBfq4HK9QOfwbUCx+ICP2Pg8ycV2WX4t28eV0uvu3XJkWd00+au+wmZSuW0S+oJJ84pLIwoRRWQxuyLLbUISHD9jtBx5+PBp40peVXQrZEhq6eLcNk5Me5jmK6rc20f732xh/BcVo7zSpUgjWaposI9tldKKTXBUB2Cn2JgT1QaZq7xQlQceADfncFoH4rnwzJhiXNmQOmdYJI1McTamzkMrSg8+bVxJ+8XPi1TovDi3jGOzRyhM8xWFtx2Cf6NCsxVLYqSRRvt4BBab2KxbJ9sg7QMFHlhbCVWu00qdmqLYHrxPGul5PnYdssEfb+SvbQHIl0+X2MSqZIuYoSuJjnPbOEOIjQaE8Xj8WvBlK5bESCN5cMH/6tN3+5FQFLGpuTSLwj32B6ZUQa3wzNIbpQx+h9NI+swizQndm+j4dKWR04w8G4/xn4Kjfiuwm3PbOKnTSMEVzmdVXJFC9i14ucTGRK/xbdN17zTSwtHcXkRs+htSzvtsik2bYGb40c47en9e/uXVPVIUP00mklNG3JDHhChu+DidwueaiU8dVyIVov9DV8E2ypflOhVFyDkUWwU452sq59vbvHDjGidFgUSu5qqrmPhNdjD5PsumP8QUm+R7dBU6lDtBdNfDCiTkTO2sMhZIOiX9Bat61Mj0oY33rx1vUk02ufG7TrhIMSAlWLQNSKlnFUU7nypXTavYlfgf+RA7NKXvPIPC+dYW/sVnnNj20M1XHq/ZP37qG+xtYmu5VfxcvW5LB3X3ljlqeVRWyHQHwWxZxWeh3QcxD3hjgm/g0wSAvlwNkzbHt8cQ8/U91I5xb1+OkhoqtN1HpDkp92p9qo8+BRFVmKFzuIutaintkXq+Q4mt4eg/H46SG6xt1vRtRE64ovVpdvUtiHT3dbx8nYqrITCcPdKMMYTYQp//TqUsQyCk2VV0z4iikQ9Yuxu8vHnrUHtU78K9/39GCGh25cLpvM/mCRAbAMTm3ezarZwGosfZJADEtnLwbXYFAEBsC+baMZtdAQAQmwEhza69yFzST/sBQGxJUkjfZtdQkS3zp/0AILYEKeRcs+uhrdlV/eKS6d7L/mk/AIgtrth6NLuyJt467ZSbiNU0sc+n/QAgtpWGodn10tXsWuS4wqT4lf0PTxVv2k/b1cIN/bQfAMQGMIm0edVEvPipnqWFfNoPAGIDGECbTOkRAW3XoudyGcl+pu96ddLI7qf91lxfFQOA2AC6PV4tIvH+F01BO10lUpdI950x+yv1ABAbAAAAsQEAIDYAABCALyRwmaIs9fcEAAAAAElFTkSuQmCC)
Непосредственными вычислениями была устанавлена следующая лемма:
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAJEAAAAVCAYAAABG+QztAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAATrSURBVGje7ZnPbxM5FMedcGXhDI3DkSsdl/8ATV0BvY3ENMppV9EqqubQdDVIwE56i0TFHS60HBDb/wAKd8r+AQjY/gGw/8KWrp8dN65jz3gmTlXQVHqHTjJ+z5/5vh+eoK2tLVRbbbNYDaG28yMi9td0/F4DoeOG/TN0QbOGy7p7zP/0vXvNsvGdFQd3Vtya8/Lrg5uXjaZptEAQed3NsitF33/Qv0VImPxm2kwWk7tsvf9UI3F2V92UzdYIes5oH7FwjuW9zeDeC7g3y7pXIL4oTRdcRTlvDi7GWdHV+3mxz+rXB7fS1UI38eDJF5cNpL3oUthC70hneEe9zqJvsM3sIkz3e6PRRXl9NOpdpC30FpG1XZd41kO8yWL5B2IRANAh3AufDQf0Rhu1P97qPyDzEJGNQxmWNlZ5sfvwy7gNZuFmFBBkwE2a/FoITmTAGxcBISkUtjNVRHAdHj5eWnqJSWdbrToAkraXnq6s4Mc4XB8UZlWAXiDS2TklwBZ9K4UJQDAiB1GaLXgVkIVDGZZFrEyx+/I7K7eplgLOMcKfQHmTGSW6oM0sjXEp3MU02XCBAhlDKH0Ia9MkWzwBkdBFjFdeQcDDLrndJPEOZBDE0iFoh3SHt2Fjy23yrJumV62Zm3avBqhxCN+XAlxuNaCKPVe/l1C8IbPMbT4wzwpaS5jiUJalCys9dh9+fXAz9cfvbP0jPo/wjaBvvNSxBzieWb5Ddgjn+IO6yZzeHmCy9njYIXfYWodq5sA1tcr0WbDwf0yaO3JjsuTqbVA1sXZwGCVJCyCBANn/n/Us5aJFwQeTIGH/+kx2yjSwk4cwzaEMS1dWauy+/Orc4grcCrOKbwrTv9bjmzEi5DVB+D0dDG+YNmnt7STMol7v8qN4cVW/RxfHsWhvg2thf1PNUl1s5nlIgGN2tBg/WjXNBLLn5wmyjOVxcGWpsfrTxuokdnbY8OW3NDfmO1dEJnWP55VXkB2GYSxXRCACURFEJvMMUXotfwishUlxwPf74bVNTPsbkFHiZCaExMWmVCbVZB+X4EQPR/+ydTdtMEyCrNLObBwsLAeCZbxtYhUXsFJj9+HXF7fpbNZOSOLUtPJGveYiopPerjx4vpYJTHv5Gcu+S7zUKi1DCqkHfRpmIosvnmna/CAG0+n48mBUaWd8VjD4sbNcnmJZilWBiMr49cXNqMq98Qsmoepg3/TwoILYRCRPB3r14gGOTwGq8TkIMiVYe6JnCoiHnc62oTrltjIFnDwe6zBPlWVLVSvdzgwcyrAsw0qNfVa/lbkZxgB9cPo7SvvX4VjN3xnwyjD90OWiUDbZCSBQr0es7PN+3grf9dLRLxIUqyaXIUAc/v6HqS3wKsCCh3lAtg+4h2K0b6oAcn5KkqgV8AyBdcV99+DIyvq7SXgi+9iA6OmFoICLD1QOrizLshKxk4PJ+5xqfqtzE76tIhLKhrLd/iqHLt5OcjIWPof+KecWISz0WZZ/Gcxk7bEZSqvxe3C6yPHf563E1HomezBmn0WUVU3ncIrluFXoLKuw0mOv4reQm+W0ncfNRxa+l+8jzvsPhWmJl6PnjYMp9rPiX8Rt9plgzj8n+AWBvviahc6SQ17s8+bvws1jJvr74dH771pnFN88/LisOa/9ua57rttPbT+G1RBqq0VUWy2i2n4C+x9u04UwRnuIuAAAAABJRU5ErkJggg==)
,
(2) если
имеют степень
, a
– степень
, то
Список использованных источников
Сыскин С.А. Абстрактные свойства простых спорадических групп. – Усп. мат. наук, 1980, т. 35, №5, (215), с. 181–212.
Монахов В.С. О трижды факторизуемых группах. – Изв. АН БССР. Сер. физ.-мат. наук, 1981, №6, с. 18–23.
Монахов В.С. Произведение разрешимой и циклической групп // Сб. VI всес. симпозиум по теории групп.-Киев: Наукова думка, 1980-с. 189–195
Монахов В.С. О произведении двух групп с циклическими подгруппами индекса 2 // Весцi АН Беларусi. сер. фiз.-мат. навук. – 1996, №3-с. 21–24