0345132人目の素数さん垢版 | 大砲2020/09/06(日) 06:51:20.10ID:rSTl7z29 >>344 不等号逆だ XaXb = Xb (a<b) X0が単位元 m=<xa | a>0> が唯一の極大イデアル SがMのgenerator ⇔ inf{ a | Xa∈S } = 0