2014 dxdy logo

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

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




 
 Факторгруппа. Изоморфизм
Сообщение15.12.2009, 14:57 
Помогите разобраться с задачей.
Нужно док-ть утверждение, что факторгруппа мультипликативной группы невырожденных квадратных матриц порядка n над полем комплексных чисел по группе матриц с определителями, по модулю равными 1, изоморфна мультипликативной группе положительных действительных чисел.

Здесь, как я думаю, нормальный делитель H= {A | |detA|=1}, т.к. выполнено det (C^(-1)*A*C)=det A
Элементы факторгруппы по ее нормальному делителю имеют вид
B*H={V | det B=det V}
Теперь нужно придумать отобращение из этого множ-ва в <R+,*>
Я сначала думала, что эту функцию можно связать с оперелителями, т.е.
f(B |det B =b} = b, f(A*B |det(A*B)=detA * detB}=a*b. Но матрицы с комплексными коэффициентами, поэтому определитель может быть комплексным числом. Можно ли придумать другое отображение, сохраняющее операции(изоморфизм)?

 
 
 
 Re: Факторгруппа. Изоморфизм
Сообщение15.12.2009, 15:18 
Аватара пользователя
AnnaZZ в сообщении #271667 писал(а):
Я сначала думала, что эту функцию можно связать с оперелителями...

Не только можно, но и нужно.

AnnaZZ в сообщении #271667 писал(а):
Но матрицы с комплексными коэффициентами, поэтому определитель может быть комплексным числом. Можно ли придумать другое отображение, сохраняющее операции(изоморфизм)?

Модуль определителя :)

 
 
 
 Re: Факторгруппа. Изоморфизм
Сообщение15.12.2009, 16:58 
спасибо

 
 
 
 Re: Факторгруппа. Изоморфизм
Сообщение18.12.2009, 18:16 
Вы еще можете подсказать, как правильно построить здесь элементы факторгруппы по ее нормальному делителю? Просто мне сказали, что я их не правильно строю, поэтому не выполнено биективное отображение

 
 
 
 Re: Факторгруппа. Изоморфизм
Сообщение18.12.2009, 18:45 
Аватара пользователя
Элементы уже собссно сказаны - это классы матриц, модуль определителя которых один и тот же. Если же Вам требуется найти представителя класса, в котором лежит матрица $A$, то Вам нужно её представить в виде $\lambda B$, где $|\det B|=1$ и $\lambda > 0$. Найдите отсюда $\lambda $

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


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