Homological Dimensions of the Algebra Formed by Entire Functions of Elements of a Nilpotent Lie Algebra

This note deals with homological characteristics of algebras of holomorphic functions of noncommuting variables generated by a finite-dimensional nilpotent Lie algebra . It is proved that the embedding of the universal enveloping algebra of into its Arens–Michael hull is an absolute localization in the sense of Taylor provided that      

Quotient Groups of Groups of Certain Classes

For an arbitrary variety of groups and an arbitrary class of groups that is closed on quotient groups, we prove that a quotient group G/N of the group G possesses an invariant system with - and -factors (respectively, is a residually -group) if G possesses an invariant system with - and -factors (respectively, is a residually -group) and N (respectively, N is a maximal invariant -subgroup of the group G).     

Derangements and Tensor Powers of Adjoint Modules for \mathfrak{s}\mathfrak{l}_n

We obtain the decomposition of the tensor space as a module for , find an explicit formula for the multiplicities of its irreducible summands, and (when n 2k) describe the centralizer algebra = ( ) and its representations. The multiplicities of the irreducible summands are derangement numbers in several important instances, and the dimension of is given by the number of derangements of a set of 2k elements.     

Generalized Harish-Chandra Modules: A New Direction in the Structure Theory of Representations

Let be a reductive Lie algebra over C. We say that a -module M is a generalized Harish-Chandra module if, for some subalgebra , M is locally -finite and has finite -multiplicities. We believe that the problem of classifying all irreducible generalized Harish-Chandra modules could be tractable. In this paper, we review the recent success with the case when is a Cartan subalgebra. We also review the recent determination of which reductive in subalgebras are essential to a classification. Finally, we present in detail the emerging picture for the case when is a principal 3-dimensional subalgebra.     

Factorizations of One-Generated Composition Formations

A non-empty formation of finite groups is said to be solubly saturated, or we call it a composition formation, if every finite group G having a normal subgroup N such that belongs to . An intersection of all composition formations containing a given group G is denoted cformG. Conditions are described under which has the form , where .     

Infinite Independent Systems of Identities of an Associative Algebra over an Infinite Field of Characteristic Two

Let be the variety of associative (special Jordan, respectively) algebras over an infinite field of characteristic 2 defined by the identity ((((x ₁,x ₂),x ₃), ((x ₄,x ₅),x ₆)), (x ₇,x ₈)) = 0 (((x ₁ x ₂ · x ₃)(x ₄ x ₅ · x ₆))(x ₇ x ₈) = 0, respectively). In this paper, we construct infinite independent systems of identities in the variety ( , respectively). This implies that the set of distinct nonfinitely based subvarieties of the variety has the cardinality of the continuum and that there are algebras in with undecidable word problem.     

An Application of U(g)-bimodules to Representation Theory of Affine Lie Algebras

Let be the affine Lie algebra associated to the simple finite-dimensional Lie algebra . We consider the tensor product of the loop -module associated to the irreducible finite-dimensional -module V() and the irreducible highest weight -module L _k,. Then L _k, can be viewed as an irreducible module for the vertex operator algebra M _k,0. Let A(L _k,) be the corresponding -bimodule. We prove that if the -module is zero, then the -module is irreducible. As an example, we apply this result on integrable representations for affine Lie algebras.     

Brauer Diagrams, Updown Tableaux and Nilpotent Matrices

We interpret geometrically a variant of the Robinson-Schensted correspondence which links Brauer diagrams with updown tableaux, in the spirit of Steinberg's result [32] on the original Robinson-Schensted correspondence. Our result uses the variety of all where is a complete flag in is a nondegenerate alternating bilinear form on and N is a nilpotent element of the Lie algebra of the simultaneous stabilizer of both and instead of Steinberg's variety of where are two complete flags in and N is a nilpotent element of the Lie algebra of the simultaneous stabilizer of both .     

Trajectory and Global Attractors of Three-Dimensional Navier--Stokes Systems

We construct the trajectory attractor of a three-dimensional Navier--Stokes system with exciting force . The set consists of a class of solutions to this system which are bounded in , defined on the positive semi-infinite interval of the time axis, and can be extended to the entire time axis so that they still remain bounded-in- solutions of the Navier--Stokes system. In this case any family of bounded-in- solutions of this system comes arbitrary close to the trajectory attractor . We prove that the solutions are continuous in t if they are treated in the space of functions ranging in . The restriction of the trajectory attractor to , , is called the global attractor of the Navier--Stokes system. We prove that the global attractor thus defined possesses properties typical of well-known global attractors of evolution equations. We also prove that as the trajectory attractors and the global attractors of the -order Galerkin approximations of the Navier--Stokes system converge to the trajectory and global attractors and , respectively. Similar problems are studied for the cases of an exciting force of the form depending on time and of an external force rapidly oscillating with respect to the spatial variables or with respect to time .     

The property of having independent basis in semigroup varieties

There exist independently based semigroup varieties and , , such that has no cover in the interval [ ; ].Translated from Algebra i Logika, Vol. 44, No. 1, pp. 81–96, January–February, 2005.     

Semisimple Lie Algebras of Differential Operators

