Une Neutralisation Explicite de L'algèbre de Weyl Quantique Complétée

Soit p un nombre premier. Nous établissons l'existence de neutralisations de divers complétés de l'algèbre de Weyl quantique spécialisée en une racine de l'unité primitive d'ordre p (qui est “génériquement” une algèbre d'Azumaya) et donnons en particulier un énoncé de neutralisation explicite relevant celui construit en caractéristique p dans [3 Gros , M. , Le Stum , B. , Quiros , A. ( 2010 ). A Simpson correspondence in positive characteristic . Publ. RIMS Kyoto Univ. 46 : 1 – 35 .[Crossref], [Web of Science ®] , [Google Scholar]].

Let p be a prime number. We establish the existence of neutralizations of various completions of the quantum Weyl algebra specialized at a primitive root of unity of prime order p (which is “generically” an Azumaya algebra) and, in particular, we give a statement of explicit neutralization similar to the one built in characteristic p in [3 Gros , M. , Le Stum , B. , Quiros , A. ( 2010 ). A Simpson correspondence in positive characteristic . Publ. RIMS Kyoto Univ. 46 : 1 – 35 .[Crossref], [Web of Science ®] , [Google Scholar]].     

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.     

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.     

Regularity of Analytic Algebra of Prime Characteristic

Let A be an analytic algebra over a field k of characteristic p > 0. In this article, for an analytic k-algebra we introduce the concept of analytic pⁿ-basis which generalizes the pⁿ-basis defined in [1 Furuya , M. , Niitsuma , H. ( 2002 ). Regularity criterion of Noetherian local rings of prime characteristic . J. Algebra 247 : 219 – 230 .[Crossref], [Web of Science ®] , [Google Scholar]], and the concept of an pⁿ-admissible field for an algebraic function field, we give regularity criteria and absolute regularity criteria for an analytic algebra A/k in terms of the higher differential algebra and analytic pⁿ-basis. The results are partial extension of our previous results for affine algebras to the case of analytic algebras (cf. [1 Furuya , M. , Niitsuma , H. ( 2002 ). Regularity criterion of Noetherian local rings of prime characteristic . J. Algebra 247 : 219 – 230 .[Crossref], [Web of Science ®] , [Google Scholar], 3 Furuya , M. , Niitsuma , H. (2006). Regular local rings essentially of finite type over fields of prime characteristic. J. Algebra 306:703–711.[Crossref], [Web of Science ®] , [Google Scholar]]), and these are partial generalization of results of Orbanz in the analytic case (cf. [9 Orbanz , U. ( 1973 ). Höhere Derivationen und Regularität . J. Reine Angew. Mathematik 262/263 : 194 – 204 .[Crossref] , [Google Scholar]]).     

Precovering and Preenveloping Ideals

In [8 Salce , L. ( 1979 ). Cotorsion theories for abelian groups . Symposia Mathematica 23 : 11 – 23 . [Google Scholar]] L. Salce introduced the notion of a cotorsion pair (?, 𝒞) in the category of abelian groups. But his definitions and basic results carry over to more general abelian categories and have proven to be useful in a variety of settings. A significant result of cotorsion theory proven by Eklof and Trlifaj is that if a pair (?, 𝒞) of classes of R-modules is cogenerated by a set, then it is complete [1 Eklof , P. C. , Trlifaj , J. ( 2001 ). How to make Ext vanish . Bull. London Math. Soc. 33 : 31 – 41 .[Crossref], [Web of Science ®] , [Google Scholar]]. Recently Fu, Herzog, Guil, and Torrecillas developed the ideal approximation theory [6 Herzog , I. ( 2014 ). Phantom morphisms and Salce's Lemma . Contemp. Math. 607 : 57 – 83 .[Crossref] , [Google Scholar]], [4 Fu X. H. , Guil Asensio , P. A. , Herzog , I. , Torrecillas , B. ( 2013 ). Ideal Approximation Theory . Adv. in Math. 244 : 750 – 790 .[Crossref], [Web of Science ®] , [Google Scholar]]. In this article we look at a result motivated by the Eklof and Trlifaj argument for an ideal ? when it is generated by a set of homomorphisms.     

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.     

Semilocal Convergence of Steffensen-Type Algorithms for Solving Nonlinear Equations

In this article, we provide a semilocal analysis for the Steffensen-type method (STTM) for solving nonlinear equations in a Banach space setting using recurrence relations. Numerical examples to validate our main results are also provided in this study to show that STTM is faster than other methods ([7 I. K. Argyros , J. Ezquerro , J. M. Gutiérrez , M. Hernández , and S. Hilout ( 2011 ). On the semilocal convergence of efficient Chebyshev-Secant-type methods . J. Comput. Appl. Math. 235 : 3195 – 3206 .[Crossref], [Web of Science ®] , [Google Scholar], 13 J. A. Ezquerro and M. A. Hernández ( 2009 ). An optimization of Chebyshev's method . J. Complexity 25 : 343 – 361 .[Crossref], [Web of Science ®] , [Google Scholar]]) using similar convergence conditions.     

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

Liouville Extensions of Artinian Simple Module Algebras

In a previous article (Amano and Masuoka, 2005 Amano , K. , Masuoka , A. ( 2005 ). Picard–Vessiot extensions of Artinian simple module algebras . J. Algebra 285 : 743 – 767 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), the author and Masuoka developed a Picard–Vessiot theory for module algebras over a cocommutative pointed smooth Hopf algebra D. By using the notion of Artinian simple (AS)D-module algebras, it generalizes and unifies the standard Picard–Vessiot theories for linear differential and difference equations. The purpose of this article is to define the notion of Liouville extensions of AS D-module algebras and to characterize the corresponding Picard–Vessiot group schemes.     

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

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.     

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.     

The h-Vector of a Relatively Compressed Level Algebra

The purpose of this note is to supply an upper and a lower bound (which are in general sharp) for the h-vector of a level algebra which is relatively compressed with respect to any arbitrary level algebra A.

The useful concept of relatively compressed algebra was recently introduced in Migliore et al. (2005 Migliore , J. , Miró-Roig , R. , Nagel , U. ( 2005 ). Minimal resolution of relatively compressed level algebras . J. Algebra 284 ( 1 ): 337 – 370 .[Crossref] , [Google Scholar]) (whose investigations mainly focused on the particular case of A a complete intersection). The key idea of this note is the simple observation that the level algebras which are relatively compressed with respect to A coincide (after an obvious isomorphism) with the generic level quotients of suitable truncations of A. Therefore, we are able to apply to relatively compressed algebras the main result of our recent work, Zanello (2007 Zanello , F. ( 2007 ). Partial derivatives of a generic subspace of a vector space of forms: quotients of level algebras of arbitrary type . Trans. Amer. Math. Soc. 359 ( 6 ): 2675 – 2686 .[Crossref], [Web of Science ®] , [Google Scholar]).     

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

Lie algebras of vector fields on smooth affine varieties

We reprove the results of Jordan [18 Jordan, D. (1986). On the ideals of a Lie algebra of derivations. J. London Math. Soc. 33:33–39.[Crossref], [Web of Science ®] , [Google Scholar]] and Siebert [30 Siebert, T. (1996). Lie algebras of derivations and a?ne algebraic geometry over fields of characteristic 0. Math. Ann. 305:271–286.[Crossref], [Web of Science ®] , [Google Scholar]] and show that the Lie algebra of polynomial vector fields on an irreducible a?ne variety X is simple if and only if X is a smooth variety. Given proof is self-contained and does not depend on papers mentioned above. Besides, the structure of the module of polynomial functions on an irreducible smooth a?ne variety over the Lie algebra of vector fields is studied. Examples of Lie algebras of polynomial vector fields on an N-dimensional sphere, non-singular hyperelliptic curves and linear algebraic groups are considered.     

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.

     

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

Quasi-Deformations of 𝔰𝔩2(𝔽) Using Twisted Derivations

In this article we apply a method devised in Hartwig, Larsson, and Silvestrov (2006 Hartwig , J. T. , Larsson , D. , Silvestrov , S. D. ( 2006 ). Deformations of Lie algebras using σ-derivations . J. Algebra 295 : 314 – 361 .[Crossref], [Web of Science ®] , [Google Scholar]) and Larsson and Silvestrov (2005a Larsson , D. , Silvestrov , S. D. (2005a). Quasi-hom-Lie algebras, Central extensions and 2-cocycle-like identities. J. Algebra 288:321–344.[Crossref], [Web of Science ®] , [Google Scholar]) to the simple 3-dimensional Lie algebra 𝔰𝔩₂(𝔽). One of the main points of this deformation method is that the deformed algebra comes endowed with a canonical twisted Jacobi identity. We show in the present article that when our deformation scheme is applied to 𝔰𝔩₂(𝔽) we can, by choosing parameters suitably, deform 𝔰𝔩₂(𝔽) into the Heisenberg Lie algebra and some other 3-dimensional Lie algebras in addition to more exotic types of algebras, this being in stark contrast to the classical deformation schemes where 𝔰𝔩₂(𝔽) is rigid.     

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.