generalizing the concepts of -fuzzy (left, right, lateral) ideals, -fuzzy quasi-ideals and   -fuzzy bi (generalized bi-) ideals in ternary semigroups, the notions of -fuzzy (left, right, lateral) ideals, -fuzzy quasi-ideals and -fuzzy bi (generalized bi-) in ternary semigroups are introduced and several related properties are investigated. some new results are obtained.

This paper presents a criterion for testing the irreducibility of a polynomial over an algebraic extension field. Using this criterion and the characteristic set method, the authors give a criterion for testing whether certain difference ascending chains are strong irreducible, and as a consequence, whether the saturation ideals of these ascending chains are prime ideals.

The Abadie CQ (ACQ) for convex inequality systems is a fundamental notion in optimization and approximation theory. In terms of the contingent cone and tangent derivative, we extend the Abadie CQ to more general convex multifunction cases and introduce the strong ACQ for both multifunctions and inequality systems. Some seemly unrelated notions are unified by the new ACQ and strong ACQ. Relation...

In a recent paper [17] Miro-Roig, Mezzetti and Ottaviani highlight the link between rational varieties satisfying a Laplace equation and artinian ideals failing the Weak Lefschetz Property. Continuing their work we extend this link to the more general situation of artinian ideals failing the Strong Lefschetz Property. We characterize the failure of the SLP (which includes WLP) by the existence ...

In [17] the authors highlight the link between rational varieties satisfying a Laplace equation and artinian ideals that fail the Weak Lefschetz property. Continuing their work we extend this link to the more general situation of artinian ideals failing the Strong Lefschetz Property. We characterize the failure of SLP (that includes WLP) by the existence of special singular hypersurfaces (cones...

Multiplier ideals are very important in higher dimensional geometry to study the singularities of ideal sheaves. It reflects the singularities of the ideal sheaves and provides strong vanishing theorem called the Kawamata-Viehweg-Nadel vanishing theorem (see [3]). However, the multiplier ideals are defined via a log resolution of the ideal sheaf and divisors on the resolved space, and it is dif...

Dual fractional cutting plane algorithms, in which cutting planes are used to iteratively tighten a linear relaxation of an integer program, are well-known and form the basis of the highly successful branch-and-cut method. It is rather less well-known that various primal cutting plane algorithms were developed in the 1960s, for example by Young. In a primal algorithm, the main role of the cutti...

The construction of joins and secant varieties is studied in the combinatorial context of monomial ideals. For ideals generated by quadratic monomials, the generators of the secant ideals are obstructions to graph colorings, and this leads to a commutative algebra version of the Strong Perfect Graph Theorem. Given any projective variety and any term order, we explore whether the initial ideal o...

The construction of joins and secant varieties is studied in the combinatorial context of monomial ideals. For ideals generated by quadratic monomials, the generators of the secant ideals are obstructions to graph colorings, and this leads to a commutative algebra version of the Strong Perfect Graph Theorem. Given any projective variety and any term order, we explore whether the initial ideal o...

The Lagrange dual function is: g(u, v) = min x L(x, u, v) The corresponding dual problem is: maxu,v g(u, v) subject to u ≥ 0 The Lagrange dual function can be viewd as a pointwise maximization of some affine functions so it is always concave. The dual problem is always convex even if the primal problem is not convex. For any primal problem and dual problem, the weak duality always holds: f∗ ≥ g...