由次模函数f0所确定的拟阵

研究由次模函数f0所确定的拟阵。首先给出由次模函数f所确定的拟阵,讨论了连通拟阵的特征。据此证明了子集XE(G)是C(f0)中成员的充分必要条件。证明了双圈拟阵与由其确定的横贯拟阵的关系。     

拟阵族的分裂子

研究拟阵族 的分裂子 先应用分裂子定理和拟阵的单扩张定理证明了：若 ={ 是二元域拟阵且 不含有同构于 的拟阵},则 是 的一个分裂子。据此证明了两个结论,1.若 是正则拟阵且 不含 -幼阵 ,则 是 的一个分裂子;2. 是 和 的分裂子,并得到了这两个拟阵族的正则拟阵分解表示。     

双圈与双圈拟阵的连通性

对双圈G与双圈拟阵B(G)的连通性进行了研究,比较了它们的连通度.在讨论双圈拟阵的秩函数r(X)和用用极小顶割集AG(G[X])表示了连通函数k(X)的基础上,由主要引理"M是Tutten-连通的,且(X,E-X)是M的一个满足o(X)=min{o(X′):(X′,E-X′)是M的一个Tutten-分离划分},则G[X],G[E-X]都是连通的",推出如下结果:(1)用统一方法证明"B(G)是Tutten-连通的G是n-双圈连通的"等三个命题;(2)比较了连通度,给出双圈与双圈拟阵各种连通性的图形交换.     

拟阵Q_6与W~4可F-线性表示的构造

对拟阵 Q6与W4可F-线性表示的构造进行了研究.用E(G)在R上的链群F0(G,R)表示G的圈拟阵M(G);用松弛拟阵M的极小圈超平面X的方法得到拟阵M′.得到主要结果为:(1)用链群表示了M(K4),M(W4);(2)用松弛极小圈超平面的方法从M(K4)构造了Q6,从M(W4)构造了W4,找出了W4可线性表示的所有域F.