代数学特論 I No.14

問題 14.1   一般に、可換環 $R$ と $R$-加群 $M$ とに対して $\underbrace{M\oplus M\oplus \dots \oplus M}_{\text{$n$\space 個}}$ への $A=(a_{ij})\in M_n(R)$ の「右作用」を

$$(m_1,\dots,m_n).A= (\sum_{j=1}^n a_{j1}.m_j,\ \sum_{j=1}^n a_{j2}.m_j, \dots,\ \sum_{j=1}^n a_{jn}m_{j})$$

で定義する。(例えば $n=3$ ならば

$$(u,v,w). \begin{pmatrix} a & b & c\\ d & e & f \\ g & h & i \end{pmatrix}= (a.u+d.v+g.w,b.u+e.v+h.w,c.u+f.v+i.w) \tag{★}$$

という具合である。) このとき、

$$(((m_1,\dots,m_n).A).B)=(m_1,\dots,m_n).(AB)$$

が任意の $m_1,\dots,m_n \in M$ および 任意の $A,B\in M_n(R)$ に 対して成り立つことを示しなさい。

(解説): $(m_1,m_2,\dots,m_n)$ のことを略して$(m_i)$ とかく。 $i$ が $1$ から $n$ まで動き回っているわけであるが、 このような略し方は諸君は数理科学英語ゼミナールでおなじみなはずである。 以下のそれぞれの式でどの変数が動き回るかにはとくに注意を要する。 それでは分かりにくいと思う人は $(m_1,m_2,\dots,m_n)$ と $...$ を使う書き方を貫いてもよいが、かなり繁雑になることを 覚悟せねばならない。 和の記号 $\sum$ がうまく使えること、 とくにどの添字に付いて和をとっているかが大事で、 この問題ではそこが一番のポイントである。 (というかそれ以外に問題はなかろう) (答え):

$A=(a_{ij}),B=(b_{kl})$ とすると、

問題 14.2   $R=\mbox{${\Bbb Q}$ }[X]$, $V=\mbox{${\Bbb Q}$ }^3$ ( $\mbox{${\Bbb Q}$ }$ 上の $3$ 次元縦ベクトル空間)とおき、$V$ に $R$-加群の構造を

$$p(X).v=p(A).v \qquad (p\in \mbox{${\Bbb Q}$}[X],\quad v \in V)$$

で定義する。ただしここに、

$$A=\begin{pmatrix} 1 & 1 & 0\\ 0 & 1 & 0\\ 0 & 0 &2 \end{pmatrix}\tag{※}$$

である。

$$C=\begin{pmatrix} 1 & 0 & 0\\ X -1 & 1 & -1\\ -X(X-1)(X-2) & - X(X-2) & (X -1)^2\\ \end{pmatrix}$$

,

$$D= \begin{pmatrix} 0 & 1 & X -2\\ -1 & X -1 & \left(X -1\right) \left(X -2\right)\\ 0 & X & (X-1)^2\\ \end{pmatrix}$$

とおくと、

$$C(XE-A)D= \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0\\ 0 & 0 & (X-1)^2(X-2) \end{pmatrix}$$

がなりたつ。

この状況の下で、

1.

問題14.1の計算式(★)にしたがって

$$(e_1,e_2,e_3).(XE-A)$$

( $E \in M_3(R)$ は単位行列) を計算しなさい。

2.

$C$ の逆行列を計算しなさい。

3.

$v_1,v_2,v_3\in V$ を $(v_1,v_2,v_3)=(e_1,e_2,e_3).C^{-1}$ で定義する。 このとき、$A$ の具体的な形(※)を仮定せずに、$C$ の定義だけを使って $e_1,e_2,e_3$ を $v_1,v_2,v_3$ の $R$-係数の一次結合で書きあらわしなさい。

4.

$v_1,v_2,v_3$ を $\mbox{${\Bbb Q}$ }^3$ の元として実際に成分で表示しなさい。

本問題はちょっとややこしかったかも知れない。 テンソル積を避けたため、$X$ に二つの役割を背負わせているところが いやらしい。 とくに、

$$X.e_1=\begin{pmatrix} X\\ 0\\ 0 \end{pmatrix}\qquad\text{(まちがい)}$$

式の間違いをしている者が大変多かった。 これがもし行列 $A$ に対して

$$Ae_1=\begin{pmatrix} A\\ 0\\ 0 \end{pmatrix}\qquad\text{(まちがい)}$$

としているのだったら諸君もすぐに間違いに気づいたことと思う。 $\mbox{${\Bbb Q}$ }^3$ を $\mbox{${\Bbb Q}$ }[X]$-加群と見る、という最初の文章をみたときに $X$ の $\mbox{${\Bbb Q}$ }^3$ への作用が気になるようになって頂きたい。

(答え):

1.

ここからが大事で、 問題にあるように $X$ の $e_1,e_2,e_3$ への作用は $A$ によるかけ算である。 したがって、

$$((A-E)e_1,-e_1+(A-E)e_2, (A-2E)e_3)$$

に等しく、計算すれば、$(0,0,0)$ (-答え)を得る。

2. これは単純計算である。一番時間をとるところであるが、 ここのところは正解率が高かった。答えだけ記すと

$$\begin{pmatrix} 1 & 0 & 0\\ - X + 1 & - 2 X + X^2 + 1 & 1\\ 0 & X^2- 2 X & 1 \end{pmatrix}$$

である。 MuPAD でやれば一発であるが、 今回はコンピュータ持参の諸君はいなかったようである。

なお、諸君の解答の中で、$X$ が変数ではなく、 $\mbox{${\Bbb Q}$ }$ の元かのごとく あつかっている物があったが、それはそのままでは間違いである。 (正当化する方法もあるが、この問題はそのようなテクニックを使うほどの ものではないし、 その解答を書いた人がそのテクニックを駆使しているとは考えにくい。)

3. この問題は簡単すぎたので諸君も答えにくかったのかも知れない。 $(v_1,v_2,v_3)$ の定義式から、

$$(e_1,e_2,e_3)=(v_1,v_2,v_3).C$$

という関係式が容易に分かり、 結局
$$\begin{align*}e_1&=v_1+(X-1).v_2-X(X-1)(X-2).v_3, \\ e_2&=v_2-X(X-2).v_3,\\ e_3&=-v_2+(X-1)^2.v_3. \end{align*}$$
ということになる。(-答え)

4. これは 2. の結果を使う。
$$\begin{align*}v_1&=e_1+(-X+1).e_2, \\ v_2&=(X-1)^2.v_2+X(X-2).e_3,\\ v_3&=e2+e3. \end{align*}$$
であり、1. と同様に計算すれば、

$$v_1= \begin{pmatrix}0\\ 0\\ 0\end{pmatrix},\qquad v_2= \begin... ...\end{pmatrix},\qquad v_3= \begin{pmatrix}0\\ 1\\ 1\end{pmatrix}$$

を得る。(-答え)