Monoid Valuations and Value Ordered Supervaluations

We complement two papers on supertropical valuation theory ([11 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 . Preprint at arXiv:1003.1101 .[Crossref], [Web of Science ®] , [Google Scholar]], [12 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2013 ). Dominance and transmissions in supertropical valuation theory . Commun. Algebra 41 ( 7 ): 2736 – 2782 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]) by providing natural examples of m-valuations (= monoid valuations), and afterwards of supervaluations and transmissions between them. These supervaluations have values in totally ordered supertropical semirings, and the transmissions discussed respect the orderings. We develop the basics of the theory of such semirings and transmissions.     

Supercharacter Theory Constructions Corresponding to Schur Ring Products

Diaconis and Isaacs have defined the supercharacter theories of a finite group to be certain approximations to the ordinary character theory of the group [7 Diaconis , P. , Isaacs , I. M. ( 2008 ). Supercharacters and superclasses for algebra groups . Trans. Amer. Math. Soc. 360 : 2359 – 2392 .[Crossref], [Web of Science ®] , [Google Scholar]]. We make explicit the connection between supercharacter theories and Schur rings, and we provide supercharacter theory constructions which correspond to Schur ring products of Leung and Man [12 Leung , K. H. , Man , S. H. ( 1996 ). On Schur rings over cyclic groups, II . J. Algebra 183 : 273 – 285 .[Crossref], [Web of Science ®] , [Google Scholar]], Hirasaka and Muzychuk [10 Hirasaka , M. , Muzychuk , M. ( 2001 ). An elementary abelian group of rank 4 is a CI-group . J. Combin. Theory Ser. A 94 : 339 – 362 .[Crossref], [Web of Science ®] , [Google Scholar]], and Tamaschke [20 Tamaschke , O. ( 1970 ). On Schur-rings which define a proper character theory on finite groups . Math. Z. 117 : 340 – 360 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Derivations of a Restricted Weyl-Type Algebra Containing the Polynomial Ring

Buchsbaum and Eisenbud [3 Buchsbaum , D. , Eisenbud , D. ( 1977 ). Algebra structures for finite free resolutions and some structure theorems for ideals of codimension 3 . Amer. J. Math. 99 : 447 – 485 .[Crossref], [Web of Science ®] , [Google Scholar]] proved a structure theorem for Gorenstein ideals of grade 3 which claims that every Gorenstein ideal of grade 3 is generated by the submaximal order pfaffians of an alternating matrix. In this article, we characterize some classes of grade 3 perfect ideals which are linked to an almost complete intersection of even type. Furthermore, these structure theorems give us relations between the Gorenstein sequences and the Hilbert functions of the grade 3 perfect ideals that we characterized.     

Global Existence and Uniform Boundedness of Smooth Solutions to a Cross-Diffusion System with Equal Diffusion Rates

We consider the Shigesada-Kawasaki-Teramoto cross-diffusion model for two competing species. If both species have the same random diffusion coefficients and the space dimension is less than or equal to three, we establish the global existence and uniform boundedness of smooth solutions to the model in convex domains. This extends some previous works of Kim [12 Kim, J.U. (1984). Smooth solutions to a quasilinear system of diffusion equations for a certain population model. Nonlinear Anal. 8:1121–1144.[Crossref], [Web of Science ®] , [Google Scholar]] and Shim [21 Shim, S.-A. (2002). Uniform boundedness and convergence of solutions to cross-diffusion systems. J. Diff. Eqs. 185:281–305.[Crossref], [Web of Science ®] , [Google Scholar]] in one dimensional 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.     

Equivalences for Weak Crossed Products

In this article, we give a criterion that characterizes equivalent weak crossed products. By duality, we obtain a similar result for weak crossed coproducts and, as a consequence, we find the conditions that assures the equivalence between two weak crossed biproducts. As an application, we show that the main results proved by Panaite in [12 Panaite, F. (2014). Equivalent crossed products and cross product bialgebras. Commun. Algebr. 42:1937–1952.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] (see also [11 Panaite, F. (2012). Invariance under twisting for crossed products. Proc. Am. Math. Soc. 140:755–763.[Crossref], [Web of Science ®] , [Google Scholar]]), for Brzeziński's crossed products, admits a substantial reduction in the imposed conditions.     

The Generalized C.M.Z.-Theorem and a Drinfel'd Double Construction for WT-Coalgebras and Graded Quantum Groupoids

Let π be a group. In this article, we introduce the notions of a weak Doi–Hopf π-module and a weak π-twisted smash product. We show that the Yetter–Drinfel'd π-modules over a weak crossed Hopf π-coalgebra (WT-coalgebra) are special cases as these new weak Doi–Hopf π-modules, generalizing the main result by Caenepeel et al. (1997 Caenepeel , S. , Militaru , G. , Zhu , S. ( 1997 ). Crossed modules and Doi–Hopf modules . Israel J. Math. 100 : 221 – 248 .[Crossref] , [Google Scholar]) and that the Drinfel'd double for WT-coalgebras (Van Daele and Wang, 2008 Van Daele , A. , Wang , S. H. ( 2008 ). New braided crossed categories and Drinfel'd quantum double for weak Hopf group-coalgebras . Comm. Algebra 36 : 2341 – 2386 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) appears as, a type of such a weak π -twisted smash product, respectively. Finally, starting from a weak Hopf algebra endowed with an action of a group π by weak Hopf automorphisms, we construct a quasitriangular weak Hopf π -coalgebra by a twisted double method, generalizing the main result in Virelizier (2005 Virelizier , A. ( 2005 ). Graded quantum groups and quasitriangular Hopf group-coalgebras . Comm. Algebra 33 ( 9 ): 3029 – 3050 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]). This method allows us to obtain nontrivial examples of quasitriangular weak Hopf π-coalgebras.     

A new family of set-theoretic solutions of the Yang–Baxter equation

A new family of non-degenerate involutive set-theoretic solutions of the Yang–Baxter equation is constructed. Two subfamilies, consisting of irretractable square-free solutions, are new counterexamples to Gateva-Ivanova’s Strong Conjecture [7 Gateva-Ivanova, T. (2004). A combinatorial approach to the set-theoretic solutions of the Yang-Baxter equation. J. Math. Phys. 45(10):3828–3858.[Crossref], [Web of Science ®] , [Google Scholar]]. They are in addition to those obtained by Vendramin [15 Vendramin, L. (2016). Extensions of set-theoretic solutions of the Yang-Baxter equation and a conjecture of Gateva-Ivanova. J. Pure Appl. Algebra 220:2064–2076.[Crossref], [Web of Science ®] , [Google Scholar]] and [1 Bachiller, D., Cedó, F., Jespers, E., Okniński, J. (2017). A family of irretractable square-free solutions of the Yang-Baxter equation. Forum Math. (to appear). [Google Scholar]].     

Derived Representation Type of Schur Superalgebras

In this note we extend the results of Bekkert and Futorny in [2 Bekkert , V. , Futorny , V. ( 2003 ). Derived categories of Schur algebras . Comm. Alg. 31 : 1799 – 1822 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] and Hemmer, Kujawa and Nakano in [10 Hemmer , D. J. , Kujawa , J. , Nakano , D. K. ( 2006 ). Representation types of Schur superalgebras . J. Group Theory 9 : 283 – 306 .[Crossref], [Web of Science ®] , [Google Scholar]] and determine the derived representation type of Schur superalgebras.     

Certain Cyclically Presented Groups with the Same Polynomial

We consider three infinite families of cyclic presentations of groups, depending on a finite set of integers and having the same polynomial. Then we prove that the corresponding groups with the same parameters are isomorphic, and that the groups are almost all infinite. Finally, we completely compute the maximal Abelian quotients of such groups, and show that their HNN extensions are high-dimensional knot groups. Our results contain as particular cases the main theorems obtained in two nice articles: Johnson et al. (1999 Johnson , D. L. , Kim , A. C. , O'Brien , E. A. ( 1999 ). Certain cyclically presented groups are isomorphic . Comm. Algebra 27 ( 7 ): 3531 – 3536 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) and Havas et al. (2001 Havas , G. , Holt , D. F. , Newman , M. F. ( 2001 ). Certain cyclically presented groups are infinite . Comm. Algebra 29 ( 11 ): 5175 – 5178 . [CSA] [CROSSREF] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]).     

Bounds for Arithmetic Degrees

ABSTRACT

Let I be a monomial ideal with minimal monomial generators m₁,…, m_s, and assume that deg(m₁) ≥deg(m₂) ≥ … ≥deg(m_s). Among other things, we prove that the arithmetic degree of I is bounded above by deg(m₁)…deg(m_mht(I)), where mht(I) is the maximal height of associated primes of I. This bound is shaper than the one given in [12 Sturmfels, B., Trung, N. V., Vogel, W. (1995). Bounds on degrees of projective schemes. Math. Ann. 302:417–432.[Crossref], [Web of Science ®] , [Google Scholar]] and more natural than the one given in [9 Hoa, L. T., Trung, N. V. (1998). On the Castelnuovo-Mumford regularity and the arithmetic degree of monomial ideals. Math. Z. 229:519–537.[Crossref], [Web of Science ®] , [Google Scholar]]. In addition, we point out that adeg(I) ≠ adeg(Gin(I)) in general and conjecture that adeg(I) = adeg(Gin(I)) if and only if R/I is sequentially Cohen–Macaulay.     

Note on Conic Bundles over Henselian Discrete Valued Fields with Real Closed Residue Field

ABSTRACT

Let ? be a complete set of Sylow subgroups of a finite group G, that is, ? contains exactly one and only one Sylow p-subgroup of G for each prime p. A subgroup H of a finite group G is said to be ?-permutable if H permutes with every member of ?. The purpose of this article is to study the influence of ?-permutability of all maximal subgroups of the Sylow subgroups of the generalized Fitting subgroup of some normal subgroup of a finite group G on the structure of G. Our results improve and extend the main results of Asaad (1998 Asaad , M. ( 1998 ). On maximal subgroups of Sylow subgroups of finite groups . Comm. Algebra 26 ( 11 ): 3647 – 3652 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]), Asaad and Heliel (2003 Asaad , M. , Heliel , A. A. ( 2003 ). On permutable subgroups of finite groups . Arch. Math. 80 : 113 – 118 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), Asaad et al. (1991 Asaad , M. , Ramadan , M. , Shaalan , A. ( 1991 ). Influence of π-quasinormality on maximal subgroups of Sylow subgroups of Fitting subgroup of a finite group . Arch. Math. 56 : 521 – 527 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), Li et al. (2003 Li , Y. , Wang , Y. , Wei , H. ( 2003 ). The influence of π-quasinormality of maximal subgroups of Sylow subgroups of a finite group . Arch. Math. 81 ( 3 ): 245 – 252 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), Ramadan (1992 Ramadan , M. ( 1992 ). Influence of normality on maximal subgroups of Sylow subgroups of a finite group . Acta Math. Hungar. 59 ( 1–2 ): 107 – 110 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), and Srinivasan (1980 Srinivasan , S. ( 1980 ). Two sufficient conditions for supersolvability of finite groups . Israel J. Math. 35 : 210 – 214 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]).     

Cluster Categories Coming from Cyclic Posets

Cyclic posets are generalizations of cyclically ordered sets. In this article, we show that any cyclic poset gives rise to a Frobenius category over any discrete valuation ring R. The stable category of a Frobenius category is always triangulated and has a cluster structure in many cases. The continuous cluster categories of [14 Igusa , K. , Todorov , G. ( 2013 ). Continuous Frobenius categories . Proceedings of the Abel Symposium 2011 : 115 – 143 .[Crossref] , [Google Scholar]], the infinity-gon of [12 Holm , T. , Jøot rgensen , P. ( 2012 ). On a cluster category of infinite Dynkin type, and the relation to triangulations of the infinity-gon . Math. Z. 270 : 277 – 295 .[Crossref], [Web of Science ®] , [Google Scholar]], and the m-cluster category of type A _∞ (m ≥ 3) [13 Holm , T. , Jøot rgensen , P. ( 2015 ). Cluster tilting vs. weak cluster tilting in Dynkin type A infinity . Forum Math. 27 : 1117 – 1137 .[Crossref], [Web of Science ®] , [Google Scholar]] are examples of this construction as well as some new examples such as the cluster category of ?². An extension of this construction and further examples are given in [16 Igusa, K., Todorov, G. Continuous Cluster Categories of Type D. arXiv:1309.7409 . [Google Scholar]].     

Fuzzy Optimality Conditions for Fractional Multiobjective Bilevel Problems Under Fractional Constraints

In this article, we are concerned with fractional multiobjective optimization problems. In order to derive optimality conditions, we consider a new single level problem [12 J.J. Ye ( 2006 ). Constraint qualification and KKT conditions for bilevel programming problems . Mathematics of Operations Research 31 : 811 – 824 .[Crossref], [Web of Science ®] , [Google Scholar]], which is locally equivalent to the bilevel fractional multiobjective problem (P) at the optimal solution. Our approach consists of using another approach initiated by Mordukhovich [7 B.S. Mordukhovich ( 1976 ). Maximum principle in problems of time optimal control with nonsmooth constraints . J. Appl. Math. Mech. 40 : 960 – 969 .[Crossref], [Web of Science ®] , [Google Scholar], 8 B.S. Mordukhovich ( 1980 ). Metric approximations and necessary optimality conditions for general classes of nonsmooth extremal problems . Soviet. Math. Dokl. 22 : 526 – 530 . [Google Scholar]], which does not involve any convex approximations and convex separation arguments, called the extremal principle [5 B.S. Mordukhovich ( 2006 ). Variational Analysis and Generalized Differentiation, I: Basic Theory . Grundlehren Series (Fundamental Principles of Mathematical Sciences) , Vol. 330 , Springer , Berlin . [Google Scholar], 6 B.S. Mordukhovich ( 2006 ). Variational Analysis and Generalized Differentiation, II: Applications , Grundlehren Series (Fundamental Principles of Mathematical Sciences) , Vol. 331 , Springer , Berlin . [Google Scholar], 9 B.S. Mordukhovich ( 1994 ). Generalized differential calculus for nonsmooth and set-valued mappings . J. Math. Anal. Appl. 183 : 250 – 288 .[Crossref], [Web of Science ®] , [Google Scholar]], for the study of necessary optimality conditions in fractional vector optimization.     

The Complement Graph for Gaussian Integers Modulo n

This article is a continuation for the work done in [1 Abu Osba , E. , Al-Addasi , S. , Abu Jaradeh , N. ( 2008 ). Zero divisor graph for the ring of Gaussian integers modulo . n. Comm. Algebra 36 ( 10 ): 3865 – 3877 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 2 Abu Osba , E. , Al-Addasi , S. , Al-Khamaiseh , B. ( 2011 ). Some properties of the zero divisor graph for the ring of gaussian integers modulo . n. Glasgow Journal of Mathematics 53 : 391 – 399 .[Crossref], [Web of Science ®] , [Google Scholar]] on the zero divisor graph for the ring of Gaussian integers modulo n. It investigates when the complement graph of the zero divisor graph for the Gaussian integers modulo n connected, planar, regular, or Eulerian. The girth and diameter were also studied.     

Dominance and Transmissions in Supertropical Valuation Theory

This article is a sequel of [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar]], where we defined supervaluations on a commutative semiring R and studied a dominance relation ? ≥ ψ between supervaluations ? and ψ on R, aiming at an enrichment of the algebraic tool box for use in tropical geometry.

