The independence theorem says, roughly, that a family of $\sigma\in\mathrm{Aut}\_k(K)$ is $K$-linearly independent. In his Algebra, Serge Lang gave a proof of independence theorem following Artin (which is also the proof used in Jacobson's lecture notes), mentioning that Dedekind used a different approach, with a "suitable choice" of $k$-basis $\omega$ such that $\det(\sigma\_i\omega\_j)\neq 0$.


I would love to learn more about this choice of $k$-basis. A google search yields Frobenius's determinant theorem. Is there any connection?



Dedekind's original proof of independence theorem
It seems that the original proof can be found in Volume 2 of "Gesammelte matematische Werke" [Complete mathematical works], published in 1930, which was compiled and edited by Fricke, Noether and Ore. More specifically, you can find the full proof -- two pages -- starting on Page 416, Section XLIV. This proof seems to contain the ideas of a suitable choice of $k$-basis with non-zero determinants. 


Unfortunately, I am not aware of any existing English translations of this book, but it should be navigable if you are familiar enough in the area, as with all mathematics. The concluding line



> 
> *... woraus folgt, daß alle $h=0$ sind.* 
> 
> 
> 


should be recognisable in any proof of linear independence! Note that the full texts of all three volumes of this book are available online from the Göttingen State and University Library, at this [link](https://gdz.sub.uni-goettingen.de/id/PPN235685380). The page you are interested in is [this one.](https://gdz.sub.uni-goettingen.de/id/PPN235693928?tify=%7B%22pages%22:[417],%22panX%22:0.597,%22panY%22:0.74,%22view%22:%22fulltext%22,%22zoom%22:0.408%7D)


