>>340
極小な生成系というのがよくわからないけど
例えばQ上の代数Aを非負の実数でパラメトライズされた基底Xaてはられるベクトル空間にに積をXaXb=Xa (a≦b)で定めた代数としてMをその極大イデアルとする
この時集合SがMを生成する
⇔∀a>0∃b>a Xb∈S
だから“極小な生成系?”はない