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

Graded Left Symmetric Pseudo-algebras

In the present article, we introduce G-graded left symmetric H-pseudoalgebras, where G is a grading group, and H is a cocommutative Hopf algebra. Some results about associative H-pseudoalgebras in [23 Retakh , A. ( 2004 ). Unital associative pseudoalgebras and their representations . J. Algebra 227 : 769 – 805 .[Crossref] , [Google Scholar]] are generalized. The commutator algebras of the G-graded left symmetric H-pseudo-algebras are Lie H-pseudoalgebras, which are classified when the grading group is trivial in [3 Bakalov , B. , D'Andrea , A. , Kac , V. G. ( 2001 ). Theory of finite pseudoalgebras . Adv. in Math. 162 : 1 – 140 .[Crossref], [Web of Science ®] , [Google Scholar]]. We investigate the left symmetric structure of Lie H-pseudoalgebras W(𝔟), S(𝔟), and He defined in [3 Bakalov , B. , D'Andrea , A. , Kac , V. G. ( 2001 ). Theory of finite pseudoalgebras . Adv. in Math. 162 : 1 – 140 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Automorphisms of Generalized Down-Up Algebras

A generalization of down-up algebras was introduced by Cassidy and Shelton (2004 Cassidy , T. , Shelton , B. ( 2004 ). Basic properties of generalized down-up algebras . J. Algebra 279 ( 1 ): 402 – 421 .[Crossref], [Web of Science ®] , [Google Scholar]), the so-called “generalized down-up algebras”. We describe the automorphism group of conformal Noetherian generalized down-up algebras L(f, r, s, γ) such that r is not a root of unity, listing explicitly the elements of the group. In the last section, we apply these results to Noetherian down-up algebras, thus obtaining a characterization of the automorphism group of Noetherian down-up algebras A(α, β, γ) for which the roots of the polynomial X ² ? α X ? β are not both roots of unity.     

On Power-Associative Nilalgebras of Dimension N and Nilindex N-1

Whether or not a finite-dimensional, commutative, power-associative nilalgebra is solvable is a well-known open problem. In this paper, we describe commutative, power-associative nilalgebras of dimension n ≥ 6 and nilindex n ? 1 based on the condition that n ? 4 ≤ dim 𝔄³ ≤ n ? 3. This paper is a continuation of [10 Fernadez , J. C. G. , Garcia , C. I. , Montoya , M. L. R. ( 2013 ). On power-associative nilalgebras of nilindex and dimension n . Revista Colombiana de Matemáticas 47 : 1 – 11 . [Google Scholar]], where we describe commutative power-associative nilalgebras of dimension and nilindex n. We observe that the Jordan case was obtained by L. Elgueta and A. Suazo in [2 Elgueta , L. , Suazo , A. ( 2002 ). Jordan nilalgebras of nilindex n and dimension n + 1 . Comm. Algebra 30 : 5547 – 5561 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]].     

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

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

On an Ingelstam's Theorem

A well-known Ingelstam's Theorem asserts that every real Hilbert space A with an associative unital product satisfying ‖ xy‖ ≤ ‖ x‖ ‖ y‖ and ‖ 1‖ = 1 is isomorphic to the reals ?, or the complex numbers ?, or the quaternions ?. This note deals with a nonunital and nonassociative extension of the Ingelstam Theorem. So the assumptions about associativity and existence of unity are weakened to the existence of a nonzero central idempotent e such that ‖ ex‖ = ‖e‖ ‖ x‖ for all x, and that in A holds a determined kind of algebraic identity strictly weaker that alternativeness. We prove that, up to isomorphisms, there are only seven algebras satisfying these assumptions, even without the requirement of completeness. On the other hand, Section 3 presents another characterization of the obtained algebras with the flavor of one of the main theorems in Bhatt et al. (1998 Bhatt , S. J. , Karia , D. J. , Kulkarni , S. H. , Shimpi , M. E. ( 1998 ). A note on the Gelfand-Mazur theorem . Proc. Amer. Math. Soc. 126 ( 10 ): 2999 – 3005 .[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.     

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.     

