Finitely generated invariants of Hopf algebras on free associative algebras

We show that the invariants of a free associative algebra of finite rank under a linear action of a finite-dimensional Hopf algebra generated by group-like and skew-primitive elements form a finitely generated algebra exactly when the action is scalar. This generalizes an analogous result for group actions by automorphisms obtained by Dicks and Formanek, and Kharchenko.     

Generalised Chain Conditions,Prime Ideals,and Classes of Locally Finite Lie Algebras

A Noetherian (Artinian) Lie algebra satisfies the maximal (minimal) condition for ideals.Generalisations include quasi-Noetherian and quasi-Artinian Lie algebras.We study conditions on prime ideals relating these properties.We prove that the radicalof any ideal of a quasi-Artinian Lie algebra is the intersection of finitely many prime ideals,and an ideally finite Lie algebra is quasi-Noetherian if and only if it is qussi-Artinian.Both properties are equivalent to soluble-by-finite.We also prove a structure theorem for serially finite Artinian Lie algebras.     

Descent from the form ring and buchsbaum rings

An element it of a finitely generated free Lie algebra L is a test element if any endomorphism of L fixing u is an automorphism. We prove that test elements of L are precisely those elements not contained in any proper retract of L. In addition we characterize retracts of free Lie algebras.     

Invariants of the k-fold adjoint action of the Euclidean isometry group

A non-zero element of the Lie algebra \({\mathfrak{se}(3)}\) of the special Euclidean spatial isometry group SE(3) is known as a twist and the corresponding element of the projective Lie algebra is termed a screw. Either can be used to describe a one-degree-of-freedom joint between rigid components in a mechanical device or robot manipulator. This leads to a practical interest in multiple twists or screws, describing the overall instantaneous motion of such a device. In this paper, invariants of multiple twists under the action induced by the adjoint action of the group are determined. The ring of the polynomial invariants for the adjoint action of SE(3) acting on a single twist is well known to be finitely generated by the Klein and Killing forms, while a theorem of Panyushev (Publ. Res. Inst. Math. Sci. 4:1199–1257, 2007) gives finite generation for the real invariants of the induced action on two twists. However we are not aware of a corresponding theorem for k twists, where \({k\geq3}\). Following Study, Geometrie der Dynamen, (1903), we use the principle of transference to determine fundamental algebraic invariants and their syzygies. We prove that the ring of invariants for triple twists is rationally finitely generated by 13 of these invariants.     

Construction of the syzygy module in automaton monomial algebras

In this paper, we consider the problem of algorithmically constructing the left syzygy module for a finite system of elements in an automaton monomial algebra. The class of automaton monomial algebras includes free associative algebras and finitely presented algebras. In such algebras the left syzygy module for a finite system of elements is finitely generated. In general, the left syzygy module in an automaton monomial algebra is not finitely generated. Nevertheless, the generators of the left syzygy module have a recursive specification with the help of regular sets. This allows one to solve many algorithmic problems in automaton monomial algebras. For example, one can solve linear equations, recognize the membership in a left ideal, and recognize zero-divisors. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 2, pp. 101–113, 2005.     

The socle of a nondegenerate Lie algebra

We define the socle of a nondegenerate Lie algebra as the sum of all its minimal inner ideals. The socle turns out to be an ideal which is a direct sum of simple ideals, and satisfies the descending chain condition on principal inner ideals. Every classical finite dimensional Lie algebra coincides with its socle, while relevant examples of infinite dimensional Lie algebras with nonzero socle are the simple finitary Lie algebras and the classical Banach Lie algebras of compact operators on an infinite dimensional Hilbert space. This notion of socle for Lie algebras is compatible with the previous ones for associative algebras and Jordan systems. We conclude with a structure theorem for simple nondegenerate Lie algebras containing abelian minimal inner ideals, and as a consequence we obtain that a simple Lie algebra over an algebraically closed field of characteristic 0 is finitary if and only if it is nondegenerate and contains a rank-one element.     

Invariants of the action of a semisimple finite-dimensional Hopf algebra on special algebras

