Commutativity of association schemes of prime square order having non-trivial thin closed subsets

Through a study of the structure of the modular adjacency algebra over a field of positive characteristic p for a scheme of prime order p and utilizing the fact that every scheme of prime order is commutative, we show that every association scheme of prime square order having a non-trivial thin closed subset is commutative. The second author was supported by Korea Research Foundation Grant (KRF-2006-003-00008).     

Commutative free loop space models at large primes

Let p be a prime number and a natural number. If E is a r-connected finite CW-complex of dimension at most pr, then E is an example of a p -Anick space. For p > 2 we construct a commutative cochain algebra over that is an -model of the free loop space on a p-Anick space, i.e., its cohomology algebra is isomorphic to the mod p cohomology of the free loop space. For p-Anick spaces that are p-formal, such as spheres and projective spaces, we define an even simpler commutative free loop space model that applies for all primes p. We then use the simplified model to compute the cohomology algebras of a number of free loop spaces explicitly. Received: 23 June 1999; in final form: 8 September 2000 // Published online: 7 April 2003     

A Hilbert-Nagata theorem in noncommutative invariant theory

Nagata gave a fundamental sufficient condition on group actions on finitely generated commutative algebras for finite generation of the subalgebra of invariants. In this paper we consider groups acting on noncommutative algebras over a field of characteristic zero. We characterize all the T-ideals of the free associative algebra such that the algebra of invariants in the corresponding relatively free algebra is finitely generated for any group action from the class of Nagata. In particular, in the case of unitary algebras this condition is equivalent to the nilpotency of the algebra in Lie sense. As a consequence we extend the Hilbert-Nagata theorem on finite generation of the algebra of invariants to any finitely generated associative algebra which is Lie nilpotent. We also prove that the Hilbert series of the algebra of invariants of a group acting on a relatively free algebra with a non-matrix polynomial identity is rational, if the action satisfies the condition of Nagata.

     

The solution to the embedding problem of a (differential) Lie algebra into its Wronskian envelope

Any commutative algebra equipped with a derivation may be turned into a Lie algebra under the Wronskian bracket. This provides an entirely new sort of a universal envelope for a Lie algebra, the Wronskian envelope. The main result of this paper is the characterization of those Lie algebras which embed into their Wronskian envelope as Lie algebras of vector fields on a line. As a consequence we show that, in contrast to the classical situation, free Lie algebras almost never embed into their Wronskian envelope.     

Standard Bases for the Universal Associative Conformal Envelopes of Kac–Moody Conformal Algebras

We study the universal enveloping associative conformal algebra for the central extension of a current Lie conformal algebra at the locality level N =?3. A standard basis of defining relations for this algebra is explicitly calculated. As a corollary, we find a linear basis of the free commutative conformal algebra relative to the locality N =?3 on the generators.

     

Universal representations of Lie algebras by coderivations

A class of representations of a Lie superalgebra (over a commutative superring) in its symmetric algebra is studied. As an application we get a direct and natural proof of a strong form of the Poincaré-Birkhoff-Witt theorem, extending this theorem to a class of nilpotent Lie superalgebras. Other applications are presented. Our results are new already for Lie algebras.     

On right S-Noetherian rings and S-Noetherian modules

In this paper we study right S-Noetherian rings and modules, extending notions introduced by Anderson and Dumitrescu in commutative algebra to noncommutative rings. Two characterizations of right S-Noetherian rings are given in terms of completely prime right ideals and point annihilator sets. We also prove an existence result for completely prime point annihilators of certain S-Noetherian modules with the following consequence in commutative algebra: If a module M over a commutative ring is S-Noetherian with respect to a multiplicative set S that contains no zero-divisors for M, then M has an associated prime.     

Poisson color algebras of arbitrary degree

A Poisson algebra is a Lie algebra endowed with a commutative associative product in such a way that the Lie and associative products are compatible via a Leibniz rule. If we part from a Lie color algebra, instead of a Lie algebra, a graded-commutative associative product and a graded-version Leibniz rule we get a so-called Poisson color algebra (of degree zero). This concept can be extended to any degree, so as to obtain the class of Poisson color algebras of arbitrary degree. This class turns out to be a wide class of algebras containing the ones of Lie color algebras (and so Lie superalgebras and Lie algebras), Poisson algebras, graded Poisson algebras, z-Poisson algebras, Gerstenhaber algebras, and Schouten algebras among other classes of algebras. The present paper is devoted to the study of structure of Poisson color algebras of degree g₀, where g₀ is some element of the grading group G such that g₀ = 0 or 4g₀≠0, and with restrictions neither on the dimension nor the base field, by stating a second Wedderburn-type theorem for this class of algebras.     

Hochschild cohomology of a strongly homotopy commutative algebra

The Hochschild cohomology of a DG algebra A with coefficients in itself is, up to a suspension of degrees, a graded Lie algebra. The purpose of this paper is to prove that a certain DG Lie algebra of derivations appears as a finite codimensional graded sub Lie algebra of this Lie algebra when A is a strongly homotopy commutative algebra whose homology is concentrated in finitely many degrees. This result has interesting implications for the free the loop space homology which we explore here as well.     

Omni-Lie superalgebras and Lie 2-superalgebras

We introduce the notion of omni-Lie superalgebras as a super version of an omni-Lie algebra introduced by Weinstein. This algebraic structure gives a nontrivial example of Leibniz superalgebras and Lie 2-superalgebras. We prove that there is a one-to-one correspondence between Dirac structures of the omni-Lie superalgebra and Lie superalgebra structures on a subspace of a super vector space,     

