Из Википедии, бесплатной энциклопедии
  (Перенаправлено из графика Холла-Янко )
Перейти к навигации Перейти к поиску

В математической области теории графов , то графы Холла-Янко , также известные как графы Холл-Янко-Уэльсе , является 36- регулярного неориентированного графа с вершинами 100 и 1800 ребер. [1]

Это сильно регулярный граф ранга 3 с параметрами (100,36,14,12) и максимальной кокликой размера 10. Этот набор параметров не уникален, однако он однозначно определяется своими параметрами как граф ранга 3. Граф Холла – Янко был первоначально построен Д. Уэльсом для установления существования группы Холла – Янко как подгруппы индекса 2 в ее группе автоморфизмов .

Граф Холла – Янко может быть построен из объектов в U 3 (3), простой группе порядка 6048: [2] [3]

  • В U 3 (3) 36 простых максимальных подгрупп порядка 168. Это вершины подграфа, графа U 3 (3). 168-подгруппа имеет 14 максимальных подгрупп порядка 24, изоморфных S 4 . Две 168-подгруппы называются смежными, если они пересекаются в 24-подгруппе. Граф U 3 (3) сильно регулярный, с параметрами (36,14,4,6)
  • Всего 63 инволюции (элементы 2-го порядка). 168-подгруппа содержит 21 инволюцию, которые определены как соседи.
  • Пусть вне U 3 (3) есть сотая вершина C , соседями которой являются 36 168-подгрупп. Тогда у 168-подгруппы 14 общих соседей с C и всего 1 + 14 + 21 соседей.
  • Инволюция обнаружена в 12 из 168-подгрупп. C и инволюция несмежны, у них 12 общих соседей.
  • Две инволюции считаются смежными, если они порождают диэдральную подгруппу порядка 8. [4] Инволюция имеет 24 инволюции в качестве соседей.

Характеристический многочлен графа Холла – Янко равен . Следовательно, граф Холла – Янко является интегральным графом : его спектр целиком состоит из целых чисел.

Ссылки [ править ]

  1. ^ Вайсштейн, Эрик В. "График Холла-Янко" . MathWorld .
  2. ^ Андрис Э. Брауэр, " График Холла-Янко ".
  3. ^ Андрис Э. Брауэр, " U 3 (3) график ".
  4. Роберт А. Уилсон, «Конечные простые группы», Springer-Verlag (2009), стр. 224.