Larson–Sweedler Theorem and Some Properties of Discrete Type in (G-Cograded) Multiplier Hopf Algebras

We extend the Larson–Sweedler theorem to group-cograded multiplier Hopf algebras introduced in Abd El-hafez et al. (2004 Abd El-hafez , A. T. , Delvaux , L. , Van Daele , A. ( 2004 ). Group-cograded multiplier Hopf (?-)algebra. Math. QA/0404026 . To appear in Algebras and Representation Theory . [CSA]  [Google Scholar]), by showing that a group-cograded multiplier bialgebra with finite-dimensional unital components is a group-cograded multiplier Hopf algebra if and only if it possesses a nondegenerate left cointegral. We also generalize the theory of multiplier Hopf algebras of discrete type in Van Daele and Zhang (1999 Van Daele , A. , Zhang , Y. ( 1999 ). Multiplier Hopf algebras of discrete type . J. Algebra 214 : 400 – 417 . [CSA] [CROSSREF]  [Google Scholar]) to group-cograded multiplier Hopf algebras. Our results are applicable to Hopf group-coalgebras in the sense of Turaev (2000 Turaev , V. G. ( 2000 ). Homotopy field theory in dimension 3 and crossed group-categories . Preprint GT/0005291. [CSA]  [Google Scholar]). Finally, we study regular multiplier Hopf algebras of η -discrete type.     

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]].     

The Calderón problem for variable coefficients nonlocal elliptic operators

In this paper, we introduce an inverse problem of a Schrödinger type variable nonlocal elliptic operator (???(A(x)?))^s+q), for 0<s<1. We determine the unknown bounded potential q from the exterior partial measurements associated with the nonlocal Dirichlet-to-Neumann map for any dimension n≥2. Our results generalize the recent initiative [18 Ghosh, T., Salo, M., Uhlmann, G. (2016). The Calderón problem for the fractional Schrödinger equation. arXiv preprint arXiv:1609.09248. [Google Scholar]] of introducing and solving inverse problem for fractional Schrödinger operator ((?Δ)^s+q) for 0<s<1. We also prove some regularity results of the direct problem corresponding to the variable coefficients fractional differential operator and the associated degenerate elliptic operator.     

Discrete Morse theory and a reformulation of the K(π,1)-conjecture

A recent theorem of Dobrinskaya [20 Dobrinskaya, N.È. (2006). Configuration spaces of labeled particles and finite Eilenberg-MacLane complexes. Proc. Steklov Inst. Math. 252(1):30–46.[Crossref] , [Google Scholar]] states that the K(π,1)-conjecture holds for an Artin group G if and only if the canonical map BM→BG is a homotopy equivalence, where M denotes the Artin monoid associated to G. The aim of this paper is to give an alternative proof by means of discrete Morse theory and abstract homotopy theory. Moreover, we exhibit a new model for the classifying space of an Artin monoid, in the spirit of [13 Charney, R., Meier, J., Whittlesey, K. (2004). Bestvina’s normal form complex and the homology of Garside groups. Geom. Dedicata 105:171–188.[Crossref], [Web of Science ®] , [Google Scholar]], and a small chain complex for computing its monoid homology, similar to the one of [44 Squier, C. C. (1994). The homological algebra of Artin groups. Math. Scand. 75(1):5–43.[Crossref], [Web of Science ®] , [Google Scholar]].     

On the Twisting and Drinfel'd Double for Multiplier Hopf Algebras

We define the concept of “semiprime” for preradicals and for submodules, and we prove some properties that relate both of them. Related concepts are defined in article by Bican et al. [2 Bican , L. , Jambor , P. , Kepka , T. , Nemec , P. ( 1980 ). Prime and coprime modules . Fundamenta Mathematicae CVII , 33 – 45 . [Google Scholar]] and by Van den Berg and Wisbauer [9 Van den Berg , J. , Wisbauer , R. ( 2001 ). Duprime and dusemiprime modules . Journal of Pure and Applied Algebra 165 : 337 – 356 .[Crossref], [Web of Science ®] , [Google Scholar]]. For any ring, we compare the least semiprime preradical, the Jacobson radical and the join of all nilpotent preradicals, and we characterize V-rings in terms of these three preradicals. We study the least semiprime preradical above any preradical and we prove some of its properties. Using “Amitsur constructions” we define another related operators and prove some of their properties.     

Hurwitz Generation of PSp 6(q)

