Purity and Self-Small Groups

Let A be an abelian group. A group B is A-solvable if the natural map Hom(A, B) ?  _E(A) A → B is an isomorphism. We study pure subgroups of A-solvable groups for a self-small group A of finite torsion-free rank. Particular attention is given to the case that A is in , the class of self-small mixed groups G with G/tG? ? ⁿ for some n < ω. We obtain a new characterization of the elements of , and demonstrate that  differs in various ways from the class  ? of torsion-free abelian groups of finite rank despite the fact that the quasi-category ?  is dual to a full subcategory of ?  ?.     

The Enumeration of Fully Commutative Elements of Coxeter Groups

A Coxeter group element w is fully commutative if any reduced expression for w can be obtained from any other via the interchange of commuting generators. For example, in the symmetric group of degree n, the number of fully commutative elements is the nth Catalan number. The Coxeter groups with finitely many fully commutative elements can be arranged into seven infinite families A_n, B_n, D_n, E_n,F_n, H_n and I₂(m). For each family, we provide explicit generating functions for the number of fully commutative elements and the number of fully commutative involutions; in each case, the generating function is algebraic.     

Some Inequalities for Derivatives of Trigonometric and Algebraic Polynomials

We investigate inequalities for derivatives of trigonometric and algebraic polynomials in weighted L ^P spaces with weights satisfying the Muckenhoupt A _p condition. The proofs are based on an identity of Balázs and Kilgore [1] for derivatives of trigonometric polynomials. Also an inequality of Brudnyi in terms of rth order moduli of continuity ω_r will be given. We are able to give values to the constants in the inequalities.     

A special class of polynomials orthogonal on the unit circle including the associated polynomials

Let (P _ν) be a sequence of monic polynomials orthogonal on the unit circle with respect to a nonnegative weight function, let (Ω_υ) the monic associated polynomials of (P _v), and letA andB be self-reciprocal polynomials. We show that the sequence of polynomials (AP_υλ+BΩ_υλ)/A^λ, λ stuitably determined, is a sequence of orthogonal polynomials having, up to a multiplicative complex constant, the same recurrence coefficients as theP _ν's from a certain index value onward, and determine the orthogonality measure explicity. Conversely, it is also shown that every sequence of orthogonal polynomials on the unit circle having the same recurrence coefficients from a certain index value onward is of the above form. With the help of these results an explicit representation of the associated polynomials of arbitrary order ofP _ν and of the corresponding orthogonality measure and Szegö function is obtained. The asymptotic behavior of the associated polynomials is also studied. Finally necessary and suficient conditions are given such that the measure to which the above introduced polynomials are orthogonal is positive.     

Triple Cohomology and the Galois Cohomology of Profinite Groups

Given a cotriple 𝔾 = (G, ε, δ) on a category X and a functor E:X ^Opp→A into an abelian category A, there exists the cohomology theory of Barr and Beck: Hⁿ(X, E) ε |A| (n ≥ 0, X ε |X|), ([1], p.249). Almost all the important cohomology theories in mathematics have been shown to be special instances of such a general theory (see [1], [2] and [3]). Usually E arises from an abelian group object Y in X in the following manner: it is the contravariant functor from X into the category Ab of abelian groups that associates to each object X in X the abelian group X(X, Y) of maps from X to Y. In such a situation we shall write Hⁿ(X, Y)_𝔾 instead of Hⁿ(X, E)_G. Barr and Beck [2] have shown that the Eilenberg-MacLane cohomology groups H?ⁿ(π, A), n ≥ 2, can be re-captured as follows. One considers the free group cotriple 𝔾′ on the category Gps of groups, which induces in a natural manner a cotriple 𝔾 on the category (Gps, π) of groups over a fixed group π.     

The rate of approximation by means of polynomials with restricted coefficients

For a sequenceA = {A_k} _k?1 ^∞ of positive constants letP _A = {p(x): p(x) = Σ _k?1 ⁿ a _k x _k ,n = 1,2, …, ¦a _k ≦ A _k ^k }. We consider the rate of approximation by elements ofP _A , of continuous functions in [0, 1] which vanish at x = 0. Also a classP _A is called “efficient” if globally it guarantees the Jackson rate of approximation. Some necessary conditions for efficiency and some sufficient ones are derived.     

Inversion of a theorem on action of analytic functions and multiplicative properties of some subclasses of the hardy space H∞

In this paper, function spaces V∩l _A ^p (w) are considered in the context of their multiplicative structure. The space V is determined by conditions on the values of a function in a disk (for example, C_A,Lip _Aα). We denote by l _A ^p (w) the space of power series such that their Taylor coefficients are p-summable with weight w. For an analytic function Φ acting in a space of this type, we prove the following alternative: either Φ″(z)≡0, or the space is a Banach algebra with respect to pointwise multiplication. For a wide class of weights w, we establish the continuity of the identity embeddingmult(V∩l _A ^p (w))↪multl _A ^p . An estimate for the l^p-multiplicative norm of random polynomials is found. This estimate can be considered as an extension of the known result by Salem-Zygmund. Bibliography: 10 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 232, 1996, pp. 50–72. Translated by S. Shimorin.     

