2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Некоторый аспект коммутативных групп
Сообщение05.07.2016, 23:27 


29/06/16

5
Здравствуйте. Во время изучения у меня возник вопрос, я не могу в нём разобраться до конца уже много часов: любая ли коммутативная группа над алгебраически замкнутым полем имеет только неприводимые одномерные представления? Является ли это утверждение "сильным" и верно ли это для конечных?
Спасибо.

 Профиль  
                  
 
 Re: Некоторый аспект коммутативных групп
Сообщение05.07.2016, 23:48 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Conesinek в сообщении #1135998 писал(а):
любая ли коммутативная группа над алгебраически замкнутым полем имеет только неприводимые одномерные представления?

Да.

 Профиль  
                  
 
 Re: Некоторый аспект коммутативных групп
Сообщение06.07.2016, 10:06 
Заслуженный участник


08/01/12
915
Бывают, например, бесконечномерные неприводимые представления абелевых групп.

 Профиль  
                  
 
 Re: Некоторый аспект коммутативных групп
Сообщение06.07.2016, 12:18 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
apriv в сообщении #1136053 писал(а):
Бывают, например, бесконечномерные неприводимые представления абелевых групп.
Над алгебраически замкнутым полем? :shock:

 Профиль  
                  
 
 Re: Некоторый аспект коммутативных групп
Сообщение06.07.2016, 16:32 
Заслуженный участник


08/01/12
915
Отчего ж нет? Хоть над $\mathbb{C}$.

 Профиль  
                  
 
 Re: Некоторый аспект коммутативных групп
Сообщение06.07.2016, 17:49 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
apriv в сообщении #1136165 писал(а):
Отчего ж нет? Хоть над $\mathbb{C}$.

У меня разрыв шаблона! Я еще студентом на лекциях А.И. Кострикина выучил, что все неприводимые над алгебраически замкнутым полем представления абелевых групп обязательно одномерны.
Вот и Бунинав своих лекциях доказывает это на стр 8, да и Винберг в своем учебнике "Курс алгебры" из-во "Факториал Пресс" от 2002 г. на стр. 450 утверждает про одномерность.
Мне остается попросить вас привести пример бесконечномерного неприводимого представления абелевой группы над алгебраически замкнутым полем или хотя бы дать ссылку на источник, где есть такой пример.

 Профиль  
                  
 
 Re: Некоторый аспект коммутативных групп
Сообщение06.07.2016, 19:54 
Заслуженный участник
Аватара пользователя


06/10/08
6422
Brukvalub в сообщении #1136193 писал(а):
У меня разрыв шаблона! Я еще студентом на лекциях А.И. Кострикина выучил, что все неприводимые над алгебраически замкнутым полем представления абелевых групп обязательно одномерны.
Вот и Бунина
в своих лекциях доказывает это на стр 8, да и Винберг в своем учебнике "Курс алгебры" из-во "Факториал Пресс" от 2002 г. на стр. 450 утверждает про одномерность.
А потому что там везде рассматриваются конечномерные представления.

Brukvalub в сообщении #1136193 писал(а):
Мне остается попросить вас привести пример бесконечномерного неприводимого представления абелевой группы над алгебраически замкнутым полем или хотя бы дать ссылку на источник, где есть такой пример.
Рассмотрим абелеву группу $\mathbb{Z}$ и счетномерное пространство $U$ функций $\mathbb{Z} \to \mathbb{C}$ с конечным носителем. И пусть $n \in \mathbb{Z}$ действует как сдвиг $\{x_k\} \mapsto \{x_{k + n}\}$.

UPD. Ошибся, смотри ниже.

 Профиль  
                  
 
 Re: Некоторый аспект коммутативных групп
Сообщение06.07.2016, 20:22 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Xaositect
Спасибо! Я как-то упустил условие конечномерности, считая его априори заданным.

 Профиль  
                  
 
 Re: Некоторый аспект коммутативных групп
Сообщение14.07.2016, 16:17 
Заслуженный участник


18/01/15
3108
Однако же это представление приводимо. Подпространство функций с конечным носителем, у которых сумма значений нуль --- собственное инвариантное подпространство.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 9 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group