Plactic algebra of rank 3

The structure of the algebra K[M] of the plactic monoid M of rank 3 over a field K is studied. The minimal prime ideals of K[M] are described. There are only two such ideals and each of them is a principal ideal determined by a homogeneous congruence on M. Moreover, in case K is uncountable and algebraically closed, the left and right primitive spectrum and the corresponding irreducible representations of the algebra K[M] are described. All these representations are monomial. As an application, a new proof of the semiprimitivity of K[M] is given.     

On primitive ideals

We extend two well-known results on primitive ideals in enveloping algebras of semisimple Lie algebras, the Irreducibility theorem for associated varieties and Duflo theorem on primitive ideals, to much wider classes of algebras. Our general version of the Irreducibility Theorem says that if A is a positively filtered associative algebra such that gr A is a commutative Poisson algebra with finitely many symplectic leaves, then the associated variety of any primitive ideal in A is the closure of a single connected symplectic leaf. Our general version of the Duflo theorem says that if A is an algebra with a triangular structure, see § 2, then any primitive ideal in A is the annihilator of a simple highest weight module. Applications to symplectic reflection algebras and Cherednik algebras are discussed.     

Projective bundle ideals and Poincaré duality algebras

The study of maximal-primary irreducible ideals in a commutative graded connected Noetherian algebra over a field is in principle equivalent to the study of the corresponding quotient algebras. Such algebras are Poincaré duality algebras. A prototype for such an algebra is the cohomology with field coefficients of a closed oriented manifold. Topological constructions on closed manifolds often lead to algebraic constructions on Poincaré duality algebras and therefore also on maximal-primary irreducible ideals. It is the purpose of this note to examine several of these and develop some of their basic properties.     

L'algèbre de Lie des transpositions

For any n3 we obtain the decomposition in simple factors of the Lie subalgebra of the group algebra of the symmetric group on n letters generated by the transpositions. This enables us to determine the algebraic hull of the braid group B_n and of several of its subgroups inside the representations of the Iwahori–Hecke algebra of type A.     

Reduction of discontinuity for derivations on Frechet algebras

We consider strictly irreducible representations with whichthe discontinuity of a derivation on a (locally multiplicativelyconvex) Fréchet algebra must be associated. Only thosestrictly irreducible representations which are compatible withthe topology of the algebra are considered. The main resultsshow that when consideration is fixed upon each seminorm, theexceptional set of primitive ideals supporting the discontinuitymust be a finite set, with each ideal being the kernel of somefinite-dimensional irreducible representation. This result isthe best possible, as can be seen by considering the radicalFréchet algebra constructed by Charles Read with identityadjoined which has a derivation with separating ideal that isthe entire algebra, and one could take (countable) Fréchetproducts of his counterexample. It is also proved that derivationson commutative Fréchet algebras, the structure spacesof which are compact metric in the weak* topology, have onlyfinitely many such exceptional points overall.     

Polar SAT and related graphs

We introduce polar SAT and show that a general SAT can be reduced to it in polynomial time. A set of clauses C is called polar if there exists a partition C^pCⁿ=C, called a polar partition, such that each clause in C^p involves only positive (i.e., non-complemented) variables, while each clause in Cⁿ contains only negative (i.e., complemented) variables. A polar set of clauses C=(C^p,Cⁿ) is called (p,n)-polar, where p1 and n1, if each clause in C^p (respectively, in Cⁿ) contains exactly p (respectively, exactly n) literals. We classify all (p,n)-polar SAT Problems according to their complexity. Specifically, a (p,n)-Polar SAT problem is NP-complete if either p>n2 or n>p2. Otherwise it can be solved in polynomial time. We introduce two new hereditary classes of graphs, namely polar satgraphs and polar (3,2)-satgraphs, and we characterize them in terms of forbidden induced subgraphs. Both characterization involve an infinite number of minimal forbidden induced subgraphs. As are result, we obtain two narrow hereditary subclasses of weakly chordal graphs where Independent Domination is an NP-complete problem.     

Prime ideals in the C*-algebra of a nilpotent group

