僕は統計学何も知らないのであれだけど Sutaro 先生のスライドは数学としては極めてあたりまえのことしか書いてない感じがした

必要条件と十分条件のどっちがどっちかとか未だに覚えてない

いま超越基底とかのことを勉強していて,マトロイドというものを知って,有限集合かいおもんなと思って調べたら出てきた

僕がしばらくここに来てなかったのは単純に数学をしていなかったから

@MageManager 内容に関係ないですけど,ED とか PID とかはあんまり $$ で囲うことないのでは,と思いました.

ナナメのところでもう一回基本定理使うだけね。

雪江立ち読みしたらマジ自明だった…

Galois の推進定理って名前がついていたことがわかった

制限写像で単射はよくて,全射がわからん.任意の $K$ -同型で動かないからと言って $K$ に属するとは限らんのでは.

$\mathop{\mathrm{Gal}}(LK/K) \simeq \mathop{\mathrm{Gal}}(L/L \cap K)$ が示せない

Galois の基本定理を示したところ,Hasse 図みたいなのが大量にかけてマジで顔つきです

@mathmathniconico $f_\theta$ がたかだか $|G|$ 次なので、、

エヴァネタか.なんか Riemann 面みたいだなと思ったけど.

各 $\theta \in L$ に対して,$[K(\theta): K] \le |G|$ だから,$[K(\theta): K]$ が最大になるような $\theta \in L$ をとる.$K(\theta) \subsetneq L$ とすると,$\theta' \in L - K(\theta)$ がとれて,$[K(\theta): K] < [K(\theta, \theta'): K]$ となる.ところが $K(\theta, \theta')/K$ は有限次分離拡大だから単拡大であり,これでは $\theta$ の最大性に矛盾する.よって $K(\theta) = L$ である.

有限次であることは言えた気になってるんだが,なにかおかしいかな

Show more
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.