「メインページ」を編集中 (節単位)

== 定理環境等のテスト ==
{{begin definition}}
定義環境
{{end definition}}

{{begin theorem|Auslander-Reitenの公式}}
有限次元多元環 $\Lambda$、$X, Y$ を有限生成 $\Lambda$ 加群とする。このとき、次の同型が存在する：
\[
D \Ext_\Lambda^1(X, Y) \cong \overline{\Hom}_\Lambda(Y, \tau X)
\]
またこれは $X$ と $Y$ について自然である。
{{end theorem}}

{{begin proposition}}
proposition環境のテスト。
\[
X \to Y \to Z = \Hom_\Lambda(X, Y \otimes Z)
\]
{{end proposition}}

{{begin example}}
example環境のテスト。
# 体は半単純環である。
# 任意の環は可換である。
{{end example}}
{{begin proof}}
proof環境テスト。

1. 任意のベクトル空間の短完全列は分裂するから明らか。

2. 任意の環を考えると、1{{=}}2なので数学が矛盾し、よって環は可換である。
{{end proof}}