2014 dxdy logo

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

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




 
 Размерность пространства.
Сообщение13.03.2014, 23:46 
Пусть $\alpha$ - комплексный корень многочлена $p \in Q[x]$, неприводимого над $Q$. Найти размерность над полем $Q$ пространства $Q(a)$, состоящего из чисел вида $f(a)$, где $f\in Q[x]$.

Пространства $Q[x] \text{ и } Q(\alpha)$ изоморфны, следовательно их размерность совпадает, а значит размерность $Q(a)$ счётна. А в ответе размерность равна степени многочлена $p$. Где у меня ошибка, разве $Q[x] \text{ и } Q(\alpha)$ не изоморфны?

 
 
 
 Re: Размерность пространства.
Сообщение13.03.2014, 23:56 
неизоморфны - дело в том, что $p(a)=0$.

попробуйте доказать, что Ваше $\mathbb{Q}(a)$ изоморфно факторкольцу кольца $\mathbb{Q}[x]$ по главному идеалу $(p)$.

 
 
 
 Re: Размерность пространства.
Сообщение14.03.2014, 00:00 
patzer2097 в сообщении #836657 писал(а):
неизоморфны - дело в том, что $p(a)=0$.

попробуйте доказать, что Ваше $\mathbb{Q}(a)$ изоморфно факторкольцу кольца $\mathbb{Q}[x]$ по главному идеалу $(p)$.

А если мы ещё не изучали факторкольцо и идеал? В принципе мне это не мешает почитать о них, что я и сделаю. Но можно ли как-нибудь более по-простому?

 
 
 
 Re: Размерность пространства.
Сообщение14.03.2014, 00:56 
main.c в сообщении #836660 писал(а):
Но можно ли как-нибудь более по-простому?
ну можно. пусть $d=\deg p$.
многочлен $p$ сразу позволяет выразить $x^d$ линейно через $1,x,\ldots,x^{d-1}$. тогда можно проверить, что $1,x,\ldots,x^{d-1}$ порождают $\mathbb{Q}(a)$, и потому размерность $\mathbb{Q}(a)$ не больше $d$.
если $1,x,\ldots,x^{d-1}$ линейно зависимы, то есть многочлен $q$ степени меньше $d$, для которого $q(a)=0$. В этом случае у $q$ и $p$ есть нетривиальный общий делитель, что противоречит неприводимости $p$.

 
 
 
 Re: Размерность пространства.
Сообщение14.03.2014, 02:16 
вместо $x$ имел в виду $a$ всюду в предыдущем сообщении

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


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