Timeline for A finitely generated $\mathbb{Z}$-algebra that is a field has to be finite
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 9, 2023 at 20:47 | comment | added | LSpice | What does "relative" mean in "$k$ relative integers"? \\ @aglearner, it's not on the web and I don't know if it counts as pedagogical, but Borel discusses Chevalley's theorem in Corollary AG 10.2 of Linear algebraic groups. | |
| Apr 9, 2023 at 20:46 | history | edited | LSpice | CC BY-SA 4.0 |
Typo, while this is on the front page
|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Oct 14, 2012 at 13:34 | comment | added | aglearner | After one year and half I guess I understand the logic of both answers. Could you please say if there is a pedagogic explanation of Chevalet's theorem somewhere on the web? | |
| Oct 14, 2012 at 13:32 | vote | accept | aglearner | ||
| Mar 7, 2011 at 8:14 | comment | added | Qing Liu | Sorry, my punctions were not good. I should write "If a maximal ideal ..., so there exists f". The existence of such a $f$ is a form of Noether's normalization lemma that you can find at mathoverflow.net/questions/42276 | |
| Mar 7, 2011 at 0:16 | comment | added | aglearner | @Qing Liu, thanks for the answer. I am lost when you say in lines 2-3 of Edit: "So there exits $f\in \mathbb Z$ non-zero and a finite injective homomorphism ...". Why is there such $f$? | |
| Mar 6, 2011 at 10:17 | comment | added | Qing Liu | The theorem of Chevalley can be proved by induction, using the second argument :). | |
| Mar 6, 2011 at 2:49 | comment | added | Daniel Litt | This first argument is quite nice! | |
| Mar 6, 2011 at 0:56 | history | edited | Qing Liu | CC BY-SA 2.5 |
another proof
|
| Mar 6, 2011 at 0:33 | history | answered | Qing Liu | CC BY-SA 2.5 |