<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<oembed>
  <author_name>Wagomu</author_name>
  <author_url>https://blog.hatena.ne.jp/Wagomu/</author_url>
  <blog_title>冬の数学日記(Mathematic Diary in Winter)</blog_title>
  <blog_url>https://wagomu.hatenablog.com/</blog_url>
  <categories>
    <anon>代数</anon>
    <anon>数学</anon>
  </categories>
  <description>小ネタです。 定理pを3以上の素数, nを自然数とするとき, は巡回群 p進数を使った証明です。 証明: まず、Henselの補題より、は1のp-1乗根の集合を含む。さらにHenselの補題からはの代表系となることも分かる。が巡回群であるということから, 準同型で合成 が恒等写像となるものがとれる. よって, 次の(Abel群の)完全列 は分裂する. すなわち, である. ここでである. すると2つの(連続)全射準同型 exp:, の合成を考えるとが副巡回群でありNが有限群であることからNは巡回群であることがわかる. ここで, Nの位数はpベキであり, の位数はp-1であることからは巡回群. …</description>
  <height>190</height>
  <html>&lt;iframe src=&quot;https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwagomu.hatenablog.com%2Fentry%2F2015%2F06%2F03%2F160221&quot; title=&quot;巡回群 - 冬の数学日記(Mathematic Diary in Winter)&quot; class=&quot;embed-card embed-blogcard&quot; scrolling=&quot;no&quot; frameborder=&quot;0&quot; style=&quot;display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;&quot;&gt;&lt;/iframe&gt;</html>
  <image_url>http://chart.apis.google.com/chart?cht=tx&amp;chl=%7B%28%5Cmathbf%7BZ%7D%2Fp%5En%5Cmathbf%7BZ%7D%29%5E%7B%5Ctimes%7D%7D</image_url>
  <provider_name>Hatena Blog</provider_name>
  <provider_url>https://hatena.blog</provider_url>
  <published>2015-06-03 16:02:21</published>
  <title>巡回群</title>
  <type>rich</type>
  <url>https://wagomu.hatenablog.com/entry/2015/06/03/160221</url>
  <version>1.0</version>
  <width>100%</width>
</oembed>