Double Schubert polynomials for the classical groups

For each infinite series of the classical Lie groups of type B, C or D, we construct a family of polynomials parametrized by the elements of the corresponding Weyl group of infinite rank. These polynomials represent the Schubert classes in the equivariant cohomology of the appropriate flag variety. They satisfy a stability property, and are a natural extension of the (single) Schubert polynomials of Billey and Haiman, which represent non-equivariant Schubert classes. They are also positive in a certain sense, and when indexed by maximal Grassmannian elements, or by the longest element in a finite Weyl group, these polynomials can be expressed in terms of the factorial analogues of Schur's Q- or P-functions defined earlier by Ivanov.     

On Groups Generated by Elements of Pirme Order

In the first part of the paper we give a characterization of groups generated by elements of fixed prime order p. In the second part we study the group G _n ^(p) of n × n matrices with the pth power of the determinant equal to 1 over a field F containing a primitive pth root of 1. It is known that the group G _n ⁽²⁾ of n × n matrices of determinant ± 1 over a field F and the group SL _n (F) are generated by their involutions and that each element in these groups is a product of four involutions. We consider some subgroups G of G _n ^(p) and study the following problems: Is G generated by its elements of order p? If so, is every element of G a product of k elements of order p for some fixed integer k? We show that G _n ^(p) and SL _n (F) are generated by their elements of order p and that the bound k exists and is equal to 4. We show that every universal p-Coxeter group has faithful two-dimensional representations over many fields F (including ? and ?). For a universal p-Coxeter group of rank ≥ 2 for p ≥ 3 or of rank ≥ 3 for p = 2 there is no bound k.     

Bounded Equivalence of Hull Classes in Archimedean Lattice-Ordered Groups with Unit

A hull class in a category is an object class H for which each object has a unique minimal essential extension in H. This paper addresses the enormity of the collection of hull classes in the category W of Archimedean l-groups with distinguished weak order unit through consideration of the action on the hull classes of the bounded coreflection \(\textbf {W} \overset {B}\rightarrow \textbf {W}^{\ast }\) onto the subcategory where the units are strong. It is shown that hull classes go forth under B and back under B ^?1, that the B-equivalence class of a hull class in W always has a top, and that these B-equivalence classes are frequently not sets. The property “top” is related to various other properties that hull classes might have. This paper is the third by us on the complex taxonomy of hull classes in W, and more are planned.     

�����֧�֧�ߧڧܧ� �� �ߧѧڧݧ���֧� ���ڧҧݧڧا֧ߧڧ� �ܧݧѧ���� B p,�� r ��֧�ڧ�էڧ�֧�ܧڧ� ���ߧܧ�ڧ� �ާߧ�ԧڧ� ��֧�֧ާ֧ߧߧ��

Exact estimates with respect to the order of magnitude are obtained for the ortho-projective and linear diameters of the classes B _p,?? ^r periodic functions of several variables in the spaces L _q , 1 ?? p, q ?? ??. The order of magnitude of the best approximation is established in the space Leo of the classes B _??,?? ^r of periodic functions of two variables with trigonometric polynomials with harmonics from a hyperbolic cross.     

Derived Picard Groups of Finite-Dimensional Hereditary Algebras

