show/hide this revision's text 2 improved formatting

I used to believe that a continuous algebra homomorphism from k[[x_1, ... x_m]] $k[[x_1,\dots, x_m]]$ to k[[y_1, ... y_n]], $k[[y_1,\dots,y_n]]$, with $m > nn$, could not be injective. Konstantin Ardakov set me straight on this.

show/hide this revision's text 1 [made Community Wiki]

I used to believe that a continuous algebra homomorphism from k[[x_1, ... x_m]] to k[[y_1, ... y_n]], with m > n, could not be injective. Konstantin Ardakov set me straight on this.