NVM im not doing this course now, maybe I’ll update at some point
GRM revision Euclidean, PID, max ideal …
Field extensions
L/K is a finite extension if L is a finite dim vector space over K and the degree of field extension is the dimension of L
embedding
Finite fields have prime power sizes
There is exactly one field of order