$L/M,M/K$がそれぞれ正規拡大でも、$L/K$が正規拡大にならない例があるのふしぎだなーって思ってたけど、ガロア群考えれば、群が$G\triangleright H,H \triangleright K$としても$G \triangleright K$にならないことなんだなぁって腑に落ちた

ユークリッド整域か否かの判定って難しいなぁ

$
\forall A(A \ne \varnothing \rightarrow \exists x \in A \forall t \in A(t \notin x))
$

うわああ、長い式が見られるようになってるううううう

エタール・コホモロジーってかっちょいいなあ

学部2,3年以下の知識しか無いのでパラコンパクトとかスーパーコンパクトとかの知識が皆無だ

Mathtodon FAQ
(1) 数式の右が切れる
 ブラウザの幅を狭くして4カラム表示から1カラム表示に変えると広くなります
(2) 投稿前に数式をプレビューしたい
 こちらでどうぞ → gyafun.jp/ln/MathJax.html
(3) 数式のソースを確認したい
 投稿時間をクリックして個別Tootを確認(そのうち確認できなくなるかも)

昔かいた画像です.
\begin{align}
1^2+2^2+3^2+\cdots+n^2=\frac{n(n+1)(2n+1)}{6}
\end{align}
mathtod.online/media/KRBPgOU-p

ブラウザの幅でカラム数を動的に変えていた。ウィンドウを狭くしていくと、突然1コラム表示になって「幅が狭い問題」が解決する。 mathtod.online/media/f5R4u-B5i

Show older
Mathtodon

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