Жалпы симметриялы топ - Generalized symmetric group

Жылы математика, жалпыланған симметриялық топ болып табылады гүл шоқтары өнімі ${ displaystyle S (m, n): = Z_ {m} wr S_ {n}}$ туралы циклдік топ тәртіп м және симметриялық топ тәртіп n.

Мысалдар

• Үшін ${ displaystyle m = 1,}$ жалпыланған симметриялық топ - қарапайым симметриялық топ: ${ displaystyle S (1, n) = S_ {n}.}$
• Үшін ${ displaystyle m = 2,}$ 2-реттің циклдік тобын оң және теріс деп санауға болады (${ displaystyle Z_ {2} cong { pm 1 }}$) және жалпыланған симметриялық топты анықтау ${ displaystyle S (2, n)}$ бірге симметриялы топ.

Өкілдік теориясы

Элементтерінің табиғи көрінісі бар ${ displaystyle S (m, n)}$ сияқты жалпыланған ауыстыру матрицалары, нөлдік емес жазбалар орналасқан м-шы бірліктің тамыры: ${ displaystyle Z_ {m} cong mu _ {m}.}$

Репрезентация теориясы (бастап) зерттелді (Осима 1954 ж ); сілтемелерді қараңыз (1996 ж ). Симметриялы топтағы сияқты, көріністерді тұрғысынан құруға болады Specht модульдері; қараңыз (1996 ж ).

Гомология

Бірінші топтық гомология топ (нақты түрде абельдену ) болып табылады ${ displaystyle Z_ {m} times Z_ {2}}$ (үшін м тақ изоморфты ${ displaystyle Z_ {2м}}$): ${ displaystyle Z_ {m}}$ факторларды (барлығы конъюгацияланған, сондықтан абелия тобында бірдей картаға түсіру керек, өйткені конъюгация абелия тобында тривиальды болып табылады) ${ displaystyle Z_ {m}}$ (нақты, барлық өнімін алу арқылы ${ displaystyle Z_ {m}}$ симметриялы топтағы таңбалар картасы нәтиже береді, ал ${ displaystyle Z_ {2}.}$ Бұл тәуелсіз және топты тудырады, демек, абелизация.

Екінші гомологиялық топ (классикалық тілмен айтқанда Шур мультипликаторы ) арқылы беріледі (Дэвис және Моррис 1974 ж ):

${ displaystyle H_ {2} (S (2k + 1, n)) = { begin {case} 1 & n <4 mathbf {Z} / 2 & n geq 4. end {case}}}$

${ displaystyle H_ {2} (S (2k + 2, n)) = { begin {case} 1 & n = 0,1 mathbf {Z} / 2 & n = 2 ( mathbf {Z} / 2 ) ^ {2} & n = 3 ( mathbf {Z} / 2) ^ {3} & n geq 4. end {case}}}$

Байланысты болатынын ескеріңіз n және паритеті м: ${ displaystyle H_ {2} (S (2k + 1, n)) шамамен H_ {2} (S (1, n))}$ және ${ displaystyle H_ {2} (S (2k + 2, n)) шамамен H_ {2} (S (2, n)),}$ олар симметриялы топтың және шартты симметриялық топтың Шур көбейткіштері болып табылады.

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