Homogeneous algebraic varieties defined by Jordan pairs

Every Jordan pair defines an algebraic varietyX containing as a dense open subset.X is projective (affine) if and only if is separable (radical). The Picard group ofX is generated by the irreducible factors of the generic norm of . If is separable then the automorphism group ofX is the projective group of .     

Groupwise density and related cardinals

We prove several theorems about the cardinal associated with groupwise density. With respect to a natural ordering of families of nond-ecreasing maps from to, all families of size are below all unbounded families. With respect to a natural ordering of filters on, all filters generated by sets are below all non-feeble filters. If then and . (The definitions of these cardinals are recalled in the introduction.) Finally, some consequences deduced from by Laflamme are shown to be equivalent to .     

Commutator-finite orthomodular lattices

The class of orthomodular lattices which have only finitely many commutators is investigated. The following theorems are proved: contains the block-finite orthomodular lattices. Every irreducible element of is simple. Every element of is a direct product of a Boolean algebra and finitely many simple orthomodular lattices. The irreducible elements of which are modular, or are M-symmetric with at least one atom, have height two or less.     

Rings of regular functions on nilpotent orbits and their covers

Summary LetG be a complex semisimple algebraic group with Lie algebra . Let be a nilpotentG-orbit, its ring of regular functions. We derive a formula for as aG-module and prove some partial results on a cover of . We then relate this formula to various existing multiplicity formulas forK-types in Harish-Chandra bimodules ofG.Supported by National Science Foundation Grant DMS-8505550     

Prime ideal decomposition inF({}^m\sqrt \mu )

LetF be an algebraic number field and F such thatx ^m– is irreducible, wherem is an integer. Let be a prime ideal inF with . The prime decomposition of in is explicitly obtained in the following cases. Case 1: , (a,m) = 1 (where means , 0 ). Case 2:m lt, wherel is a prime andl 0 . Case 3:m 0 and every prime that dividesm also dividespf–1. It is not assumed that thev ^th roots of unity are inF for anyv 2.     

Nilpotent shifts on manifolds

On the lattice of manifolds of all algebras L we study the operator of nilpotent closure , where is a nilpotent manifold of -algebras. With a given system of identities defining, we construct a system ^*, giving the manifold It is proved that if does not contain , then the lattice of submanifolds of is the double of the lattice of submanifolds of. We describe the free and subdirect indecomposable manifolds of algebras . Let and A be adense retract of B. We denote by (B) the lattice of congruences on B. The theorem is proved: (B) is a complemented lattice if and only if (A) is a complemented lattice.Translated from Matematicheskie Zametki, Vol. 14, No. 5, pp. 703–712, November, 1973.     

Skew-symmetric derivations of a complex Lie algebra

Let be a complex Lie algebra, its underlying real Lie algebra, a real form of and ·, · the euclidean product induced by the real part of an hermitian inner product on . Let aut be the Lie algebra of skew-symmetric derivations of . We give necessary and sufficient conditions to ensure that aut is composed of skew-hermitian derivations. As an application, we study holomorphy in large subgroups of isometries of Lie groups.     

Sur les idéaux induits dans les algèbres enveloppantes

Résumé Soient une algèbre de Lie de dimension finie et une sousalgèbre de Lie de . Je montre que l'induction, qui envoie les idéaux de l'algèbre enveloppante de dans les idéaux de l'algèbre enveloppante de , commute, à une torsion près, à l'anti-automorphisme principal. La résolution libre standard de la représentation triviale d'une algèbre de Lie joue un rôle important dans la démonstration.

---

Summary Let be a finite dimensional Lie algebra, and a Lie subalgebra. I show that the induction map, between the sets of ideals in the enveloping algebras of and , commutes, up to a twisting, with the principal anti-automorphism. The standard free resolution of the trivial representation of a Lie algebra plays an important role in the proof.

---

---

Convention. On fixe un corps commutatifk. Tous les espaces vectoriels, produits tensoriels et algèbres considérés dans cet article sont surk.

---

Notations. Si g est une algèbre de Lie, on noteU(g) son algèbre enveloppante. On noteu l'anti-automorphisme principal deU(g): c'est l'antiautomorphisme tel que pourXg. Si est une forme linéaire sur g, nulle sur [g,g], on noteuu l'automorphisme deU(g) tel queX =X+(X) pourXg. Si g est de dimension finie, la fonction module de g est la forme linéaireXtradX.     

Automatic structures,rational growth,and geometrically finite hyperbolic groups

Summary We show that the set of equivalence classes of synchronously automatic structures on a geometrically finite hyperbolic groupG is dense in the product of the sets over all maximal parabolic subgroupsP. The set of equivalence classes of biautomatic structures onG is isomorphic to the product of the sets over the cusps (conjugacy classes of maximal parabolic subgroups) ofG. Each maximal parabolicP is a virtually abelian group, so and were computed in [NS1].We show that any geometrically finite hyperbolic group has a generating set for which the full language of geodesics forG is regular. Moreover, the growth function ofG with respect to this generating set is rational. We also determine which automatic structures on such a group are equivalent to geodesic ones. Not all are, though all biautomatic structures are.Oblatum 14-VI-1993 & 4-I-1994Both authors acknowledge support from the NSF for this research.     

Comparison of location models for stochastic processes

Summary Let (Q) be the statistical experiment based on the observation of an unknown function in the presence of an additive noise process with distributionQ. The (possible) loss of information whenQ is replaced by some other noise distributionP is measured by the deficiency of (P) relative to (Q). This deficiency and its relation to the variational distance ofP andQ are studied mainly for Gaussian noise processes. Gaussian diffusion processes and special set-indexed processes are treated in detail.Research supported by a Heisenberg grant of the Deutsche Forschungsgemeinschaft     

