Timeline for Dedekind's original proof of independence theorem
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 21, 2019 at 17:04 | vote | accept | anonymous67 | ||
| Feb 21, 2019 at 16:54 | comment | added | Carl-Fredrik Nyberg Brodda | My (admittedly cursory) reading of it agrees with what you say. You may also find it useful to read through this English summarized, annotated and translated version of Dedekind's work on the topic and related material. The proof of the statement can be found on page 39 (where "irreducible" is used in place of "independent"). All needed terminology is helpfully explained in the beginning, so it may be nice to read it all the way from the start. | |
| Feb 21, 2019 at 15:29 | comment | added | anonymous67 | Thank you for the reference! It seems to me that Dedekind constructed, by mean of differential forms, a $k$-basis of the subfield $K^H$ consisting of elements fixed under the action of a subgroup $H\in\mathrm{Aut}_k K$ (I guess this subfield is called Ideal), and the group considered is cyclic. It's quite suggestive. | |
| Feb 21, 2019 at 15:16 | vote | accept | anonymous67 | ||
| Feb 21, 2019 at 15:16 | |||||
| Feb 21, 2019 at 14:35 | vote | accept | anonymous67 | ||
| Feb 21, 2019 at 14:54 | |||||
| Feb 21, 2019 at 8:26 | history | edited | Jochen Wengenroth | CC BY-SA 4.0 |
German spelling corrected
|
| Feb 21, 2019 at 8:10 | history | answered | Carl-Fredrik Nyberg Brodda | CC BY-SA 4.0 |