Let A be a finite-dimensional algebra over a field k. The derived Picard group DPic _k (A) is the group of triangle auto-equivalences of D> ^b( mod A) induced by two-sided tilting complexes. We study the group DPic _k (A) when A is hereditary and k is algebraically closed. We obtain general results on the structure of DPic _k , as well as explicit calculations for many cases, including all finite and tame representation types. Our method is to construct a representation of DPic _k (A) on a certain infinite quiver ^irr. This representation is faithful when the quiver of A is a tree, and then DPic _k (A) is discrete. Otherwise a connected linear algebraic group can occur as a factor of DPic _k (A). When A is hereditary, DPic _k (A) coincides with the full group of k-linear triangle auto-equivalences of D^b( mod A). Hence, we can calculate the group of such auto-equivalences for any triangulated category D equivalent to D^b( mod A. These include the derived categories of piecewise hereditary algebras, and of certain noncommutative spaces introduced by Kontsevich and Rosenberg.     

Latin trades in groups defined on planar triangulations

For a finite triangulation of the plane with faces properly coloured white and black, let A_W\mathcal{A}_{W} be the abelian group constructed by labelling the vertices with commuting indeterminates and adding relations which say that the labels around each white triangle add to the identity. We show that A_W\mathcal{A}_{W} has free rank exactly two. Let A_W^*\mathcal{A}_{W}^{*} be the torsion subgroup of  A_W\mathcal{A}_{W} , and A_B^*\mathcal{A}_{B}^{*} the corresponding group for the black triangles. We show that A_W^*\mathcal{A}_{W}^{*} and A_B^*\mathcal{A}_{B}^{*} have the same order, and conjecture that they are isomorphic. For each spherical latin trade W, we show there is a unique disjoint mate B such that (W,B) is a connected and separated bitrade. The bitrade (W,B) is associated with a two-colourable planar triangulation and we show that W can be embedded in  A_W^*\mathcal{A}_{W}^{*} , thereby proving a conjecture due to Cavenagh and Drápal. The proof involves constructing a (0,1) presentation matrix whose permanent and determinant agree up to sign. The Smith normal form of this matrix determines A_W^*\mathcal{A}_{W}^{*} , so there is an efficient algorithm to construct the embedding. Contrasting with the spherical case, for each genus g≥1 we construct a latin trade which is not embeddable in any group and another that is embeddable in a cyclic group.     

Anisotropic singular integrals in product spaces

In this paper, the authors introduce a class of product anisotropic singular integral operators, whose kernels are adapted to the action of a pair A := (A1, A2) of expansive dilations on R n and R m , respectively. This class is a generalization of product singular integrals with convolution kernels introduced in the isotropic setting by Fefferman and Stein. The authors establish the boundedness of these operators in weighted Lebesgue and Hardy spaces with weights in product A∞ Muckenhoupt weights on R n × R m . These results are new even in the unweighted setting for product anisotropic Hardy spaces.     

Equations with absolute Galois group isomorphic to An

Criteria are given for polynomials of the type Xⁿ + aX³ + bX² + cX + d, to have Galois group over any finite number field isomorphic to A_n. We use them to construct, for every n, infinitely many polynomials with absolute Galois group isomorphic to A_n, covering so, the case n even, $\text{4 ? n}$, for which explicit equations were not known.     

Approximation of classes of functions of many variables by their orthogonal projections onto subspaces of trigonometric polynomials

In the spaceL _q, 1<q<∞ we establish estimates for the orders of the best approximations of the classes of functions of many variablesB _1,θ ^r andB _p,α ^r by orthogonal projections of functions from these classes onto the subspaces of trigonometric polynomials. It is shown that, in many cases, the estimates obtained in the present work are better in order than in the case of approximation by polynomials with harmonics from the hyperbolic cross.     

On the Characterizability of the Automorphism Groups of Sporadic Simple Groups by Their Element Orders

For G a finite group, π _e (G) denotes the set of orders of elements in G. If Ω is a subset of the set of natural numbers, h(Ω) stands for the number of isomorphism classes of finite groups with the same set Ω of element orders. We say that G is k-distinguishable if h(π _e (G)) = k < ∞, otherwise G is called non-distinguishable. Usually, a 1-distinguishable group is called a characterizable group. It is shown that if M is a sporadic simple group different from M ₁₂, M ₂₂, J ₂, He, Suz, M ^c L and O′N, then Aut(M) is characterizable by its element orders. It is also proved that if M is isomorphic to M ₁₂, M ₂₂, He, Suz or O′N, then h(π _e (Aut(M))) ∈¸ {1,∞}.     

Partition theorems for Abelian groups

Let A be a finite matrix with integral entries and G be an Abelian group. Define A to be partition regular in G if for every partition of G/(0) into finitely many classes there exist elemens x₁,…,x_m contained in one class such that A(x₁,…,x_m)^T = 0. Theorem. A is partition regular in G iff at least one of the following statements holds. (i) There is x ∈ G/(0) such that A(x,…,x)^T = 0. (ii) A is partition regular in Z_p^?₀ (p prime) and Z_p^?₀ ? G. (iii) A is partition regular in Z and the set of orders of elements in G is unbounded.     

The finite simple groups with at most two fusion classes of every order

Elements a,b of a group G are said to be fused if a = b^σ and to be inverse-fused if a =(b^-1)^σ for some σ ? Aut(G). The fusion class of a ? G is the set {a^σ | σ ? Aut(G)}, and it is called a fusion class of order i if a has order iThis paper gives a complete classification of the finite nonabelian simple groups G for which either (i) or (ii) holds, where:

(i) G has at most two fusion classes of order i for every i (23 examples); and

(ii) any two elements of G of the same order are fused or inversenfused.

The examples in case (ii) are: A₅, A₆,L₂(7),L₂(8), L₃(4), Sz(8), M₁₁ and M₂₃An application is given concerning isomorphisms of Cay ley graphs.     

Some examples of orthogonal matrix polynomials satisfying odd order differential equations

It is well known that if a finite order linear differential operator with polynomial coefficients has as eigenfunctions a sequence of orthogonal polynomials with respect to a positive measure (with support in the real line), then its order has to be even. This property no longer holds in the case of orthogonal matrix polynomials. The aim of this paper is to present examples of weight matrices such that the corresponding sequences of matrix orthogonal polynomials are eigenfunctions of certain linear differential operators of odd order. The weight matrices are of the form

W(t)=t^αe^-te^Att^Bt^B*e^A*t,