Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I don't understand the application of Serre's criterion. For example, $\mu_p$ is not smooth in characteristic $p$, but the category of representations is semisimple.
The answer first question is trivially positive. For the second, it is true if $A$ is noetherian and normal, but false in general (think of the normalization).
