Calculating quotient algebras of generic embeddings

Many consistency results in set theory involve forcing over a universe V ₀ that contains a large cardinal to get a model V ₁. The original large cardinal embedding is then extended generically using a further forcing by a partial ordering ?. Determining the properties of ? is often the crux of the consistency result. Standard techniques can usually be used to reduce to the case where ? is of the form P(Z)/J for appropriately chosen Z and countably complete ideal J. This paper proves a general algebraic Duality Theorem that exactly characterizes the Boolean algebra P(Z)/J. The Duality Theorem is general enough that it applies even if the original embedding in V ₀ was itself generic. Thus it has as corollaries the theorems of Kakuda, Baumgartner, Laver and others about preservation properties of precipitous and saturated ideals. A corollary is drawn showing that precipitous ideals are indestructible under small proper forcing.     

Test elements of direct sums and free products of free Lie algebras

We give a characterization of test elements of a direct sum of free Lie algebras in terms of test elements of the factors. In addition, we construct certain types of test elements and we prove that in a free product of free Lie algebras, product of the homogeneous test elements of the factors is also a test element.     

Semidirect sums of Lie algebras

This paper examines the problem of classifying finite-dimensional Lie algebras over the field C with a given radical \(\mathfrak{r}\) and also the problem of classifying algebraic Lie algebras with a given nilpotent radical \(\mathfrak{r}\) . A detailed study is made of the case when \(\mathfrak{r}\) is the nilpotent radical of a parabolic subalgebra of a semisimple Lie algebra.     

On invariants of modular free Lie algebras

Suppose that L(X) is a free Lie algebra of finite rank over a field of positive characteristic. Let G be a nontrivial finite group of homogeneous automorphisms of L(X). It is known that the subalgebra of invariants H = L ^G is infinitely generated. Our goal is to describe how big its free generating set is. Let Y = è_{n = 1}^￥ Y_n Y = \bigcup\limits_{n = 1}^\infty {{Y_n}} be a homogeneous free generating set of H, where elements of Y _n are of degree n with respect to X. We describe the growth of the generating function of Y and prove that |Y _n | grow exponentially.     

Invariants of free Lie algebras

Let k be a principal ideal domain with identity and characteristic zero. For a positive integer n, with n \geqq 2n \geqq 2, let H(n) be the group of all n x n matrices having determinant ±1\pm 1. Further, we write SL(n) for the special linear group. Let L be a free Lie algebra (over k) of finite rank n. We prove that the algebra of invariants L^B(n) of B(n), with B(n) ? { H(n), SL(n)}B(n) \in \{ H(n), {\rm SL}(n)\} , is not a finitely generated free Lie algebra. Let us assume that k is a field of characteristic zero and let áSem(n) ?\langle {\rm Sem}(n) \rangle be the Lie subalgebra of L generated by the semi-invariants (or Lie invariants) Sem(n). We prove that áSem(n) ?\langle {\rm Sem}(n) \rangle is not a finitely generated free Lie algebra which gives a positive answer to a question posed by M. Burrow [4].     

Tanaka prolongation of free Lie algebras

With the exception of the three step real free Lie algebra on two generators, all real free Lie algebras of step at least three are shown to have trivial Tanaka prolongation. This result, together with the known results concerning the step two real free Lie algebras and the step three real free Lie algebra on two generators, gives a complete list of Tanaka prolongations for real free Lie algebras.      

Schreier's formula for free Lie algebras

We establish an analogue of Schreier's formula for subalgebras of free Lie algebras in terms of formal power series. Similar formulas are also true for free Lie p-algebras and superalgebras. As an application of that formula we compute the Hilbert-Poincaré series for some finitely generated solvable Lie algebras and groups.     

On some sequence of graded Lie algebras associated to manifolds

A simple construction associates to any linear mapping a short exact sequence of graded Lie algebras. The sequence associated to the de Rham differential of an arbitrary smooth manifold is never split. Combined with a sort of algebraic Chern-Weil homomorphism adapted from [1] to the graded case, this leads to a family of cohomology classes of the Nijenhuis-Richardson algebra of the space of functions of the manifold. Some of these characteristic classes of degree 2 are computed. They are the classes constructed by hand in [2] and used in the theory of star-products.     

On neat embeddings of cylindric algebras

We show that certain properties of dimension complemented cylindric algebras, concerning neat embeddings, do not generalize much further. Let α ≥ ω. There are non‐isomorphic representable cylindric algebras of dimension α each of which is a generating subreduct of the same β dimensional cylindric algebra. We also show that there exists a representable cylindric algebra ?? of dimension α, such that ?? is a generating subreduct of ?? and ??′, both in CA_{α +ω} , however ?? and ??′ are not isomorphic. This settle questions raised by Henkin, Monk and Tarski (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Central extensions of some Lie algebras

We consider three Lie algebras: , the Lie algebra of all derivations on the algebra of formal Laurent series; the Lie algebra of all differential operators on ; and the Lie algebra of all differential operators on We prove that each of these Lie algebras has an essentially unique nontrivial central extension.

     

On Lie algebras associated with representation-directed algebras

Let B be a representation-finite C-algebra. The Z-Lie algebra L(B) associated with B has been defined by Riedtmann in [Ch. Riedtmann, Lie algebras generated by indecomposables, J. Algebra 170 (1994) 526-546]. If B is representation-directed, there is another Z-Lie algebra associated with B defined by Ringel in [C.M. Ringel, Hall Algebras, vol. 26, Banach Center Publications, Warsaw, 1990, pp. 433-447] and denoted by K(B).We prove that the Lie algebras L(B) and K(B) are isomorphic for any representation-directed C-algebra B.