大学数学基礎解説

環の定義に加法の可換性が不要であること【テスト記事】

代数学,環論,雑学

2053

本記事では環の標準的な定義を与えた上で，その定義が実は冗長であることを述べる．

環

五つ組 $⟨ R, +, 0, \times, 1 ⟩$ が環であるとは，

三つ組 $⟨ R, +, 0 ⟩$ は可換群である．
三つ組 $⟨ R, \times, 1 ⟩$ はモノイドである．
三つ組 $⟨ R, +, \times ⟩$ は両側分配系である．

を満たすことである．

次に，本稿で考察する代数系に名前を付ける．

弱そうな環

五つ組 $⟨ R, +, 0, \times, 1 ⟩$ が弱そうな環であるとは，

三つ組 $⟨ R, +, 0 ⟩$ は可換とは限らない群である．
三つ組 $⟨ R, \times, 1 ⟩$ はモノイドである．
三つ組 $⟨ R, +, \times ⟩$ は両側分配系である．

を満たすことである．

次が本稿で述べたい主張である．

弱そうな環が弱くないこと

五つ組 $⟨ R, +, 0, \times, 1 ⟩$ について，次は同値である．

$⟨ R, +, 0, \times, 1 ⟩$ は環である．
$⟨ R, +, 0, \times, 1 ⟩$ は弱そうな環である．

(1)ならば(2)が成り立つことは明白であるから，(2)ならば(1)を示す． $⟨ R, +, 0, \times, 1 ⟩$ が弱そうな環であるとしよう．示すべきは加法の可換性であるから，台集合 $R$ の任意の二元 $r$ ， $r^{'}$ について
$r + r^{'} = r^{'} + r$
が成り立つことである．よって台集合 $R$ の二元 $r$ ， $r^{'}$ を任意に取ろう．このとき $(1 + r) \times (1 + r^{'})$ に注目し，これを両側分配律を用いて展開すると
$\begin{array}{rcl} (1 + r) \times (1 + r^{'}) \\ = & (1 + r) \times 1 + (1 + r) \times r^{'} \\ = & 1 \times 1 + r \times 1 + 1 \times r^{'} + r \times r^{'} \\ = & 1 + r + r^{'} + r \times r^{'} \end{array}$
および
$\begin{array}{rcl} (1 + r) \times (1 + r^{'}) \\ = & 1 \times (1 + r^{'}) + r \times (1 + r^{'}) \\ = & 1 \times 1 + 1 \times r^{'} + r \times 1 + r \times r^{'} \\ = & 1 + r^{'} + r + r \times r^{'} \end{array}$
をが従う．両者は一致していることに注意すると
$1 + r + r^{'} + r \times r^{'} = 1 + r^{'} + r + r \times r^{'}$
が成立し，左側から $- 1$ を加え，右側から $r \times r^{'}$ を加えると
$r + r^{'} = r^{'} + r$
が得られる．これは示したかった等式であり， $r$ および $r^{'}$ の取り方が任意であることに留意すると，加法の可換性が証明された．
以上より，弱そうな環の加法は可換であることが分かったため，弱そうな環は環である．

弱そうな環は実際は弱くなかったことが分かりました．このように一見すると弱そうだが実は弱くないということは数学に於いてしばしば起こります．現実世界で紳士的に振舞うのと同様に，数学的対象に対しても紳士的に振舞っていきたいものです．

投稿日：2020年11月7日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

サクラ

5890

関東で一般大学院生をしています．多元環の表現論が専門です． Mathtodon：https://mathtod.online/web/accounts/1573

他の人のコメント

コメントはありません。

読み込み中

サクラ

環の定義に加法の可換性が不要であること【テスト記事】