{"title":"Galois\u7406\u8ad6(64)\u2015\u7dda\u578b\u7121\u95a2\u9023\u6027\u306e\u4f8b","blog_url":"https://randommemory.hatenablog.com/","provider_url":"https://hatena.blog","provider_name":"Hatena Blog","image_url":null,"author_url":"https://blog.hatena.ne.jp/derwind/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F10%2F17%2F224911\" title=\"Galois\u7406\u8ad6(64)\u2015\u7dda\u578b\u7121\u95a2\u9023\u6027\u306e\u4f8b - \u3089\u3093\u3060\u3080\u306a\u8a18\u61b6\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","width":"100%","categories":["math-alg"],"url":"https://randommemory.hatenablog.com/entry/2016/10/17/224911","height":"190","author_name":"derwind","type":"rich","version":"1.0","blog_title":"\u3089\u3093\u3060\u3080\u306a\u8a18\u61b6","published":"2016-10-17 22:49:11","description":"\u4f8b $K \\subset L_1, L_2 \\subset \\bar{K}$ \u3068\u3059\u308b\u3002 $[L_1:K]=m,\\ [L_2:K] = n$ \u3068\u3057\u3001 $(m,n)=1$ \u3068\u3059\u308b\u3002 \u3053\u306e\u6642\u3001 $L1$ \u3068 $L_2$ \u306f\u7dda\u578b\u7121\u95a2\u9023\u3067\u3042\u308b\u3002 \u2235) $[L_1 L_2:K] = [L_1 L_2: L_1][L_1:K]$ \u3088\u308a $m | [L_1 L_2:K]$ \u3067\u3042\u308a\u3001\u540c\u69d8\u306b $n | [L_1 L_2:K]$ \u3067\u3042\u308b\u3002\u6545\u306b $mn | [L_1 L_2:K]$ \u3067\u3042\u308b\u3002\u4e00\u65b9\u3001 $L_1 L_2$ \u306e $K$ \u4e0a\u306e\u57fa\u5e95\u306f\u9ad8\u3005 $mn$ \u3067\u3042\u308b\u3001\u3064\u307e\u308a $[L_1 L_2:K] \\le mn$ \u3067\u3042\u2026"}