In this paper we extend classical results of the invariant theory of finite groups to the action of a finite-dimensional semisimple Hopf algebra H on a special algebra A, which is homomorphically mapped onto a commutative integral domain, and the kernel of this map contains no nonzero H-stable ideals. We prove that the algebra A is finitely generated as a module over a subalgebra of invariants, and the latter is finitely generated as a k-algebra. We give a counterexample to the finite generation of a non-semisimple Hopf algebra.     

HNN-extensions of lie algebras

We define HNN-extensions of Lie algebras and study their properties. In particular, a sufficient condition for freeness of subalgebras is obtained. We also study differential HNN-extensions of associative rings. These constructions are used to give short proofs of Malcev's and Shirshov's theorems that an associative or Lie algebra of finite or countable dimension is embeddable into a two-generator algebra.

     

Finite Presentability and the Homological Type FP m for a Class of Hopf Algebras

We define and study the property finite presentability in the category  of Hopf algebras that are smash product of universal enveloping algebra of a Lie algebra by a group algebra. We show that for such Hopf algebras finite presentability is equivalent with finite presentability as an associative k-algebra.     

Assouad–Nagata dimension of connected Lie groups

We prove that the asymptotic Assouad–Nagata dimension of a connected Lie group G equipped with a left-invariant Riemannian metric coincides with its topological dimension of G/C where C is a maximal compact subgroup. To prove it we will compute the Assouad–Nagata dimension of connected solvable Lie groups and semisimple Lie groups. As a consequence we show that the asymptotic Assouad–Nagata dimension of a polycyclic group equipped with a word metric is equal to its Hirsch length and that some wreath-type finitely generated groups can not be quasi-isometrically embedded into any cocompact lattice on a connected Lie group.     

On Vaught’s Conjecture and finitely valued MV algebras

We show that the complete first order theory of an MV algebra has $2^{\aleph _0}$ countable models unless the MV algebra is finitely valued. So, Vaught's Conjecture holds for all MV algebras except, possibly, for finitely valued ones. Additionally, we show that the complete theories of finitely valued MV algebras are $2^{\aleph _0}$ and that all ω‐categorical complete theories of MV algebras are finitely axiomatizable and decidable. As a final result we prove that the free algebra on countably many generators of any locally finite variety of MV algebras is ω‐categorical.     

Group Algebras of Finite Groups as Lie Algebras

We consider the natural Lie algebra structure on the (associative) group algebra of a finite group G, and show that the Lie subalgebras associated to natural involutive antiautomorphisms of this group algebra are reductive ones. We give a decomposition in simple factors of these Lie algebras, in terms of the ordinary representations of G.     

Enumeration of algebras close to absolutely free algebras and binary trees

We study three classes of algebras: absolutely free algebras, free commutative non-associative, and free anti-commutative non-associative algebras. We study asymptotics of the growth for free algebras of these classes and for their subvarieties as well. Mainly, we study finitely generated algebras, also the codimension growth for varieties in theses classes is studied. For these purposes we use ordinary generating functions as well as exponential generating functions. The following subvarieties are studied in these classes: solvable, completely solvable, right-nilpotent, and completely right-nilpotent subvarieties. The obtained results are equivalent to an enumeration of binary labeled and unlabeled rooted trees that do not contain some forbidden subtrees. We enumerate these trees using generating functions. For solvable and right-nilpotent algebras the generating functions are algebraic. For completely solvable and completely right-nilpotent algebras the respective functions are rational. It is known that these three varieties of algebras satisfy Schreier's property, i.e., subalgebras of free algebras are free. For free groups, there is Schreier's formula for the rank of a subgroup of a free group. We find analogues of this formula for these varieties. They are written in terms of series. As an application, we study invariants of finite groups acting on absolutely free algebras.     

Towers of derivation for Lie rings and some results on complete Lie rings

The well-known tower theorem of groups (resp. Lie algebras) shows that the tower of automorphism groups (resp. derivation algebras) of a finite group (resp. a finite dimensional Lie algebra) with trivial center terminates after finitely many steps. We generalize these results for Lie rings, and present some necessary and sufficient conditions for Lie rings to be complete.     

