grupa Rudvalisa

W obszarze współczesnej algebry zwanej teorią grup grupa Rudvalisa Ru jest sporadyczną grupą prostą rzędu

    2 14 · 3 3 · 5 3 · 7 · 13 · 29
= 145926144000
≈ 1 × 10 11 .

Historia

Ru jest jedną z 26 grup sporadycznych i została odkryta przez Arunasa Rudvalisa ( 1973 , 1984 ) i skonstruowana przez Johna H. Conwaya i Davida B. Walesa ( 1973 ). Jego mnożnik Schura ma rząd 2, a jego zewnętrzna grupa automorfizmów jest trywialna.

W 1982 roku Robert Griess wykazał, że Ru nie może być podilorazem grupy potworów . Jest więc jedną z 6 sporadycznych grup zwanych pariasami .

Nieruchomości

Grupa Rudvalisa działa jako grupa permutacji rangi 3 na 4060 punktach, przy czym jednym stabilizatorem punktowym jest grupa Ree 2 F 4 (2), grupa automorfizmu grupy cycków . Ta reprezentacja implikuje silnie regularny wykres srg(4060, 2304, 1328, 1208). Oznacza to, że każdy wierzchołek ma 2304 sąsiadów i 1755 nie-sąsiadów, dowolne dwa sąsiednie wierzchołki mają 1328 wspólnych sąsiadów, podczas gdy dowolne dwa niesąsiadujące wierzchołki mają 1208 (Griess 1998 , s. 125).

Jego podwójne pokrycie działa na 28-wymiarową siatkę nad liczbami całkowitymi Gaussa . Krata ma 4 × 4060 minimalnych wektorów; jeśli minimalne wektory są identyfikowane za każdym razem, gdy jeden wynosi 1, i , –1 lub – i razy inny, wówczas 4060 klas równoważności można zidentyfikować za pomocą punktów reprezentacji permutacji rangi 3. Zmniejszenie tej sieci modulo do głównego ideału

działanie grupy Rudvalisa na 28-wymiarowej przestrzeni wektorowej nad polem elementami. Duncan (2006) wykorzystał 28-wymiarową siatkę do skonstruowania algebry operatora wierzchołków , na którą działa podwójne pokrycie.

Parrott (1976) scharakteryzował grupę Rudvalisa za pomocą centralizatora centralnej inwolucji. Aschbacher i Smith (2004) podali kolejną charakterystykę w ramach identyfikacji grupy Rudvalis jako jednej z grup quasitynowych .

Maksymalne podgrupy

Wilson (1984) znalazł 15 klas koniugacji maksymalnych podgrup Ru w następujący sposób:

  • 2 fa 4 (2) = 2 fa 4 (2)'.2
  • 2 6 .U 3 (3).2
  • (2 2 × Sz(8)):3
  • 2 3+8 :P 3 (2)
  • U 3 (5): 2
  • 2 1+4+6 .S 5
  • PSL 2 (25).2 2
  • 8 _
  • PSL 2 (29)
  • 5 2 :4.S 5
  • 3.A 6 .2 2
  • 5 1+2 :[2 5 ]
  • Ł 2 (13): 2
  • 6 .2 2 _
  • 5:4 × 5

Linki zewnętrzne