Free Part (自由部分)
- Free Part (自由部分) #Card
- $\mathcal{F}^* := \mathcal{F} \setminus \operatorname{ker} \mathcal{F}$.
$\mathcal{F}^* := \mathcal{F} \setminus \operatorname{ker} \mathcal{F}$.
本ノート RoyalRoad.ChapterII.freePart f := f ⊓ 𝓟 (Filter.ker f)ᶜ
$\mathcal{F}^* := \mathcal{F} \setminus \operatorname{ker} \mathcal{F}$.
本ノート RoyalRoad.ChapterII.freePart f := f ⊓ 𝓟 (Filter.ker f)ᶜ