Кейли теоремасы - Cayleys theorem - Wikipedia

Жылы топтық теория, Кейли теоремасы, құрметіне аталған Артур Кэйли, әрбір ақырлы екенін айтады топ G болып табылады изоморфты а кіші топ туралы симметриялық топ әрекет ету G.[1] Мұны мысал ретінде түсінуге болады топтық әрекет туралы G элементтері бойынша G.[2]

A ауыстыру жиынтықтың G кез келген биективті функциясы қабылдау G үстінде G. Барлық ауыстыруларының жиынтығы G астында топ құрады функция құрамы, деп аталады симметриялық топ G, және Sym түрінде жазылған (G).[3]

Кейли теоремасы кез-келген топты (соның ішінде (сияқты шексіз топтарды қосқанда) қарастыра отырып, барлық топтарды бірдей негізге қояды.R, +)) а ретінде ауыстыру тобы кейбір негізгі жиынтықтың. Сонымен, ауыстыру топтарының кіші топтары үшін дұрыс болатын теоремалар жалпы топтар үшін шындық болып табылады. Дегенмен, Альперин және Белл «тұтастай алғанда, ақырлы топтардың симметриялы топтарға енуі ақырғы топтарды зерттеу әдістеріне әсер еткен жоқ» деп атап өтті.[4]

Кэйли теоремасының стандартты дәлелдеуінде қолданылатын жүйелі іс-қимыл ұсынуды білдірмейді G ішінде минималды-тапсырыс ауыстыру тобы. Мысалға, , қазірдің өзінде 6-реттің симметриялық тобы, тұрақты іс-әрекеттің кіші тобы ретінде ұсынылатын болады (720 тапсырыс тобы).[5] Минималды ретті симметриялы топқа топтың енуін табу мәселесі өте қиын.[6][7]

Тарих

Бұл жеткілікті қарапайым болып көрінгенімен, ол кезде қазіргі кездегі анықтамалар болған жоқ, және Кейли қазіргі кезде қалай аталатынын енгізді топтар бұл қазірдің өзінде белгілі болған, бұрын аталатын топтарға тең екендігі бірден анық болмады ауыстыру топтары. Кейли теоремасы екеуін біріктіреді.

Бернсайд болса да[8] теореманы атрибуттарға жатқызады Иордания,[9] Эрик Нуммела[10] дегенмен, стандартты атау - «Кэйли теоремасы» шын мәнінде орынды деп санайды. Кейли, өзінің 1854 жылғы түпнұсқасында,[11] теоремадағы сәйкестік бір-біріне сәйкес келетіндігін көрсетті, бірақ ол оның гомоморфизм (және осылайша ендіру) екенін нақты көрсете алмады. Алайда, Нуммела Кэйли бұл нәтижені сол кездегі математикалық қауымдастыққа мәлім еткенін, осылайша Иорданияны 16 жылға жуық уақытқа созғанын атап өтті.

Теорема кейінірек жарияланды Уолтер Дайк 1882 ж[12] және Бернсайдтың кітабының бірінші басылымында Дайкке жатқызылған.[13]

Теореманың дәлелі

Егер ж топтың кез келген элементі болып табылады G operation операциясымен функцияны қарастырыңыз fж : GG, арқылы анықталады fж(х) = жх. Төңкерістердің болуы арқылы бұл функция екі жақты кері, . Сонымен көбейту ж ретінде әрекет етеді биективті функциясы. Осылайша, fж ауыстыру болып табылады Gжәне Sym мүшесі де (G).

Жинақ Қ = {fж : жG} Sym топшасы (G) изоморфты болып табылады G. Мұны орнатудың ең жылдам тәсілі - функцияны қарастыру Т : G → Sym (G) бірге Т(ж) = fж әрқайсысы үшін ж жылы G. Т Бұл топтық гомоморфизм өйткені (Sym құрамындағы композицияны белгілеу үшін · қолдану арқылы (G)):

барлығына х жылы G, демек:

Гомоморфизм Т болып табылады инъекциялық бері Т(ж) = идентификаторG (Sym сәйкестендіру элементі (G)) мұны білдіреді жх = х барлығына х жылы Gжәне қабылдау х сәйкестендіру элементі болу e туралы G өнімділік ж = жe = e, яғни ядро ​​тривиальды. Сонымен қатар, Т сонымен қатар инъекциялық бері жх = ж′ ∗ х мұны білдіреді ж = ж (өйткені әр топ солай күшін жояды ).

Осылайша G бейнесі бойынша изоморфты болып табылады Т, бұл кіші топ Қ.

Т кейде деп аталады тұрақты өкілдігі G.

Дәлелдеудің альтернативті параметрі

Баламалы параметрде топтық әрекеттер. Біз топты қарастырамыз G жиынтығы ретінде, оны ауыстыру ұсынуы бар деп көрсетуге болады .

Біріншіден, делік бірге . Сонда топтық әрекет болып табылады арқылы G-орбиталарының жіктелуі (орбита-тұрақтандырғыш теоремасы деп те аталады).

