@gunron-tan.bsky.socialOct 18, 2026, 3:10 AM #環論の知識#クルルの定理 (Krull's theorem)https://ja.wikipedia.org/wiki/...「#零環 でない #環 は少なくとも1つの #極大イデアル を持つ」.1929年に #超限帰納法 で証明.
@gunron-tan.bsky.social@gunron-tan.bsky.social