Rank Properties of the Semigroup of Singular Transformations on a Finite Set

It is known that the semigroup Sing _n of all singular self-maps of X _n  = {1,2,…, n} has rank n(n ? 1)/2. The idempotent rank, defined as the smallest number of idempotents generating Sing _n , has the same value as the rank. (See Gomes and Howie, 1987 Gomes , G. M. S. , Howie , J. M. ( 1987 ). On the rank of certain finite semigroups of transformations . Math. Proc. Cambridge Phil. Soc. 101 : 395 – 303 .[Crossref], [Web of Science ®] , [Google Scholar].) Idempotents generating Sing _n can be seen as special cases (with m = r = 2) of (m, r)-path-cycles, as defined in Ay\i k et al. (2005 Ay?k , G. , Ay?k , H. , Howie , J. M. ( 2005 ). On factorisations and generators in transformation semigroups . Semigroup Forum 70 : 225 – 237 .[Crossref], [Web of Science ®] , [Google Scholar]). The object of this article is to show that, for fixed m and r, the (m, r)-rank of Sing _n , defined as the smallest number of (m, r)-path-cycles generating Sing _n , is once again n(n ? 1)/2.     

On the Characterization of f-Ideals

In this paper, we give the characterization of unmixed f-ideals of degree d ≥ 2 generalizing the results given in [1 Abbasi , G. Q. , Ahmad , S. , Anwar , I. , Baig , W. A. ( 2012 ). f-Ideals of degree 2. Algebra Colloquium 19 (Spec 1):921–926 . [Google Scholar]].     

A Note on the Dimension Theory of ℤ n -Graded Rings

In this note we want to generalize some of the results in [1 Brewer , J. , Montgomery , P. , Rutter E. , Heinzer , W. ( 1973 ). Krull dimension of polynomial rings in “Conference on Commutative Algebra, Lawrence 1972.” . Springer Lecture Notes in Mathematics 311 : 26 – 45 .[Crossref] , [Google Scholar]] from polynomial rings in several indeterminates to arbitrary ? ⁿ -graded commutative rings. We will prove an analogue of Jaffard's Special Chain Theorem and a similar result for the height of a prime ideal 𝔭 over its graded core 𝔭*.     

Right-Left Symmetry of Right Nonsingular Right Max-Min CS Prime Rings

In this article we show, among others, that if R is a prime ring which is not a domain, then R is right nonsingular, right max-min CS with uniform right ideal if and only if R is left nonsingular, left max-min CS with uniform left ideal. The above result gives, in particular, Huynh et al. (2000 Huynh , D. V. , Jain , S. K. , López-Permouth , S. R. ( 2000 ). On the symmetry of the goldie and CS conditions for prime rings . Proc. Amer. Math. Soc. 128 : 3153 – 3157 . [Google Scholar]) Theorem for prime rings of finite uniform dimension.     

Factorisable Semigroups of Generalized Transformations

ABSTRACT