We show that the symplectic groups PSp₆(q) are Hurwitz for all q = p ^m  ≥ 5, with p an odd prime. The result cannot be improved since, for q even and q = 3, it is known that PSp₆(q) is not Hurwitz. In particular, n = 6 turns out to be the smallest degree for which a family of classical simple groups of degree n, over 𝔽 _{p ^m} , contains Hurwitz groups for infinitely many values of m. This fact, for a given (possibly large) p, also follows from [9 Larsen , M. , Lubotzky , A. , Marion , C. ( 2014 ). Deformation theory and finite simple quotients of triangle groups I . J. Eur. Math. Soc. (JEMS) 16 ( 7 ): 1349 – 1375 .[Crossref], [Web of Science ®] , [Google Scholar]] and [10 Larsen , M. , Lubotzky , A. , Marion , C. ( 2014 ). Deformation theory and finite simple quotients of triangle groups II . Groups Geom. Dyn. 8 ( 3 ): 811 – 836 .[Crossref], [Web of Science ®] , [Google Scholar]].     

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]].     

A Complete Convergence Theorem for Row Sums from Arrays of Rowwise Independent Random Elements in Rademacher Type p Banach Spaces

We extend in several directions a complete convergence theorem for row sums from an array of rowwise independent random variables obtained by Sung, Volodin, and Hu [8 Sung , S.H. , Volodin , A.I. , and Hu , T.-C. ( 2005 ). More on complete convergence for arrays. Statist. Probab. Lett. 71:303–311.  [Google Scholar]] to an array of rowwise independent random elements taking values in a real separable Rademacher type p Banach space. An example is presented which illustrates that our result extends the Sung, Volodin, and Hu result even for the random variable case.     

Action of generalized symmetric groups on symmetric and exterior powers of their natural representations

We establish upper and lower bounds on the dimension of the space spanned by the symmetric powers of the natural character of generalized symmetric groups. We adapt the methods of Savitt and Stanley from [4 Savitt, D., Stanley, R. P. (2000). A note on the symmetric powers of the standard representation of S_n. Electron. J. Combin. 7:R6. [Google Scholar]] to obtain bounds both over the complex numbers and in prime characteristic.     

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.     

The infinitesimal and the little q-Schur superalgebras

In this paper, based on the results in [8 Du, J., Gu, H.-X. (2014). A realization of the quantum supergroup U(𝔤𝔩_m|n). J. Algebra 404:60–99.[Web of Science ®] , [Google Scholar]] we give a monomial basis for q-Schur superalgebra and then a presentation for it. The presentation is different from that in [12 El Turkey, H., Kujawa, J. (2012). Presenting Schur superalgebras. Pacific J. Math., 262(2):285–316.[Crossref], [Web of Science ®] , [Google Scholar]]. Imitating [3 Cox, A. G. (1997). On some applications of infinitesimal methods to quantum groups and related algebras. Ph.D. Thesis. University of London. [Google Scholar]] and [7 Du, J., Fu, Q., Wang, J.-P. (2005). Infinitesimal quantum 𝔤𝔩_n and little q-Schur algebras. J. Algebra 287:199–233.[Crossref], [Web of Science ®] , [Google Scholar]], we define the infinitesimal and the little q-Schur superalgebras. We give a “weight idempotent presentation” for infinitesimal q-Schur superalgebras. The BLM bases and monomial bases of little q-Schur superalgebras are obtained, and dimension formulas of infinitesimal and little q-Schur superalgebras are deduced.     

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]]).     

Algebraic Entropy of Generalized Shifts on Direct Products

