Sums and Limits of Generalized Direct Families of Algebras

In this paper we introduce a generalization of direct families of algebras and we study their limits and sums. In the case of generalized direct families of algebras carried by idempotent algebras we investigate some subdirect decompositions of their sums. The results that we obtain generalize various results given by J.L. Chrislock and T. Tamura [2], M. iri and S. Bogdanovi [3-7], H. Mitsch [13], M. Petrich [14-16], B.M. Schein [23-24] and others.Supported by Grant 04M03B of RFNS through Math. Inst. SANU     

VARIETAL HULLS OF FUNCTORS

Abstract

The well known characterizations of equational classes of algebras with not necessaryly finitary operations by FELSCHER [6.7] and of categories of A-algebras for algebraic theories A in the sense of LINTON [10], esp., by means of their forgetful functors are the foundations of a concept of varietal functors U:K → L over arbitrary basecategories L. They prove to be monadic functors which satisfy an additional HOM-condition [17]. (In the case L = Set this condition is always fulfilled, see LINTON [11].)

Contrary to monadic functors, varietal functors are closed under composition. Pleasent algebraic properties of the base-category L can be ‘lifted’ along varietal functors, such as e.g. factorization properties, (co-) completeness, classical isomorphism theorems, etc.

By means of the well known EILENBERG-MOORE-algebras there is a universal monadic functor U^T:L ^T → L for any functor U: K → L, having a left adjoint F (T: = UF). But, in general, UT is not varietal. Under some suitable conditions, however it is possible, to construct a canonical varietal functor ?:R → L, the varietal hull of U. This hull has much more interesting (algebraic) properties than the EILENBERG-MOORE construction. Moreover, results of BANASCHEWSKI-HERRLICH [2] are extended.     

Separation Axioms on ℕ∞-Systems

Projection algebras (spaces) are nothing but -systems. Computer scientists use these algebras for the specification of infinite objects (process) which can not be denoted by finite terms. Using the closure operator given in [9], we consider these algebras as topological spaces and investigate the separation axioms for them. Among other things, we get some equivalent conditions to separatedness defined and studied in [9]. We also study the relations between separatedness and other separation axioms. Finally, we characterize the subdirectly irreducible projection algebras.     

Categorical quasivarieties revisited

