[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
359(3): １３２人目の素数さん [] 2023/03/13(月)21:12 ID:UeELXD7y(6/14)
>>358
つづき
The finish
For a, b in V define B(a, b) = (?ab ? ba)/2. Because of the identity (a + b)2 ? a2 ? b2 = ab + ba, it follows that B(a, b) is real. Furthermore, since a2 <= 0, we have: B(a, a) > 0 for a ≠ 0. Thus B is a positive definite symmetric bilinear form, in other words, an inner product on V.
Let W be a subspace of V that generates D as an algebra and which is minimal with respect to this property. Let e1, ..., en be an orthonormal basis of W with respect to B. Then orthonormality implies that:
e_{i}^{2}=-1,\quad e_{i}e_{j}=-e_{j}e_{i}.
If n = 0, then D is isomorphic to R.
If n = 1, then D is generated by 1 and e1 subject to the relation e2
1 = ?1. Hence it is isomorphic to C.
If n = 2, it has been shown above that D is generated by 1, e1, e2 subject to the relations
e_{1}^{2}=e_{2}^{2}=-1,\quad e_{1}e_{2}=-e_{2}e_{1},\quad (e_{1}e_{2})(e_{1}e_{2})=-1.
These are precisely the relations for H.
つづく
360(2): １３２人目の素数さん [] 2023/03/13(月)21:13 ID:UeELXD7y(7/14)
>>359
つづき
If n > 2, then D cannot be a division algebra. Assume that n > 2. Let u = e1e2en. It is easy to see that u2 = 1 (this only works if n > 2). If D were a division algebra, 0 = u2 ? 1 = (u ? 1)(u + 1) implies u = ±1, which in turn means: en = ?e1e2 and so e1, ..., en?1 generate D. This contradicts the minimality of W.
Remarks and related results
The fact that D is generated by e1, ..., en subject to the above relations means that D is the Clifford algebra of Rn. The last step shows that the only real Clifford algebras which are division algebras are Cｌ0, Cｌ1 and Cｌ2.
As a consequence, the only commutative division algebras are R and C. Also note that H is not a C-algebra. If it were, then the center of H has to contain C, but the center of H is R. Therefore, the only finite-dimensional division algebra over C is C itself.
This theorem is closely related to Hurwitz's theorem, which states that the only real normed division algebras are R, C, H, and the (non-associative) algebra O.
Pontryagin variant. If D is a connected, locally compact division ring, then D = R, C, or H.
(引用終り)
以上
368: １３２人目の素数さん [sage] 2023/03/14(火)07:40 ID:bQV51cAg(1/8)
>>367
１、検索結果を読んでも全く理解できず全コピペ
さすが大学１年の４月で落ちこぼれた真正●●
Q, >>357-360を読んで肝心な部分をまとめて
2048バイト以内（すなわち１コメント）で書け
１には絶対できないと予言する
勝った！（完全勝利宣言！！！）
381(8): １３２人目の素数さん [sage] 2023/03/14(火)20:13 ID:bQV51cAg(3/8)
>>377-379
東京●●大と大阪●●大
落ちこぼれ同士の共鳴
> 数学科以外で自分より上がいると、
> 落ちこぼれた自分がみじめで許せないんだ
誰が上？貴様が？
正則行列も知らず
任意の正方行列に逆行列があると
大嘘ぶっこいた馬鹿野郎の貴様が？
悪いが貴様より下なんかいねえよｗ
で、>>357-360のコピペの要約もできんのか？
こんなもんハードル下げまくってるぞ
それでも答えられんのか？
じゃ解答で二匹の落ちこぼれのゴキブリを焼き尽くすかｗ
まず358はR上の多元体で1以外の基底は
みな2乗すると-1になるといってる
この証明には代数学の基本定理とケイリー・ハミルトンの定理を使ってる
ま、どっちの定理の証明も1には生涯理解できまいから全部省略するｗ
次に359は多元体をR上の線形空間とみなした場合の生成元の基底を取ったとき
生成元の数が1つなら複素数C (e1^2=-1）
生成元の数が2つなら四元数H （e1^2=e2^2=-1、e1e2=-e2e1 ゆえに(e1e2)^2=-e1^2e2^2=-1）
最後に360は生成元の数が3以上だとe1e2en=1となるから、
358に述べた定理によって多元体にならないと言ってる
たったこんだけだぞ、なんで書けないんだ？
正真正銘のパクチー野郎か？１と乙は？（嘲）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s