ガロア第一論文と乗数イデアル他関連資料スレ2

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ2 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

357: １３２人目の素数さん [] 2023/03/13(月) 21:11:19.15 ID:UeELXD7y

>>356
つづき

（参考）英語版に詳しい証明がある、ただし文字化けなおさず。本文参照ください
https://en.wikipedia.org/wiki/Frobenius_theorem_(real_division_algebras)
Frobenius theorem (real division algebras)
In mathematics, more specifically in abstract algebra, the Frobenius theorem, proved by Ferdinand Georg Frobenius in 1877, characterizes the finite-dimensional associative division algebras over the real numbers. According to the theorem, every such algebra is isomorphic to one of the following:
R (the real numbers)
C (the complex numbers)
H (the quaternions).
These algebras have real dimension 1, 2, and 4, respectively. Of these three algebras, R and C are commutative, but H is not.

Proof
The main ingredients for the following proof are the Cayley?Hamilton theorem and the fundamental theorem of algebra.

Introducing some notation
Let D be the division algebra in question.
Let n be the dimension of D.
We identify the real multiples of 1 with R.
When we write a <= 0 for an element a of D, we tacitly assume that a is contained in R.
We can consider D as a finite-dimensional R-vector space. Any element d of D defines an endomorphism of D by left-multiplication, we identify d with that endomorphism. Therefore, we can speak about the trace of d, and its characteristic and minimal polynomials.
For any z in C define the following real quadratic polynomial:

Q(z;x)=x^{2}-2\operatorname {Re} (z)x+|z|^{2}=(x-z)(x-{\overline {z}})\in \mathbf {R} [x].
Note that if z ∈ C ? R then Q(z; x) is irreducible over R.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1677671318/357

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.030s