On π-Solvable and Locally π-Solvable Groups with Factorization

We prove that, in a locally -solvable group G = AB with locally normal subgroups A and B, there exist pairwise-permutable Sylow - and p-subgroups A , A _p and B , B _p , p , of the subgroups A and B, respectively, such that A B is a Sylow -subgroup of the group G and, for an arbitrary nonempty set ,

On the coupon collector's remainder term

Summary Each element in a finite population is assigned a bonus value, i.e. a real number. Elements are selected from by simple random sampling with replacement and with equal draw probabilities. Each time we receive a new element, i.e. an element which has not been previously selected, we receive the corresponding bonus. Let W _n denote the bonus sum after n selections. It is well known that W _n is approximately normally distributed under mild conditions. We give a remainder term estimate of the Berry-Esseen type for this normal distribution approximation.     

Classes caractéristiques d''une π-algèbre et suite spectrale en K-théorie bivariante

Résumé Pour tout groupe discret et pour toute -algèbre D, la C ^*-algèbre D(E) (dont la définition exacte est donnée dans la section 4) est la version équivariante de la C ^*-algèbre C(B, D) des fonctions continues sur B, le classifiant du groupe, à valeurs dans D et qui s'annulent à l'infini. Si D désigne une autre -algèbre, nous définissons une suite spectrale en K-théorie bivariante dont les premiers termes sont donnés par les groupes H ^p (B, KK(D, D)) et qui converge (lorsque B est de dimension finie) vers KK(B; D(E), D(E)). Cette suite spectrale généralise celle de Kasparov mais est obtenue de manière différente: en étendant la définition des quasihomomorphismes aux C(X)-algèbres (X est une espace topologique localement compact), on a recours à des méthodes homotopiques telles les décompositions de Postnikov et le calcul des groupes d'homotopie des espaces d'équivalences d'homotopie. Sous certaines hypothèses, ces mÊmes constructions nous permettent de définir, pour toute -algèbre D, une obstruction, appelée classe secondaire de la -algèbre D, qui détermine la différentielle d ₂ de la suite spectrale de Kasparov.

---

For all discrete group and all -algebra D, the C ⁺-algebra D(E) (whose exact definition is given in Section 4) is the equivariant version of the C ^*-algebra C(B, D) of continuous functions from B (the classifiant of the group) to D, vanishing at infinity. If D is another -algebra, we define a spectral sequence in bivariant K-theory whose first terms are given by the groups H ^p (B, KK(D, D)) and which converges (if B of finite dimension) to KK(B; D(E), D(E)). This spectral sequence generalises the spectral sequence given by Kasparov but it is obtained in a quite different way: by extending the definition of quasihomomorphisms to the C(X)-algebras (where X is a locally compact topological space), we use homotopical methods, like Postnikov decompositions and the calculus of homotopy groups of spaces of homotopy equivalences. Furthermore, under certain hypotheses, with these constructions, we define an obstruction, called the secondary class of the -algebra D, which determines the differential d ₂ of the Kasparov spectral sequence.

     

Bands of groups with universal properties

For a nonempty setX, a bandB, and a mapping :XB, we construct a band of groups, here called a cryptogroup,F(X,,B) which exhibits some remarkable properties. The first of these is a universal property relative to the classCG of all cryptogroups. In fact,CG is a variety with the operations of multiplication and inversion. For a varietyV of bands, we find a varietyV ⁰ of cryptogroups such that wheneverB is a band free inV ⁰ on the setX with embedding :XB, F(X,,B) is free inV ⁰. IfB is a normal band given as a strong semilattice of rectangular bands, we construct an isomorphic copy ofF(X,, B) which is a strong semilattice of completely simple semigroups. The objectsX, , B) admit the structure of a category, which is then related to the category of cryptogroups and their homomorphisms.This research was supported, in part by, NSERC Grant A4044.     

Mappings that preserve cones in Lobachevskii space

Let ⁿ be n-dimensional Lobachevskii space, and {l_x:x ⁿ} be a family of lines, parallel to a linel ₀, 0ⁿ (in a given direction). Let {c_x:Xⁿ} be a family of circular cones in ⁿ of opening with axes l_X and vertex X. Then, iff:ⁿⁿ(n>2) is a bijective mapping andf(C_x)=C _f(x), it follows thatf is a motion in the space ⁿ.Translated from Matematicheskie Zametki, Vol. 13, No. 5, pp. 687–694, May, 1973.     