We say that a locally compact groupG hasT ₁ primitive ideal space if the groupC ^*-algebra,C ^*(G), has the property that every primitive ideal (i.e. kernel of an irreducible representation) is closed in the hull-kernel topology on the space of primitive ideals ofC ^*(G), denoted by PrimG. This means of course that every primitive ideal inC ^*(G) is maximal. Long agoDixmier proved that every connected nilpotent Lie group hasT ₁ primitive ideal space. More recentlyPoguntke showed that discrete nilpotent groups haveT ₁ primitive ideal space and a few month agoCarey andMoran proved the same property for second countable locally compact groups having a compactly generated open normal subgroup. In this note we combine the methods used in [3] with some ideas in [9] and show that for nilpotent locally compact groupsG, having a compactly generated open normal subgroup, closed prime ideals inC ^*(G) are always maximal which implies of course that PrimG isT ₁.     

Reduction of the adjoint representation of sl(2,1): generators of primitive ideals

We present a reduction of the adjoint representation of the Lie superalge-bra,sl(2,1) and a study of the quotient algebra B(^c,k)= u/u(C?c)+u(D?kc), where c,k are two complex numbers. Under some additional conditions, we prove that every irreducible infinite dimensional representation of B(^c,k) is faithful, and that B(^C,K) is a primitive algebra. We give explicitly a set of generators of primitive degenerate ideal of infinite codimension. Essentially we prove that any minimal primitive ideal of u(sl(2,1)) is generated, as a 2-sided ideal, by its intersection with the algebra of gg-iuvariants.     

Closed Projections and Peak Interpolation for Operator Algebras

The closed one-sided ideals of a C ^*-algebra are exactly the closed subspaces supported by the orthogonal complement of a closed projection. Let A be a (not necessarily selfadjoint) subalgebra of a unital C ^*-algebra B which contains the unit of B. Here we characterize the right ideals of A with left contractive approximate identity as those subspaces of A supported by the orthogonal complement of a closed projection in B ^** which also lies in . Although this seems quite natural, the proof requires a set of new techniques which may be viewed as a noncommutative version of the subject of peak interpolation from the theory of function spaces. Thus, the right ideals with left approximate identity are closely related to a type of peaking phenomena in the algebra. In this direction, we introduce a class of closed projections which generalizes the notion of a peak set in the theory of uniform algebras to the world of operator algebras and operator spaces.     

On the structure of semi-invariant polynomials in Ore extensions

Let D be an X-outer S-derivation of a prime ring R, where S is an automorphism of R. The following is proved among other things: The degree of the minimal semi-invariant polynomial of the Ore extension R[X;S,D] is ν if charR=0, and is p^kν for some k0 if charR=p2, where ν is the least integer ν1 such that S^νDS^−ν−D is X-inner. A similar result holds for cv-polynomials. These are done by introducing the new notion of k-basic polynomials for each integer k0, which enable us to analyze semi-invariant polynomials inductively.     

Typical primitive polynomials over integer residue rings

Let N be a product of distinct prime numbers and Z/(N) be the integer residue ring modulo N. In this paper, a primitive polynomial f(x) over Z/(N) such that f(x) divides x^s−c for some positive integer s and some primitive element c in Z/(N) is called a typical primitive polynomial. Recently typical primitive polynomials over Z/(N) were shown to be very useful, but the existence of typical primitive polynomials has not been fully studied. In this paper, for any integer m1, a necessary and sufficient condition for the existence of typical primitive polynomials of degree m over Z/(N) is proved.     

K-theory for rickart C*-algebras

We give an explicit index map for any properly infinite closed ideal of a Rickart C ^*-algebra. This generalizes Olsen's work on von Neumann algebras. We use our results to compute the topological and the algebraic K ₁-groups of any quotient algebra of a Rickart C ^*-algebra.     

<Emphasis Type="Italic">C</Emphasis>*-Algebras Generated by Mappings. Classification of Invariant Subspaces

We continue the study of an operator algebra associated with a self-mapping ? on a countable setX which can be represented as a directed graph. This C*-algebra belongs to a class of operator algebras, generated by a family of partial isometries satisfying some relations on their source and range projections. Earlier we have formulated the irreducibility criterion of such algebras, which give us a possibility to examine the structure of the corresponding Hilbert space. We will show that for reducible algebras the underlying Hilbert space can be represented either as an infinite sum of invariant subspaces or as a tensor product of a finite-dimensional Hilbert space with l²(Z). In the first case we present a conditions under which the studied algebra has an irreducible representation into a C*-algebra generated by a weighted shift operator. In the second case, the algebra has the irreducible finite-dimensional representations indexed by the unit circle.     

