3
現代数学解説
ネーター加群の全射自己準同型は自己同型である
750
0
$$\newcommand{AA}[0]{\mathcal{A}}
\newcommand{BB}[0]{\mathcal{B}}
\newcommand{C}[0]{\mathbb{C}}
\newcommand{CC}[0]{\mathcal{C}}
\newcommand{CM}[0]{\operatorname{\mathsf{CM}}}
\newcommand{coker}[0]{\operatorname{Coker}}
\newcommand{DD}[0]{\mathcal{D}}
\newcommand{DDD}[0]{\mathsf{D}}
\newcommand{EE}[0]{\mathcal{E}}
\newcommand{End}[0]{\operatorname{End}}
\newcommand{equiv}[0]{\Leftrightarrow}
\newcommand{Ext}[0]{\operatorname{Ext}}
\newcommand{F}[0]{\mathsf{F}}
\newcommand{FF}[0]{\mathcal{F}}
\newcommand{GG}[0]{\mathcal{G}}
\newcommand{HH}[0]{\mathcal{H}}
\newcommand{Hom}[0]{\operatorname{Hom}}
\newcommand{II}[0]{\mathcal{I}}
\newcommand{image}[0]{\operatorname{Im}}
\newcommand{imp}[0]{\Rightarrow}
\newcommand{implies}[0]{\Rightarrow}
\newcommand{inj}[0]{\hookrightarrow}
\newcommand{JJ}[0]{\mathcal{J}}
\newcommand{ker}[0]{\operatorname{Ker}}
\newcommand{KK}[0]{\mathcal{K}}
\newcommand{KKK}[0]{\mathsf{K}}
\newcommand{LL}[0]{\mathcal{L}}
\newcommand{MM}[0]{\mathcal{M}}
\newcommand{mod}[0]{\operatorname{\mathsf{mod}}}
\newcommand{Mod}[0]{\operatorname{\mathsf{Mod}}}
\newcommand{NN}[0]{\mathcal{N}}
\newcommand{OO}[0]{\mathcal{O}}
\newcommand{PP}[0]{\mathcal{P}}
\newcommand{proj}[0]{\operatorname{\mathsf{proj}}}
\newcommand{QQ}[0]{\mathcal{Q}}
\newcommand{R}[0]{\mathbb{R}}
\newcommand{rep}[0]{\operatorname{\mathsf{rep}}}
\newcommand{surj}[0]{\twoheadrightarrow}
\newcommand{Tor}[0]{\operatorname{Tor}}
\newcommand{TT}[0]{\mathcal{T}}
\newcommand{TTT}[0]{\mathsf{T}}
\newcommand{UU}[0]{\mathcal{U}}
\newcommand{VV}[0]{\mathcal{V}}
\newcommand{XX}[0]{\mathcal{X}}
\newcommand{YY}[0]{\mathcal{Y}}
\newcommand{Z}[0]{\mathbb{Z}}
\newcommand{ZZ}[0]{\mathcal{Z}}
$$
導入
ちょっと有名な、タイトルを示すのが目的の短い記事です。
環といったら可換とは限らない単位的結合的な環、加群は単位的な左加群とします。
前提知識
環上の加群の定義を知っている、ネーター加群を知っている、核を知っている、余核の一意性やfive lemmaを知っている人。
主定理と証明
早速主定理を述べて証明を書きます。
主定理
環$A$上の左加群$M$がネーター的と仮定する。このとき、自己準同型$f \colon M \to M$が全射ならば、自動的に同型である、すなわち単射である。
いま$M$の部分加群の増大列$ \ker f \subseteq \ker f^2 \subseteq \cdots$がある。よってネーター性よりある$i$が存在して$\ker f^i = \ker f^{i+1}$となる。すると$f^{i+1}$と$f^i$が全射なことに注意すると、次の短完全列からなる可換図式ができる：
\begin{CD}
0 @>>> \ker f^{i} @>>> M @>{f^{i}}>> M @>>> 0 \\
@. @| @| @V{f}VV \\
0 @>>> \ker f^{i+1} @>>> M @>{f^{i+1}}>> M @>>> 0
\end{CD}
よってfive lemmaもしくは余核の一意性により$f$は同型である。
感想
昔ごちゃごちゃ元をとって示したことがある気がするのですが、単にfive lemmaで一瞬ということが先日のセミナーで気づいたので記事にしました。後輩に感謝。
- 上の証明でそのまま「アーベル圏のネーター的な対象の全射自己準同型は単射」や、双対的に「アルティン的対象の単射自己準同型は全射」という主張を示すことができます。
- 実は環$A$が可換なら、ネーター性を外して有限生成だけで十分らしいですが、証明はごちゃごちゃした可換っぽいやりかたでやります。
投稿日：2020年11月28日
この記事を高評価した人
この記事を高評価した人
高評価したユーザはいません
この記事に送られたバッジ
この記事に送られたバッジ
バッジはありません。
投稿者
投稿者
コメント
コメント
他の人のコメント
コメントはありません。
読み込み中...
読み込み中