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.     

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.     

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.     

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

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.     

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.     

Homogenized Down-Up Algebras

Abstract

This paper studies two homogenizations of the down-up algebras introduced in Benkart and Roby (Benkart, G., Roby, T. (1998 Benkart, G. and Roby, T. 1998. Down-up algebras. J. Algebra, 209: 305–344. [Crossref], [Web of Science ®] , [Google Scholar]). Down-up Algebras. J. Algebra 209:305–344). We show that in all cases the homogenizing variable is not a zero-divisor, and that when the parameter β is non-zero, the homogenized down-up algebra is a Noetherian domain and a maximal order, and also Artin-Schelter regular, Auslander regular, and Cohen-Macaulay. We show that all homogenized down-up algebras have global dimension 4 and Gelfand-Kirillov dimension 4, and with one exception all homogenized down-up algebras are prime rings. We also exhibit a basis for homogenized down-up algebras and provide a necessary condition for a Noetherian homogenized down-up algebra to be a Hopf algebra.     

Absolute Valued Algebras with Involution

We study absolute valued algebras with involution, as defined in Urbanik (1961 Urbanik , K. ( 1961 ). Absolute valued algebras with an involution . Fundamenta Math. 49 : 247 – 258 . [Google Scholar]). We prove that these algebras are finite-dimensional whenever they satisfy the identity (x, x ², x) = 0, where (·, ·, ·) means associator. We show that, in dimension different from two, isomorphisms between absolute valued algebras with involution are in fact *-isomorphisms. Finally, we give a classification up to isomorphisms of all finite-dimensional absolute valued algebras with involution. As in the case of a parallel situation considered in Rochdi (2003 Rochdi , A. ( 2003 ). Eight-dimensional real absolute valued algebras with left unit whose automorphism group is trivial . Int. J. Math. Math. Sci. 70 : 4447 – 4454 .[Crossref] , [Google Scholar]), the triviality of the group of automorphisms of such an algebra can happen in dimension 8, and is equivalent to the nonexistence of 4-dimensional subalgebras.     

Construction of CPs-Stratified Algebras

The results of [7 Dlab , V. , Ringel , C. M. ( 1992 ). The module theoretical approach to quasi-hereditary algebras. In: Tachikawa, H., Brenner, S. eds. Representations of Algebras and Related Topics, London Math. Society Lecture Note Series 168:200–224 . [Google Scholar]] and [2 Ágoston , I. , Dlab , V. , Lukács , E. ( 2011 ). Constructions of stratified algebras . Comm. Algebra 39 : 2545 – 2553 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] gave a recursive construction for all quasi-hereditary and standardly stratified algebras starting with local algebras and suitable bimodules. Using the notion of stratifying pairs of subcategories, introduced in [3 Ágoston , I. , Lukács , E. Stratifying pairs of subcategories for CPS-stratified algebras . To appear in Journal of Algebra and Its Applications , p. 11 . [Google Scholar]], we generalize these earlier results to construct recursively all CPS-stratified algebras.     

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.     

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.     

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.     

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

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.     

Leibniz Algebras with Invariant Bilinear Forms and Related Lie Algebras

In ([11 Benayadi, S., Hidri, S. (2014). Quadratic Leibniz algebras. Journal of Lie Theory 24:737–759.[Web of Science ®] , [Google Scholar]]), we have studied quadratic Leibniz algebras that are Leibniz algebras endowed with symmetric, nondegenerate, and associative (or invariant) bilinear forms. The nonanticommutativity of the Leibniz product gives rise to other types of invariance for a bilinear form defined on a Leibniz algebra: the left invariance, the right invariance. In this article, we study the structure of Leibniz algebras endowed with nondegenerate, symmetric, and left (resp. right) invariant bilinear forms. In particular, the existence of such a bilinear form on a Leibniz algebra 𝔏 gives rise to a new algebra structure ☆ on the underlying vector space 𝔏. In this article, we study this new algebra, and we give information on the structure of this type of algebras by using some extensions introduced in [11 Benayadi, S., Hidri, S. (2014). Quadratic Leibniz algebras. Journal of Lie Theory 24:737–759.[Web of Science ®] , [Google Scholar]]. In particular, we improve the results obtained in [22 Lin, J., Chen, Z. (2010). Leibniz algebras with pseudo-Riemannian bilinear forms. Front. Math. China 5(1):103–115.[Crossref], [Web of Science ®] , [Google Scholar]].     

A Few Properties of Just Infinite Algebras

In this article we prove a few interesting properties of just infinite algebras. Bartholdi (2006 Bartholdi , L. ( 2006 ). Branch rings, thinned rings, tree enveloping rings . Israel J. Math. 154 : 93 – 139 .[Crossref], [Web of Science ®] , [Google Scholar]), defines a particular class of just infinite algebras and demonstrates various properties of these examples. One such property, which is tedious to prove for his specific examples, is primality. We prove here that, in fact, all just infinite algebras are prime. We then consider two corollaries of this theorem; one suggests a weaker definition of just infinite for finitely generated algebras and the other examines the specific case of just infinite algebras which also satisfy a polynomial identity.     

Characterizations for Supersolvable Lie Algebras

In (2009), Towers [10 Towers , D. A. ( 2009 ). C-ideals of Lie algebras . Comm. Algebra 37 : 4366 – 4373 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] presented the notion of c-ideality of a subalgebra of a Lie algebra, and gave some characterizations of solvable and supersolvable Lie algebras. In this article, we further investigate the influence of c-ideality of some subalgebras on the structure of Lie algebras. We also obtain some equivalent conditions for supersolvability of a finite dimensional Lie algebra.     

Hilbert Function and Betti Numbers of Algebras with Lefschetz Property of Order m

The authors in Harima et al. (2003 Harima , T. , Migliore , J. C. , Nagel , U. , Watanabe , J. ( 2003 ). The weak and strong Lefschetz properties for artinian K-algebras . Journal of Algebra 262 : 99 – 126 .[Crossref], [Web of Science ®] , [Google Scholar]) characterize the Hilbert function of algebras with the Lefschetz property. We extend this characterization to algebras with the Lefschetz property m times. We also give upper bounds for the Betti numbers of Artinian algebras with a given Hilbert function and with the Lefschetz property m times and describe the cases in which these bounds are reached.     

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