A supervaluation ?: R → U is a multiplicative map from R to a supertropical semiring U, cf. [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar]], [7 Izhakian , Z. , Rowen , L. ( 2011 ). Supertropical matrix algebra . Israel J. Math. 182 ( 1 ): 383 – 424 .[Crossref], [Web of Science ®] , [Google Scholar]], [8 Izhakian , Z. , Rowen , L. ( 2010 ). Supertropical polynomials and resultants . J. Alg. 324 : 1860 – 1886 . (Preprint at arXiv:0902.2155.) [Crossref], [Web of Science ®] , [Google Scholar]], [5 Izhakian , Z. , Knebusch , M. , Rowen , L. Supertropical monoids: Basics and canonical factorization . Preprint at arXiv:1108.1880 . [Google Scholar]], [9 Maclane , S. ( 1998 ). Categories for the Working Mathemtician. , 4th ed. Springer Vereag . [Google Scholar]], with further properties, which mean that ? is a sort of refinement, or covering, of an m-valuation (= monoid valuation) v: R → M. In the most important case, that R is a ring, m-valuations constitute a mild generalization of valuations in the sense of Bourbaki [1 Bourbaki , N. Algèbre Commutative VI, §3 No. 1 . [Google Scholar]], while ? ≥ ψ means that ψ: R → V is a sort of coarsening of the supervaluation ?. If ?(R) generates the semiring U, then ? ≥ ψ iff there exists a “transmission” α: U → V with ψ = α ○ ?.

