关于 Baker 假设的证明

1983年 K.Baker 发现:在代数簇 V(M_3)中存在任意长的代数投射,因而是不可定义的.但在保持主同余类结构不变的意义下,V(M_3)中任何一个代数投射都可以由若干个长度小于6的代数投射所代替.他将后面这个性质称为有穷主长度性质.由于 V(M_3)是一个同余分配簇,他问:是否所有由有穷代数生成的同余分配簇都具有有穷主长度性质?他认为答案是肯定的.这就是Baker 假设.(参见[1])本文将此问题作了理论化处理,并在泛代数领域中首先引入了所谓“最小板块”的概念.在此基础上,本文给出 Baker 假设的一个完整的证明.