Presenting Schur Algebras as Quotients of the Universal Enveloping Algebra of gl2

We give a presentation of the Schur algebras S _Q (2,d) by generators and relations, in fact a presentation which is compatible with Serre's presentation of the universal enveloping algebra of a simple Lie algebra. In the process we find a new basis for S _Q (2,d), a truncated form of the usual PBW basis. We also locate the integral Schur algebra within the presented algebra as the analogue of Kostant's Z-form, and show that it has an integral basis which is a truncated version of Kostant's basis.     

Primitive Ideals in the Algebra of Regular Functions on Quantum m × n Matrices

Mathematical Notes -     

A Family of Quotients of the Rees Algebra

A family of quotient rings of the Rees algebra associated to a commutative ring is studied. This family generalizes both the classical concept of idealization by Nagata and a more recent concept, the amalgamated duplication of a ring. It is shown that several properties of the rings of this family do not depend on the particular member.     

Spectra of Maximal 1-Sided Ideals and Primitive Ideals

R is any ring with identity. Let Spec _r (R) (resp. Max _r (R), Prim _r (R)) denote the set of all right prime ideals (resp. all maximal right ideals, all right primitive ideals) of R and let U _r (eR) = {P ? Spec _r (R)| e ? P}. Let  = ∪_{P?Prim r (R)} Spec _r ^P (R), where Spec _r ^P (R) = {Q ?Spec _r ^P (R)|P is the largest ideal contained in Q}. A ring is called right quasi-duo if every maximal right ideal is 2-sided. In this article, we study the properties of the weak Zariski topology on  and the relationships among various ring-theoretic properties and topological conditions on it. Then the following results are obtained for any ring R: (1) R is right quasi-duo ring if and only if  is a space with Zariski topology if and only if, for any Q ? , Q is irreducible as a right ideal in R. (2) For any clopen (i.e., closed and open) set U in ? = Max _r (R) ∪  Prim _r (R) (resp.  = Prim _r (R)) there is an element e in R with e ² ? e ? J(R) such that U = U _r (eR) ∩  ? (resp. U = U _r (eR) ∩  ), where J(R) is the Jacobson of R. (3) Max _r (R) ∪  Prim _r (R) is connected if and only if Max _l (R) ∪  Prim _l (R) is connected if and only if Prim _r (R) is connected.     

Generating Systems of Sets and Quotients of Surjeetive Operator Ideals

The paper gives a characterization of right-hand quotients A = A ₁ ? A ^?1₂ of surjective operator ideals A ₁ and A ₂ which refers to so called “generating systems of sets”. Simultaneously the corresponding “inversion formulas” A ₁ = ( A ? A ₂)^S and A ₂ = A ^?1 ? A ₁ are investigated.     

Quotients of Some Finite Universal Locally Projective Polytopes

   Abstract. This paper classifies the quotients of a finite and locally projective polytope of type {4,3,5} . Seventy quotients are found, including three regular polytopes, and nine other section regular polytopes which are themselves locally projective. The classification is done with the assistance of GAP, a computer system for algebraic computation. The same techniques are also applied to two finite locally projective polytopes respectively of type {3,5,3} and {5,3,5} . No nontrivial quotients of the latter are found.     

Primitive Ideals of Noetherian Generalized Down-Up Algebras

We classify the primitive ideals of noetherian generalized down-up algebras.     

Primitive Ideals and Automorphisms of Quantum Matrices

Let be a field and q be a nonzero element of that is not a root of unity. We give a criterion for 〈0〉 to be a primitive ideal of the algebra of quantum matrices. Next, we describe all height one primes of ; these two problems are actually interlinked since it turns out that 〈0〉 is a primitive ideal of whenever has only finitely many height one primes. Finally, we compute the automorphism group of in the case where m ≠ n. In order to do this, we first study the action of this group on the prime spectrum of . Then, by using the preferred basis of and PBW bases, we prove that the automorphism group of is isomorphic to the torus when m ≠ n and (m,n) ≠ (1, 3),(3, 1). This research was supported by a Marie Curie Intra-European Fellowship within the 6th European Community Framework Programme and by Leverhulme Research Interchange Grant F/00158/X.     

Topological Rings of Quotients and Rings Without Open Left Ideals

Simple locally compact rings without open left ideals were considered in [13] and general locally compact rings without open left ideals were studied extensively in [5] and [6]. We remove the hypothesis of local compactness and consider topological rings A without open left ideals but containing an open subring R. In section 4 we show that under these conditions A is completely determined by R. More precisely A can be identified with the topological ring of quotients C(R) introduced in [8]. As an R-module _RA is topologically isomorphic to I_*(_RR), the topological injective hull of _RR. The last statement was proved in [6] for A locally compact and R compact. Section 5 gives a characterization of those linearly topologized rings R that can be openly embedded into a ring A without open left ideals. In particular we shall show that the open left ideals form an idempotent ideal filter with quotient ring A. In section 6 we consider the class ? of all topological rings that can be openly embedded into a topological ring without open left ideals. If we restrict our attention to linearly topologized rings, then ? is Morita-invariant. In section 2 we construct a topological ring of quotients Q_*(R) and prove that it coincides with the ring C(R) of [8].     

