2025.08.29
https://gyazo.com/e039b950e5641e2ac2f5c2e4f41ecfa4
メモ
メモ
$ \mathbf{GL.3} \oplus \Box^n \botを考える．ただし$ n \leq \omegaとし，$ \Box^\omega \bot \equiv \topとする．
このとき以下が知られている．
$ \bf GL.3の正規拡大は$ \mathbf{GL.3} \oplus \Box^n \botで取り尽くされる．
更に
$ \mathbf{GL.3} \oplus \Box^0 \bot \equiv \mathbf{Fml}
$ \mathbf{GL.3} \oplus \Box^1 \bot \equiv \mathbf{Ver}
$ \mathbf{GL.3} \oplus \Box^2 \bot \equiv \mathbf{GL.2}
$ \mathbf{GL.3} \oplus \Box^3 \bot
...
$ \mathbf{GL.3} \oplus \Box^\omega \bot = \mathbf{GL.3}