2014 dxdy logo

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

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




 
 Требуется помощь в доказательстве теоремы в теории групп.
Сообщение04.11.2018, 15:44 
Здравствуйте, есть теорема. Звучит следующим образом:
Для множества М с ассоциативной операцией равносильны следующие утверждения:
1) $(M, \cdot)$ - группа;
2) Для любой пары $a, b \in M$ каждое из уравнений $ax=b$ и $xa=b$ имеет единственное решение;
3) Для любой пары $a, b \in M$ каждое из уравнений $ax=b$ и $xa=b$ имеет по крайней мере одно решение.

Что я уже сделал:
Сначала возник вопрос в том, что такое равносильность утверждений. Как я понял: это значит что из каждого вытекает каждое. То есть:
    из утв. 1 вытекает утв. 2 и утв. 3,
    из утв. 2 вытекает утв. 1 и утв. 3,
    из утв. 3 вытекает утв. 2 и утв. 1.
Значит нужно рассмотреть три случая.
Первый случай выполняется по определению группы(см. Курош А.Г. "Теория групп).
Дальше затруднения:
Во втором случае: Как из "единственное" перейти к "по крайней мере одно"?
В третьем случае: Как из "по крайней мере одно" перейти к "единственное"?
И не эквивалентны ли они.
Дальше просто выведу в обоих случаях наличие единичного элемента, и следовательно утв. 1. Но эти два вопроса не дают мне покоя. Прошу помощи

 
 
 
 Posted automatically
Сообщение04.11.2018, 16:01 
 i  Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

 
 
 
 Posted automatically
Сообщение05.11.2018, 12:45 
 i  Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»

 
 
 
 Re: Требуется помощь в доказательстве теоремы в теории групп.
Сообщение05.11.2018, 14:52 
theblackbear в сообщении #1351624 писал(а):
Во втором случае: Как из "единственное" перейти к "по крайней мере одно"?
Что, правда-правда не знаете?

 
 
 
 Re: Требуется помощь в доказательстве теоремы в теории групп.
Сообщение05.11.2018, 15:52 
Аватара пользователя
theblackbear в сообщении #1351624 писал(а):
Во втором случае: Как из "единственное" перейти к "по крайней мере одно"?

Этот единственный по крайней мере один, не так ли?

 
 
 
 Re: Требуется помощь в доказательстве теоремы в теории групп.
Сообщение05.11.2018, 16:45 
Может, не хватало пары очевидных вещей, вот они:
theblackbear в сообщении #1351624 писал(а):
И не эквивалентны ли они.
Непосредственно — конечно нет. «Единственный» — это ровно один, не больше и не меньше, а «по крайней мере один» — это один или больше, то есть просто существование. Ещё можно добавить, что единственность объекта с выбранным свойством доказывается обычно одинаково: мы берём две произвольные штуки, обладающие этим свойством, и показываем их равенство.

 
 
 
 Re: Требуется помощь в доказательстве теоремы в теории групп.
Сообщение05.11.2018, 19:46 
Я не был до конца уверен, так как казалось, что есть какая нибудь загвоздка. Спасибо за то, что натолкнули на верные мысли в, надеюсь, верном направлении.

-- 05.11.2018, 19:49 --

arseniiv
Спасибо. Я искал подвох там, где его нет. Вы показали мне то, что я упустил

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


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