マガジンのカバー画像

龍孫江の群論・環論道具箱

龍孫江の群論道具箱・環論道具箱の記事を同時に読める合冊版です.それぞれ購読するよりはお得な価格設定となっております!龍孫江へのご支援を兼ねてご購読いただければ幸いです.
¥700 / 月 初月無料
運営しているクリエイター

2024年11月の記事一覧

零化イデアル〈龍孫江の環論道具箱〉

 コロンイデアルを導入し,イデアルを観察する道具が揃いつつあります.イデアルから環の仕組…

部分群の指数〈龍孫江の群論道具箱〉

 左右の剰余類を導入した折に,その数については特に述べていませんでした.実は,左剰余類と…

コロンイデアル〈龍孫江の環論道具箱〉

 要素の演算をイデアルによって再表現する中で,「商」に対応するイデアルを作りました.とこ…

交代群〈龍孫江の群論道具箱〉

 あみだくじへの分解を通して転倒数から置換の符号を導入し,偶置換・奇置換を定義するに至り…

商とイデアル〈龍孫江の環論道具箱〉

 素元分解によって整除関係を顕わにし,商を記述することができました.これを発展させて,よ…

偶置換・奇置換〈龍孫江の群論道具箱〉

 符号$${\operatorname{sgn} \sigma := (-1)^{\operatorname{inv} \sigma}}$$が準同型,すな…

ゼータ関数の特殊値~超越数探求の最前線~

指数関数$${e^x}$$や対数関数$${\log x}$$はたくさんの超越数を生み出すことがわかりました。そういう関数は、他にもあるのでしょうか? 『笑わない数学』第1巻「素数」で、素数の秘密を握る重要な関数としてリーマンのゼータ関数が登場しました。 $$ \zeta(s) = \frac{2^s}{2^s-1} \times \frac{3^s}{3^s-1} \times \frac{5^s}{5^s-1} \times \frac{7^s}{7^s-1} \tim

GCDとLCM〈龍孫江の環論道具箱〉

 素元分解を用いて,整域におけるいろいろな性質を書き直そうと試みています.前回は整除関係…

符号と演算〈龍孫江の群論道具箱〉

 置換$${\sigma}$$の符号$${\operatorname{sgn} \sigma}$$を,転倒数を用いて$${\operatornam…

素元分解と整除関係〈龍孫江の環論道具箱〉

 一意分解整域(UFD)の概念を導入し,整域がUFDとなる条件を考えてきました.一方,素元分解…

置換の符号〈龍孫江の群論道具箱〉

 転倒数を導入し,その性質を活用して置換を隣接互換の積に分解する方法を与えました.かよう…

ネーター環の特徴づけ〈龍孫江の環論道具箱〉

 ネーター環(昇鎖律および極大条件をみたす可換環)を導入し,PIDがネーター環であること…

置換の最短表示〈龍孫江の群論道具箱〉

 転倒数を導入してその性質を観察し,置換のあみだくじ表現について整理する準備が整いました…

PIDのネーター性〈龍孫江の環論道具箱〉

 ネーター環の概念を導入し,PIDがUFDである証明の準備が整いました.PIDで「既約元は素元である」は既に示しました.残る課題は「単項イデアルに関する極大条件」でしたが,これはネーター性から自然に導かれます. https://youtu.be/MKNghWqw9N0 定理(PIDのネーター性)PIDはネーター環である.□