Starting from the commutation relations in a complex semisimple Lie algebra , one may obtain a space of vector fields on Euclidean space such that and are isomorphic when is equipped with the usual Lie bracket between vector fields and the isotropy subalgebra of is a Borel subalgebra . Furthermore, one may adjoin to the vector fields in multiplication operators to obtain an -parameter family of distinct presentations of as spaces of differential operators, where is the dual of a Cartan subalgebra. Some of these presentations will preserve a space of polynomials on Euclidean space, and, in fact, all the finite-dimensional representations of can be presented in this way. All of this is carried out explicitly for arbitrary . In doing so, one discovers there is a Lie group of diffeomorphisms of the unipotent subgroup N complementary to B which acts on these presentations and preserves a certain notion of weight.     

Minimum Cutsets for an Element of a Subspace Lattice over a Finite Vector Space

Let L_n(q) denote the lattice of subspaces of ann-dimensional vector space over the finite field of q elements, ordered byinclusion. In this note, we prove that for all n and m the minimum cutsetfor an element A with is justL(A) if m < n/ 2, is U(A) if m > n/ 2, and both L(A) andU(A) if m = n/ 2, where L(A) is the collection of all such that and , and U(A) the collection of all such that and . Hence a finite vector space analog isgiven for the theorem of Griggs and Kleitman that determines all the minimumcutsets for an element of a Boolean algebra.     

On the Algebra of Pair Integral Operators with Homogeneous Kernels

In this paper, we study the Banach algebra generated by multidimensional pair integral operators with homogeneous kernels. We describe necessary and sufficient conditions for operators from the algebra to be Fredholm and present a formula for calculating the index.     

On intervals and isometries of MV-algebras

Let Int be the lattice of all intervals of an MV-algebra . In the present paper we investigate the relations between direct product decompositions of and (i) the lattice Int , or (ii) 2-periodic isometries on , respectively.     

Characterization of Normal Traces on Von Neumann Algebras by Inequalities for the Modulus

It is proved that if a normal semifinite weight on a von Neumann algebra satisfies the inequality for any selfadjoint operators in , then this weight is a trace. Several similar characterizations of traces among the normal semifinite weights are proved. In particular, Gardner's result on the characterization of traces by the inequality is refined and reinforced.     

Spin Models and Strongly Hyper-Self-Dual Bose-Mesner Algebras

We introduce the notion of hyper-self-duality for Bose-Mesner algebras as a strengthening of formal self-duality. Let denote a Bose-Mesner algebra on a finite nonempty set X. Fix p X, and let and denote respectively the dual Bose-Mesner algebra and the Terwilliger algebra of with respect to p. By a hyper-duality of , we mean an automorphism of such that for all ; and is a duality of . is said to be hyper-self-dual whenever there exists a hyper-duality of . We say that is strongly hyper-self-dual whenever there exists a hyper-duality of which can be expressed as conjugation by an invertible element of . We show that Bose-Mesner algebras which support a spin model are strongly hyper-self-dual, and we characterize strong hyper-self-duality via the module structure of the associated Terwilliger algebra.     

Degree Spectra of Relations on Boolean Algebras

We show that every computable relation on a computable Boolean algebra is either definable by a quantifier-free formula with constants from (in which case it is obviously intrinsically computable) or has infinite degree spectrum.     

K-Theory, Hermitian K-Theory and the Karoubi Tower

The goal of this paper is to present a new view on the link between the well known K-theory of finitely generated projective modules and much less understood K-theory of Hermitian forms on finitely generated projective modules.For a given Hermitian ring (R, , ), we obtain the K-theory space KR equipped with an involution and the Hermitian K-theory space KHerm(R, , ). The fixed subspace ² is homotopy equivalent to the Hermitian K-theory space KHerm(R,, , ). We construct the Karoubi Tower diagram, which is obtained by iterating Karoubi's construction of the homotopy fibers of the forgetful and hyperbolic maps. Using an interesting factorization of these maps, we prove various homotopy properties of the Karoubi Tower. The homotopy inverse limit of the Karoubi Tower is homotopy equivalent to the homotopy fibre of the inclusion of the fixed set ² into the homotopy fixed set ^{h 2}. Considering Karoubi's fundamental periodicity theorem, the Karoubi Tower generalizes the low dimensional connections between Hermitian K-theory and K-theory groups. Illustrative examples of the Karoubi Tower are given by the finite field case and the classical Hermitian rings over , and . Considering topological K-theory for these cases, the Karoubi Tower comprises the classical Bott periodicity.Another important application of the Karoubi Tower is an elegant and comprehensive generalization of the classical invariants of quadratic forms.     

Dimensions of Split Semiorders

A poset P=(X,P) is a split semiorder when there exists a function I thatassigns to each x X a closed interval of the real line R and a set of real numbers, with , suchthat x<y in P if and only if and in R. Every semiorder is a split semiorder, and thereare split semiorders which are not interval orders. It is well known thatthe dimension of a semiorder is at most 3. We prove that the dimension of asplit semiorder is at most 6. We note also that some split semiorders havesemiorder dimension at least 3, and that every split semiorder has intervaldimension at most 2.