By the methods of operator semigroup and apriori estimates, the existence and uniqueness of the global weak solution and the global strong solution for the system are obtained.
利用算子半群方法和先验估计，证明了该问题整体弱解和整体强解的存在唯一性。
2
S is a nil-extension of strong semilattice of right semigroup.