Prendiamo un campo $K$, algebricamente chiuso di caratteristica $0$.
Siano $A$ e $B$ due algebre finitamente generate su $K$.
Si dimostra che queste algebre sono isomorfe a quozienti di anelli di polinomi su $K$. In particolare indichiamo:
$A = {K[x_1, ... , x_n ] }/ I$
$B = {K[y_1, ... , y_m] }/ J$
Sia $\varphi : A \to B$ un $K$-morfismo di algebre, che sia cioè un omomorfismo di anelli da $A$ a $B$ e che valga l'identità su $K$ (o meglio sulle due copie di $K$ immerse nelle due algebre).
E' possibile mostrare che la retroimmagine di un ideale massimale di $B$ è un ideale massimale di $A$???
La risposta dovrebbe essere sì; infatti ho trovato una dimostrazione di questo fatto sul testo di Kenji Ueno - Algebraic Geometry 1 (Lemma 1.23, pg. 22); ma questa dimostrazione fa un passaggio che non riesco a capire.
La metto in spoiler per non dare suggerimenti a chi volesse provare da zero:
Testo nascosto, fai click qui per vederlo
Si considera $m$ ideale massimale di $B$ e si prende il morfismo $\psi$ indotto da $\varphi$:
$\psi : A / {\varphi^{-1} (m)} \to B/{(m)}$
Il testo taglia corto dichiarando immediatamente che $\psi$ è un ismorfismo: la massimalità di $m$ ci dice che a destra abbiamo un campo; l'isomorfisimo $\psi$ ci dice che anche a sinistra abbiamo un campo, e questo causa la massimalità della retroimmagine.
Quello che io non riesco a vedere è come si possa dire immediatamente che $\psi$ è un isomorfismo.
$\psi : A / {\varphi^{-1} (m)} \to B/{(m)}$
Il testo taglia corto dichiarando immediatamente che $\psi$ è un ismorfismo: la massimalità di $m$ ci dice che a destra abbiamo un campo; l'isomorfisimo $\psi$ ci dice che anche a sinistra abbiamo un campo, e questo causa la massimalità della retroimmagine.
Quello che io non riesco a vedere è come si possa dire immediatamente che $\psi$ è un isomorfismo.
Spero di essere stato chiaro. Grazie fin da ora per le risposte.