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

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.     

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.     

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.     

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

Gröbner–Shirshov Basis of Quantum Group of Type G 2

By using the generating sequence and relations given by Ringel for his Ringel–Hall algebra in [8 Ringel , C. M. ( 1996 ). PBW-bases of quantum groups . J. Reine Angew. Math. 470 : 51 – 88 .[Web of Science ®] , [Google Scholar]], we give a Gröbner–Shirshov basis for quantum group of type G ₂.     

Quotients of Koszul Algebras and 2-d-Determined Algebras

Vatne [13 Vatne , J. E. ( 2012 ). Quotients of Koszul algebras with almost linear resolution. Preprint, arXiv:1103.3572 . [Google Scholar]] and Green and Marcos [9 Green , E. L. , Marcos , E. N. (2011). d-Koszul algebras, 2-d-determined algebras and 2-d-Koszul algebras. J. Pure Appl. Algebra 215(4):439–449.[Crossref], [Web of Science ®] , [Google Scholar]] have independently studied the Koszul-like homological properties of graded algebras that have defining relations in degree 2 and exactly one other degree. We contrast these two approaches, answer two questions posed by Green and Marcos, and find conditions that imply the corresponding Yoneda algebras are generated in the lowest possible degrees.     

Auslander–Reiten Triangles in Homotopy Categories

Let A be an artin algebra. We show that the bounded homotopy category of finitely generated right A-modules has Auslander–Reiten triangles. Two applications are given: (1) we provide an alternative proof of a theorem of Happel in [14 Happel, D. (1988). Triangulated Categories in the Representation Theory of Finite-dimensional Algebras. London Mathematical Society Lecture Note Series, vol. 119. Cambridge: Cambridge University Press.[Crossref] , [Google Scholar]]; (2) we prove that over a Gorenstein algebra, the bounded homotopy category of finitely generated Gorenstein projective (resp. injective) modules, admits Auslander–Reiten triangles, which improve a main result in [12 Nan, G. (2012). Auslander-Reiten triangles on Gorenstein derived categories. Comm. Algebra 40:3912–3919.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]].     

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

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.     

On Generalized CB-Degenerations of Algebras

We introduce a concept generalizing classical degenerations of algebras (defined by structure constants) and Crawley-Boevey degenerations introduced in [3 Crawley-Boevey , W. W. ( 1995 ). Tameness of biserial algebras . Arch. Math. 65 : 399 – 407 .[Crossref], [Web of Science ®] , [Google Scholar]]. We prove that if A ₀ is such a generalized degeneration of A ₁ and the algebras have equal dimensions, then A ₀ is a degeneration of A ₁ in the classical sense.     

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

On Strongly Associative Group Algebras

Given a partial action α of a group G on the group algebra FH, where H is a finite group and F is a field whose characteristic p divides the order of H, we investigate the associativity question of the partial crossed product FH*_α G. If FH*_α G is associative for any G and any α, then FH is called “strongly associative.” Using a result of Dokuchaev and Exel (2005 Dokuchaev , M. , Exel , R. ( 2005 ). Associativity of crossed products by partial actions, enveloping actions and partial representations . Trans. Amer. Math. Soc. 357 : 1931 – 1952 .[Crossref], [Web of Science ®] , [Google Scholar]) we characterize the strongly associative modular group algebras FH for several classes of groups H.     

Singular and Totally Singular Unitary Spaces

In this article, we present a decomposition theorem for unitary spaces over a central simple division algebra with involution in characteristic 2. This is a generalization of a decomposition result for quadratic forms in characteristic 2 from [4 Hoffmann , D. , Laghribi , A. ( 2004 ). Quadratic forms and Pfister neighbors in characteristic 2 . Trans. Amer. Math. Soc. 356 ( 10 ): 4019 – 4053 .[Crossref], [Web of Science ®] , [Google Scholar]] and extends a generalization of the Witt decomposition theorem for nonsingular spaces in this setting to cover spaces that may be singular.     

Gorenstein FP-Injective Dimension for Complexes

This article is a continuous work of [17 Hu , J. , Zhang , D. ( 2013 ). Weak AB-context for FP-injective modules with respect to semidualizing modules . J. Algebra Appl. 12 ( 7 ): 1350039 .[Crossref], [Web of Science ®] , [Google Scholar]], where the coauthors introduced the notion of 𝒢-FP-injective R-modules. In this article, we define a notion of 𝒢-FP-injective dimension for complexes over left coherent rings. To investigate the relationships between 𝒢-FP-injective dimension and FP-injective dimension for complexes, the complete cohomology group bases on FP-injectives is given.     

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.     

On Isomorphisms Between Integral Table Algebras and Applications to Finite Groups and Association Schemes

A problem that has been open for a long time is whether an automorphism of the center of the integral group ring of a finite group permutes the class sums. As a generalization, the similar problem for integral table algebras has also been studied in a few papers. In this paper we further the investigation of the problem for integral C-algebras and table algebras. We will first present some necessary and sufficient conditions under which an algebra isomorphism between integral C-algebras is monomial, and as an application, obtain a conceptual proof of the class sum correspondence theorem of group rings of finite groups. Then we prove that an algebra isomorphism compatible with degree maps between standard integral nilpotent table algebras over the ring of algebraic integers is exact. As a direct consequence, we get Hertweck's result [6 Hertweck , M. ( 2008 ). On isomorphisms between centers of integral group rings of finite groups . Proc. Amer. Math. Soc. 136 : 1539 – 1547 .[Crossref], [Web of Science ®] , [Google Scholar]] for finite nilpotent groups. An application to association schemes is also presented.     

Extremal loop weight modules and tensor products for quantum toroidal algebras

We define integrable representations of quantum toroidal algebras of type A by tensor product, using the Drinfeld “coproduct.” This allows us to recover the vector representations recently introduced by Feigin–Jimbo–Miwa–Mukhin [7 Feigin, B., Jimbo, M., Miwa, T., Mukhin, E. (2013). Representations of quantum toroidal 𝔤𝔩_n. J. Algebra 380:78–108.[Crossref], [Web of Science ®] , [Google Scholar]] and constructed by the author [21 Macdonald, I. G. (1995). Symmetric Functions and Hall Polynomials. 2nd ed. Oxford: Oxford Math. Monographs, 1979. [Google Scholar]] as a subfamily of extremal loop weight modules. In addition we get new extremal loop weight modules as subquotients of tensor powers of vector representations. As an application we obtain finite-dimensional representations of quantum toroidal algebras by specializing the quantum parameter at roots of unity.     

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.