Transmissions are multiplicative maps with further properties, cf. [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar], Section 5]. Every semiring homomorphism α: U → V is a transmission, but there are others which lack additivity, and this causes a major difficulty. In the main body of the article we study surjective transmissions via equivalence relations on supertropical semirings. We put special emphasis on homomorphic equivalence relations. Even those are often much more complicated than congruences by ideals in usual commutative algebra.     

A note on some structure theorems of modules in category 0

ABSTRACT

Using the local subgroup strategy of An and O'Brien (1997 An , J. , O'Brien , E. A. ( 1997 ). A local strategy to decide the Alperin and Dade conjectures . J. Alg. 189 : 34 – 57 . [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]), An and O'Brien (1999 An , J. , O'Brien , E. A. ( 1999 ). The Alperin and Dade conjectures for the Fischer simple group Fi₂₃ . Internat. J. Alg. Comput. 9 : 621 – 670 . [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]), we classify the radical subgroups and chains of the Fischer simple group Fi ₂₂ and verify the Alperin weight conjecture and the Uno reductive conjecture for this group; the latter is a refinement of the Dade reductive and Isaacs–Navarro conjectures.

     

Bialgebra Cohomology of the Duals of a Class of Generalized Taft Algebras

We compute explicitly the bialgebra cohomology of the duals of the generalized Taft algebras, which are noncommutative, noncocommutative finite-dimensional Hopf algebras. In order to do this, we use an identification of this cohomology with an Ext algebra (Taillefer, 2004a Taillefer , R. ( 2004a ). Cohomology theories of Hopf bimodules and cup-product . Alg. and Representation Theory 7 : 471 – 490 . [Google Scholar]) and a result describing the Drinfeld double of the dual of a generalized Taft algebra up to Morita equivalence (Erdmann et al., 2006 Erdmann , K. , Green , E. L. , Snashall , N. , Taillefer , R. ( 2006 ). Representation theory of the Drinfeld doubles of a family of Hopf algebras . J. Pure and Applied Algebra 204 ( 2 ): 413 – 454 .[Crossref], [Web of Science ®] , [Google Scholar]).     

