主要明确了纯有限ＢＣＫ－域和无限循环ＢＣＫ－域的运算结构，进而给出了构作ＢＣＫ－域（或ＢＣＫ－代数）的一般方法，引入了独立列的概念，并给出了相关的组合结论。......