[MD-sorular] Weil restriction

[Rukiye ÖZTÜRK]

Wikipedia  "Weil restriction" kavramını aşağıdaki gibi tanımlamış:
Aşağıdaki tanımlamada "*S X_k **L"  ile ne kastediliyor?*
**
**

Let *L/k* be a finite extension of fields, and *X* a variety defined over *L
*. The functor [image: \mathrm{Res}_{L/k}X] from
*k*-schemes<http://en.wikipedia.org/wiki/Scheme_(mathematics)>
op to sets is defined by
[image: \mathrm{Res}_{L/k}X(S) = X(S \times_k L)]

(In particular, the *k*-rational points of [image: \mathrm{Res}_{L/k}X] are
the *L*-rational points of *X*.) The variety that
represents<http://en.wikipedia.org/wiki/Representable_functor>this
functor is called the restriction of scalars, and is unique up to
unique isomorphism if it exists.
-- 
Rukiye
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20120426/4854246a/attachment.htm>