Central Extensions and Derivations of the Lie Algebras of Skew Derivations for the Quantum Torus

ABSTRACT

In this article, we study the central extensions and derivations of the Lie algebra of skew derivations for the quantum torus. The results of the article generalize those obtained in Jiang and Meng (1998a Jiang , C. , Meng , D. ( 1998a ). The derivation algebra of the associative algebra C _q [X, Y, X ^?1, Y ^?1] . Comm. Algebra 26 : 1723 – 1736 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar] b Jiang , C. , Meng , D. ( 1998b ). The automorphism group of the derivation algebra of the Virasoro-like algebra . Adv. Math. (China) 27 : 175 – 183 . [CSA]  [Google Scholar]) and Kirkman et al. (1994 Kirkman , E. , Procesi , C. , Small , L. ( 1994 ). A q-analog for the Virasoro algebra . Comm. Algebra 22 : 3755 – 3774 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]).     

Weyl Modules Associated to Kac–Moody Lie Algebras

Local Weyl modules were originally defined for affine Lie algebras by Chari and Pressley in [5 Chari, V., Pressley, A. (2001). Weyl modules for classical and quantum affine algebras. Represent. Theory 5:191–223 (electronic).[Crossref] , [Google Scholar]]. In this paper we extend the notion of local Weyl modules for a Lie algebra 𝔤 ?A, where 𝔤 is any Kac–Moody algebra and A is any finitely generated commutative associative algebra with unit over ?, and prove a tensor product decomposition theorem which generalizes result in [2 Chari, V., Fourier, G., Khandai, T. (2010). A categorical approach to Weyl modules. Transform. Groups 15(3):517–549.[Crossref], [Web of Science ®] , [Google Scholar], 5 Chari, V., Pressley, A. (2001). Weyl modules for classical and quantum affine algebras. Represent. Theory 5:191–223 (electronic).[Crossref] , [Google Scholar]].