2014 dxdy logo

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

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




На страницу Пред.  1 ... 4, 5, 6, 7, 8  След.
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 14:24 
Профессор Снэйп в сообщении #556058 писал(а):
Naatikin в сообщении #556053 писал(а):
$\{a,e\}, aa=e$

Замечательно! Вы не будете возражать, если я сменю Ваши обозначения, просто заменив предложенные Вами символы на другие. Вместо $a$ я буду писать $1$, вместо $e$ буду писать $0$, а бинарную операцию обозначу символом $+$. То есть вместо $aa = e$ у меня будет $1 + 1 = 0$ и т. п. Или Вы не понимаете, о чём речь?

-- Ср апр 04, 2012 17:22:58 --

Кстати, Naatikin, мне тут пришла в голову идея. Вы случайно программированием не увлекаетесь?

понимаю
увлекаюсь

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 14:31 
Аватара пользователя
Naatikin в сообщении #556059 писал(а):
увлекаюсь

Это просто замечательно! Потому что тогда Вы наверняка знаете, что такое операция xor. Вот если есть два бита, $u$ и $v$, чему будет равен $u \mathop{\mathrm{xor}} v$?

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 14:36 
всё зависит от $u$ и $v$
если они различные то 1
если одинаковые то 0

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 14:46 
Аватара пользователя
Naatikin в сообщении #556067 писал(а):
всё зависит от и
если они различные то 1
если одинаковые то 0

Замечательно!

А теперь пусть $r_1$ и $r_2$ - два двухбитовых регистра. Понимаете, что означает выражение $r_1 \mathop{\mathrm{xor}} r_2$? Операция побитовая, xor производится независимо на каждом из двух битов.

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 14:51 
Профессор Снэйп в сообщении #556076 писал(а):
Naatikin в сообщении #556067 писал(а):
всё зависит от и
если они различные то 1
если одинаковые то 0

Замечательно!

А теперь пусть $r_1$ и $r_2$ - два двухбитовых регистра. Понимаете, что означает выражение $r_1 \mathop{\mathrm{xor}} r_2$? Операция побитовая, xor производится независимо на каждом из двух битов.

всё ещё не понимаю к чему это

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 14:52 
Аватара пользователя
Naatikin в сообщении #556077 писал(а):
всё ещё не понимаю к чему это

Подождите, не забегайте вперёд. Вы понимаете, что такое побитовый xor на двухбитовых регистрах?

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 14:54 
Профессор Снэйп в сообщении #556078 писал(а):
Naatikin в сообщении #556077 писал(а):
всё ещё не понимаю к чему это

Подождите, не забегайте вперёд. Вы понимаете, что такое побитовый xor на двухбитовых регистрах?

отдельно ксорим каждый бит: первый с первым, второй со вторым

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 14:57 
Аватара пользователя
Naatikin в сообщении #556079 писал(а):
отдельно ксорим каждый бит: первый с первым, второй со вторым

Превосходно!

Теперь давайте обозначим множество значений двухбитового регистра буквой $G$. Сколько в этом самом $G$ различных элементов? Сколько значений может принимать двухбитовый регистр?

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 15:11 
регистр принимет 4 состояния - 00, 11, 01, 10
различных элементов 4 - 00, 11,10,01

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 15:16 
Аватара пользователя
Короче. Меня тут из=за компутера выгоняют, поэтому не получится продолжить сократический диалог. Сразу нарисую программу дальнейших действий для Naatikin.

1) Поймите, что $G$ состоит из четырёх элементов.

2) Покажите, что $G$ с разобранной ранее бинарной операцией xor является группой, единичный элемент которой равен $00$. То есть в этой группе $e = 00$ и $ab = a \mathop{\mathrm{xor}} b$.

3) Осознайте, что эта группа не циклическая.

4) Так что насчёт вопроса, заданного в первом сообщении темы?

-- Ср апр 04, 2012 18:18:15 --

Ага, первый пункт намеченной программы уже пройден. Осталось пройти пункты 2 и 3, а затем улыбнуться на пункте 4.

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 15:28 
я построил таблицу, следовательно это группа

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 15:30 
Аватара пользователя
Какая именно группа? Не встречалась ли она Вам ранее?

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 15:36 
сложение по модулю 2

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 15:50 
Аватара пользователя
не знаю, о каком сложении Вы говорите. У нас был список всех групп до порядка 4 включительно, в абстрактном виде: вот элементы (буковки), вот соотношения. Это какая из них?

 
 
 
 Re: доказать, что любая группа из <= 4 элементов - циклическая
Сообщение04.04.2012, 15:57 
$\{e,a,b,c\}$, $a^{2}=e, b^{2}=e, c^{2}=e$

 
 
 [ Сообщений: 120 ]  На страницу Пред.  1 ... 4, 5, 6, 7, 8  След.


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