1 極小生成系 定義 1.1. R R R M M M R R R ( m i ) i ∈ I (m_i)_{i\in I} ( m i ) i ∈ I M M M
族( m i ) i ∈ I (m_i)_{i\in I} ( m i ) i ∈ I M M M 極小生成系 (minimal generating set )I ′ ⊊ I I'\subsetneq I I ′ ⊊ I ( m i ) i ∈ I ′ (m_i)_{i\in I'} ( m i ) i ∈ I ′
補題 1.2. R R R F F F R R R e : I → U ( F ) e\colon I\to U(F) e : I → U ( F ) e e e F F F
補題 1.3. R R R M M M R R R m : I → U ( M ) m\colon I\to U(M) m : I → U ( M ) M M M I I I # ( I ) \#(I) # ( I ) M M M I I I
証明. # ( J ) < # ( I ) \#(J)<\#(I) # ( J ) < # ( I ) J J J m ′ : J → U ( M ) m'\colon J\to U(M) m ′ : J → U ( M ) j ∈ J j\in J j ∈ J I j ⊂ I I_j\subset I I j ⊂ I m j ′ ∈ ⟨ m i ∣ i ∈ I j ⟩ m'_j\in \left\langle m_i \mid i\in I_j \right\rangle m j ′ ∈ ⟨ m i ∣ i ∈ I j ⟩ I ′ : = ⋃ j ∈ J I j ⊂ I I':= \bigcup_{j\in J}I_j\subset I I ′ := ⋃ j ∈ J I j ⊂ I J J J I ′ I' I ′ I I I I ′ ⊊ I I'\subsetneq I I ′ ⊊ I J J J §E1.23 系 3.3 によりI ′ I' I ′ ℵ 0 ⋅ # ( J ) = # ( J ) < # ( I ) \aleph_0\cdot\#(J)=\#(J)<\#(I) ℵ 0 ⋅ # ( J ) = # ( J ) < # ( I ) I ′ ⊊ I I'\subsetneq I I ′ ⊊ I m ′ : J → U ( M ) m'\colon J\to U(M) m ′ : J → U ( M ) M M M m ˉ ∈ U ( M ) \bar{m}\in U(M) m ˉ ∈ U ( M ) j 1 , ⋯ , j n ∈ J j_1,\cdots ,j_n\in J j 1 , ⋯ , j n ∈ J
m ˉ ∈ ⟨ m j 1 ′ , ⋯ , m j n ′ ⟩ ⊂ ⟨ m i | i ∈ ⋃ k = 1 n I j k ⟩ ⊂ ⟨ m i ∣ i ∈ I ′ ⟩ \bar{m}\in \left\langle m'_{j_1}, \cdots, m'_{j_n}\right\rangle\subset \left\langle m_i \,\middle|\, i\in \bigcup_{k=1}^nI_{j_k}\right\rangle\subset \left\langle m_i \mid i\in I'\right\rangle m ˉ ∈ ⟨ m j 1 ′ , ⋯ , m j n ′ ⟩ ⊂ ⟨ m i i ∈ k = 1 ⋃ n I j k ⟩ ⊂ ⟨ m i ∣ i ∈ I ′ ⟩ が成り立つ。これはI ′ ⊊ I → m U ( M ) I'\subsetneq I\xrightarrow{m} U(M) I ′ ⊊ I m U ( M ) M M M m : I → U ( M ) m\colon I\to U(M) m : I → U ( M ) M M M ▨
系 1.4. R R R M M M R R R M M M M M M
証明. 無限濃度κ \kappa κ λ \lambda λ 補題 1.3 によりκ ≤ λ \kappa\leq\lambda κ ≤ λ λ \lambda λ λ ≤ κ \lambda\leq\kappa λ ≤ κ κ = λ \kappa=\lambda κ = λ ▨
2 基底の長さ 定義 2.1. R R R
任意の自由左R R R F 1 ↠ F 2 F_1\surj F_2 F 1 ↠ F 2 e ∙ : I ∙ → U ( F ∙ ) e_{\bullet}\colon I_{\bullet}\to U(F_{\bullet}) e ∙ : I ∙ → U ( F ∙ ) ∙ = 1 , 2 \bullet = 1,2 ∙ = 1 , 2 # ( I 1 ) ≥ # ( I 2 ) \#(I_1) \geq \#(I_2) # ( I 1 ) ≥ # ( I 2 ) R R R 左ランク条件を満たす (satisfies the left rank condition )
任意の自由左R R R F 1 ↪ F 2 F_1\inj F_2 F 1 ↪ F 2 e ∙ : I ∙ → U ( F ∙ ) e_{\bullet}\colon I_{\bullet}\to U(F_{\bullet}) e ∙ : I ∙ → U ( F ∙ ) ∙ = 1 , 2 \bullet = 1,2 ∙ = 1 , 2 # ( I 1 ) ≤ # ( I 2 ) \#(I_1) \leq \#(I_2) # ( I 1 ) ≤ # ( I 2 ) R R R 左強ランク条件を満たす (satisfies the left strong rank condition )
任意の自由左R R R F 1 → ∼ F 2 F_1\tosim F_2 F 1 ∼ F 2 e ∙ : I ∙ → U ( F ∙ ) e_{\bullet}\colon I_{\bullet}\to U(F_{\bullet}) e ∙ : I ∙ → U ( F ∙ ) ∙ = 1 , 2 \bullet = 1,2 ∙ = 1 , 2 # ( I 1 ) = # ( I 2 ) \#(I_1) = \#(I_2) # ( I 1 ) = # ( I 2 ) R R R IBN を持つ (has an invariant basis number )
補題 2.4. R R R
R R R R R R R R R R R R 補題 2.5. R R R
R R R n , m ∈ N ≥ 0 n,m\in \N n , m ∈ N ≥ 0 R R R f : R n ↪ R m f\colon R^n\inj R^m f : R n ↪ R m n ≤ m n\leq m n ≤ m R R R n , m ∈ N ≥ 0 n,m\in \N n , m ∈ N ≥ 0 R R R f : R n ↠ R m f\colon R^n\surj R^m f : R n ↠ R m n ≥ m n\geq m n ≥ m R R R n , m ∈ N ≥ 0 n,m\in \N n , m ∈ N ≥ 0 R R R f : R n → ∼ R m f\colon R^n\tosim R^m f : R n ∼ R m n = m n=m n = m 証明. 各項の有限条件の必要性は定義から従う。零環ではR 0 ≅ R 1 R^0\cong R^1 R 0 ≅ R 1 R 1 → R 0 R^1\to R^0 R 1 → R 0 R 0 → R 1 R^0\to R^1 R 0 → R 1 R 0 ≅ R 1 R^0\cong R^1 R 0 ≅ R 1 R R R
主張 (2) を示す。全射に関する有限条件を仮定し、p : R ⊕ I ↠ R ⊕ J p\colon R^{\oplus I}\surj R^{\oplus J} p : R ⊕ I ↠ R ⊕ J J J J 補題 1.2 により標準基底( δ j ) j ∈ J (\delta_j)_{j\in J} ( δ j ) j ∈ J ( p ( δ i ) ) i ∈ I (p(\delta_i))_{i\in I} ( p ( δ i ) ) i ∈ I 補題 1.3 により# ( J ) ≤ # ( I ) \#(J)\leq\#(I) # ( J ) ≤ # ( I ) J J J I I I I , J I,J I , J
主張 (3) を示す。同型に関する有限条件を仮定し、R ⊕ I ≅ R ⊕ J R^{\oplus I}\cong R^{\oplus J} R ⊕ I ≅ R ⊕ J 補題 1.2 により同じ加群の二つの極小生成系を得る。I , J I,J I , J 系 1.4 により# ( I ) = # ( J ) \#(I)=\#(J) # ( I ) = # ( J )
主張 (1) を示す。単射に関する有限条件を仮定し、f : R ⊕ I ↪ R ⊕ J f\colon R^{\oplus I}\inj R^{\oplus J} f : R ⊕ I ↪ R ⊕ J J J J # ( I ) > # ( J ) \#(I)>\#(J) # ( I ) > # ( J ) I I I # ( J ) + 1 \#(J)+1 # ( J ) + 1 f f f R # ( J ) + 1 ↪ R # ( J ) R^{\#(J)+1}\inj R^{\#(J)} R # ( J ) + 1 ↪ R # ( J ) # ( I ) ≤ # ( J ) \#(I)\leq\#(J) # ( I ) ≤ # ( J )
J J J i ∈ I i\in I i ∈ I F i : = supp ( f ( δ i ) ) F_i:=\supp(f(\delta_i)) F i := supp ( f ( δ i )) F i F_i F i J J J F ⊂ J F\subset J F ⊂ J F i = F F_i=F F i = F i i i # ( F ) + 1 \#(F)+1 # ( F ) + 1 f f f R # ( F ) + 1 ↪ R # ( F ) R^{\#(F)+1}\inj R^{\#(F)} R # ( F ) + 1 ↪ R # ( F ) F i = F F_i=F F i = F # ( F ) \#(F) # ( F ) κ : = # ( J ) \kappa:=\#(J) κ := # ( J ) §E1.23 系 3.3 により、正の有限整数n n n κ n = κ \kappa^n=\kappa κ n = κ ℵ 0 κ = κ \aleph_0\kappa=\kappa ℵ 0 κ = κ J J J κ \kappa κ F F F # ( I ) ≤ κ ℵ 0 = κ = # ( J ) \#(I)\leq\kappa\aleph_0=\kappa=\#(J) # ( I ) ≤ κ ℵ 0 = κ = # ( J ) ▨
系 2.6. R R R
任意の自然数n , m ∈ N ≥ 0 n,m\in \N n , m ∈ N ≥ 0 R R R f : R R n → ∼ R R m f\colon {}_RR^n\tosim {}_RR^m f : R R n ∼ R R m n = m n=m n = m R R R
任意の自然数n , m ∈ N ≥ 0 n,m\in \N n , m ∈ N ≥ 0 R R R f : R R n → ∼ R R m f\colon R_R^n\tosim R_R^m f : R R n ∼ R R m n = m n=m n = m
証明. (1) ⇒ \Rightarrow ⇒ (2) f : R R n → ∼ R R m f\colon R_R^n\tosim R_R^m f : R R n ∼ R R m R R R
( − ) ∘ f : Hom R ( R R m , R R R ) → ∼ Hom R ( R R n , R R R ) (-)\circ f\colon\Hom_R(R_R^m,{}_RR_R)\tosim\Hom_R(R_R^n,{}_RR_R) ( − ) ∘ f : Hom R ( R R m , R R R ) ∼ Hom R ( R R n , R R R ) は逆写像( − ) ∘ f − 1 (-)\circ f^{-1} ( − ) ∘ f − 1 ( a ⋅ h ) ( v ) : = a h ( v ) (a\cdot h)(v):=ah(v) ( a ⋅ h ) ( v ) := ah ( v ) d ∈ N ≥ 0 d\in\N d ∈ N ≥ 0 R R R Hom R ( R R d , R R R ) ≅ R R d \Hom_R(R_R^d,{}_RR_R)\cong{}_RR^d Hom R ( R R d , R R R ) ≅ R R d R R R R R m ≅ R R n {}_RR^m\cong{}_RR^n R R m ≅ R R n (1) よりn = m n=m n = m (2) ⇒ \Rightarrow ⇒ (1) 問題 4.4 ）。▨
例 2.7. 零環では任意の集合I I I R ⊕ I = 0 R^{\oplus I}=0 R ⊕ I = 0
補題 2.8. h : R → S h\colon R\to S h : R → S
もしS S S R R R
もしS S S R R R
証明. n , m ∈ N ≥ 0 n,m\in\N n , m ∈ N ≥ 0 R R R φ : R n → R m \varphi\colon R^n\to R^m φ : R n → R m §E6.3 例 6.1 によりφ ( x ) = x A \varphi(x)=xA φ ( x ) = x A A ∈ Mat n × m ( R ) A\in\operatorname{Mat}_{n\times m}(R) A ∈ Mat n × m ( R ) h ( A ) h(A) h ( A ) A A A h h h h h h
主張 (1) を示す。S S S φ \varphi φ §E6.3 系 7.1 をid R m \id_{R^m} id R m s : R m → R n s\colon R^m\to R^n s : R m → R n s ( y ) = y B s(y)=yB s ( y ) = y B B ∈ Mat m × n ( R ) B\in\operatorname{Mat}_{m\times n}(R) B ∈ Mat m × n ( R ) φ ∘ s = id R m \varphi\circ s=\id_{R^m} φ ∘ s = id R m B A = I m BA=I_m B A = I m h ( B ) h ( A ) = I m h(B)h(A)=I_m h ( B ) h ( A ) = I m S n → S m S^n\to S^m S n → S m x ↦ x h ( A ) x\mapsto xh(A) x ↦ x h ( A ) y ↦ y h ( B ) y\mapsto yh(B) y ↦ y h ( B ) S S S n ≥ m n\geq m n ≥ m 補題 2.5 (2) により、R R R
主張 (2) を示す。S S S φ \varphi φ φ − 1 ( y ) = y B \varphi^{-1}(y)=yB φ − 1 ( y ) = y B A B = I n AB=I_n A B = I n B A = I m BA=I_m B A = I m h ( A ) h ( B ) = I n h(A)h(B)=I_n h ( A ) h ( B ) = I n h ( B ) h ( A ) = I m h(B)h(A)=I_m h ( B ) h ( A ) = I m x ↦ x h ( A ) x\mapsto xh(A) x ↦ x h ( A ) S S S S n ≅ S m S^n\cong S^m S n ≅ S m S S S n = m n=m n = m 補題 2.5 (3) によりR R R ▨
補題 2.10. R R R n ∈ N ≥ 1 n\in \NN n ∈ N ≥ 1 X = ( a i j ) 1 ≤ i , j ≤ n X = (a^j_i)_{1\leq i,j \leq n} X = ( a i j ) 1 ≤ i , j ≤ n n × n n\times n n × n det X = 0 \det X = 0 det X = 0 X X X R R R R n → R n R^n \to R^n R n → R n
証明. X = 0 X=0 X = 0 δ 1 \delta_1 δ 1 X ≠ 0 X\ne0 X = 0 k k k k × k k\times k k × k Y Y Y X ≠ 0 X\ne0 X = 0 det X = 0 \det X=0 det X = 0 1 ≤ k < n 1\leq k<n 1 ≤ k < n
X X X k + 1 k+1 k + 1 k k k w w w Y Y Y adj Y \adj Y adj Y
z : = ( − w adj Y , det Y , 0 , … , 0 ) ∈ R n z:=(-w\adj Y,\det Y,0,\ldots,0)\in R^n z := ( − w adj Y , det Y , 0 , … , 0 ) ∈ R n はdet Y ≠ 0 \det Y\ne0 det Y = 0 §E3.21 補題 1.1 により、z X zX z X k k k
− w ( adj Y ) Y + ( det Y ) w = − w ( det Y ) I k + ( det Y ) w = 0 -w(\adj Y)Y+(\det Y)w
=-w(\det Y)I_k+(\det Y)w=0 − w ( adj Y ) Y + ( det Y ) w = − w ( det Y ) I k + ( det Y ) w = 0 である。
残る任意の列の最初のk k k v v v k + 1 k+1 k + 1 r r r z X zX z X
− w ( adj Y ) v + r det Y = det ( Y v w r ) -w(\adj Y)v+r\det Y
=\det\begin{pmatrix}Y&v\\w&r\end{pmatrix} − w ( adj Y ) v + r det Y = det ( Y w v r ) に等しい。右辺はX X X ( k + 1 ) × ( k + 1 ) (k+1)\times(k+1) ( k + 1 ) × ( k + 1 ) k k k z X = 0 zX=0 z X = 0 x ↦ x X x\mapsto xX x ↦ x X ▨
系 2.11. 零でない可換環は強ランク条件を満たす。特にランク条件を満たし、IBN を持つ。
証明. R R R n , m ∈ N ≥ 0 n,m\in\N n , m ∈ N ≥ 0 n > m n>m n > m f : R n → R m f\colon R^n\to R^m f : R n → R m R R R m = 0 m=0 m = 0 δ 1 \delta_1 δ 1 f f f f f f
m > 0 m>0 m > 0 j : R m ↪ R n j\colon R^m\inj R^n j : R m ↪ R n m m m g : = j ∘ f g:=j\circ f g := j ∘ f g g g X X X n − m n-m n − m det X = 0 \det X=0 det X = 0 補題 2.10 によりg g g j j j ker g = ker f \ker g=\ker f ker g = ker f f f f
したがって、単射R n ↪ R m R^n\inj R^m R n ↪ R m n ≤ m n\leq m n ≤ m 補題 2.5 (1) によりR R R 補題 2.4 によりランク条件を満たして IBN をもつ。▨
3 例 命題 3.1. R R R M M M R R R R R R M ⊕ M ≅ M M\oplus M\cong M M ⊕ M ≅ M A : = End R ( M ) A:=\End_R(M) A := End R ( M ) A A A A ≅ A 2 A\cong A^2 A ≅ A 2
例 3.2. k k k V : = k ⊕ N ≥ 0 V:=k^{\oplus \N} V := k ⊕ N ≥ 0 R : = End k ( V ) = Hom k ( V , V ) R:=\End_k(V) = \Hom_k(V, V) R := End k ( V ) = Hom k ( V , V ) k k k R R R V V V ( e n ) n ∈ N ≥ 0 (e_n)_{n\in\N} ( e n ) n ∈ N ≥ 0 e n e_n e n e 2 n e_{2n} e 2 n e n e_n e n e 2 n + 1 e_{2n+1} e 2 n + 1 k k k V ⊕ V ≅ V V\oplus V\cong V V ⊕ V ≅ V 命題 3.1 よりR R R 補題 2.4 (1) より左ランク条件も満たさない。
命題 3.3. k k k V V V k k k R : = End k ( V ) R:=\End_k(V) R := End k ( V ) f g − g f fg-gf f g − g f f , g ∈ R f,g\in R f , g ∈ R R R R I I I
I = { 0 , dim k V ≤ 1 , R , dim k V ≥ 2 I=\begin{cases}
0,&\dim_k V\leq1,\\
R,&\dim_k V\geq2
\end{cases} I = { 0 , R , dim k V ≤ 1 , dim k V ≥ 2 である。ここでdim k V ≥ 2 \dim_k V\geq2 dim k V ≥ 2 V = 0 V=0 V = 0 R R R I = 0 = R I=0=R I = 0 = R V V V f g − g f = 1 R fg-gf=1_R f g − g f = 1 R f , g ∈ R f,g\in R f , g ∈ R
例 3.4 (非可換自由k k k k k k x , y x,y x , y R : = k ⟨ x , y ⟩ R:=k\!\left\langle x,y\right\rangle R := k ⟨ x , y ⟩ k k k k ⟨ x , y ⟩ k\!\left\langle x,y\right\rangle k ⟨ x , y ⟩ f f f x , y x,y x , y w 1 , ⋯ , w n ∈ { x , y } ∗ w_1,\cdots, w_n\in \{x,y\}^* w 1 , ⋯ , w n ∈ { x , y } ∗ k k k a 1 , ⋯ , a n ∈ k a_1,\cdots, a_n\in k a 1 , ⋯ , a n ∈ k f = ∑ i a i w i f = \sum_i a_iw_i f = ∑ i a i w i k ⟨ x , y ⟩ k\!\left\langle x,y\right\rangle k ⟨ x , y ⟩ k k k ( ∑ i a i w i ) ( ∑ j b j w j ′ ) = ∑ i , j a i b j w i w j ′ \left(\sum_i a_iw_i\right)\left(\sum_j b_jw_j'\right) = \sum_{i,j}a_ib_jw_iw_j' ( ∑ i a i w i ) ( ∑ j b j w j ′ ) = ∑ i , j a i b j w i w j ′ x y xy x y y x yx y x R 2 → R R^2\to R R 2 → R ( f , g ) ↦ f x + g y (f,g)\mapsto fx+gy ( f , g ) ↦ f x + g y a ∈ R a\in R a ∈ R ( a f ) x + ( a g ) y = a ( f x + g y ) (af)x+(ag)y=a(fx+gy) ( a f ) x + ( a g ) y = a ( f x + g y ) R R R f x fx f x x x x g y gy g y y y y k k k f x + g y = 0 fx+gy=0 f x + g y = 0 x x x y y y f = g = 0 f=g=0 f = g = 0 k ⟨ x , y ⟩ k\!\left\langle x,y\right\rangle k ⟨ x , y ⟩ x , y ↦ 0 x,y\mapsto0 x , y ↦ 0 R → k R\to k R → k k k k 系 2.11 により強ランク条件とランク条件を満たすため、補題 2.8 (1) よりR R R 補題 2.4 (1) より IBN をもつ。したがって、環準同型による後方伝播は強ランク条件については成立しない。
4 演習 解答. e : I → U ( F ) e\colon I\to U(F) e : I → U ( F ) e ~ : R ⊕ I → F \tilde{e}\colon R^{\oplus I}\to F e ~ : R ⊕ I → F e e e I ′ ⊊ I I'\subsetneq I I ′ ⊊ I I ′ → U ( F ) I'\to U(F) I ′ → U ( F ) i 0 ∈ I ∖ I ′ i_0\in I\setminus I' i 0 ∈ I ∖ I ′ e i 0 ∈ ⟨ e i ∣ i ∈ I ′ ⟩ e_{i_0}\in\left\langle e_i\mid i\in I'\right\rangle e i 0 ∈ ⟨ e i ∣ i ∈ I ′ ⟩ e ~ − 1 \tilde{e}^{-1} e ~ − 1 δ i 0 \delta_{i_0} δ i 0 I ′ I' I ′ δ i 0 \delta_{i_0} δ i 0 i 0 i_0 i 0 1 R 1_R 1 R R R R 1 R ≠ 0 1_R\ne 0 1 R = 0 δ i 0 \delta_{i_0} δ i 0 { i 0 } \{i_0\} { i 0 } i 0 ∉ I ′ i_0\notin I' i 0 ∈ / I ′ e e e ▨
問題 4.2. 例 2.7 を証明し、右加群についても零環が IBN をもたないことを確かめよ。
解答. R R R 1 R = 0 1_R=0 1 R = 0 R R R M M M m ∈ M m\in M m ∈ M m = 1 R m = 0 m = 0 m=1_Rm=0m=0 m = 1 R m = 0 m = 0 R R R n ∈ N ≥ 0 n\in\N n ∈ N ≥ 0 R n = 0 R^n=0 R n = 0 R 0 ≅ R 1 R^0\cong R^1 R 0 ≅ R 1 R R R 0 ≠ 1 0\ne 1 0 = 1 補題 2.5 (3) の条件が破れ、R R R 系 2.6 より左右対称な条件なので、右加群で述べても同じ結論となる。▨
解答. 補題 2.4 (1) を示す。f : F 1 → ∼ F 2 f\colon F_1\tosim F_2 f : F 1 ∼ F 2 e 1 : I → U ( F 1 ) e_1\colon I\to U(F_1) e 1 : I → U ( F 1 ) e 2 : J → U ( F 2 ) e_2\colon J\to U(F_2) e 2 : J → U ( F 2 ) R R R f f f f − 1 f^{-1} f − 1 # ( I ) ≥ # ( J ) \#(I)\geq\#(J) # ( I ) ≥ # ( J ) # ( J ) ≥ # ( I ) \#(J)\geq\#(I) # ( J ) ≥ # ( I ) # ( I ) = # ( J ) \#(I)=\#(J) # ( I ) = # ( J )
補題 2.4 (2) を示す。p : F 1 ↠ F 2 p\colon F_1\surj F_2 p : F 1 ↠ F 2 e 1 : I → U ( F 1 ) e_1\colon I\to U(F_1) e 1 : I → U ( F 1 ) e 2 : J → U ( F 2 ) e_2\colon J\to U(F_2) e 2 : J → U ( F 2 ) R R R F 2 F_2 F 2 §E6.3 系 7.1 を恒等射id F 2 : F 2 → F 2 \id_{F_2}\colon F_2\to F_2 id F 2 : F 2 → F 2 R R R s : F 2 → F 1 s\colon F_2\to F_1 s : F 2 → F 1 p ∘ s = id F 2 p\circ s=\id_{F_2} p ∘ s = id F 2 s s s # ( J ) ≤ # ( I ) \#(J)\leq\#(I) # ( J ) ≤ # ( I ) ▨
解答. 系 2.6 (2) ⇒ \Rightarrow ⇒ (1) f : R R n → ∼ R R m f\colon {}_RR^n\tosim {}_RR^m f : R R n ∼ R R m R R R ( − ) ∘ f : Hom R ( R R m , R R R ) → ∼ Hom R ( R R n , R R R ) (-)\circ f\colon \Hom_R({}_RR^m, {}_RR_R)\tosim \Hom_R({}_RR^n, {}_RR_R) ( − ) ∘ f : Hom R ( R R m , R R R ) ∼ Hom R ( R R n , R R R ) Hom \Hom Hom ( φ r ) ( x ) : = φ ( x ) r (\varphi r)(x):=\varphi(x)r ( φ r ) ( x ) := φ ( x ) r R R R R R R Hom R ( R R ∙ , R R R ) ≅ R R ∙ \Hom_R({}_RR^{\bullet}, {}_RR_R)\cong R_R^{\bullet} Hom R ( R R ∙ , R R R ) ≅ R R ∙ R R R R R m → ∼ R R n R_R^m\tosim R_R^n R R m ∼ R R n 系 2.6 (2) よりn = m n=m n = m ▨
解答. R R R M M M R R R A : = End R ( M ) A:=\End_R(M) A := End R ( M ) φ : M ⊕ M → ∼ M \varphi\colon M\oplus M\tosim M φ : M ⊕ M ∼ M R R R
( − ) ∘ φ : A = Hom R ( M , M ) ⟶ Hom R ( M ⊕ M , M ) (-)\circ\varphi\colon A=\Hom_R(M, M)\longrightarrow \Hom_R(M\oplus M, M) ( − ) ∘ φ : A = Hom R ( M , M ) ⟶ Hom R ( M ⊕ M , M ) は全単射であり、さらにA A A a ⋅ ψ : = a ∘ ψ a\cdot\psi:=a\circ\psi a ⋅ ψ := a ∘ ψ A A A §E6.2 命題 6.5 より、制限による写像Hom R ( M ⊕ M , M ) → A ⊕ A \Hom_R(M\oplus M, M)\to A\oplus A Hom R ( M ⊕ M , M ) → A ⊕ A ψ ↦ ( ψ ∘ ι 1 , ψ ∘ ι 2 ) \psi\mapsto(\psi\circ\iota_1, \psi\circ\iota_2) ψ ↦ ( ψ ∘ ι 1 , ψ ∘ ι 2 ) A A A A A A A 1 ≅ A 2 A^1\cong A^2 A 1 ≅ A 2 1 ≠ 2 1\ne 2 1 = 2 補題 2.5 (3) よりA A A ▨
問題 4.6.
環R R R R R R R ≅ R 2 R\cong R^2 R ≅ R 2 命題 3.1 がそのような環を与える）。すべてのn ≥ 1 n\geq1 n ≥ 1 R n ≅ R R^n\cong R R n ≅ R R R R R R R M M M R R R u : R → R u\colon R\to R u : R → R M ≅ coker u M\cong\operatorname{coker}u M ≅ coker u
解答.
n n n R n ≅ R R^n\cong R R n ≅ R n = 1 n=1 n = 1 R n ≅ R R^n\cong R R n ≅ R R n + 1 = R n ⊕ R ≅ R ⊕ R = R 2 ≅ R R^{n+1}=R^n\oplus R\cong R\oplus R=R^2\cong R R n + 1 = R n ⊕ R ≅ R ⊕ R = R 2 ≅ R M M M R R R §E6.9 命題 1.6 により、あるn ≥ 0 n\geq0 n ≥ 0 π : R n → M \pi\colon R^n\to M π : R n → M n = 0 n=0 n = 0 M = 0 M=0 M = 0 0 0 0 n ≥ 1 n\geq1 n ≥ 1 θ : R → R n \theta\colon R\to R^n θ : R → R n m = π ( θ ( 1 ) ) m=\pi(\theta(1)) m = π ( θ ( 1 )) π ∘ θ \pi\circ\theta π ∘ θ { π ( θ ( r ) ) = r m ∣ r ∈ R } = R m \{\pi(\theta(r))=rm\mid r\in R\}=Rm { π ( θ ( r )) = r m ∣ r ∈ R } = R m M = R m M=Rm M = R m
M M M R R R R p → v R q → π M → 0 R^p\xrightarrow{v}R^q\xrightarrow{\pi}M\to0 R p v R q π M → 0 q = 0 q=0 q = 0 M = 0 = coker ( id R ) M=0=\operatorname{coker}(\operatorname{id}_R) M = 0 = coker ( id R ) q ≥ 1 q\geq1 q ≥ 1 p = 0 p=0 p = 0 v v v R → R q R\to R^q R → R q 0 0 0 q ≥ 1 q\geq1 q ≥ 1 p ≥ 1 p\geq1 p ≥ 1 α : R → R p \alpha\colon R\to R^p α : R → R p β : R → R q \beta\colon R\to R^q β : R → R q u = β − 1 ∘ v ∘ α : R → R u=\beta^{-1}\circ v\circ\alpha\colon R\to R u = β − 1 ∘ v ∘ α : R → R α \alpha α im ( v ∘ α ) = im v \operatorname{im}(v\circ\alpha)=\operatorname{im}v im ( v ∘ α ) = im v β − 1 \beta^{-1} β − 1 β − 1 \beta^{-1} β − 1 R q / im v R^q/\operatorname{im}v R q / im v R / im u R/\operatorname{im}u R / im u M ≅ R q / im v ≅ coker u M\cong R^q/\operatorname{im}v\cong\operatorname{coker}u M ≅ R q / im v ≅ coker u
▨
問題 4.7. 命題 3.3 を証明せよ。無限次元の場合には、交換子が生成する両側イデアルが( 1 ) (1) ( 1 ) f g − g f = 1 R fg-gf=1_R f g − g f = 1 R
解答. k k k V V V k k k R : = End k ( V ) R:=\End_k(V) R := End k ( V ) I : = ( f g − g f ∣ f , g ∈ R ) I:=(fg-gf\mid f,g\in R) I := ( f g − g f ∣ f , g ∈ R ) V = 0 V=0 V = 0 R R R I = 0 = R = ( 1 ) I=0=R=(1) I = 0 = R = ( 1 ) dim k V = 1 \dim_k V=1 dim k V = 1 R ≅ k R\cong k R ≅ k I = 0 ≠ R I=0\ne R I = 0 = R
d : = dim k V d:=\dim_k V d := dim k V d ≥ 2 d\geq2 d ≥ 2 R R R d × d d\times d d × d E i j E_{ij} E ij E 11 E 12 − E 12 E 11 = E 12 E_{11}E_{12}-E_{12}E_{11}=E_{12} E 11 E 12 − E 12 E 11 = E 12 E 12 ∈ I E_{12}\in I E 12 ∈ I I I I 1 ≤ i , j ≤ d 1\leq i,j\leq d 1 ≤ i , j ≤ d
E i j = E i 1 E 12 E 2 j ∈ I E_{ij}=E_{i1}E_{12}E_{2j}\in I E ij = E i 1 E 12 E 2 j ∈ I となる。したがって1 R = ∑ i = 1 d E i i ∈ I 1_R=\sum_{i=1}^d E_{ii}\in I 1 R = ∑ i = 1 d E ii ∈ I I = R I=R I = R
V V V κ \kappa κ §E1.23 系 3.3 より2 κ = κ 2\kappa=\kappa 2 κ = κ V ⊕ V ≅ V V\oplus V\cong V V ⊕ V ≅ V 命題 3.1 によりR R R I I I R / I R/I R / I R / I R/I R / I 系 2.11 によりR / I R/I R / I R → R / I R\to R/I R → R / I 補題 2.8 (2) によりR R R R / I = 0 R/I=0 R / I = 0 I = R = ( 1 ) I=R=(1) I = R = ( 1 )
さらに§E1.23 系 3.3 よりκ ℵ 0 = κ \kappa\aleph_0=\kappa κ ℵ 0 = κ V ≅ W ⊕ N ≥ 0 V\cong W^{\oplus\N} V ≅ W ⊕ N ≥ 0 k k k W W W w = ( w n ) n ∈ N ≥ 0 w=(w_n)_{n\in\N} w = ( w n ) n ∈ N ≥ 0
f ( w ) n = ( n + 1 ) w n + 1 , g ( w ) n = { 0 , n = 0 , w n − 1 , n ≥ 1 f(w)_n=(n+1)w_{n+1},\qquad
g(w)_n=\begin{cases}0,&n=0,\\w_{n-1},&n\geq1\end{cases} f ( w ) n = ( n + 1 ) w n + 1 , g ( w ) n = { 0 , w n − 1 , n = 0 , n ≥ 1 と定める。両写像は有限台を保ち、各座標でk k k R R R n ∈ N ≥ 0 n\in\N n ∈ N ≥ 0
( f g ) ( w ) n = ( n + 1 ) w n , ( g f ) ( w ) n = n w n (fg)(w)_n=(n+1)w_n,\qquad (gf)(w)_n=nw_n ( f g ) ( w ) n = ( n + 1 ) w n , ( g f ) ( w ) n = n w n であるから( f g − g f ) ( w ) n = w n (fg-gf)(w)_n=w_n ( f g − g f ) ( w ) n = w n f g − g f = 1 R fg-gf=1_R f g − g f = 1 R k k k k k k ▨