Oui, bien sur. Tu peux l'interpréter comme $\C[X,Y]/(Y^2-X)$ ce qui évite toutes les vérifications fastidieuses. Mais c'est exactement ce à quoi on pense (enfin, ce à quoi, je pense)
Merci ! Ok on quotiente par la relation qu'on "veut" : $\sqrt{X}^2=X$. On a donc un idéal de $\C[X,Y]$ et le quotient est un anneau. Les éléments sont bien de la forme $a_n\sqrt{X}^n+\dots+ a_0$ ?
Quand tu veux munir ensemble de polynômes de la structure d'anneau l'indéterminée est un objet formel. Ainsi que tu la notes X ou n'importe quoi d'autre ça ne change rien.
Atention! L'anneau $\C[\sqrt X]$ existe et comme dit ci-dessus, est isomorphe à l'anneau $\C[T]$. En revanche, si tu prends une fonction polynômiale $P(z)$ définie sur $\C$ il est hors de question de considérer $P({\red \sqrt z})$...
Réponses
Oui, bien sur. Tu peux l'interpréter comme $\C[X,Y]/(Y^2-X)$ ce qui évite toutes les vérifications fastidieuses. Mais c'est exactement ce à quoi on pense (enfin, ce à quoi, je pense)
oui, c'est un anneau (tu aurais pu le vérifier toi-même), isomorphe à $ \C[T]$.
Je ne suis algébrahiste (Dieu merci) mais est-ce que $\C[X,Y]/(Y^2-X)$ ne ressemblerait pas à ce que tu cherches ?
PS : Bon, à la réflexion ma proposition a quand même l'air de ressembler beaucoup à $\C[Y]$...