Пусть n – натуральное число, F – конечное поле из q=22n+1 элементов, θ – такой автоморфизм поля F, что αθ2=α2 для любого α∈F. Тогда группа Судзуки Sz(q) порождается подгруппой T, состоящей из всех диагональных матриц порядка 4 с диагональными элементами λ1+θ, λ, λ−1, (λ1+θ)−1 (λ∈F, λ=0), подгруппой U, состоящей из всех треугольных матриц вида
1αα1+θ+βα2+θ+αβ+βθ01αθβ001α0001(α,β∈F), и матрицей
0001001001001000.Подгруппа U – силовская 2-подгруппа группы Sz(q); она является 2-группой Судзуки. Подгруппа UT совпадает с нормализатором подгруппы U. Подстановочное представление группы Sz(q) на смежных классах по UT дважды транзитивно; степень его равна q2+1. Порядок группы Судзуки Sz(q) равен q2(q−1)(q2+1) и не делится на 3. Наоборот, любая неабелева конечная простая группа, чей порядок не делится на 3, изоморфна некоторой группе Судзуки. Группа Sz(q) – максимальная подгруппа симплектической группыSp(4,q) и централизатор в Sp(4,q) некоторого автоморфизма порядка 2 группы Sp(4,q)=B2(q). Иными словами, Sz(q) изоморфна 2B2(q) – скрещенному аналогу группы Шевалле типа B2 над полем из q элементов.
Мазуров Виктор Данилович. Первая публикация: Математическая энциклопедия под ред. И. М. Виноградова, 1985.
Опубликовано 21 марта 2024 г. в 12:27 (GMT+3). Последнее обновление 21 марта 2024 г. в 12:27 (GMT+3).