On classification of quasifinite representations of two classes of Lie superalgebras of block type

Motivated by a well-known theorem of Mathieu’s on Harish–Chandra modules over the Virasoro algebra and its super version, we show that an irreducible quasifinite module over two classes of Lie superalgebras 𝒮(q) of Block type is either a highest or lowest weight module or else a module of the intermediate series if q≠?1. For such a module over 𝒮(?1), we give a rough classification.     

Nilpotent Ideals in Graded Lie Algebras and Almost Constant-Free Derivations

It is proved that if a (?/p ?)-graded Lie algebra L, where p is a prime, has exactly d nontrivial grading components and dim L ₀ = m, then L has a nilpotent ideal of d-bounded nilpotency class and of finite (m,d)-bounded codimension. As a consequence, Jacobson's theorem on constant-free nilpotent Lie algebras of derivations is generalized to the almost constant-free case. Another application is for Lie algebras with almost fixed-point-free automorphisms.     

The orbit method for profinite groups and a p-adic analogue of Brown’s theorem

We develop an approach to the character theory of certain classes of finite and profinite groups based on the construction of a Lie algebra associated to such a group, but without making use of the notion of a polarization which is central to the classical orbit method. Instead, Kirillov’s character formula becomes the fundamental object of study. Our results are then used to produce an alternate proof of the orbit method classification of complex irreducible representations of p-groups of nilpotence class < p, where p is a prime, and of continuous complex irreducible representations of uniformly powerful pro-p-groups (with a certain modification for p = 2). As a main application, we give a quick and transparent proof of the p-adic analogue of Brown’s theorem, stating that for a nilpotent Lie group over ℚ_p the Fell topology on the set of isomorphism classes of its irreducible representations coincides with the quotient topology on the set of its coadjoint orbits. The research of M. B. was partially supported by NSF grant DMS-0401164.     

Another proof of Joseph and Letzter's separation of variables theorem for quantum groups

Let g be a simple finite-dimensional complex Lie algebra and letG be the corresponding simply-connected algebraic group. A theorem of Kostant states that the universal enveloping algebra of g is a free module over its center. A theorem of Richardson states that the algebra of regular functions ofG is a free module over the subalgebra of regular class functions. Joseph and Letzter extended Kostant's theorem to the case of the quantized enveloping algebra of g. Using the theory of crystal bases as the main tool, we prove a quantum analogue of Richardson's theorem. From it, we recover Joseph and Letzter's result by a kind of quantum duality principle.     

Gröbner–Shirshov Bases: From their Incipiency to the Present

In this paper, the history and the main results of the theory of Gröbner–Shirshov bases are given for commutative, noncommutative, Lie, and conformal algebras from the beginning (1962) to the present time. The problem of constructing a base of a free Lie algebra is considered, as well as the problem of studying the structure of free products of Lie algebras, the word problem for Lie algebras, and the problem of embedding an arbitrary Lie algebra into an algebraically closed one. The modern form of the composition-diamond lemma (the CD lemma) is presented. The rewriting systems for groups are considered from the point of view of Gröbner–Shirshov bases. The important role of conformal algebras is treated, the statement of the CD lemma for associative conformal algebras is given, and some examples are considered. An analog of the Hilbert basis theorem for commutative conformalalgebras is stated. Bibliography: 173 titles.     

Simple Twisted Group Algebras of Dimension p4 and their Semi-Centers

For a simple twisted group algebra over a group G, if G^∣ is Hall subgroup of G, then the semi-center is simple. Simple twisted group algebras correspond to groups of central type. We classify all groups of central type of order p⁴ where p is prime and use this to show that for odd primes p there exists a unique group G of order p⁴, such that there exists simple twisted group algebra over G with a commutative semi-center. Moreover, if 1 < |G| <64, then the semi-center of simple twisted group algebras over G is noncommutative and this bounds are strict.     

Biderivations on tensor products of algebras

Let A be a noncommutative unital prime algebra and let S be a commutative unital algebra over a field 𝔽. We describe the form of biderivations of the algebra A?S. As an application, we determine the form of commuting linear maps of A?S.     

A class of nilpotent lie algebras

A p-filiform Lie algebra g is a nilpotent Lie algebra for which Goze’s invariant is (n–p,1,…,1). These Lie algebras are well known for P ≥ n-4n = dim(g). In this paper we describe the p-filiform Lie algebras, for p = n-5 and we gjive their classification when the derived subalgebra is maximal.     

Integral extensions of noncommutative rings

In this paper we study integral extensions of noncommutative rings. To begin, we prove that finite subnormalizing extensions are integral. This is done by proving a generalization of the Paré-Schelter result that a matrix ring is integral over the coefficient ring. Our methods are similar to those of Lorenz and Passman, who showed that finite normalizing extensions are integral. As corollaries we note that the (twisted) smash product over the restricted enveloping algebra of a finite dimensional restricted Lie algebra is integral over the coefficient ring and then prove a Going Up theorem for prime ideals in these ring extensions. Next we study automorphisms of rings. In particular, we prove an integrality theorem for algebraic automorphisms. Combining group gradings and actions, we show that if a ringR is graded by a finite groupG, andH is a finite group of automorphisms ofR that permute the homogeneous components, with the order ofH invertible inR, thenR is integral overR ₁ ^H , the fixed ring of the identity component. This, in turn, is used to prove our final result: Suppose that ifH is a finite dimensional semisimple cocommutative Hopf algebra over an algebraically closed field of positive characteristic. IfR is anH-module algebra, thenR is integral overR ^H , its subring of invariants.