On the Irreducibility of Commuting Varieties Associated with Involutions of Simple Lie Algebras

Let be a reductive Lie algebra over an algebraically closed field of characteristic zero and an arbitrary -grading. We consider the variety , which is called the commuting variety associated with the -grading. Earlier it was proved by the author that is irreducible, if the -grading is of maximal rank. Now we show that is irreducible for and (E₆,F₄). In the case of symmetric pairs of rank one, we show that the number of irreducible components of is equal to that of nonzero non--regular nilpotent G ₀-orbits in . We also discuss a general problem of the irreducibility of commuting varieties.     

A representation theorem for weak automorphisms of a universal algebra

Given a group G and a descending chainG ₀,G ₁,...,G _n, of normal subgroups ofG, we prove that there exists a universal algebra , such that the chain ...W_n( )...W₁( }) W₀( )W( ) is isomorphic to the chain ...G _n ...G ₁G ₀G, where W( ) is the group of weak automorphisms of , and W_n( ) is the group of weak automorphisms of that leaves alln-ary operations fixed.We also prove that there are an infinite number of non-isomorphic algebras that satisfy the above.These results are a generalization of those proved by J. Sichler, in the special case when G=G₀, and G₁=G₂=...=G_n=....Presented by J. Mycielski.This paper comprises part of the author's doctoral dissertation at the University of Notre Dame in 1983. The author wishes to express her deep gratitude to Professor Abraham Goetz for suggesting this problem, for being extremely generous with his time and experience, and for giving her his constant encouragement. The author also thanks the reviewer for his helpful comments.     

The closure of unitary orbit for strongly irreducible operators in a class of nest algebras

A linear operatorT L(H) is called a strongly irreducible, if there is no non-trivial idempotent linear operator commuting withT. In this paper, denote the set of all strongly irreducible operators by (SI). Let be a nest with infinite dimensional atoms, be the nest algebra associated with and be the closure of , then the following result is proved

Functions of translation type and functorial properties of Segal algebras II

In this paper we investigate functorial properties of the Segal algebra which consists of all functionsf in Wiener's algebra onG with Fourier transform in Wiener's algebra on the dual group . Especially may serve as a very large and natural domain for Poisson's formula. Moreover, there is introduced a Segal algebraE ₀(G) containing as a subspace, but still eachfE ₀(S) satisfies Poisson's formula.     

Equational Theories for Classes of Finite Semigroups

It is proved that there exists an infinite sequence of finitely based semigroup varieties such that, for all i, an equational theory for and for the class of all finite semigroups in is undecidable while an equational theory for and for the class of all finite semigroups in is decidable. An infinite sequence of finitely based semigroup varieties is constructed so that, for all i, an equational theory for and for the class of all finite semigroups in is decidable whicle an equational theory for and for the class of all finite semigroups in is not.     

On the isomorphisms and automorphism groups of circulants

Denote byC _n(S) the circulant graph (or digraph). LetM be a minimal generating element subset ofZ _n, the cyclic group of integers modulon, and In this paper, we discuss the problems about the automorphism group and isomorphisms ofC _n(S). When M S , we determine the automorphism group ofC _n(S) and prove that for any T if and only ifT = S, where is an integer relatively prime ton. The automorphism groups and isomorphisms of some other types of circulant graphs (or digraphs) are also considered. In the last section of this paper, we give a relation between the isomorphisms and the automorphism groups of circulants.     

A Note on Extremes of Concomitants of Order Statistics

Let be a sequence of identically distributed variables. We study the asymptotic distribution of , where Y _[r:n] denotes the concomitant of the rth order statistic X _r:n , corresponding to , and is held fixed while . Conditions are given for the and to have the same asymptotic behavior as that we would apply if were i.i.d. The result is illustrated with a simple linear regression model , where is a stationary sequence with extremal index .     

A fitting class construction

Summary We present a Fitting Class construction which exploits the properties of a certain class of finite soluble groups of nilpotent length three, called -groups in the paper. In addition we look at a wider class of groups, called in the paper, also of nilpotent length three and examine the question as to what -groups are in .A number of examples are given to illuminate the various classes.The author would like to thank HermannHeineken for supervising his dissertation, from which this paper has sprung, the German Academic Exchange Service (DAAD) for enabling him to study with Prof. Heineken at Universität Würzburg and An Roinn Oideachais for the fellowship which is at present supporting him at University College, Galway.     

Baer cotorsion Pairs

LetR be a unital associative ring and two classes of leftR-modules. In [St3] the notion of a ( ) pair was introduced. In analogy to classical cotorsion pairs, a pair (V,W) of subclasses is called a ( ) pair if it is maximal with respect to the classes and the condition Ext _R ¹ (V, W)=0 for all . In this paper we study pairs whereR = ℤ and is the class of all torsion-free abelian groups andT is the class of all torsion abelian groups. A complete characterization is obtained assumingV=L. For example, it is shown that every pair is singly cognerated underV=L. The author was supported by a DFG grant.     

Reflection groups and K-loops

The notion reflection group (, ) was introduced in order to give group theoretical characterizations of absolute planes. Here we consider reflection groups with midpoints and associate to each of them an incidence structure . Then is an incidence space which dimension can assume any value. The motion group together with the set of all reflections in points of a Euclidean or hyperbolic geometry are examples of reflection groups with midpoints. Furthermore the set can be turned into a K-loop. The precise results are summarized in the theorems at the end of the paper.Cordially dedicated to Sibylla Prieß on the occasion of her 60th birthdaySupported by the NATO Scientific Affairs Division grant CRG 900103.