Sub-semigroups determined by the zero-divisor graph

In this paper we study sub-semigroups of a finite or an infinite zero-divisor semigroup S determined by properties of the zero-divisor graph Γ(S). We use these sub-semigroups to study the correspondence between zero-divisor semigroups and zero-divisor graphs. In particular, we discover a class of sub-semigroups of reduced semigroups and we study properties of sub-semigroups of finite or infinite semilattices with the least element. As an application, we provide a characterization of the graphs which are zero-divisor graphs of Boolean rings. We also study how local property of Γ(S) affects global property of the semigroup S, and we discover some interesting applications. In particular, we find that no finite or infinite two-star graph has a corresponding nil semigroup.     

Tight sets and <Emphasis Type="Italic">m</Emphasis>-ovoids of generalised quadrangles

The concept of a tight set of points of a generalised quadrangle was introduced by S. E. Payne in 1987, and that of an m-ovoid of a generalised quadrangle was introduced by J. A. Thas in 1989, and we unify these two concepts by defining intriguing sets of points. We prove that every intriguing set of points in a generalised quadrangle is an m-ovoid or a tight set, and we state an intersection result concerning these objects. In the classical generalised quadrangles, we construct new m-ovoids and tight sets. In particular, we construct m-ovoids of W(3,q), q odd, for all even m; we construct (q+1)/2-ovoids of W(3,q) for q odd; and we give a lower bound on m for m-ovoids of H(4,q ²).     

Properties of the solution set of nonlinear evolution inclusions

In this paper we examine nonlinear, nonautonomous evolution inclusions defined on a Gelfand triple of spaces. First we show that the problem with a convex-valued,h*-usc inx orientor fieldF(t, x) has a solution set which is anR _δ-set inC(T, H). Then for the problem with a nonconvex-valuedF(t, x) which ish-Lipschitz inx, we show that the solution set is path-connected inC(T, H). Subsequently we prove a strong invariance result and a continuity result for the solution multifunction. Combining these two results we establish the existence of periodic solutions. Some examples of parabolic partial differential equations with multivalued terms are also included. This work was done while the authors were visiting the Florida Institute of Technology.     

Construction of Ternary H v -groups and Ternary P-hyperoperations

In this paper, we study the concept of ternary H _v -groups and some their properties. We give some examples of ternary H _v -groups. Also, we consider the fundamental relation β* on a ternary H _v -group and prove that β* is a compatible relation on a ternary H _v -group. In addition, we define the P-hyperoperation, and then, we construct a new ternary H _v -group.     

Implicative hyper <Emphasis Type="Italic">K</Emphasis>-algebras

In this note we first define the notions of (weak, strong) implicative hyper K-algebras. Then we show by examples that these notions are different. After that we state and prove some theorems which determine the relationship between these notions and (weak) hyper K-ideals. Also we obtain some relations between these notions and (weak) implicative hyper K-ideals. Finally, we study the implicative hyper K-algebras of order 3, in particular we obtain a relationship between the positive implicative hyper K-algebras and (weak, strong) implicative hyper K-algebras under a simple condition.     

Uniqueness and stable determination in the inverse Robin transmission problem with one electrostatic measurement

In this paper, we consider the inverse Robin transmission problem with one electrostatic measurement. We prove a uniqueness result for the simultaneous determination of the Robin parameter p, the conductivity k, and the subdomain D, when D is a ball. When D and k are fixed, we prove a uniqueness result and a directional Lipschitz stability estimate for the Robin parameter p. When p and k are fixed, we give an upper bound to the subdomain D. For the reconstruction purposes of the Robin parameter p, we set the inverse problem under an optimization form for a Kohn–Vogelius cost functional. We prove the existence and the stability of the optimization problem. Finally, we show some numerical experiments that agree with the theoretical considerations. Copyright © 2013 John Wiley & Sons, Ltd.     

Special subgroups of regular semigroups

Extending the notions of inverse transversal and associate subgroup, we consider a regular semigroup S with the property that there exists a subsemigroup T which contains, for each x∈S, a unique y such that both xy and yx are idempotent. Such a subsemigroup is necessarily a group which we call a special subgroup. Here, we investigate regular semigroups with this property. In particular, we determine when the subset of perfect elements is a subsemigroup and describe its structure in naturally arising situations.     

Central Units in ℤCp,q

Let C_{p, q} be the semi-direct product of a cyclic group of order q by a cyclic group of order p, and ?C_{p, q} the integral group ring of C_{p, q}. In this article, firstly, we describe the group of normalized central units of ?C_{p, q} as a direct product of two subgroups that we call units of first kind and of second kind. For a class of prime numbers that we call good primes, we construct a multiplicatively independent set which generates the group of units of first kind. Finally, we construct a set of multiplicatively independent units which generates the units of second kind for a larger class of primes.     

Nonlocal vertex algebras generated by formal vertex operators

This is the first paper in a series to study vertex algebra-like objects arising from infinite-dimensional quantum groups (quantum affine algebras and Yangians). In this paper we lay the foundations for this study. For any vector space W, we study what we call quasi compatible subsets of Hom (W,W((x))) and we prove that any maximal quasi compatible subspace has a natural nonlocal (namely noncommutative) vertex algebra structure with W as a natural faithful quasi module in a certain sense, and that any quasi compatible subset generates a nonlocal vertex algebra with W as a quasi module. In particular, taking W to be a highest weight module for a quantum affine algebra we obtain a nonlocal vertex algebra with W as a quasi module. We also formulate and study a notion of quantum vertex algebra and we give general constructions of nonlocal vertex algebras, quantum vertex algebras and their modules.     