Енді, егер өкілдік сенімді болса инъекциялық болып табылады, яғни егер маңызды емес. Айталық Содан кейін, ауыстыру өкілдігінің және топтық әрекеттің эквиваленттілігі бойынша. Бірақ содан бері , және осылайша маңызды емес. Содан кейін және нәтижесінде нәтиже бірінші изоморфизм теоремасы.

Топтың тұрақты өкілдігі туралы ескертулер

Топтың сәйкестендіру элементі сәйкестіліктің орнын ауыстыруға сәйкес келеді. Барлық басқа топ элементтері сәйкес келеді бұзылу: ешбір элементті өзгеріссіз қалдырмайтын ауыстырулар. Бұл топтық элементтің қуатына қатысты болғандықтан, сол элементтің ретінен төмен болғандықтан, әрбір элемент бірдей ұзындықтағы циклдардан тұратын ауыстыруға сәйкес келеді: бұл ұзындық - сол элементтің реті. Әр циклдегі элементтер құқықты құрайды косет элемент жасаған ішкі топтың.

Тұрақты топтық өкілдікке мысалдар

З2 = {0,1} 2 модулімен; топтың 0 элементі e сәйкестіліктің ауыстыруына, 1 топтың элементіне (12) сәйкес келеді. Мысалы. 0 +1 = 1 және 1 + 1 = 0, сондықтан 1 -> 0 және 0 -> 1, өйткені олар ауыстыру кезінде болады.

З3 = {0,1,2} 3 модулімен қосу; топтың 0 элементі сәйкестіліктің ауысуына, топтың 1 элементіне ауыстыруға (123) сәйкес келеді, ал 2 топқа ауыстыруға (132) сәйкес келеді. Мысалы. 1 + 1 = 2 (123) (123) = (132) сәйкес келеді.

З4 = {0,1,2,3} 4 модулімен; элементтері е, (1234), (13) (24), (1432) сәйкес келеді.

Элементтері Клейн төрт топтық {e, a, b, c} е, (12) (34), (13) (24) және (14) (23) сәйкес келеді.

S3 (6-топтың екі жақты тобы ) - бұл 3 объектінің барлық ауыстыруларының тобы, сонымен қатар 6 топтық элементтердің ауыстыру тобы, ал соңғысы ол өзінің тұрақты түрде ұсынылуымен жүзеге асырылады.

*eабвг.fауыстыру
eeабвг.fe
ааeг.fбв(12)(35)(46)
ббfeг.ва(13)(26)(45)
ввг.feаб(14)(25)(36)
г.г.вабfe(156)(243)
ffбваeг.(165)(234)

Теореманың жалпы тұжырымы

Кэйли теоремасының неғұрлым жалпы тұжырымы қарастырудан тұрады өзек ерікті топтың . Жалпы алғанда топ болып табылады және деген кіші топ болып табылады , содан кейін топшасына изоморфты болып табылады . Атап айтқанда, егер ақырлы топ және біз құрдық сонда біз классикалық нәтиже аламыз.

Сондай-ақ қараңыз

Ескертулер

  1. ^ Джейкобсон (2009), б. 38)
  2. ^ Джейкобсон (2009), б. 72, бұрынғы 1)
  3. ^ Джейкобсон (2009), б. 31)
  4. ^ Альперин Дж .; Роуэн Б. Белл (1995). Топтар мен өкілдіктер. Спрингер. б.29. ISBN  978-0-387-94525-5.
  5. ^ Питер Дж. Кэмерон (2008). Алгебраға кіріспе, екінші басылым. Оксфорд университетінің баспасы. б.134. ISBN  978-0-19-852793-0.
  6. ^ Джонсон, Д.Л (1971). «Шекті топтардың минималды пермутациялық көріністері». Американдық математика журналы. 93 (4): 857. дои:10.2307/2373739. JSTOR  2373739.
  7. ^ Гречкосеева, М.А (2003). «Классикалық қарапайым топтардың минималды пермутациялық көріністері туралы». Сібірдің математикалық журналы. 44 (3): 443–462. дои:10.1023 / A: 1023860730624.
  8. ^ Бернсайд, Уильям (1911), Ақырғы ретті топтар теориясы (2 басылым), Кембридж, б. 22, ISBN  0-486-49575-2
  9. ^ Джордан, Камилл (1870), Traite des substitutions et des equations algebriques, Париж: Готтер-Виллар
  10. ^ Нуммела, Эрик (1980), «Топологиялық топтарға арналған Кейли теоремасы», Американдық математикалық айлық, Американың математикалық қауымдастығы, 87 (3): 202–203, дои:10.2307/2321608, JSTOR  2321608
  11. ^ Кейли, Артур (1854), «The символдық теңдеуіне байланысты топтар теориясы туралыn=1", Философиялық журнал, 7 (42): 40–47
  12. ^ фон Дайк, Уолтер (1882), «Gruppentheoretische Studien» [Топтық-теориялық зерттеулер], Mathematische Annalen, 20 (1): 30, дои:10.1007 / BF01443322, hdl:2027 / njp.32101075301422, ISSN  0025-5831. (неміс тілінде)
  13. ^ Бернсайд, Уильям (1897), Ақырғы ретті топтар теориясы (1 басылым), Кембридж, б. 22

Әдебиеттер тізімі