If X and Y are sets, we let P(X, Y ) denote the set of all partial transformations from X into Y (that is, all mappings whose domain and range are subsets of X and Y, respectively). We define an operation * on P(X, Y ) by choosing θ ∈ P(Y, X) and writing: α*β = α °θ°β, for each α, β ∈ P(X, Y ). Then (P(X, Y ), *) is a semigroup, and some authors have determined when this is regular (Magill and Subbiah, 1975 Magill , K. D. , Jr. Subbiah , S. ( 1975 ). Green's relations for regular elements of sandwich semigroups. I. General results . Proc. London Math. Soc. 31 : 194 – 210 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), when it contains a “proper dense subsemigroup” (Wasanawichit and Kemprasit, 2002 Wasanawichit , A. , Kemprasit , Y. ( 2002 ). Dense subsemigroups of generalized transformation semigroups . J. Austral. Math. Soc. 73 ( 3 ): 433 – 445 . [CSA] [Crossref] , [Google Scholar]) and when it is factorisable (Saengsura, 2001 Saengsura , K. ( 2001 ). Factorizable on (P(X, Y ), θ) , MSc thesis, 23 pp (in Thai, with English summary), Department of Mathematics, Khon Kaen University, Khon Kaen, Thailand, 2001.  [Google Scholar]). In this paper, we extend the latter work to certain subsemigroups of (P(X, Y ), *). We also consider the corresponding idea for partial linear transformations from one vector space into another. In this way, we generalise known results for total transformations and for injective partial transformations between sets, and we establish new results for linear transformations between vector spaces.     

A Regularized Hybrid Steepest Descent Method for Variational Inclusions

This article is concerned with a generalization of the hybrid steepest descent method from variational inequalities to the multivalued case. This will be reached by replacing the multivalued operator by its Yosida approximate, which is always Lipschitz continuous. It is worth mentioning that the hybrid steepest descent method is an algorithmic solution to variational inequality problems over the fixed point set of certain nonexpansive mappings and has remarkable applicability to the constrained nonlinear inverse problems like image recovery and MIMO communication systems (see, e.g., [9 I. Yamada , M. Yukawa , and M. Yamagishi ( 2011 ). Minimizing the moreau envelope of nonsmooth convex functions over the fixed point set of certain quasi-nonexpansive mappings . In Fixed Point Algorithms for Inverse Problems in Science and Engineering ( H.H. Bauschke , R. Burachik , P.L. Combettes , V. Elser , D.R. Luke , and H. Wolkowicz , eds.), Springer-Verlag , New York , Chapter 17 , pp. 343 – 388 . [Google Scholar], 10 I. Yamada , Ogura , and N. Shirakawa ( 2002 ). A numerically robust hybrid steepest descent method for the convexly constrained generalized inverse problems . In Inverse Problems, Image Analysis and Medical Imaging. Contemporary Mathematics ( Z. Nashed and O. Scherzer , eds.), American Mathematical Society , Providence , RI , Vol. 313 , pp. 269 – 305 . [Google Scholar]]).     

Quasi-linear Quotients and Shellability of Pure Simplicial Complexes

For a square-free monomial ideal I ? S = k[x ₁, x ₂,…, x _n ], we introduce the notion of quasi-linear quotients. By using the quasi-linear quotients, we give a new algebraic criterion for the shellability of a pure simplicial complex Δ over [n]. Also, we provide a new criterion for the Cohen–Macaulayness of the face ring of a pure simplicial complex Δ. Moreover, we show that the face ring of the spanning simplicial complex (defined in [2 Anwar , I. , Raza , Z. , Kashif , A. Spanning simplicial complexes of uni-cyclic graphs . To appear in Algebra Colloquium . [Google Scholar]]) of an r-cyclic graph is Cohen–Macaulay.     

Prüfer v-Multiplication Domains and w-Multiplicative Canonical Ideals

Let R be an integral domain. A w-ideal I of R is called a w-multiplicative canonical ideal if (I: (I: J)) = J for each w-ideal J of R. In particular, if R is a w-multiplicative canonical ideal of R, then R is a w-divisorial domain. These are the w-analogues of the concepts of a multiplicative canonical ideal and a divisorial domain, respectively. Motivated by the articles [8 El Baghdadi S., Gabelli , S. ( 2005 ). w-Divisorial domains . J. Algebra 285 : 335 – 355 .[Crossref], [Web of Science ®] , [Google Scholar], 10 Heinzer , W. , Huckaba , J. A. , Papick , I. J. ( 1998 ). m-Canonical ideals in integral domains . Comm. Algebra 26 ( 9 ): 3021 – 3043 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]], we study the domains possessing w-multiplicative canonical ideals; in particular, we consider Prüfer v-multiplication domains.     

Poisson Hopf algebra related to a twisted quantum group

A Poisson algebra ?[G] considered as a Poisson version of the twisted quantized coordinate ring ?_q,p[G], constructed by Hodges et al. [11 Hodges, T. J., Levasseur, T., Toro, M. (1997). Algebraic structure of multi-parameter quantum groups. Adv. Math. 126:52–92.[Crossref], [Web of Science ®] , [Google Scholar]], is obtained and its Poisson structure is investigated. This establishes that all Poisson prime and primitive ideals of ?[G] are characterized. Further it is shown that ?[G] satisfies the Poisson Dixmier-Moeglin equivalence and that Zariski topology on the space of Poisson primitive ideals of ?[G] agrees with the quotient topology induced by the natural surjection from the maximal ideal space of ?[G] onto the Poisson primitive ideal space.     

