GrothendieckによるスキームのGalois理論をなぞって、体上の有限代数に対するGalois理論を展開します。予備知識はテンソル積など環と加群の基本事項です。