拟阵(M-Z_1)/Z_2在Z^+中的(F-Z_1)-可流性

研究幼阵M′在Z+中的F′-可流性。首先给出M是一个在Z+中的F-可流拟阵的定义,由定义证明了,若对任意的非负整数函数p′,使得当对任意D′∈C M′*都有p′D′∩F′≤p′D′-F′被满足时,总可以找到满足∑e∈C′,C′∈C′F′Φ′C′≥p′e,若e∈F-Z1,∑e∈C′,C′∈CΦ′C′≤p′e,若e∈E-F-Z1。的非负整数值函数Φ′C′;E→Z+,从而M′是在Z+的F′-可流拟阵。

在1/2Z^+中的(F-Z_1)-可流拟阵(M-Z_1)/Z_2

研究在1/2Z^+中的F-可流拟阵的幼阵的可流性.首先给出F-可流拟阵的充要条件及在1/2Z^+中是F-可流拟阵的定义.证明了辅助命题:若拟阵是无环元的,则它的每个元素都恰在k个余极小圈之中;对满足一定的条件的极小圈集合,成立最小极小圈集合的等式.设映射p′在幼阵中满足1/2Z^+中(F-Z_1)-可流拟阵的不等式,由p′定义p.证明p在拟阵中满足同样的不等式.由映射Φ满足是12/Z^+中F-可流拟阵的等式,可找到最小属于幼阵的极小圈,定义Φ′(C′)则可证明Φ′满足在1/2Z^+中是(F-Z_1)-可流的等式.即由在1/2Z^+中F-可流拟阵的充要条件,证明了幼阵在1/2Z^+中是(F-Z_1)-可流的.