可定义主同余相关论文
给出了三种代数类具有可定义主同余性质的证明。...
运用有格簇的多数优先项M(x,y,z),构造了DPSC性质中的两个主同余公式Γ1,Γ2,得出V(L)有DPSC性质,从而证明了有穷格生成的簇有有穷基的......