For a set Γ, a function λ: Γ → Γ and a nontrivial abelian group K, the \emphgeneralized shift σ_λ: K ^Γ → K ^Γ is defined by (x _i ) _i∈Γ ? (x _λ(i)) _i∈Γ [3 Ayatollah Zadeh Shirazi , F. , Heidari Ardi , F. , Karami Kabir , N. ( 2008 ). A note on shift theory . Math. Pannon. 19 : 187 – 195 . [Google Scholar]]. In this article we compute the algebraic entropy of σ_λ; it is either zero or infinite, depending exclusively on the properties of λ. This solves two problems posed in [2 Akhavin , M. , Ayatollah Zadeh Shirazi , F. , Dikranjan , D. , Giordano Bruno , A. , Hosseini , A. ( 2009 ). Algebraic entropy of shift endomorphisms on abelian groups . Quaest. Math. 32 : 529 – 550 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Bounds for the Number of Conjugacy Classes of Non-Normal Subgroups in a Finite p-Group

Let ν(G) be the number of conjugacy classes of non-normal subgroups of a finite group G. We obtain two new lower bounds for ν(G) when G is a non-abelian finite p-group and p is odd. More precisely, if |G| =p ⁿ , exp Z(G) = p ^e , and exp G/G′ =p ^f , let us define λ(G) = n ? e and κ(G) = n ? f. Then we prove that ν(G) ≥ p(λ(G) ?3) +2 and ν(G) ≥ p(κ(G) ?3) +2. The first bound improves the bound ν(G) ≥ λ(G) ?1 given by [10 La Haye , R. , Rhemtulla , A. ( 1999 ). Groups with a bounded number of conjugacy classes of non-normal subgroups . J. Algebra 214 : 41 – 63 .[Crossref], [Web of Science ®] , [Google Scholar]], and almost in every case, the second one improves the bound ν(G) ≥ p(k ? 1) +1 obtained by [6 Fernández-Alcober , G. A. , Legarreta , L. ( 2008 ). Conjugacy classes of non-normal subgroups in finite nilpotent groups . J. Group Theory 11 ( 3 ): 381 – 397 .[Crossref] , [Google Scholar]], where k is defined by the condition that |G′| =p ^k .     

On the Exact Spread of Sporadic Simple Groups

A group is 2-generated if it can be generated by two elements x and y. In this case y is called a mate for x. Brenner and Wiegold (1975a Brenner , J. L. , Wiegold , J. ( 1975a ). Two-generator groups. I . Michigan Math. J. 22 : 53 – 64 .[Crossref], [Web of Science ®] , [Google Scholar]) defined a finite group G to have spread r if for every set {x ₁, x ₂,…, x _r } of distinct nontrivial elements of G, there exists an element y ? G such that G = 〈 x _i , y〉 for all i. A group is said to have exact spread r if it has spread r but not r + 1. The exact spread of a group G is denoted by s(G). Ganief (1996 Ganief , M. S. ( 1996 ). 2-Generations of the Sporadic Simple Groups , Ph.D thesis , University of Natal . [Google Scholar]) in his Ph.D. thesis proved that if G is a sporadic simple group, then s(G) ≥ 2. In Ganief and Moori (2001 Ganief , M. S. , Moori , J. ( 2001 ). On the spread of the sporadic simple groups . Comm. Algebra 29 : 3239 – 3255 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) the second author and Ganief used probabilistic methods and established a reasonable lower bound for the exact spread s(G) of each sporadic simple group G. The present article deals with the search for reasonable upper bounds for the exact spread of the sporadic simple groups.     

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 𝔭*.     

Unifying strongly clean power series rings

It is unknown whether a power series ring over a strongly clean ring is, itself, always strongly clean. Although a number of authors have shown that the above statement is true in certain special cases, the problem remains open, in general. In this article, we look at a class of strongly clean rings, which we call the optimally clean rings, over which power series are strongly clean. This condition is motivated by work in [10 Diesl, A. J., Dorsey, T. J., Garg, S., Khurana, D. (2012). A note on completeness and strongly clean rings, preprint. [Google Scholar]] and [11 Diesl, A. J., Dorsey, T. J., Iberkleid, W., LaFuente-Rodriguez, R., McGovern, W (2013). Strongly clean triangular matrices over abelian rings, preprint. [Google Scholar]]. We explore the properties of optimally clean rings and provide many examples, highlighting the role that this new class of rings plays in investigating the question of strongly clean power series.     

Feebly Baer Rings and Modules

A right module M over a ring R is called feebly Baer if, whenever xa = 0 with x ∈ M and a ∈ R, there exists e² = e ∈ R such that xe = 0 and ea = a. The ring R is called feebly Baer if R_R is a feebly Baer module. These notions are motivated by the commutative analog discussed in a recent paper by Knox, Levy, McGovern, and Shapiro [6 Knox , M. L. , Levy , R. , McGovern , W. Wm. , Shapiro , J. ( 2009 ) Generalizations of complemented rings with applications to rings of functions. . J. Alg. Appl. 8 ( 1 ): 17 – 40 .[Crossref] , [Google Scholar]]. Basic properties of feebly Baer rings and modules are proved, and their connections with von Neumann regular rings are addressed.     

On the Relative Commutativity Degree of a Subgroup of a Finite Group

The aim of this article is to give a generalization of the concept of commutativity degree of a finite group G (denoted by d(G)), to the concept of relative commutativity degree of a subgroup H of a group G (denoted by d(H, G)). We shall state some results concerning the new concept which are mostly new or improvements of known results given in Gustafson (1973 Gustafson , W. H. ( 1973 ). What is the probability that two group elements commute? Amer. Math. Monthly 80 : 1031 – 1304 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) and Moghaddam et al. (2005 Moghaddam , M. R. R. , Chiti , K. , Salemkar , A. R. ( 2005 ). n-Isoclinism classes and n-nilpotency degree of finite groups . Algebra Colloquium 12 ( 2 ): 225 – 261 . [Google Scholar]). Moreover, we shall define the relative nth nilpotency degree of a subgroup of a group and give some results concerning this at the end of the article.