In 14.4 of "Introduction to Affine Group Schemes" (by William C. Waterhouse) it is proved (!) that if $A$ represents a finite connected group scheme over a perfect field $k$ of characteristic $p$ then $A$ has the form $k[X_{1}, X_{2}, ..., X_{n}] / (X_{1}^{p^{e_{1}}}, ...., X_{n}^{p^{e_{n}}})$. But what about $\mu_{p} = k[X]/(X^{p}-1)$? It is connected but not isomorphic to $k[X]/(X^{p})$ as $k$-groups. They are isomorphic as $k$-schemes. Does this theorem mean " ...... $A$ has the form $k[X_{1}, X_{2}, ..., X_{n}] / (X_{1}^{p^{e_{1}}}, ...., X_{n}^{p^{e_{n}}})$ up to isomorphism of $k$-schemes"?
|
3 | added 6 characters in body; deleted 6 characters in body | ||
|
|
||||
|
|
2 | added author of book and 3 more tags | ||
|
In 14.4 of "Introduction to Affine Group Schemes" (by William C. Waterhouse) it is proved (!) that if $A$ represents a finite connected group scheme over a perfect field $k$ of characteristic $p$ then $A$ has the form $k[X_{1}, X_{2}, ..., X_{n}] / (X_{1}^{p^{e_{1}}}, ...., X_{n}^{p^{e_{n}}})$. But what about $\mu_{p} = k[X]/(X^{p}-1)$? It is connected but not isomorphic to $k[X]/(X^{p})$ as $k$-groups. They are isomorphic as $k$-schemes. Does this theorem mean " ...... $A$ has the form $k[X_{1}, X_{2}, ..., X_{n}] / (X_{1}^{p^{e_{1}}}, ...., X_{n}^{p^{e_{n}}})$ up to isomorphism of $k$-schemes"?
|
||||
|
|
1 |
|
||
Finite connected groups over a perfect field of characteristic pIn 14.4 of "Introduction to Affine Group Schemes" it is proved (!) that if $A$ represents a finite connected group scheme over a perfect field $k$ of characteristic $p$ then $A$ has the form $k[X_{1}, X_{2}, ..., X_{n}] / (X_{1}^{p^{e_{1}}}, ...., X_{n}^{p^{e_{n}}})$. But what about $\mu_{p} = k[X]/(X^{p}-1)$? It is connected but not isomorphic to $k[X]/(X^{p})$ as $k$-groups. They are isomorphic as $k$-schemes. Does this theorem mean " ...... $A$ has the form $k[X_{1}, X_{2}, ..., X_{n}] / (X_{1}^{p^{e_{1}}}, ...., X_{n}^{p^{e_{n}}})$ up to isomorphism of $k$-schemes"?
|
||||
