{"type":"rich","blog_title":"\u3089\u3093\u3060\u3080\u306a\u8a18\u61b6","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%2F09%2F03%2F204300\" title=\"\u3064\u3044\u3067 - \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%","description":"Lemma $A$: \u74b0\u3002 $m_1, m_2 \\subset A$ \u3092\u7570\u306a\u308b\u6975\u5927\u30a4\u30c7\u30a2\u30eb\u3068\u3059\u308b\u3002\u3053\u306e\u6642\u3001 $m_1$ \u3068 $m_2$ \u306f\u4e92\u3044\u306b\u7d20\u3067\u3042\u308b\u3002 proof $ 1 \\not\\in m_1 + m_2$ \u3068\u3059\u308b\u3002\u3068\u3053\u308d\u304c\u3001 $m_1 + m_2$ \u306f\u30a4\u30c7\u30a2\u30eb\u3067\u3042\u308a\u3001 $m_1 \\subset m_1 + m_2 \\subsetneq A$ \u3067\u3042\u308b\u306e\u3067\u3001$m_1$ \u306e\u6975\u5927\u6027\u306b\u3088\u308a $m_1 = m_1 + m_2$ \u3068\u306a\u308b\u304c\u3001\u540c\u69d8\u306b $m_2 = m_1 + m_2$ \u3068\u306a\u308b\u306e\u3067\u3001 $m_1 = m_2$ \u3068\u306a\u308a\u77db\u76fe\u3067\u3042\u308b${}_\\blacksquare$ Lemma $I_1, I_\u2026","blog_url":"https://randommemory.hatenablog.com/","image_url":null,"provider_name":"Hatena Blog","version":"1.0","published":"2016-09-03 20:43:00","provider_url":"https://hatena.blog","categories":["math-alg"],"url":"https://randommemory.hatenablog.com/entry/2016/09/03/204300","height":"190","author_name":"derwind","title":"\u3064\u3044\u3067"}