A family of multiply extended grids

We construct an infinite family{ _n}_n=5 of finite connected graphs _n that are multiple extensions of the well-known extended grid discovered in [1] (which is isomorphic to ₅). The graphs _n are locally _n–1 forn > 5, and have the following property: the automorphism groupG(n) of _n permutes transitively the maximal cliques of _n (which aren-cliques) and the stabilizer of somen-clique of _n inG(n) induces _n on the vertices of. Furthermore we show that the clique complexes of the graphs _n are simply connected.     

The arithmetic of the characteristic Pólya functions

In the framework of the theory of D. Kendall's delphic semigroups are considered problems of divisibility in the semigroup of convex characteristic functions on the semiaxis (0,). Letn ()={:₁¦₁1 or ₁=}, and I_o()={: ₁¦ ₁ N()}. The following results are proved: 1) The semigroup is almost delphic in the sense of R. Davidson. 2) N() is a set of the type G which is dense in (in the topology of uniform convergence on compacta). 3) The class I_o() contains only the function identically equal to one.Translated from Matematicheskie Zametki, Vol. 21, No. 5, pp. 717–725, May, 1977.The author thanks I. V. Ostrovskii for the formulation of the problem and valuable remarks.     

Π r P1-bundle from which a surjective morphism to Π m P1 exists

Let : X Y be a morphism of smooth projective varieties over an algebraically closed field k of characteristic not equal to 2 whose closed fibres are all isomorphic to ^r P¹ and let ': X ^r P¹ be a surjective morphism. This article gives a sufficient condition concerning ' and Y under which X is isomorphic to Y× ^r P¹.     

Relative komplexe quotienten

Let XS be a holomorphic map, and let RX×SX be an equivalence relation. The restriction of R to the fibre ^–1(S) is denoted by R_s. The quotient X/R is called a relative complex quotient, if the quotient map XX/R is holomorphic over S. Two cases are studied: (C) All fibres of are locally R_s-separable (relative Cartan quotient); (R) All fibres of are holomorphically convex, and R_s is given by tke holomorphic functions on ^–1 (s) (relative Remmert quotient).     

Waterman classes and triangular sums of double Fourier series

Let ^a ={nln^a (n+1)}, where a R. The following results are established: For every &fnof ^a BV ((- ]²), the triangular partial sums of its Fourier series are uniformly bounded if a = -1, and converge everywhere if a < -1.For every a>0, there exists &fnof ^a BV ((- ]²) such that the triangular partial sums of its Fourier series are unbounded at the point (0;0).     

Almost π-Lattices

In this paper we establish some conditions for an almost -domain to be a -domain. Next -lattices satisfying the union condition on primes are characterized. Using these results, some new characterizations are given for -rings.     

Nielsensche Realisierungssätze für Seifertfaserungen

Let M be a closed aspherical manifold and A a finite subgroup of the outer automorphism group Out ₁M of ₁M. A necessary (and in many cases also sufficient) condition for realising A by the induced action of an isomorphic group of homeomorphisms of M is the existence of an extension 1₁MEA1 to the abstract kernel (A,₁M, AOut ₁M). If the center of ₁M is nontrivial, this condition need not be fulfilled ([14]). We showed in [25] however that one can always find a surjection BA of a finite group B with abelian kernel such that there exists an extension to the abstract kernel (B,₁M,BAOut₁M), and one can try to realize B instead of A. The main result of the present paper is a characterisation of all such groups B (for a given A) which can be realized by a group of homeomorphisms. The class of manifolds considered here consists of certain Seifert fiber spaces in arbitrary dimensions but the main result is purely algebraic and can be applied to other classes of manifolds, for example to flat Riemannian manifolds.     

Spatial dynamics of time periodic solutions for the Ginzburg-Landau equation