TOWERS OF DERIVATION FOR LIE RINGS AND SOME RESULTS ON COMPLETE LIE RINGS

The well-known tower theorem of groups （resp. Lie algebras） shows that the tower of automorphism groups （resp. derivation algebras） of a finite group （resp. a finite dimensional Lie algebra） with trivial center terminates after finitely many steps. We generalize these results for Lie rings, and present some necessary and sufficient conditions for Lie rings to be complete.     

A proof that commutative artinian rings are noetherian

Abstract

Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on rings. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true Hopf algebras over rings. We show that over any commutative ring R that is not a field there exists a Hopf algebra H over R containing a non-zero integral but not being finitely generated as R-module. On the contrary we show that Sweedler's equivalence is still valid for free Hopf algebras or projective Hopf algebras over integral domains. Analogously for a left H-module algebra A we study the influence of non-zero left A#H-linear maps from A to A#H on H being finitely generated as R-module. Examples and application to separability are given.     

Finite vs affine W-algebras

In Section 1 we review various equivalent definitions of a vertex algebra V. The main novelty here is the definition in terms of an indefinite integral of the λ-bracket. In Section 2 we construct, in the most general framework, the Zhu algebra Zhu_ΓV, an associative algebra which “controls” Γ-twisted representations of the vertex algebra V with a given Hamiltonian operator H. An important special case of this construction is the H-twisted Zhu algebra Zhu_H V. In Section 3 we review the theory of non-linear Lie conformal algebras (respectively non-linear Lie algebras). Their universal enveloping vertex algebras (resp. universal enveloping algebras) form an important class of freely generated vertex algebras (resp. PBW generated associative algebras). We also introduce the H-twisted Zhu non-linear Lie algebra Zhu_H R of a non-linear Lie conformal algebra R and we show that its universal enveloping algebra is isomorphic to the H-twisted Zhu algebra of the universal enveloping vertex algebra of R. After a discussion of the necessary cohomological material in Section 4, we review in Section 5 the construction and basic properties of affine and finite W-algebras, obtained by the method of quantum Hamiltonian reduction. Those are some of the most intensively studied examples of freely generated vertex algebras and PBW generated associative algebras. Applying the machinery developed in Sections 3 and 4, we then show that the H-twisted Zhu algebra of an affine W-algebra is isomorphic to the finite W-algebra, attached to the same data. In Section 6 we define the Zhu algebra of a Poisson vertex algebra, and we discuss quasiclassical limits. In the Appendix, the equivalence of three definitions of a finite W-algebra is established. “I am an old man, and I know that a definition cannot be so complicated.” I.M. Gelfand (after a talk on vertex algebras in his Rutgers seminar)     

Algebras and differential equations with additive symmetry

The set of all m-ary algebra structures on a given vector space affords, by the change of basis action, a representation of the general linear group. The invariants of a given subgroup are identified with those algebras admitting that subgroup as algebra automorphisms. Any finite dimensional representation of the additive group as automorphisms is obtained as the exponential of a nilpotent derivation. The latter can be embedded in the Lie algebra sl(2) so that the maximal vectors in an irreducible decomposition of the set of algebras as an sl(2) module are the invariants of the given action of the additive group. Dimension formulas and explicit bases are computed for the space of algebras with certain additive group actions. Employing the equivalence of the categories of m-ary algebras and systems of autonomous mth order homogeneous differential equations, the algebraic results are connected to the construction of first integrals and semi-invariants.     

Recognition of certain properties of automaton algebras

Abstract. The paper considers a new algebraic object, the completely automaton binomial algebras, which generalize certain existing classes of algebras. The author presents a classification of semigroup algebras taking into account completely automaton algebras and gives the corresponding examples. A number of standard algorithmic problems are solved for completely automaton binomial algebras: the recognition of a strict and nonstrict polynomial property, the recognition of the right and/or left finite processing, and the construction of the determining regular language for an algebra with finite processing and for monomial subalgebras of a free associative algebra and certain completely automaton algebras. For an automaton monomial algebra, the author constructs the left syzygy module of a finite system of elements and the Gröbner basis of a finitely generated left ideal; also, some algorithmic problems are solved.