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.     

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

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

Larson–Sweedler Theorem and Some Properties of Discrete Type in (G-Cograded) Multiplier Hopf Algebras

We extend the Larson–Sweedler theorem to group-cograded multiplier Hopf algebras introduced in Abd El-hafez et al. (2004 Abd El-hafez , A. T. , Delvaux , L. , Van Daele , A. ( 2004 ). Group-cograded multiplier Hopf (?-)algebra. Math. QA/0404026 . To appear in Algebras and Representation Theory . [CSA]  [Google Scholar]), by showing that a group-cograded multiplier bialgebra with finite-dimensional unital components is a group-cograded multiplier Hopf algebra if and only if it possesses a nondegenerate left cointegral. We also generalize the theory of multiplier Hopf algebras of discrete type in Van Daele and Zhang (1999 Van Daele , A. , Zhang , Y. ( 1999 ). Multiplier Hopf algebras of discrete type . J. Algebra 214 : 400 – 417 . [CSA] [CROSSREF]  [Google Scholar]) to group-cograded multiplier Hopf algebras. Our results are applicable to Hopf group-coalgebras in the sense of Turaev (2000 Turaev , V. G. ( 2000 ). Homotopy field theory in dimension 3 and crossed group-categories . Preprint GT/0005291. [CSA]  [Google Scholar]). Finally, we study regular multiplier Hopf algebras of η -discrete type.     

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

Direct Limits of Diagonal Chains of Type O,U, and Sp,and Their Homotopy Groups

ABSTRACT

Baranov and Zhilinskii (1999 Baranov , A. A. , Zhilinskii , A. G. ( 1999 ). Diagonal direct limits of simple Lie algebras . Comm. Algebra 27 ( 6 ): 2749 – 2766 [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) have shown a classification theorem for diagonal direct limits of simple Lie algebras. In this work, we will transfer their results to diagonal direct limits of certain matrix groups, and show that homotopy groups are significant invariants for specific classes of direct limit groups.

Communicated by B. Allison     

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.     

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

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.     

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.     

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.     

Singular Solutions to the Quantum Yang–Baxter Equations

Let X and A be weak Hopf algebras in the sense of Li (1998 Li , F. ( 1998 ). Weak Hopf algebras and some new solutions of the quantum Yang–Baxter equation . J. Algebra 208 ( 1 ): 72 – 100 .[Crossref], [Web of Science ®] , [Google Scholar]). As in the case of Hopf algebras (Majid, 1990 Majid , S. ( 1990 ). Quasitriangular Hopf algebras and Yang–Baxter equations . Internat. J. Modern Phys. A 5 : 1 – 91 . [Google Scholar]), a weak bicrossed coproduct X∞ _R A is constructed by means of good regular R-matrices of the weak Hopf algebras X and A. Using this, we provide a new framework of obtaining singular solutions of the quantum Yang–Baxter equation by constructing weak quasitriangular structures over X∞ _R A when both X and A admit a weak quasitriangular structure. Finally, two explicit examples are given.     

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

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.     

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

Finitary Incidence Algebras

It is well known that incidence algebras can be defined only for locally finite partially ordered sets (Doubilet et al., 1972 Doubilet , P. , Rota , G.-C. , Stanley , R. ( 1972 ). On the foundations of combinatorial theory (VI): The idea of generating function . In: Proc. of the Sixth Berkely Symp. on Math. Stat. and Probab . v. II , Univ. of Calif. Press , pp. 267 – 318 . [Google Scholar]; Stanley 1986 Stanley , R. P. ( 1986 ). Enumerative Combinatorics . v. 1 . Monterey, CA : Wadsworth &; Brooks/Cole .[Crossref] , [Google Scholar]). At the same time, for example, the poset of cells of a noncompact cell partition of a topological space is not locally finite. On the other hand, some operations, such as the order sum and the order product (Stanley, 1986 Stanley , R. P. ( 1986 ). Enumerative Combinatorics . v. 1 . Monterey, CA : Wadsworth &; Brooks/Cole .[Crossref] , [Google Scholar]), do not save the locally finiteness. So it is natural to try to generalize the concept of incidence algebra.

In this article, we consider the functions in two variables on an arbitrary poset (finitary series), for which the convolution operation is defined. We obtain the generalization of incidence algebra—finitary incidence algebra and describe its properties: invertibility, the Jackobson radical, idempotents, regular elements. As a consequence a positive solution of the isomorphism problem for such algebras is obtained.     

The minimal non-Koszul A(Γ)

The algebras A(Γ), where Γ is a directed layered graph, were first constructed by Gelfand et al. [5 Gelfand, I., Serconek, S., Retakh, V., Wilson, R. L. (2005). On a class of algebras associated to directed graphs. Selecta Math. (N.S.) 11(2):281–295.[Crossref], [Web of Science ®] , [Google Scholar]]. These algebras are generalizations of the algebras Q_n, which are related to factorizations of non-commutative polynomials. It was originally conjectured that these algebras were Koszul. In 2008, Cassidy and Shelton found a counterexample to this claim, a non-Koszul A(Γ) corresponding to a graph Γ with 18 edges and 11 vertices. We produce an example of a directed layered graph Γ with 13 edges and 9 vertices, which produces a non-Koszul A(Γ). We also show this is the minimal example with this property.