We consider the dynamics of the Ginzburg-Landau equation in a small neighborhood of a known pulse solution by studying a Poincaré map,P: _{T T} , where _T is a section which is transverse to the pulse. Due to the fact that the Ginzburg-Landau equation possesses both a rotational symmetry and a spatial symmetry, we are able to conduct a detailed analytical study of this map in neighborhoods arbitrarily close to the pulse solution. Thus, we are able to complement the work of Holmes [8], who conducted an analytical study of the Poincaré map in a punctured neighborhood of the pulse. We find that the Poincaré map contains an invariant set _itT, where is not necessarily a Cantor set of points, such thatP: is homeomorphic to a shift map on (at least) two symbols. Furthermore, we find that for eachm 1 the mapP _itm possesses a fixed point. Since is not necessarily a Cantor set, this is not immediately clear. Finally, we find that when the pulse solution is broken, for eachm1 there exist parameter values such that pulses possessingm maxima appear.On leave at the University of Utah during 1993/94. Supported by the DFG, Habilitationsstipendium Ma 1587/1-1.     

Nonlinear instability of superposed magnetic fluids in the presence of an oblique magnetic field

The nonlinear evolution of interfacial waves separating two magnetic fluids subjected to an oblique magnetic field is studied in two dimensions, with the use of the method of multiple scales. It is shown that the evolution of the envelope is governed by two partial differential equations. These equations can be combined to yield two alternate Schrödinger equations with cubic nonlinearity; one of them leads to the determination of the cutoff wave number separating stable from unstable deformations while the other Schrödinger equation is used to analyze the stability of the system. The stability of the system is discussed both theoretically and computationally, and the stability diagrams are obtained. It is found in the linear theory that the oblique magnetic field has a stabilizing influence if 0 ₁ + ₂ < /2, or 3/2 < ₁ + ₂ 2 and a destabilizing influence if /2 < ₁ + ₂ < 3/2, where 0 _j , (j=1, 2) and , is the angle between the field and the horizontal axis.In the nonlinear theory, the stability analysis reveals that there exist different regions of stability and instability. It is reported that the oblique magnetic field plays a dual role in the stability criterion and the angles ₁ and ₂ play a distinctive role in this analysis besides the effect of the variation of the magnetic permeabilities.     

Second Jackson Inequality in a Sign-Preserving Approximation of Periodic Functions

We consider a 2-periodic function f continuous on and changing its sign at 2s points y _i [–, ). For this function, we prove the existence of a trigonometric polynomial T _n of degree n that changes its sign at the same points y _i and is such that the deviation |f(x) – T _n(x)| satisfies the second Jackson inequality.     

Equivalent Characterization of Entire Functions of Exponential Type

In this paper, we show that a necessary and sufficient condition for the fulfillment of the relation s _m ^(k) (f) – f^(k) _p 0 as m , 1 < p < , k 0,1,2,..., is that f B _,p , where B _,p = B L _p (R), and B denotes the subset of all entire functions of exponential type which are bounded on R, B _,p is usually called Paley-Wiener class, and s _m (f) is the unique cardinal spline of degree m – 1 interpolating f at the integers. Moreover, we obtain three equivalent forms for the characterization of the class B _,p .     

Transposition generation of alternating permutations

A permutation _{1 2}... _n is alternating if ₁< ₂> ₃< ₄.... Alternating permutations are counted by the Euler numbers. Here we show that alternating permutations can be listed so that successive permutations differ by a transposition, ifn is odd. Extensions and open problems are mentioned.Research supported by the Natural Sciences and Engineering Research Council of Canada under grant A3379.     

Über gemeinsame Lote Windschiefer geraden in elliptischen Räumen

Let the following motions in a projective elliptic space(K,) be called normal forms:Subspace-reflections, rotations, the product of a rotation and a point-reflection whose center lies on the axis of the rotation and the product of two rotations, whose axes of rotation are conjugated.It is shown that all motions of(K, ) have a normal-form provided any two lines of(K, ) have a common perpendicular. The latter is true if and only if K is Pythagorean and if the polarity can be represented by the unit-matrix.     

Generating alternating permutations lexicographically

A permutation _{1 2} ... _n is alternating if ₁<₂>₃<₄ .... We present a constant average-time algorithm for generating all alternating permutations in lexicographic order. Ranking and unranking algorithms are also derived.Research supported by the Natural Sciences and Engineering Research Council of Canada under grant A3379.     

The Number of Isomorphism Classes of Finite Groups with Given Element Orders

Let G be a finite group and _e(G) the set of element orders of G. Denote by h( _e(G)) the number of isomorphism classes of finite groups H satisfying _e(H) = _e(G). We prove that if G has at least three prime graph components, then h( _e (G)){1, }.