A nonlinear problem for the Laplace equation with a degenerating Robin condition

We investigate the behavior of the solutions of a mixed problem for the Laplace equation in a domain Ω. On a part of the boundary ∂Ω, we consider a Neumann condition, whereas in another part, we consider a nonlinear Robin condition, which depends on a positive parameter δ in such a way that for δ = 0 it degenerates into a Neumann condition. For δ small and positive, we prove that the boundary value problem has a solution u(δ,·). We describe what happens to u(δ,·) as δ→0 by means of representation formulas in terms of real analytic maps. Then, we confine ourselves to the linear case, and we compute explicitly the power series expansion of the solution.     

Second Order Nonlinear Evolution Inclusions Ⅰ： Existence and Relaxation Results

This is the first part of a work on second order nonlinear, nonmonotone evolution inclusions defined in the framework of an evolution triple of spaces and with a multivalued nonlinearity depending on both x（t） and x（t）. In this first part we prove existence and relaxation theorems. We consider the case of an usc, convex valued nonlinearity and we show that for this problem the solution set is nonempty and compact in C^1 （T, H）. Also we examine the Isc, nonconvex case and again we prove the existence of solutions. In addition we establish the existence of extremal solutions and by strengthening our hypotheses, we show that the extremal solutions are dense in C^1 （T, H） to the solutions of the original convex problem （strong relaxation）. An example of a nonlinear hyperbolic optimal control problem is also discussed.     

On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure

In the first part of this paper we let M be a stable homogeneous model and we prove a nonstructure theorem for the class of all elementary submodels of M, assuming that M is ‘unsuperstable’ and has Skolem functions. In the second part we assume that M is an unstable homogeneous model of large cardinality and we prove a nonstructure theorem for the class of all elementary submodels of M.     

Maximizing Algebraic Connectivity Over Unicyclic Graphs

We consider the class of unicyclic graphs on n vertices with girth g, and over that class, we attempt to determine which graph maximizes the algebraic connectivity. When g is fixed, we show that there is an N such that for each n>N, the maximizing graph consists of a g cycle with n?g pendant vertices adjacent to a common vertex on the cycle. We also provide a bound on N. On the other hand, when g is large relative to n, we show that this graph does not maximize the algebraic connectivity, and we give a partial discussion of the nature of the maximizing graph in that situation.     

A unified theory for homotopy principles for multimaps

In this article, we present a definition of d-essential and d–L-essential maps in completely regular topological spaces and we establish a homotopy property for both d-essential and d–L-essential maps. Also using the notion of extendability, we present new continuation theorems.     

Ordinary and ℤ2-Graded Cocharacters of UT 2(E)

Let E be the infinite dimensional Grassmann algebra over a field F of characteristic 0. In this article we consider the algebra R of 2 × 2 matrices with entries in E and its subalgebra G, which is one of the minimal algebras of polynominal identity (PI) exponent 2. We compute firstly the Hilbert series of G and, as a consequence, we compute its cocharacter sequence. Then we find the Hilbert series of R, using the tool of proper Hilbert series, and we compute its cocharacter sequence. Finally we describe explicitely the ?₂-graded cocharacters of R.     

Hyper MV ‐ideals in hyper MV ‐algebras

In this paper we define the hyper operations ?, ∨ and ∧ on a hyper MV ‐algebra and we obtain some related results. After that by considering the notions ofhyper MV ‐ideals and weak hyper MV ‐ideals, we prove some theorems. Then we determine relationships between (weak) hyper MV ‐ideals in a hyper MV ‐algebra (M, ⊕, *, 0) and (weak) hyper K ‐ideals in a hyper K ‐algebra (M, °, 0). Finally we give a characterization of hyper MV ‐algebras of order 3 or 4 based on the (weak) hyper MV ‐ideals (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Produit de bivecteurs et quaternions complexes

First we calculate the product of two bivectors in vectorial spaceR(p, q) (p andq are integers such thatp+q=n). Second we prove that this product is a quaternion forR(3, 0) and we generalize to finite number of bivectors. Third we prove that this product is a biquaternion forR(1, 3) and we genaralize in the same way. Fourth we prove that some complex quaternions can be connected with real Clifford algebra by choosing correctly the usual imaginary.      

On the invertibility and bounded extension of C 0 -semigroups

A well-known necessary and sufficient condition for the operator A to be the infinitesimal generator of a strongly continuous (C ₀ -) group is that both A and -A generate a C ₀ -semigroup. This seems to imply that one has to check the conditions in the Hille-Yosida Theorem for both A and -A . In this paper we show that this is not necessary. Given that A generates a C ₀ -semigroup we prove that a (weak) growth bound on the resolvent on a left half plane is sufficient to guarantee that A generates a group. This extends the recent result found by Liu, see [6]. Furthermore, we study when a generator of a bounded C ₀ -semigroup is the generator of a bounded group. The condition that we obtain is the same as found by Van Casteren in [2, 3], but we present a direct proof.     

Constancy of p-harmonic maps of finite q-energy into non-positively curved manifolds

We investigate p-harmonic maps, p ≥ 2, from a complete non-compact manifold into a non-positively curved target. First, we establish a uniqueness result for the p-harmonic representative in the homotopy class of a constant map. Next, we derive a Caccioppoli inequality for the energy density of a p-harmonic map and we prove a companion Liouville type theorem, provided the domain manifold supports a Sobolev–Poincaré inequality. Finally, we obtain energy estimates for a p-harmonic map converging, with a certain speed, to a given point.