Irreducible W-Graphs for Type D 4 and D 5

ABSTRACT

The “W-graph” concept was introduced by Kazhdan and Lusztig in their influential article Kazhdan and Lusztig (1979 Kazhdan , D. , Lusztig , G. ( 1979 ). Representations of Coxeter groups and Hecke algebras . Invent. Math. 53 : 165 – 184 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]). If W is a Coxeter group, then a W-graph provides a method for constructing a matrix representation of the Hecke algebra ? associated with W (the degree of the representation being the number of vertices of the W-graph). The aim of this note is to explicitly construct all the irreducible representations of ? when W is of type D ₄ and D ₅.     

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.     

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.     

Automorphism Group of the Rank-decreasing Graph Over the Semigroup of Upper Triangular Matrices

Let F_q be a finite field with q elements, n ≥ 2 a positive integer, and T(n, q) the semigroup of all n × n upper triangular matrices over F_q. The rank-decreasing graph 𝕋 of T(n, q) is a directed graph which has T(n, q) as vertex set, and there is a directed edge from A ∈ T(n, q) to B ∈ T(n, q) if and only if r(AB) < r(B). The zero-divisor graph 𝒯 of T(n, q), with vertex set of all nonzero zero-divisors of T(n, q) and there is a directed edge from a vertex A to a vertex B if and only if AB = 0, can be viewed as a subgraph of 𝕋. In [16 Wang, L. (2015). A note on automorphisms of the zero-divisor graph of upper triangular matrices. Lin. Alg. Appl. 465:214–220.[Crossref], [Web of Science ®] , [Google Scholar]], L. Wang has determined the automorphisms of the zero-divisor graph 𝒯 of T(n, q). In this article, by applying the main result of [17 Wong, D., Ma, X., Zhou, J. (2014). The group of automorphisms of a zero-divisor graph based on rank one upper triangular matrices. Lin. Alg. Appl. 460:242–258.[Crossref], [Web of Science ®] , [Google Scholar]] we determine the automorphisms of the rank-decreasing graph 𝕋 of T(n, q).     

Characterizing n-Isoclinism Classes of Lie Algebras

In this article, we introduce the notion of the equivalence relation, n-isoclinism, between Lie algebras, and obtain some criterions under which Lie algebras are n-isoclinic. In particular, we show that n-isoclinic Lie algebras can be isoclinically embedded into one Lie algebra. Also, we present the notion of an n-stem Lie algebra and prove its existence within an arbitrary n-isoclinism class. In addition, similar to a result of Hekster [6 Hekster , N. S. ( 1986 ). On the structure of n-isoclinam classes of groups . J. Pure Appl. Algebra 40 : 63 – 85 .[Crossref], [Web of Science ®] , [Google Scholar]] in the group case, we characterize the n-stem Lie algebras in the n-isoclinism classes which contains at least one finitely generated Lie algebra L with dim (L ⁿ⁺¹) finite.     

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

On Modules and Complexes Without Self-Extensions

Let Λ be an Artin algebra over a commutative Artinian ring, k. If M is a finitely generated left Λ -module, we denote by Ω (M) the kernel of η _M : P _M  → M a minimal projective cover. We prove that if M and N are finitely generated left Λ -modules and Ext _Λ ¹ (M, M) = 0, Ext _Λ ¹ (N, N) = 0, then M? N if and only if M/rad M? N/rad N and Ω (M)? Ω (N).

Now if k is an algebraically closed field and (d _i ) _i?? is a sequence of nonnegative integers almost all of them zero, then we prove that the family of objects X ?  ^b (Λ), the bounded derived category of Λ, with Hom ^b (Λ)(X,X[1]) = 0 and dim _k H ⁱ (X) = d _i for all i ? ?, has only a finite number of isomorphism classes (see Huisgen-Zimmermann and Saorín, 2001 Huisgen-Zimmermann , B. , Saorín , M. ( 2001 ). Geometry of chain complexes and outer automorphisms under derived equivalence . Trans. Amer. Math. Soc. 353 : 4757 – 4777 . [CSA] [CROSSREF] [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.     

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