$L/K$: ガロア拡大 $\overset{\text{def}}{\iff}$ 正規かつ分離拡大 $\iff$ $K$ 上のある分離的な既約多項式の分解体であった。更に、 $L/K$: 有限次拡大であれば、 $\#\mathrm{Aut}(L/K) = [L:K]$ という条件とも同値である(飽きたらやめようGalois理論(41)…

あー… えぇと… それはですねぇ…の「…」こと三点リーダー。 Ellipsis - Wikipedia, the free encyclopediaでは As the Japanese word for dot is pronounced "ten", the dots are colloquially called "ten-ten-ten" (てんてんてん, akin to the English "dot…