On the code generated by the incidence matrix of points and k-spaces in and its dual

In this paper, we study the p-ary linear code C_k(n,q), q=p^h, p prime, h1, generated by the incidence matrix of points and k-dimensional spaces in PG(n,q). For kn/2, we link codewords of C_k(n,q)C_k(n,q) of weight smaller than 2q^k to k-blocking sets. We first prove that such a k-blocking set is uniquely reducible to a minimal k-blocking set, and exclude all codewords arising from small linear k-blocking sets. For k<n/2, we present counterexamples to lemmas valid for kn/2. Next, we study the dual code of C_k(n,q) and present a lower bound on the weight of the codewords, hence extending the results of Sachar [H. Sachar, The F_p span of the incidence matrix of a finite projective plane, Geom. Dedicata 8 (1979) 407–415] to general dimension.     

Ideals of Finite-Dimensional Pointed Hopf Algebras of Rank One

Let H be a finite-dimensional pointed Hopf algebra of rank one over an algebraically closed field of characteristic zero.In this paper we show that any finite-dimensional indecomposable H-module is generated by one element.In particular,any indecomposable submodule of H under the adjoint action is generated by a special element of H.Using this result,we show that the Hopf algebra H is a principal ideal ring,i.e.,any two-sided ideal of H is generated by one element.As an application,we give explicitly the generators of ideals,primitive ideals,maximal ideals and completely prime ideals of the Taft algebras.     

Existence of HSOLSSOMs of type

In this paper we investigate the existence of holey self-orthogonal Latin squares with a symmetric orthogonal mate of type 2ⁿu¹ (HSOLSSOM(2ⁿu¹)). For u2, necessary conditions for existence of such an HSOLSSOM are that u must be even and n3u/2+1. Xu Yunqing and Hu Yuwang have shown that these HSOLSSOMs exist whenever either (1) n9 and n3u/2+1 or (2) n263 and n2(u-2). In this paper we show that in (1) the condition n9 can be extended to n30 and that in (2), the condition n263 can be improved to n4, except possibly for 19 pairs (n,u), the largest of which is (53,28).     

Algebras of singular integral operators generated by three orthogonal projections

The structure of theC ^*-algebra with identity generated by two orthogonal projections is well understood. All irreducible representations of this algebra are either two-dimensional or one-dimensional. The situation becomes unpredictable in the case of theC ^*-algebra generated by three orthogonal projections. Even in the more specific case when two of the projections commute, the algebra under consideration may have infinite dimensional irreducible representations.In this paper we produce three concrete realizations of the algebra generated by three orthogonal projections in that specific case. It turns out that these algebras have quite different structure.This work was partially supported by CONACYT Project 4069-E9404, México.     

Spectra of quantized hyperalgebras

We describe the prime and primitive spectra for quantized enveloping algebras at roots of 1 in characteristic zero in terms of the prime spectrum of the underlying enveloping algebra. Our methods come from the theory of Hopf algebra crossed products. For primitive ideals we obtain an analogue of Duflo's Theorem, which says that every primitive ideal is the annihilator of a simple highest weight module. This depends on an extension of Lusztig's tensor product theorem.

     

Continued fractions with multiple limits

For integers m2, we study divergent continued fractions whose numerators and denominators in each of the m arithmetic progressions modulo m converge. Special cases give, among other things, an infinite sequence of divergence theorems, the first of which is the classical Stern–Stolz theorem.We give a theorem on a class of Poincaré-type recurrences which shows that they tend to limits when the limits are taken in residue classes and the roots of their characteristic polynomials are distinct roots of unity.We also generalize a curious q-continued fraction of Ramanujan's with three limits to a continued fraction with k distinct limit points, k2. The k limits are evaluated in terms of ratios of certain q-series.Finally, we show how to use Daniel Bernoulli's continued fraction in an elementary way to create analytic continued fractions with m limit points, for any positive integer m2.