Quotients of Some Finite Universal Locally Projective Polytopes

Abstract. This paper classifies the quotients of a finite and locally projective polytope of type {4,3,5} . Seventy quotients are found, including three regular polytopes, and nine other section regular polytopes which are themselves locally projective. The classification is done with the assistance of GAP, a computer system for algebraic computation. The same techniques are also applied to two finite locally projective polytopes respectively of type {3,5,3} and {5,3,5} . No nontrivial quotients of the latter are found.     

On Some Ideals in the Free Nonassociative Algebra

The free Lie, right, and left Leibniz algebras are obtained as quotients of the free nonassociative algebra by suitable ideals. In this article, we prove some remarkable properties of these ideals.     

格蕴涵代数的素对偶理想

在格蕴涵代数中定义了一类特殊的素对偶理想,讨论了它们的结构和性质,证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定,并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数,它和原格蕴涵代数具有格蕴涵代数同构关系。     

Twisted Generalized Weyl Algebras and Primitive Quotients of Enveloping Algebras

To each multiquiver Γ we attach a solution to the consistency equations associated to twisted generalized Weyl (TGW) algebras. This generalizes several previously obtained solutions in the literature. We show that the corresponding algebras \(\mathcal {A}({\Gamma })\) carry a canonical representation by differential operators and that \(\mathcal {A}({\Gamma })\) is universal among all TGW algebras with such a representation. We also find explicit conditions in terms of Γ for when this representation is faithful or locally surjective. By forgetting some of the structure of Γ one obtains a Dynkin diagram, D(Γ). We show that the generalized Cartan matrix of \(\mathcal {A}({\Gamma })\) coincides with the one corresponding to D(Γ) and that \(\mathcal {A}({\Gamma })\) contains graded homomorphic images of the enveloping algebra of the positive and negative part of the corresponding Kac-Moody algebra. Finally, we show that a primitive quotient U/J of the enveloping algebra of a finite-dimensional simple Lie algebra over an algebraically closed field of characteristic zero is graded isomorphic to a TGW algebra if and only if J is the annihilator of a completely pointed (multiplicity-free) simple weight module. The infinite-dimensional primitive quotients in types A and C are closely related to \(\mathcal {A}({\Gamma })\) for specific Γ. We also prove one result in the affine case.     

Ideals in tensor powers of the enveloping algebra u(sl 2)

Let U = U(_sl₂)^?n be the tensor power of n copies of the enveloping algebra U(sl ₂) over an arbitrary field K of characteristic zero. In this paper we list the prime ideals of U by generators and classify them by height. If Z is the center of U and J is a prime ideal of Z, there are exactly 2₅ prime ideals I of U with I ∩ Z = J, where 0 ≤ s = s(J) ≤ n is an integer. Indeed, with respect to inclusion, they form a lattice isornorphic to the lattice of subsets of a set. When J is a maximal ideal of Z, there are only finitely many two-sided ideals of U containing J, They are presented by generators and their lattice is described, In particular, for each such J there exists a unique maximal ideal of U containing J and a unique ideal of U minimal with respect to the property that it properly contains JU. Similar results are given in the case when U is the tensor product of infinitely many copies of U(sl ₂).     

The Cohomology of the Universal Steenrod Algebra

The mod 2 universal Steenrod algebra Q is a homogeneous quadratic algebra closely related to the ordinary mod 2 Steenrod algebra and the Lambda algebra introduced in [1]. In this paper we show that Q is Koszul. It follows by [7] that its cohomology, being purely diagonal, is isomorphic to a completion of Q itself with respect to a suitable chain of two-sided ideals.     

Arens Regularity for Quotients Ap(E) of the Herz Algebra

If the subset T supports a synthesizable p-pseudofunction T,then the restriction A_p(E) to E of the Herz algebra on T isnot Arens regular. The proof is direct, by brute force, anddoes not show the existence of Day points for A_p(E). 2000 MathematicsSubject Classification 43A15, 43A10 (primary), 46L10 (secondary).     

Hall Numbers and the Composition Algebra of the Kronecker Algebra

We present formulas for the structure constants (Hall numbers) of the Hall algebra associated to the Kronecker algebra. The formulas which in some cases involve the classical Hall polynomials enable us to determine every Hall number. Using again these formulas we construct new PBW-bases with simple structure constants for the composition algebra , making possible the definition of the generic composition algebra via Hall polynomials.Presented by C. Ringel.