2014 dxdy logo

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

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




 
 Теория групп 4 (свободные конструкции)
Сообщение30.06.2014, 12:25 
Аватара пользователя
Как-то скучно стало в этом разделе. Все мусолятся и мусолятся очевидные задачи. Давайте что-то менее очевидное решим.

Задача. Покажите, что существует континуум попарно неизоморфных $2$-порожденных групп. Выведите отсюда, что не существует счетной группы, содержащей каждую счетную группу в качестве подгруппы.
Указание. Примените конструкцию вложения счетной группы в $2$-порожденную к группам $\underset{p \in \pi}{\bigoplus}\mathbb{Z}_p$, где $\pi$ - произвольное множество простых.

Так, во-первых, хочется заметить, что для абелевых групп такое не верно. Если мы возьмем счетную сумму слагаемых следующего вида $\underset{\mathbb{N}}{\bigoplus}\mathbb{Z}_p$ и $\underset{\mathbb{N}}{\bigoplus}\mathbb{Z}$, где $p$ пробегает все простые, то, очевидно, любая абелева счетная группа туда вложится.
Также я умею доказывать то, что любая счетная группа вкладывается в $2$-порожденную. Это делается с помощью HNN-расширений.

Ну а оснвную часть доказать не могу. Что-то я как-то даже со вторым пунктом заступорился по модулю первого.

 
 
 
 Re: Теория групп 4 (свободные конструкции)
Сообщение30.06.2014, 14:52 
Аватара пользователя
Foxer в сообщении #882238 писал(а):
Так, во-первых, хочется заметить, что для абелевых групп такое не верно. Если мы возьмем счетную сумму слагаемых следующего вида $\underset{\mathbb{N}}{\bigoplus}\mathbb{Z}_p$ и $\underset{\mathbb{N}}{\bigoplus}\mathbb{Z}$, где $p$ пробегает все простые, то, очевидно, любая абелева счетная группа туда вложится.
Это неправда, $\mathbb{Q}$ туда не вложится (потому что в Вашей группе для любого элемента $x$ найдется натуральное $n$ такое, что $x$ не равно $ny$ ни для какого $y$).

По основному вопосу пока не могу ничего сказать, конструкцию вложения не знаю.

 
 
 
 Re: Теория групп 4 (свободные конструкции)
Сообщение30.06.2014, 15:26 
Аватара пользователя
Xaositect, да, я соврал, извините. От каждого слагаемого нужно взять его пополнение =). Т.е. счетную сумму слагаемых следующего вида $\underset{\mathbb{N}}{\bigoplus}\mathbb{Z}_{p^\infty}$ и $\underset{\mathbb{N}}{\bigoplus}\mathbb{Q}$, где $p$ пробегает все простые.
И это тоже не сказал бы, что таки очевидный факт, как изначально было заявлено. Нужно вспомнить два утверждения: любая абелева группа вкладывается в полную абелеву, ну и как в целом устроены пополнения абелевых групп.

 
 
 
 Re: Теория групп 4 (свободные конструкции)
Сообщение30.06.2014, 18:39 

(Снова $\TeX$.)

А зачем вы используете \underset, когда это стандартный случай для \limits: $\bigoplus\limits_{\mathbb N}\mathbb Q$. \limits сохраняет пробелы вокруг $\bigoplus$.

 
 
 
 Re: Теория групп 4 (свободные конструкции)
Сообщение01.07.2014, 10:57 
Аватара пользователя

(Оффтоп)

arseniiv, совсем забыл, уж не карайте строго.

 
 
 
 Re: Теория групп 4 (свободные конструкции)
Сообщение01.07.2014, 15:22 

(Оффтоп)

Не-не, совсем не собирался. Это просто как маленькое напоминание, что можно меньше писать и больше получить.

 
 
 
 Re: Теория групп 4 (свободные конструкции)
Сообщение02.07.2014, 13:09 
группа $\underset{p \in \pi}{\bigoplus}\mathbb{Z}_p$ не более чем счетная. Для различных $\pi$ такие группы неизоморфны, а мощность всех этих ваших $\pi$ ...

 
 
 
 Re: Теория групп 4 (свободные конструкции)
Сообщение02.07.2014, 13:23 
Аватара пользователя
VladimirKr в сообщении #883124 писал(а):
группа $\underset{p \in \pi}{\bigoplus}\mathbb{Z}_p$ не более чем счетная. Для различных $\pi$ такие группы неизоморфны, а мощность всех этих ваших $\pi$ ...

А с чего Вы взяли, что когда мы HNN-расширениями вложим континуум неизоморфных групп в $2$-порожденные, то опять от них останется континуум неизоморфных? Может какие-то совпадут. В этом то и заключается вся первая часть задачи.

 
 
 
 Re: Теория групп 4 (свободные конструкции)
Сообщение02.07.2014, 14:48 
Аватара пользователя
Посмотрел немного про NHH-расширения. Есть такой факт, что любой элемент конечного порядка сопряжен элементу исходной группы. С помощью него все доказывается.

 
 
 
 Re: Теория групп 4 (свободные конструкции)
Сообщение02.07.2014, 16:20 
Аватара пользователя
Xaositect в сообщении #883162 писал(а):
Есть такой факт, что любой элемент конечного порядка сопряжен элементу исходной группы.

Что-что-что, извините?)

 
 
 
 Re: Теория групп 4 (свободные конструкции)
Сообщение02.07.2014, 16:34 
Аватара пользователя
Если $G^*$ есть HNN-расширение группы $G$, и $x\in G^{*}$ --- элемент конечного порядка, то $x = hgh^{-1}$ для некоторого $g\in G$.
Доказывается несложно из леммы Бриттона.

 
 
 [ Сообщений: 11 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group