Depth and Stanley depth of the edge ideals of square paths and square cycles

In this paper, we compute depth and Stanley depth for the quotient ring of the edge ideal associated to a square path on n vertices. We also compute depth and Stanley depth for the quotient ring of the edge ideal associated to a square cycle on n vertices, when n≡0,3,4( mod 5), and give tight bounds when n≡1,2( mod 5). We also prove a conjecture of Herzog presented in [5 Herzog, J. (2013). A survey on Stanley depth. In: Bigatti, M. A., Gimenez, P., Sáenz-de-Cabezón, E., eds. Monomial Ideals, Computations and Applications. Lecture Notes in Mathematics, Vol. 2083. Heidelberg: Springer, pp. 3–45. https://arxiv.org/pdf/1702.00781.pdf.[Crossref] , [Google Scholar]], for the edge ideals of square paths and square cycles.     

Two Dimensional Incompressible Ideal Flow Around a Small Curve

We study the asymptotic behavior of solutions of the two dimensional incompressible Euler equations in the exterior of a curve when the curve shrinks to a point. This work links the two previous results [5 Iftimie , D. , Lopes Filho , M.C. , Nussenzveig Lopes , H.J. ( 2003 ). Two dimensional incompressible ideal flow around a small obstacle . Comm. Part. Diff. Eqs. 28 : 349 – 379 .[Taylor & Francis Online], [Web of Science ®] , [Google Scholar], 9 Lacave , C. ( 2009 ). Two dimensional incompressible ideal flow around a thin obstacle tending to a curve . Annales de l'IHP, Anl. 26 : 1121 – 1148 . [Google Scholar]]. The second goal of this work is to complete the previous article, in defining the way the obstacles shrink to a curve. In particular, we give geometric properties for domain convergences in order that the limit flow be a solution of Euler equations.     

On computing the integral closure

In Hai and Thin [1 Hai , B. X. , Thin , N. V. On locally nilpotent subgroups of GL ₁(D). Communications in Algebra 37 ( 2 ): 712 – 718 . [Google Scholar]], there is a theorem, stating that every locally nilpotent subnormal subgroup in a division ring D is central (see [1 Hai , B. X. , Thin , N. V. On locally nilpotent subgroups of GL ₁(D). Communications in Algebra 37 ( 2 ): 712 – 718 . [Google Scholar], Theoerem 2.2]). Unfortunately, there is some mistake in the proof of this theorem. In this note, we give the another proof of this theorem.     

Varieties of Structurally Trivial Semigroups III

The skeleton of the lattice of all structurally trivial semigroup varieties is known to be isomorphic to an infinitely ascending inverted pyramid (Kopamu, 2003 Kopamu , S. J. L. ( 2003 ). Varieties of structurally trivial semigroups II . Semigroup Forum 66 : 401 – 415 . [Google Scholar]). We digitize the skeleton by representing each variety forming the skeleton as an ordered triple of non-negative integers. This digitization of the lattice, under the pointwise ordering of non-negative integers, provides useful algorithms which could easily be programmed into a computer, and then used to compute varietal joins and meets, or even to draw skeleton lattice diagrams. An application to a certain larger subvariety lattice is also given as an example.     

F-Monoids

A semigroup S is called F-monoid if S has an identity and if there exists a group congruence ρ on S such that each ρ-class of S contains a greatest element with respect to the natural partial order of S (see Mitsch, 1986 Mitsch , H. ( 1986 ). A natural partial order for semigroups . Proc. Amer. Math. Soc. 97 : 384 – 388 .[Crossref], [Web of Science ®] , [Google Scholar]). Generalizing results given in Giraldes et al. (2004 Giraldes , E. , Marques-Smith , P. , Mitsch , H. ( 2004 ). F-regular semigroups . J. Algebra 274 : 491 – 510 .[Crossref], [Web of Science ®] , [Google Scholar]) and specializing some of Giraldes et al. (Submitted Giraldes , E. , Marques-Smith , P. , Mitsch , H. F-semigroups. Submitted . [Google Scholar]) five characterizations of such monoids S are provided. Three unary operations “?”, “○”, and “ ? ” on S defined by means of the greatest elements in the different ρ-classes of S are studied. Using their properties a charaterization of F-monoids S by their regular part S° = {a°|a ? S} and the associates of elements in S° is given. Under the hypothesis that S ^? = {a ^?|a ? S} is a subsemigroup it is shown that S is regular, whence of a known structure (see Giraldes et al., 2004 Giraldes , E. , Marques-Smith , P. , Mitsch , H. ( 2004 ). F-regular semigroups . J. Algebra 274 : 491 – 510 .[Crossref], [Web of Science ®] , [Google Scholar]).     

On SZ°-Ideals in Polynomial Rings

The theory of z-ideals and z°-ideals, especially as pertaining to the ideal theory of C(X), the ring of continuous functions on a completely regular Hausdorff space X, has been attended to during the recent years; see Gillman and Jerison [9 Gillman , L. , Jerison , M. ( 1976 ). Rings of Continuous Functions . New York : Springer Verlag . [Google Scholar]], Mason [18 Mason , G. ( 1989 ). Prime ideals and quotient rings of reduced rings . Math. Japan 34 : 941 – 956 . [Google Scholar]], and Azarpanah et al. [4 Azarpanah , F. , Karamzadeh , O. A. S. , Rezaei Aliabad , A. ( 2000 ). On ideals consisting entirely of zerodivisor . Comm. Algebra 28 ( 2 ): 1061 – 1073 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. In this article we will consider the theory of z°-ideals as applied to the rings of polynomials over a commutative ring with identity. We introduce and study sz°-ideals (an ideal I of a ring is called sz°-ideal, if whenever S is a finite subset of I, then the intersection of all minimal prime ideals containing S is in I). In addition, we will pay attention to several annihilator conditions and find some new results. Finally, we use the two examples that appeared in Henriksen and Jerison [10 Henriksen , M. , Jerison , M. ( 1965 ). The space of minimal prime ideals of a commutative ring . Trans. Amer. Math. Soc. 115 : 110 – 130 .[Crossref], [Web of Science ®] , [Google Scholar]] and Huckaba [12 Huckaba , J. A. ( 1988 ). Commutative Rings with Zero Divisors . Marcel-Dekker Inc . [Google Scholar]], to answer some natural questions that might arise in the literature.     

Non–existence of theta–shaped self–similarly shrinking networks moving by curvature

We prove that there are no networks homeomorphic to the Greek “Theta” letter (a double cell) embedded in the plane with two triple junctions with angles of 120 degrees, such that under the motion by curvature they are self–similarly shrinking.

This fact completes the classification of the self–similarly shrinking networks in the plane with at most two triple junctions, see [5 Chen, X., Guo, J.-S. (2007). Self-similar solutions of a 2-D multiple-phase curvature flow. Phys. D. 229(1):22–34.[Crossref], [Web of Science ®] , [Google Scholar], 10 Hättenschweiler, J. (2007). Mean curvature flow of networks with triple junctions in the plane. Master’s thesis. ETH Zürich. [Google Scholar], 25 Schnürer, O. C., Azouani, A., Georgi, M., Hell, J., Nihar, J., Koeller, A., Marxen, T., Ritthaler, S., Sáez, M., Schulze, F., Smith, B. (2011). Evolution of convex lens–shaped networks under the curve shortening flow. Trans. Am. Math. Soc. 363(5):2265–2294.[Crossref], [Web of Science ®] , [Google Scholar], 2 Baldi, P., Haus, E., Mantegazza, C. (2016). Networks self-similarly moving by curvature with two triple junctions. Networks self-similarly moving by curvature with two triple junctions. 28(2017):323–338. [Google Scholar]].     

Invertibility of ideals in Prüfer extensions

Using the general approach to invertibility for ideals in ring extensions given by Knebush and Zhang in [9 Knebush, M., Zhang, D. (2002). Manis Valuations and Prüfer Extensions I. Lecture Notes in Mathematics, Vol. 1791. Springer.[Crossref] , [Google Scholar]], we investigate about connections between faithfully flatness and invertibility for ideals in rings with zero divisors.