CA-group - CA-group

В математика, в сфере теория групп, а группа считается CA-group или же централизатор абелева группа если централизатор любого неединичного элемента является абелевский подгруппа. Конечные CA-группы имеют историческое значение как ранний пример того типа классификаций, который будет использоваться в Теорема Фейта – Томпсона и классификация конечных простых групп. Несколько важных бесконечных групп являются CA-группами, например бесплатные группы, Тарские монстры, и немного Группы Бернсайда, а локально конечный CA-группы классифицированы явно. CA-группы еще называют коммутативно-транзитивные группы (или же CT-группы для краткости), поскольку коммутативность переходное отношение среди неидентичных элементов группы тогда и только тогда, когда группа является CA-группой.

История

Локально конечные CA-группы были классифицированы несколькими математиками с 1925 по 1998 год. Сначала было показано, что конечные CA-группы являются просто или же разрешимый в (Вайснер 1925 ). Тогда в Теорема Брауэра-Сузуки-Уолла (Брауэр, Сузуки и Уолл, 1958 г. ) конечные CA-группы четного порядка Группы Фробениуса, абелевы группы или двумерные проективные специальные линейные группы через конечное поле четного порядка, PSL (2, 2ж) за ж ≥ 2. Наконец, конечные CA-группы нечетного порядка оказались Группы Фробениуса или абелевы группы в (Suzuki 1957 года ) и, в частности, никогда не бывают неабелевыми простыми.

CA-группы были важны в контексте классификация конечных простых групп. Мичио Сузуки показал, что каждый конечный, просто, неабелева, CA-группа имеет четное порядок. Этот результат был впервые распространен на теорему Фейта – Холла – Томпсона, показывающую, что конечные, простые, неабелевы CN-группы был даже порядок, а затем Теорема Фейта – Томпсона который утверждает, что каждая конечная простая неабелева группа имеет четный порядок. Учебное изложение классификации конечных CA-групп дается в качестве примеров 1 и 2 в (Сузуки 1986 С. 291–305). Более подробное описание возникающих групп Фробениуса содержится в (Wu 1998 ), где показано, что конечная разрешимая CA-группа является полупрямой продукт абелевой группы и автоморфизма без неподвижных точек, и, наоборот, каждое такое полупрямое произведение является конечной разрешимой CA-группой. Ву также расширил классификацию Suzuki et al. к локально конечные группы.

Примеры

Каждый абелева группа является CA-группой, а группа с нетривиальным центр является CA-группой тогда и только тогда, когда она абелева. Конечные CA-группы классифицируются: разрешимые представляют собой полупрямые произведения абелевых групп на циклические группы, такие, что каждый нетривиальный элемент действует без неподвижных точек и включает такие группы, как диэдральные группы порядка 4k+2, а переменная группа на 4 точках порядка 12, а все неразрешимые простые и представляют собой 2-мерные проективные специальные линейные группы PSL (2, 2п) за п ≥ 2. Бесконечные CA-группы включают бесплатные группы, PSL (2, р), и Группы Бернсайда большого простого показателя, (Линдон и Шупп 2001, п. 10). Некоторые более свежие результаты в бесконечном случае включены в (Wu 1998 ), включая классификацию локально конечный CA-группы. Ву также отмечает, что Тарские монстры являются очевидными примерами бесконечных простых CA-групп.

Процитированные работы

  • Брауэр, Р.; Сузуки, Мичио; Уолл, Г. Э. (1958), "Характеристика одномерных унимодулярных проективных групп над конечными полями", Иллинойсский журнал математики, 2: 718–745, ISSN  0019-2082, МИСТЕР  0104734
  • Линдон, Роджер С.; Шупп, Пол Э. (2001), Комбинаторная теория групп, Берлин, Нью-Йорк: Springer-Verlag, ISBN  978-3-540-41158-1, МИСТЕР  0577064
  • Сузуки, Мичио (1957), «Отсутствие определенного типа простых групп нечетного порядка», Труды Американского математического общества, 8 (4): 686–695, Дои:10.2307/2033280, ISSN  0002-9939, JSTOR  2033280, МИСТЕР  0086818
  • Сузуки, Мичио (1986), Теория групп. II, Grundlehren der Mathematischen Wissenschaften [Основные принципы математических наук], 248, Берлин, Нью-Йорк: Springer-Verlag, ISBN  978-0-387-10916-9, МИСТЕР  0815926
  • Вайснер, Л. (1925), «Группы, в которых нормализатор каждого элемента, кроме единицы, является абелевым», Бюллетень Американского математического общества, 31: 413–416, Дои:10.1090 / S0002-9904-1925-04079-3, ISSN  0002-9904, JFM  51.0112.06
  • Ву, Ю-Фен (1998), "Группы, в которых коммутативность является транзитивным отношением", Журнал алгебры, 207 (1): 165–181, Дои:10.1006 / jabr.1998.7468, ISSN  0021-8693, МИСТЕР  1643082