Double Ore Extensions Versus Iterated Ore Extensions

Motivated by the construction of new examples of Artin–Schelter regular algebras of global dimension four, Zhang and Zhang [6 Zhang , J. J. , Zhang , J. ( 2008 ). Double Ore extensions . J. Pure Appl. Algebra 212 ( 12 ): 2668 – 2690 .[Crossref], [Web of Science ®] , [Google Scholar]] introduced an algebra extension A _P [y ₁, y ₂; σ, δ, τ] of A, which they called a double Ore extension. This construction seems to be similar to that of a two-step iterated Ore extension over A. The aim of this article is to describe those double Ore extensions which can be presented as iterated Ore extensions of the form A[y ₁; σ₁, δ₁][y ₂; σ₂, δ₂]. We also give partial answers to some questions posed in Zhang and Zhang [6 Zhang , J. J. , Zhang , J. ( 2008 ). Double Ore extensions . J. Pure Appl. Algebra 212 ( 12 ): 2668 – 2690 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Remarks on the Global Solutions of 3-D Navier-Stokes System with One Slow Variable

By applying Wiegner's method in [16 Wiegner , M. ( 1987 ). Decay results for weak solutions to the Navier-Stokes equations on ? ⁿ . J. London Math. Soc. 35 : 303 – 313 .[Crossref], [Web of Science ®] , [Google Scholar]], we first prove the large time decay estimate for the global solutions of a 2.5 dimensional Navier-Stokes system, which is a sort of singular perturbed 2-D Navier-Stokes system in three space dimension. As an application of this decay estimate, we give a simplified proof for the global wellposedness result in [6 Chemin , J.-Y. , Gallagher , I. ( 2010 ). Large, global solutions to the Navier-Stokes equations, slowly varying in one direction . Transactions of the American Mathematical Society 362 : 2859 – 2873 .[Crossref], [Web of Science ®] , [Google Scholar]] for 3-D Navier-Stokes system with one slow variable. Let us also mention that compared with the assumptions for the initial data in [6 Chemin , J.-Y. , Gallagher , I. ( 2010 ). Large, global solutions to the Navier-Stokes equations, slowly varying in one direction . Transactions of the American Mathematical Society 362 : 2859 – 2873 .[Crossref], [Web of Science ®] , [Google Scholar]], here the assumptions in Theorem 1.3 are weaker.     

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

The Existence of Large E(R)-Algebras That Are Sharply Transitive Modules

The Bose–Mesner algebra of the association scheme of the ordinary n-gon has the following remarkable properties:

• (i) It has a P-polynomial structure with respect to every faithful basis element; and

• (ii) Any closed subset generated by a basis element has a P-polynomial structure with respect to this basis element.

C-algebras or table algebras that have these two properties are called perfect P-polynomial C-algebras or table algebras. By applying and extending some of the techniques developed in Xu (2006 Xu , B. ( 2006 ). Table algebras with multiple P-polynomial structures . J. Alg. Combin. 23 : 377 – 393 .[Crossref], [Web of Science ®] , [Google Scholar]), we will give a classification of perfect P-polynomial table algebras in terms of intersection matrices. As a direct consequence of this classification, we will prove that a standard real integral table algebra (A, B) with |B| ≥ 6 is a perfect P-polynomial table algebra if and only if it is exactly isomorphic to the Bose–Mesner algebra of the association scheme of the ordinary (2|B|?2)-gon or (2|B|?1)-gon. This result generalizes part of the main theorem in Xu (2006 Xu , B. ( 2006 ). Table algebras with multiple P-polynomial structures . J. Alg. Combin. 23 : 377 – 393 .[Crossref], [Web of Science ®] , [Google Scholar]). We will present examples revealing that this result is not true if |B| ≤ 5.     

Simple Modules and Primitive Ideals of Non-Noetherian Generalized Down-Up Algebras

Generalized down-up algebras were first introduced in Cassidy and Shelton (2004 Cassidy , T. , Shelton , B. ( 2004 ). Basic properties of generalized down-up algebras . J. Algebra 279 : 402 – 421 .[Crossref], [Web of Science ®] , [Google Scholar]). Their simple weight modules were classified in Cassidy and Shelton (2004 Cassidy , T. , Shelton , B. ( 2004 ). Basic properties of generalized down-up algebras . J. Algebra 279 : 402 – 421 .[Crossref], [Web of Science ®] , [Google Scholar]) in the noetherian case, and in Praton (2007 Praton , I. ( 2007 ). Simple weight modules of non-noetherian generalized down-up algebras . Comm. Algebra 35 : 325 – 337 .[Taylor &; Francis Online] , [Google Scholar]) in the non-noetherian case. Here we concentrate on non-noetherian down-up algebras. We show that almost all simple modules are weight modules. We also classify the corresponding primitive ideals.     

Freeness of Quasi-Hopf Algebras Over Right Coideal Subalgebras

We will generalize Skryabin's Freeness Theorem [11 Skryabin , S. ( 2007 ). Projectivity and freeness over comodule algebras . Trans. Amer. Math. Soc. 359 : 2597 – 2623 .[Crossref], [Web of Science ®] , [Google Scholar]]to quasi-Hopf algebras. We will show that for a finite dimensional quasi-Hopf algebra H and a right coideal subalgebra K ? H all (H, K)-quasi Hopf bimodules are free K-modules, in particular, H is a free right and left K-module.     

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.     

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.     

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.     

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

Automorphisms of Incidence Algebras

We study automorphisms of the incidence algebra of a finite quasiordered set M. In particular, we describe explicitly the group of outer automorphisms and give a criterion for any automorphism of this algebra to be a product of an inner one and an automorphism of M, which corrects some results of Spiegel (2001 Spiegel , E. ( 2001 ). On the automorphisms of incidence algebras . J. Algebra 239 : 615 – 623 .[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]).     

Sesquilinear Morita Equivalence and Orthogonal Sum of Algebras with Antiautomorphism

We define a notion of Morita equivalence between algebras with antiautomorphisms such that two equivalent algebras have the same category of sesquilinear forms. This generalizes the Morita equivalence of algebras with involutions defined by Fröhlich and Mc Evett [5 Fröhlich , A. , McEvett , A. M. ( 1969 ). Forms over rings with involution . J. Algebra 12 : 79 – 104 .[Crossref], [Web of Science ®] , [Google Scholar]], and their categories of ?-hermitian forms.

For two Morita equivalent algebras with involution, with an additional technical property (which is true for central simple algebras), we define a new algebra with antiautomorphism, called the orthogonal sum, which generalizes the usual notion of orthogonal sum of forms. We explore the invariants of this sum.     

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.     

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.     

Corrigendum to: “Clifford Theory of a Finite Group that Contains a Defect 0 p-Block of a Normal Subgroup”

At some point, after publication, the author realized that the proof of [3 Harris, M. E. (2013). Clifford theory of a finite group that contains a defect 0 p-block of a normal subgroup. Comm. in Alg. 41:3509–3540.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], Theorem 5.2] is incorrect. This proof incorrectly adapts the proof of [1 Broué, M. (1990). Isométries parfaites, types de blocs, cégories dérivees. Aérisque 181–182:61–92. [Google Scholar], Theorem 4.8] since [3 Harris, M. E. (2013). Clifford theory of a finite group that contains a defect 0 p-block of a normal subgroup. Comm. in Alg. 41:3509–3540.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], (5.5)] is incorrect. Using the same proof outline, we correct the proof of [3 Harris, M. E. (2013). Clifford theory of a finite group that contains a defect 0 p-block of a normal subgroup. Comm. in Alg. 41:3509–3540.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], Theorem 5.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 ₅.     

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

On a Class of Finite-dimensional Semisimple Hopf Algebras

Let H be a finite-dimensional and semisimple Hopf algebra over an algebraically closed field of characteristic 0 such that H has exactly one isomorphism class of simple modules that have not dimension 1. These Hopf algebras were the object of study in, for instance, [1 Artamonov , V. A. ( 2007 ). Semisimple finite-dimensional Hopf algebras . Sbornik: Mathematics 198 ( 9 ): 1221 – 1245 .[Crossref], [Web of Science ®] , [Google Scholar]] and [9 Mukhatov , R. B. ( 2009 ). On semisimple finite-dimensional Hopf algebras . Fundamentalnaya i Prikladnaya Matematika 15 ( 2 ): 133 – 143 . [Google Scholar]]. In this paper we study this property in the context of certain abelian extensions of group algebras and give a group theoretical criterion for such Hopf algebras to be of the above type. We also give a classification result in a special case thereof.     

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