Введение

Топологические алгебры, связанные с топологическими группами. Топологическая алгебра, связанная с непрерывными группами.

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

Алгебра свёртывания L1 ((G)

Стандартной теоремой теории меры является то, что завершение Cc(G) в норме L1(G) изоморфно пространству L1(G) классов эквивалентности функций, интегрируемых относительно меры Гаара, где, как обычно, две функции считаются эквивалентными тогда и только тогда, когда они отличаются друг от друга на множестве меры Гаара, равной нулю. Теорема. L1(G) является *алгеброй Банаха с произведением свертки и инволюцией, определенными выше, и с нормой L1. L1(G) также обладает ограниченным приближением к единице.

Алгебры фон Неймана, связанные с группами

Группа алгебра фон Неймана W*(G) группы G является огибающей алгеброй фон Неймана C*(G). Для дискретной группы G можно рассмотреть гильбертово пространство ℓ²(G), для которого G образует ортонормальный базис. Поскольку G действует на ℓ²(G) перестановкой базисных векторов, мы можем отождествить комплексное групповое кольцо C[G] с субальгеброй алгебры ограниченных операторов на ℓ²(G). Слабое замыкание этой субальгебры, NG, является алгеброй фон Неймана. Центр NG можно описать в терминах элементов G, класс сопряжённости которых конечен. В частности, если единичный элемент G является единственным элементом группы, обладающим этим свойством (то есть G обладает свойством бесконечных классов сопряжённости), то центр NG состоит только из комплексных кратных единичного элемента. NG изоморфен гиперконечному фактору типа II₁ тогда и только тогда, когда G счетна, допускает аменабельное представление и обладает свойством бесконечных классов сопряжённости.