Cohen–Macaulay Multi–Rees Algebras

Let A be a local ring, and let I ₁,...,I _r A be ideals of positive height. In this article we compare the Cohen–Macaulay property of the multi–Rees algebra R _A (I ₁,...,I _r ) to that of the usual Rees algebra R _A (I ₁ ··· I _r ) of the product I ₁ ··· I _r . In particular, when the analytic spread of I ₁ ··· I _r is small, this leads to necessary and sufficient conditions for the Cohen–Macaulayness of R _A (I ₁,...,I _r ). We apply our results to the theory of joint reductions and mixed multiplicities.     

On multiplicities of simple subquotients in generalized Verma modules

We reduce the problem on multiplicities of simple subquotients in an -stratified generalized Verma module to the analogous problem for classical Verma modules.     

Strong conjugation actions induced by flags of exact Borel subalgebras

Let A be a quasi-hereditary algebra with a strong exact Borel subalgebra. It is proved that for any standard semisimple subalgebra T there exists an exact Borel subalgebra B of A such that T is a maximal semisimple subalgebra of B. It is shown that the maximal length of flags of exact Borel subalgebras of A is the difference of the radium and the rank of Grothendic group of A plus 2. The number of conjugation-classes of exact Borel subalgebras is 1 if and only if A is basic; the number is 2 if and only if A is semisimple. For all other cases, this number is 0 or no less than 3. Furthermore, it is shown that all the exact Borel subalgebras are idempotent-conjugate to each other, that is, for any exact Borel subalgebras B and C of A, there exists an idempotent e of A, and an invertible element u of A, such that eBe = u^-1eCeu.     

Wedderburn's factorization theorem application to reduced -theory

This article provides a short and elementary proof of the key theorem of reduced -theory, namely Platonov's Congruence theorem. Our proof is based on Wedderburn's factorization theorem.

     

Krull dimension of the enveloping algebra of a semisimple Lie algebra

Let be a complex semisimple Lie algebra and be its enveloping algebra. We deduce from the work of R. Bezrukavnikov, A. Braverman and L. Positselskii that the Krull-Gabriel-Rentschler dimension of is equal to the dimension of a Borel subalgebra of .

     

Martin's Axiom is consistent with the existence of nowhere trivial automorphisms

Martin's Axiom does not imply that all automorphisms of are somewhere trivial. An alternate method for obtaining models where every automorphism of is somewhere trivial is explained.

     

Finite quotients of the multiplicative group of a finite dimensional division algebra are solvable

We prove that finite quotients of the multiplicative group of a finite dimensional division algebra are solvable. Let be a finite dimensional division algebra having center , and let be a normal subgroup of finite index. Suppose is not solvable. Then we may assume that is a minimal nonsolvable group (MNS group for short), i.e. a nonsolvable group all of whose proper quotients are solvable. Our proof now has two main ingredients. One ingredient is to show that the commuting graph of a finite MNS group satisfies a certain property which we denote Property . This property includes the requirement that the diameter of the commuting graph should be , but is, in fact, stronger. Another ingredient is to show that if the commuting graph of has Property , then is open with respect to a nontrivial height one valuation of (assuming without loss of generality, as we may, that is finitely generated). After establishing the openness of (when is an MNS group) we apply the Nonexistence Theorem whose proof uses induction on the transcendence degree of over its prime subfield to eliminate as a possible quotient of , thereby obtaining a contradiction and proving our main result.

     

Algebraic structure in the loop space homology Bockstein spectral sequence

Let be a finite, -dimensional, -connected CW complex. We prove the following theorem:

If is an odd prime, then the loop space homology Bockstein spectral sequence modulo is a spectral sequence of universal enveloping algebras over differential graded Lie algebras.

     

Visualization of Effect Algebras by Automorphisms

We show that every effect algebra satisfying the Riesz decomposition property can be represented as an effect algebra of automorphisms of an antilattice, and every MV-algebra can be represented as an MV-algebra of automorphisms of a linearly ordered set. Such a representation enables us to visualize effect algebras by functions. This is a variation of the Holland representation theorem for -groups and of its generalization of Glass for directed interpolation po-groups as -groups or po-groups automorphisms of linearly ordered set or of an antilattice, respectively.     

Partial Results in Δ 3 0 -Categoricity in Linear Orderings and Boolean Algebras

The notion of ₃ ⁰ -categoricity in linear orderings and Boolean algebras is examined. We provide a proof for the fact that there are uncountably many relatively ₃ ⁰ -categorical linear orderings, and furnish a proof of another fact which suggests that the (unrelatively) ₃ ⁰ -categorical linear orderings may be very difficult to classify. In stark contrast to these results for linear orderings, a complete classification of the relatively ₃ ⁰ -categorical Boolean algebras is given.