2014 dxdy logo

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

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




На страницу 1, 2, 3, 4, 5  След.
 
 Задачки по группам (Винберг)
Сообщение17.02.2011, 17:53 
Аватара пользователя
1.3. Доказать, что если в множестве $G$ с ассоциативной операцией существует такой элемент $e$ (правая единица), что $ae=a$ для любого $a\in G$, и для любого $a\in G$ существует такой элемент $a^{-1}$ (правый обратный элемент), что $aa^{-1}=e$, то $G$ -- группа.

$ee^{-1}=e$, поэтому $e^{-1}=e$. А доказать, что $\forall a\in G$ выполняется $ea=a$ и $a^{-1}a=e$ не получается. Дайте, пожалуйста, подсказку.

Пробовал умножать обе части данных равенств на что-нибудь, брать ${}^{-1}$ от обеих частей... Не помогло. Получилось только $ea^{-1}=a^{-1}$, но не знаю, чем это полезно...

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение17.02.2011, 18:06 
caxap в сообщении #414042 писал(а):

$ee^{-1}=e$, поэтому $e^{-1}=e$.

Почему?

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение17.02.2011, 18:13 
Аватара пользователя
По условию, $(\forall a\in G)\ aa^{-1}=e$. В частности, это верно для $e$: $ee^{-1}=e$. То есть $e^{-1}$ является правой едини... ой :oops: . Она бы была правой единицей, если бы для всех элементов $G$ это выполнялось, а я показал только для одного. :-(

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение19.02.2011, 23:08 
Аватара пользователя
Вот с этой задачей тоже никак не разберусь:

3.1. Доказать, что порядок любого элемента группы $\mathrm S_n$ [группа подстановок] не превосходит $e^{n/e}\approx 1{,}44^n$.

Наверное, следует использовать разложение подстановки на независимые циклы (в этом случае порядок подстановки равен НОК длин всех циклов, на которые она раскладывается). Поскольку $\mathrm{lcm}\,\{a,b\}=\dfrac{ab}{\mathrm{gcd}\,\{a,b\}}$, то надо искать такое разложение $\sigma=\tau_1\cdots \tau_m$, чтобы длины циклов были взаимно просты (в этом случае порядок $\sigma$ будет равен $\tau_1\cdots \tau_m$). Тут я завис. В каком направлении дальше думать?

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение19.02.2011, 23:26 
НОК чисел можно оценить их произведением. Тут этого достаточно.

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение19.02.2011, 23:47 
Аватара пользователя
Null в сообщении #414823 писал(а):
НОК чисел можно оценить их произведением.

Ну это я понял (см. выше). Но к оценке $e^{n/e}$ прийти не получается.

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение19.02.2011, 23:54 
$n+3<3*n$, при $n+3\ge5$
$4=2*2$
$2*2*2<3*3$

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение19.02.2011, 23:57 
Аватара пользователя
Null, я опять вас не понял...

Но у меня что-то получилось: Если подстановка разбивается на $k$ циклов равной длины, то получаем оценку $(n/k)^k$. Если искать максимум по $k$, то получаем $k=n/e$ и оценку $e^{n/e}$.

Но как доказать, что именно при циклах равной длины получается максимум? В силу симметрии?..

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение20.02.2011, 00:16 
Я предлагаю разбить длинные циклы. А потом 3 двойки заменить на 2 тройки.

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение20.02.2011, 00:55 
Аватара пользователя
Неравенство между средним геометрическим и средним арифметическим.

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение20.02.2011, 13:21 
Аватара пользователя
caxap в сообщении #414840 писал(а):
Но как доказать, что именно при циклах равной длины получается максимум?

Вопрос снят. Разобрался, это обычный условный экстремум.

RIP
Не совсем понял :oops:

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение20.02.2011, 17:40 
$e e^{-1} = e \Rightarrow e e^{-1} e = e \Rightarrow e^{-1} e e^{-1} e = e^{-1} e$. Умножаем справа на правый обратный к $e^{-1} e$, получаем $e^{-1} e = e$.
Дальше, наверно, похожие "трюки".

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение21.02.2011, 23:05 
Аватара пользователя
caxap в сообщении #414938 писал(а):
RIP
Не совсем понял
Я имел в виду, что если длины циклов $l_1,\ldots,l_m$, то порядок $\le l_1\ldots l_m\le \left(\frac{l_1+\ldots+l_m}m\right)^m=\left(\frac nm\right)^m<\mathrm e^{n/\mathrm e}$.

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение21.02.2011, 23:12 
Аватара пользователя
RIP
Ааа, ясно. Спасибо!

 
 
 
 Re: Задачки по группам (Винберг)
Сообщение25.02.2011, 00:08 
Аватара пользователя
3.2. Доказать, что $\arctg \frac 34$ несоизмерим с $\pi$.

Задача в параграфе про циклические группы, наверное с этим надо как-то связать. Если взять число $c=\exp\left(i \arctg\frac 34\right)$, то для того, чтобы $\arctg\frac 34$ был соизмерим с $\pi$, нужно, чтобы порядок $c$ был конечен, то есть $\exists n \in\mathbb N: c^n=1$. Исходя из этого, я пытался к чему-нибудь прийти, что бы показывало, что такого $n$ не существует. Но каким бы путём я ни шёл, всё время возвращаюсь к началу (то есть к условиям типа $n\arctg \frac 34=2\pi k$, $k\in\mathbb Z$, что равносильно условию задачи).

Может я вообще не туда думаю. Дайте, пожалуйста, подсказку...

-- 25 фев 2011, 00:12 --

(Могу свести вопрос к соизмеримости $\arccos \frac45$ или $\arcsin\frac 35$ c $\pi$. Но, похоже, в этом полезного ничего нет.)

 
 
 [ Сообщений: 68 ]  На страницу 1, 2, 3, 4, 5  След.


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