![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?5a7ff87)
くだらない質問をさせてください。
R × M → M という作用にて、
(1)1x=x
(2)a(bx)=(ab)x
(3)(a+b)x=ax+bx
(4)a(x+y)=ax+ay
a,bはRの元 x,yはMの元
をみたすMを左R加群という。
ここで、(2)の代わりに
(2)'a(bx)=(ba)x をみたすものを右R加群という。
なぜ右加群というかというと、RのMへの作用を、
xa:=axと右から書くほうが、
(2)'(xa)b=x(ab)となって見やすくなるからである。
という風にテキストに書いてあるのですが、
『xa:=axと右から書くほうが、
(2)'(xa)b=x(ab)となって見やすくなるからである。』というのは一体どういう意味なんでしょうか。
なにをしたんでしょうか。教えてください。
No.2ベストアンサー
- 回答日時:
Mを右R加群とします。
このとき「a,b∈Rについて、最初にa、次にbの順に作用させると、abを作用させるのと同じ結果になる」という性質があります。
(左R加群の場合は逆で、「a,b∈Rについて、最初にa、次にbの順に作用させると、baを作用させるのと同じ結果になる」という性質があります。)
まず、表記法として、x∈Mにa∈Rを作用させて得られたMの元をa[x]とかくことにすると、
a,b∈Rを最初にa、次にbの順に作用させたとき、x → a[x] → b[a[x]] となりますが、
これがabをxに作用させたものと同じになるので、(ab)[x] = b[a[x]]が成り立ちます。
もしRが非可換環だとするとab≠baの場合、(ab)[x]≠a[b[x]]なので、[]を省略して書くことはできません。
一方、表記法として、x∈Mにa∈Rを作用させて得られたMの元を[x]aとかくことにすると、
a,b∈Rを最初にa、次にbの順に作用させたとき、x → [x]a → [[x]a]b となりますが、
これがabをxに作用させたものと同じになるので、[x](ab) = [[x]a]bが成り立ちます。
この表記だとRが非可換であろうと、[x](ab)=[[x]a]bなので、[]を省略して単純にxabとしても意味が一通りにきまるので、見やすいということです。
非可換環上の加群の例をあげると、
(1) n次元縦ベクトル全体のなす空間Mにn次正方行列のなす環Rが左からの行列の掛け算として作用しているとき、Mは左R加群になります。
また、
(2) n次元横ベクトル全体のなす空間Mにn次正方行列のなす環Rが右からの行列の掛け算として作用しているとき、Mは右R加群になります。
また、(2)の言い換えですが、
(2') n次元縦ベクトル全体のなす空間Mにn次正方行列のなす環Rが左からの転置行列の掛け算として作用しているとき、Mは右R加群になります。
No.3
- 回答日時:
書いてある、そのまんまですよ。
(2)' a(bx)=(ba)x と
(2)' (xa)b=x(ab) では、どちらの方が
把握しやすく、覚えやすいですか?
右R加群への R の作用は、
左作用 R×M→M として書くよりも
右作用 M×R→M として書く方が
式が簡単になる…というだけです。
右加群の作用が、左作用 f:R×M→M で与えられていたら、
右作用 g(x,a) = f(a,x) を定義してしまって、
g を使って記述した方が、計算が楽に行えます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 環上の加群について 2 2022/07/15 20:42
- 数学 加群におけるテンソル積の存在証明 1 2022/09/26 02:36
- 数学 写真の問題で剰余の定理を用いて、別解の手順から a=2 b=8と求まるところまではわかるのですが、な 2 2022/08/07 13:12
- 数学 あいまいな日本語数学問題 9 2022/05/30 10:24
- 数学 高校数学で質問があります。 2 2023/02/13 16:40
- 数学 数学の問題が分かりません! 次の関数y=f(x)の逆関数y=f^-1(x)を求めよ. ※答えが2次関 3 2023/06/22 19:22
- 計算機科学 ディジタル信号の問題がわかりません 1 2022/05/11 21:12
- 数学 高校数学で質問があります。 2 2023/02/13 15:49
- 数学 Ac:={bc│bc∈A}が左イデアルであることを示せ。 3 2023/01/24 17:00
- 数学 代数学のこの問題がわからないので教えて頂きたいです。 具体的には「写像の合成に関して群になる」のとこ 3 2022/11/13 17:16
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
(a+b)(a2-ab+b2)=a3+b3の途中式
-
三重根号を簡単にする問題です...
-
「因数定理」は、いつ習います...
-
【数学】2√3の整数部分をa, 少...
-
異なる2つの無理数の積について
-
他の式を利用した因数分解 x^3+...
-
群の乗積表の作り方は?
-
aの6乗+26aの3乗-27 ってどうや...
-
a^n+b^nの因数分解の仕方
-
計算が苦手です。 4a四乗−25a二...
-
lim{(a^x+b^x)/2}^1/x x→0 (a...
-
数学
-
因数分解について
-
ab-b-ac+c この式を因数分解し...
-
(a+b−1)(a+b+1)の計算方法は...
-
a^4+3a^2-2ab+4-b^2の因数分解...
-
数学の問題をといてください。
-
9b-9-3ab+a² の因数分解の仕...
-
高校数学について。 (3x²+1)...
-
(2a+b)^2(4a^2-2ab+b^2)^2は展...
おすすめ情報