2014 dxdy logo

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

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




 
 Алгебраическая геометрия
Сообщение13.02.2013, 23:43 
Доброй ночи! Упорно стараюсь разобраться с алгемом, но что-то не идет. Нужна помощь!
Пусть $k=\bar k$, $f: \mathbb A_k^1 \rightarrow \mathbb A_k^2$ отображение, заданное формулой $f(t)=(t^2,t^3)$. Нужно показать, что $f$ биекция на свой образ, но образ $f$ не изоморфен $\mathbb A^1$.

Спасибо!

 
 
 
 Re: Алгебраическая геометрия
Сообщение14.02.2013, 00:34 
По первому: Если $t^2=t'^2$ и $t^3=t'^3$, то поделив второе на первое, получим искомое.
По второму: Доказывайте, что $k[x,y]/(x^3-y^2)\not\cong k[x]$.

 
 
 
 Re: Алгебраическая геометрия
Сообщение20.02.2013, 20:13 
Спасибо большое! Со вторым пунктом так до конца не разобрался. Подскажите, пожалуйста, как доказать, что они не изоморфны?

 
 
 
 Re: Алгебраическая геометрия
Сообщение20.02.2013, 20:38 
Предположите, что они изоморфны, и посмотрите, куда переходят при этом изоморфизме образующие одного из этих колец — окажется, что они должны перейти в какие-то элементы другого кольца с удивительными свойствами, которых не бывает.

 
 
 
 Re: Алгебраическая геометрия
Сообщение20.02.2013, 20:59 
Пусть $x\rightarrow a, y\rightarrow b, x^3=y^2$, получается $a^3=b^2$. А что в этом плохого?

 
 
 
 Re: Алгебраическая геометрия
Сообщение20.02.2013, 21:04 
А что такое $a$ и $b$ по своей природе? Что Вы про них можете сказать, и будет ли такое отображение изоморфизмом?

 
 
 
 Re: Алгебраическая геометрия
Сообщение20.02.2013, 21:07 
А почему нельзя, например $a=x^2, b=x^3$?

 
 
 
 Re: Алгебраическая геометрия
Сообщение20.02.2013, 21:17 
Ежели это изоморфизм, то какой-то многочлен от двух переменных должен переходить в $x$. Интересно, какой же.

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


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