2014 dxdy logo

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

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




 
 изомоморфизм групп
Сообщение27.12.2010, 01:30 
Аватара пользователя
Дана группа $G=\{(a_1,a_2)|a_1,a_2\in\mathbb{R}\}$ относительно операции умножения, введённой следующим образом: $(a_1,a_2)(b_1,b_2)=(a_1b_1,a_2b_2)$
Требуется привести пример числовой группы, изоморфной данной, либо доказать, что таковой не существует.
Мне кажется, что таковой не существует, но как подступиться к доказательству не существования изоморфизма вообще не представляю.

 
 
 
 Re: изомоморфизм
Сообщение27.12.2010, 01:52 
Аватара пользователя
А это и не группа будет. $1_{G}=(1,1),$ тогда, например, эл-ты $(a,0)$ необратимы.

 
 
 
 Re: изомоморфизм
Сообщение27.12.2010, 08:44 
Наверное, вместо $\mathbb R$ должно стоять $\mathbb R\setminus \{0\}$.
Числовой, имеется ввиду подгруппы мультипликативной группы комплексных чисел?

 
 
 
 Re: изомоморфизм
Сообщение27.12.2010, 10:01 
Аватара пользователя
Действительно, имелось ввиду $G=\{(a_1,a_2)|a_1,a_2\in\mathbb{R}\setminus \{0\}\}$ А с тем, что подразумевать под числовой группой я и сам не знаю точно(

 
 
 
 Re: изомоморфизм
Сообщение27.12.2010, 10:42 
Аватара пользователя
Сколько в $G$ элементов порядка 2?

 
 
 
 Re: изомоморфизм
Сообщение27.12.2010, 10:56 
Аватара пользователя
А что вы имеете ввиду под порядком элемента? Мне изверно лишь о определении порядка для циклических групп.

 
 
 
 Re: изомоморфизм
Сообщение27.12.2010, 12:31 
Аватара пользователя
Ну поисковик же есть.

 
 
 
 Re: изомоморфизм
Сообщение29.12.2010, 17:12 
Аватара пользователя
PreVory в сообщении #392196 писал(а):
Требуется привести пример числовой группы, изоморфной данной, либо доказать, что таковой не существует.

Какие группы считаются числовыми?

 
 
 
 Тему надо читать всю :D
Сообщение29.12.2010, 17:41 
Аватара пользователя
Профессор Снэйп в сообщении #393388 писал(а):
Какие группы считаются числовыми?

Тут сделали предположение, что подгруппы $(\mathbb{C}^{*}, \cdot).$ Ну и идею д-ва дали уже.

 
 
 
 Re: изомоморфизм
Сообщение29.12.2010, 19:24 
Аватара пользователя
Ну да. Коммутативное кольцо, мультипликативный моноид является группой. В $\mathbb{C}$ один элемент порядка $2$, а тут больше.

Но если брать $\mathbb{R}_+ = \{ r \in \mathbb{R} : r > 0 \}$, то $\mathbb{R}_+^2 \cong \mathbb{R}_+$. Причину неоднократно писали уже.

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


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