Quasivarieties (and varieties) which are categorical in some power not less than the power of their language have been completely characterized by S. Givant [6], [7] and independently by E. A. Palyutin [11], [12]. These classes fall into two radically different families. A class in the first family is derived from the class of permutational representations of a group. Its members are [n]-th powers of algebras whose operations are unary, for some fixed positive integern. A class in the second family consists of affine algebras. Its members are polynomially equivalent (but not usually definitionally equivalent) to modules over a ring which is isomorphic to the ring ofn-by-n matrices with entries in a division ring.The general results are faithfully represented in the family of-categorical quasivarieties of countable type. Each of them is generated by a finite algebra, and the results can be viewed as very interesting facts about finite algebras and the classes they generate. In this paper, we offer simple new characterizations of-categorical quasivarieties and varieties of countable type. Our arguments are distinguished by the absence of any sophisticated model theory. In the beginning we use some very basic model theory, but after that we find that combinatorial reasoning about finite sets and elementary algebraic arguments, combined with two classical theorems describing the structure of finite simple rings and their modules, suffice to derive the results. Theorems 3.1 and 4.12 combine to give the characterization of-categorical quasivarieties. Theorems 3.2 and 4.13 combine to give the characterization of-categorical varieties.The heart of this paper is §2. There we prove that a nontrivial algebra of least cardinality in an-categorical quasivariety (which must generate the class) is a finite tame algebra. Tameness is the principal tool used in a relatively quick and painless proof that the generating algebra must be affine or an [n]-th power of a unary algebra. The concept of a tame algebra was introduced in [9] where we proved, among other things, that finite simple algebras are tame. When we had gained some experience with this concept, it became clear to us that the arguments in this present paper should exist (and it didn't take long to find them).The author thanks the referee for a thoughtful critique of the first submitted version of this paper.Research supported by United States National Science Foundation grant MCS 8103455.Presented by W. Taylor.     

Durch graduierte Lie-Algebren definierte Paar-Algebren

Pair algebras which have a non degenerate (left- and right-) invariant bilinear form and for which the inner derivation algebra is completely reducible are characterised by pairs (C,), where C is a n×n matrix satisfying certain conditions and is a sequence of n integers equal to 0 or 1. They occur as pair algebras of type (S(C,)_–1,S(C,)₁), xuy=[[x,u],y], where (S(C,)_r)_r is the gradation induced by . in the Kac-Moody algebraS(C). If C is an affin Cartan matrix (as in the case of Lie triple systems), there exists a finite dimensional simple Lie algebrag and a Aut (g), ord =m< such that the pair algebra is isomorphic to the pair algebra (g _–1,g ₁), xuy=[[x,u],y] (product ing), whereg _i. is the eigenspace of of eigenvalue ⁱ, a primitive m-th root of unity.     

Small idempotent clones I

G. Grätzer and A. Kisielewicz devoted one section of their survey paper concerning p _n-sequences and free spectra of algebras to the topic Small idempotent clones (see Section 6 of [18]). Many authors, e.g., [8], [14, 15], [22], [25] and [29, 30] were interested in p _n-sequences of idempotent algebras with small rates of growth. In this paper we continue this topic and characterize all idempotent groupoids (G, ·) with p ₂(G, ·) 2 (see Section 7). Such groupoids appear in many papers see, e.g. [1], [4], [21], [26, 27], [25], [28, 30, 31, 32] and [34].     

EpGs with minimal μ: II

There are two known lower bounds for (P, Q) in an EpG, called ₁ and ₂, see for example [3]. In [4], =₁ was studied for the case of triangular EGQs and, in [3], =₂ was considered for EpGs in general. Here we extend this to the case =₁ for EpGs in general, including non-triangular EGQs, and we give a number of characterizations. For instance a triangular EpG with =₁ locally is an EGQ, an extended dual net or a semibiplane; if t>2–1, then an EpG(s, t) with =₁ locally is an EGQ. In general we have only partial results for t2–1.     

2‐(v,k,1) Designs Admitting a Primitive Rank 3 Automorphism Group of Affine Type: The Extraspecial and the Exceptional Classes

2‐(v,k,1) designs admitting a primitive rank 3 automorphism group , where G₀ belongs to the Extraspecial Class, or to the Exceptional Class of Liebeck's Theorem in [23], are classified.     

Zeta functional equation on Jordan algebras of type II

Using the Jordan algebras methods, specially the properties of Peirce decomposition and the Frobenius transformation, we compute the coefficients of the zeta functional equation, in the case of Jordan algebras of type II. As particular cases of our result, we can cite the case of studied by Gelbart [Mem. Amer. Math. Soc. 108 (1971)] and Godement and Jacquet [Zeta functions of simple algebras, Lecture Notes in Math., vol. 260, Springer-Verlag, Berlin, 1972], and the case of studied by Muro [Adv. Stud. Pure Math. 15 (1989) 429]. Let us also mention, that recently, Bopp and Rubenthaler have obtained a more general result on the zeta functional equation by using methods based on the algebraic properties of regular graded algebras which are in one-to-one correspondence with simple Jordan algebras [Local Zeta Functions Attached to the Minimal Spherical Series for a Class of Symmetric Spaces, IRMA, Strasbourg, 2003]. The method used in this paper is a direct application of specific properties of Jordan algebras of type II.     

Fuzzy (Θ, S)-continuity and fuzzy (Θ, S)-closed graphs

The concept of (,s)-continuity [6] is considered and studied in fuzzy setting. It is seen that althought it is independent with each of the concepts of fuzzy continuity [2], fuzzy -continuity [10], fuzzy almost continuity [1] and fuzzy semicontinuity [1]; it implies fuzzy weak continuity [1], but the converse may not be true. The image of a compact fts [2] under a fuzzy (,s)-continuous surjective function isS-closed [5]. Finally the concepts of fuzzy (,s)-closed graphs, fuzzy (,s)-T ₂ spaces and fuzzy Urysohn spaces are introduced and mainly their connections with fuzzy (,s)-continuity are studied.     

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.     

Quadrature formulas with positive weights

Recent developments in the theory of stability or contractivity of numerical methods for solving ordinary differential equations (see for instance [4], [5], [8]) have renewed the interest for the study of quadrature formulas with positive weights. Nørsett-Wanner [8] and Burrage [2], [3] have given characterisation of such quadrature formulas of order 2m–2 or 2m–3. In this paper we extend these investigations to the case of formulas of order 2m–4 and then to the case where the order is 2m–7. Finally we use these results to characterise the algebraically stable methods out of a 12-parameter family of implicit Runge-Kutta methods of order 2m–4.     

On the abundance of chaotic behavior for generic one-parameter families of maps

In this paper, we want to show the abundance of chaotic systems with absolutely continuous probability measures in the generic regular family with perturbable points. More precisely, we prove that iff _a:I I, a P is a regular family satisfying some conditions described in the next section, then there exists a Borel set P of positive Lebesgue measure such that for everya ,f _a admits an absolutely continuous invariant probability measure w.r.t. the Lebesgue measure. The idea of proof in this paper, as compared with that shown in [1] and [7], follows a similar line.Supported by the NSFC and the National 863 Project.     

Etude de la categorie des algebres de Hopf commutatives connexes sur un corps

Let k be a perfect field of characteristic p0; the categoryH of connected abelian Hopf algebras over k is abelian and locally noetherian. Technics of locally noetherian categories are used here to obtain Krull and homological dimensions ofH (which are respectively 1 and 2), and a decomposition ofH in a product of categories. First we have, whereH ^– is the category of Grassman algebras, andH ⁺ consists of Hopf algebras which are zero in odd degrees; then we prove thatH ⁺ itself is a product of isomorphic categoriesH _n, n^*, and we give an equivalence betweenH _n and a category of modules. This is compared to some results of algebraic geometry about Greenberg modules.     

Differential operators on homogeneous spaces. I

Summary In this paper, we extend recent work of one of us [Br] to investigate an old problem of the other one [B2]. Given a connected semisimple complex Lie-groupG with Lie-algebrag, we study the representation of the enveloping algebra of by global differential operators on a complete homogeneous spaceX=G/P. It turns out that the kernelI _x of _X is the annihilator of a generalizedVerma-module. On the other hand, we study the associated graded ideal grI _x , and relate it to the geometry of a generalizedSpringer-resolution, that is a map of the cotangent-bundle ofX onto a nilpotent variety in , as studied e.g. in [BM1]. We prove, for instance, that grI _x is prime if and only if _X is birational with normal image. In general, we show that is prime. Equivalently, the associated variety ofI _x in is irreducible: In fact, it is the closure of theRichardson-orbit determined byP. For the homogeneous spaceY=G/(P, P), we prove that the analogous idealI _y has for associated variety the closure of theDixmier-sheet determined byP. From this main result, we derive as a corollary, that for any module induced from a finitedimensional LieP-module the associated variety of the annihilator is irreducible, proving an old conjecture [B2], 2.5. Finally, we give some applications to the study of associated varieties of primitive ideals.     

Non-commutative extrapolation algorithms

This paper contains two general results. The first is an extension of the theory of general linear extrapolation methods to a non-commutative field (or even a non-commutative unitary ring). The second one, by exploiting these new results, is to solve an old conjecture about Wynn's vector -algorithm. Then, by using designants and Clifford algebras, we show how the vectors _k ⁽ⁿ⁾ can be written as a ratio of two designants.This result allow us to find, as a particular case, some well-known results and some others which are new.     

The Categories of Yetter—Drinfel’d Modules, Doi—Hopf Modules and Two-sided Two-cosided Hopf Modules

We show that the two-sided two-cosided Hopf modules are in some case generalized Hopf modules in the sense of Doi. Then the equivalence between two-sided two-cosided Hopf modules and Yetter—Drinfeld modules, proved in [8], becomes an equivalence between categories of Doi—Hopf modules. This equivalence induces equivalences between the underlying categories of (co)modules. We study the relation between this equivalence and the one given by the induced functor.     

Primitive Limit Algebras and C-Envelopes

In this paper, we study irreducible representations of regular limit subalgebras of AF-algebras. The main result is twofold: every closed prime ideal of a limit of direct sums of nest algebras (NSAF) is primitive, and every prime regular limit algebra is primitive. A key step is that the quotient of an NSAF algebra by any closed ideal has an AF C^*-envelope, and this algebra is exhibited as a quotient of a concretely represented AF-algebra. When the ideal is prime, the C^*-envelope is primitive. The GNS construction is used to produce algebraically irreducible (in fact n-transitive for all n1) representations for quotients of NSAF algebras by closed prime ideals. Thus the closed prime ideals of NSAF algebras coincide with the primitive ideals. Moreover, these representations extend to *-representations of the C^*-envelope of the quotient, so that a fortiori these algebras are also operator primitive. The same holds true for arbitrary limit algebras and the {0} ideal.     

Existence and non existence of capillary surfaces

A general criterion for existence of solutions of the capillary equation, introduced by Concus and Finn [1] and by Giusti [7], is shown to be equivalent to the question of existence of certain vector fields. The result is applied to particular boundary configurations, and it is shown that in some cases the local corner condition of [1] is both necessary and sufficient in the global configuration. In other situations a different kind of unstable dependence on the boundary geometry appears, that could not have been predicted by previous results.Dedicated to Hans Lewy and Charles B. Morrey, Jr.     

On the trace formula of the Hecke operators and the special values of the second L-functions attached to the Hilbert modular forms

In this paper, we consider 1) the explicit formula of the trace of the Hecke operators acting on the space of the Hilbert cusp forms, and 2) the special values of the second L-functions attached to the Hilbert cusp forms. The method is that of Zagier[12], and the results of this paper are the generalization of his results to the case of the Hilbert modular forms for the congruence subgroup ₀ (M).