WikiDer > Полностью отключенная группа

Totally disconnected group

В математика, а полностью отключенная группа это топологическая группа то есть полностью отключен. Такие топологические группы обязательно Хаусдорф.

Интерес сосредоточен на локально компактный полностью разобщенные группы (также называемые группами td-type,[1] локально проконечные группы,[2] t.d. группы[3]). В компактный дело было тщательно изучено - это проконечные группы - но долгое время об общем случае было мало что известно. Теорема ван Данциг[4] из 1930-х годов, утверждая, что каждая такая группа содержит компактный открыто подгруппа, было все, что было известно. Затем новаторская работа по этому вопросу была проведена в 1994 году, когда Джордж Уиллис показал, что каждая локально компактная вполне несвязная группа содержит так называемую аккуратный подгруппе и специальной функции на ее автоморфизмах, функция масштабирования, тем самым углубляя знания о местной структуре. Успехи в глобальная структура полностью отключенных групп были получены в 2011 году компаниями Caprace и Monod, в частности, классификация характерно простые группы и нетеровских групп.

Локально компактный корпус

В локально компактной полностью несвязной группе каждое район единицы содержит компактную открытую подгруппу. И наоборот, если группа такова, что личность имеет основа соседства состоящий из компактных открытых подгрупп, то он локально компактен и вполне несвязен.[2]

Чистые подгруппы

Позволять грамм - локально компактная вполне несвязная группа, U компактная открытая подгруппа в грамм и непрерывный автоморфизм грамм.

Определять:

U как говорят аккуратный за если и только если и и закрыты.

Функция масштабирования

Индекс в показано, что он конечен и не зависит от U что аккуратно для . Определите масштабную функцию как этот index. Ограничение на внутренние автоморфизмы дает функцию на грамм с интересными свойствами. В частности, это:
Определите функцию на грамм к , куда внутренний автоморфизм на грамм.

Характеристики

  • непрерывно.
  • , когда x в грамм компактный элемент.
  • для каждого неотрицательного целого числа .
  • Модульная функция на грамм дан кем-то .

Расчеты и приложения

Масштабная функция использовалась для доказательства гипотезы Хофманна и Мухерья и была явно вычислена для p-адический Группы Ли и линейные группы над локальными телами Хельге Глекнера.

Примечания

Рекомендации