An Example of a Fast-Decreasing (<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">A</Emphasis>)-Lacunary Function

A function analytic in the unit disk is called (p, A)-lacunary if the inequalities n _k Ak ^p hold for all k 0 with some 1 < p < and A > 0. In this paper, for 1 < p < 2 and A > 0, we construct a (p, A)-lacunary function f _1,p,A (z) decreasing as x 1 – 0 at a rate close to the optimal rate for (p, A)-lacunary functions. Bibliography: 6 titles.     

A new characterization of the simple group <Emphasis Type="Italic">A</Emphasis><Subscript>1</Subscript>(<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

The simple group A ₁(p ⁿ ) is proved to be uniquely determined by the set of the orders of the maximal abelian subgroups of A ₁(p ⁿ ).     

Hopf Algebras of Type <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>, Twistings and the FRT-construction

We study pointed Hopf algebras of the form U(R _Q ), (Faddeev et al., Quantization of Lie groups and Lie algebras. Algebraic Analysis, vol. I, Academic, Boston, MA, pp. 129–139, 1988; Faddeev et al., Quantum groups. Braid group, knot theory and statistical mechanics. Adv. Ser. Math. Phys., vol. 9, World Science, Teaneck, NJ, pp. 97–110, 1989; Larson and Towber, Commun. Algebra 19(12):3295–3345, 1991), where R _Q is the Yang–Baxter operator associated with the multiparameter deformation of GL _n supplied in Artin et al. (Commun. Pure Appl. Math. 44:8–9, 879–895, 1991) and Sudbery (J. Phys. A, 23(15):697–704, 1990). We show that U(R _Q ) is of type A _n in the sense of Andruskiewitsch and Schneider (Adv. Math. 154:1–45, 2000; Pointed Hopf algebras. Recent developments in Hopf Algebras Theory, MSRI Series, Cambridge University Press, Cambridge, 2002). We consider the non-negative part of U(R _Q ) and show that for two sets of parameters, the corresponding Hopf sub-algebras can be obtained from each other by twisting the multiplication if and only if they possess the same groups of grouplike elements. We exhibit families of finite-dimensional Hopf algebras arising from U(R _Q ) with non-isomorphic groups of grouplike elements. We then discuss the case when the quantum determinant is central in A(R _Q ) and show that under some assumptions on the group of grouplike elements, two finite-dimensional Hopf algebras U(R _Q ), U(R _Q′) can be obtained from each other by twisting the comultiplication if and only if In the last part we show that U _Q is always a quotient of a double crossproduct. I wish to thank UIC, where some of the work was done, for hospitality.     

<Emphasis Type="Italic">A</Emphasis><Subscript>1</Subscript> weights and <Emphasis Type="Italic">d</Emphasis>-homogeneous measures on ahlfors <Emphasis Type="Italic">d</Emphasis>-regular space

Let X be an Ahlfors d-regular space and mad-regular measure on X . We prove that a measure μ on X is d-homogeneous if and only if μ is mutually absolutely continuous with respect to m and the derivative Dmμ(x) is an A1 weight. Also, we show by an example that every Ahlfors d-regular space carries a measure which is d-homogeneous but not d-regular.     

<Emphasis Type="Italic">A</Emphasis><Subscript>2</Subscript>-continued fraction representation of real numbers and its geometry

We study the geometry of representations of numbers by continued fractions whose elements belong to the set A ₂ = {α₁, α₂} (A ₂-continued fraction representation). It is shown that, for α₁α₂ ≤ 1/2 , every point of a certain segment admits an A ₂-continued fraction representation. Moreover, for α₁α₂ = 1/2, this representation is unique with the exception of a countable set of points. For the last case, we find the basic metric relation and describe the metric properties of a set of numbers whose A ₂-continued fraction representation does not contain a given combination of two elements. The properties of a random variable for which the elements of its A ₂-continued fraction representation form a homogeneous Markov chain are also investigated.     

Recognizing alternating groups <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis>+3</Subscript> for certain primes <Emphasis Type="Italic">p</Emphasis> by their orders and degree patterns

The degree pattern of a finite group M has been introduced by A. R. Moghaddamfar et al. [Algebra Colloquium, 2005, 12(3): 431–442]. A group M is called k-fold OD-characterizable if there exist exactly k non-isomorphic finite groups having the same order and degree pattern as M. In particular, a 1-fold OD-characterizable group is simply called OD-characterizable. In this article, we will show that the alternating groups A _p+3 for p = 23, 31, 37, 43 and 47 are OD-characterizable. Moreover, we show that the automorphism groups of these groups are 3-fold OD-characterizable. It is worth mentioning that the prime graphs associated with all these groups are connected.     

An Estimate of Growth Bound of Positive <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>-Semigroup on <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Space and its Applications

Let be a positive C ₀-semigroup on L ^p (Ω), with infinitesimal generator A. In this paper, it is proved that if there exists a such that and , where A ^* is the adjoint of A, then the growth bound of T(t) is upper bounded by b when p = 1, and by when 1 lt; p lt; α and c D(A), where . This is an operator version of a classical stability result on Z-matrix. As application examples, some new results on the asymptotic behaviours of population system and neutron transport system are obtained. Submitted: March 1, 2001?Revised: August 28, 2002     

Maximal regularity for evolution equations in weighted <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-spaces

Let X be a Banach space and let A be a closed linear operator on X. It is shown that the abstract Cauchy problem enjoys maximal regularity in weighted L _p -spaces with weights , where , if and only if it has the property of maximal L _p -regularity. Moreover, it is also shown that the derivation operator admits an -calculus in weighted L _p -spaces. Received: 26 February 2003     

Some designs and codes invariant under the groups <Emphasis Type="Italic">S</Emphasis><Subscript>9</Subscript> and <Emphasis Type="Italic">A</Emphasis><Subscript>8</Subscript>

We examine some designs and binary codes constructed from the primitive permutation representations of the groups PSL ₂(8) and PSL ₂(9). For PSL ₂(8) of degree 36, we construct a design and its code with the automorphism groups PSL ₂(8) and S ₉, respectively. For PSL ₂(8) of degree 36 and PSL ₂(9) of degree 15, we construct some designs and its codes invariant under the groups S ₉ and A ₈, respectively. The weight distribution and the dual of these codes are determined. By considering the action of automorphism groups on some of these codes, we obtain the structure of the stabilizer for every codeword and construct some designs such that S ₉ or A ₈ act primitively on them.      

A Selberg integral for the Lie algebra A<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

A new q-binomial theorem for Macdonald polynomials is employed to prove an A _n analogue of the celebrated Selberg integral. This confirms the \mathfrakg = A_n \mathfrak{g} ={\rm{A}}_{n} case of a conjecture by Mukhin and Varchenko concerning the existence of a Selberg integral for every simple Lie algebra \mathfrakg \mathfrak{g} .     

Three realizations of the quantum affine algebra <Emphasis Type="Italic">U</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>(<Emphasis Type="Italic">A</Emphasis><Subscript>2</Subscript><Superscript>(2)</Superscript>

We establish explicit isomorphisms between three realizations of the quantum twisted affine algebra U _q (A ₂ ⁽²⁾: the Drinfeld current realization, the Chevalley realization, and the so-called RLL realization proposed by Reshetikhin, Takhtajan, and Faddeev.     

<Emphasis Type="Italic">S</Emphasis><Subscript><Emphasis Type="Italic">k</Emphasis>,exp</Subscript> Does Not Prove NP = <Emphasis Type="Italic">co</Emphasis>-NP Uniformly

The notion of a uniform sequent-calculus proof is introduced. It is shown that a strengthening, S_k,exp , of the well-studied bounded arithmetic system S_k of Buss does not prove NP = co-NP with a uniform proof. A slightly stronger result that S_k,exp cannot prove uniformly for 2 ≤ k′ ≤ k is also established. A modification of the technique used is applied to show that S_k,exp is unable to prove the Davis-Putnam-Robinson-Matiyasevich theorem. Generalizations of these results to higher levels of the Grzegorczyck hierarchy are presented. Bibliography: 21 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 304, 2003, pp. 99–120.     

The complete reducibility of some <Emphasis Type="Italic">GF</Emphasis>(2)<Emphasis Type="Italic">A</Emphasis><Subscript>7</Subscript>-modules

It is proved that, if G is a finite group with a nontrivial normal 2-subgroup Q such that G/Q ～= A ₇ and an element of order 5 from G acts freely on Q, then the extension G over Q is splittable, Q is an elementary abelian group, and Q is the direct product of minimal normal subgroups of G each of which is isomorphic, as a G/Q-module, to one of the two 4-dimensional irreducible GF(2)A ₇-modules that are conjugate with respect to an outer automorphism of the group A ₇.     

Relative <Emphasis Type="Italic">FI</Emphasis>-injective and <Emphasis Type="Italic">FI</Emphasis>-flat modules

Let R be a ring, n a fixed nonnegative integer and FP _n (F _n ) the class of all left (right) R-modules of FP-injective (flat) dimensions at most n. A left R-module M (resp., right R-module F) is called n-FI-injective (resp., n-FI-flat) if Ext ¹(N,M) = 0 (resp., Tor ₁(F,N) = 0) for any N ∈ FP _n . It is shown that a left R-module M over any ring R is n-FI-injective if and only if M is a kernel of an FP _n -precover f: A → B with A injective. For a left coherent ring R, it is proven that a finitely presented right R-module M is n-FI-flat if and only if M is a cokernel of an F _n -preenvelope K → F of a right R-module K with F projective if and only if M ∈^⊥ F _n . These classes of modules are used to construct cotorsion theories and to characterize the global dimension of a ring.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-Boundedness of general index transforms

We establish the boundedness properties in L _p for a class of integral transformations with respect to an index of hypergeometric functions. In particular, by using the Riesz-Thorin interpolation theorem, we get the corresponding results in L _p (R ₊), 1 p 2, for the Kontorovich-Lebedev, Mehler-Fock, and Olevskii index transforms. An inversion theorem is proved for a general index transformation. The case p=2 is known as the Plancherel-type theory for this class of transformations.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 1, pp. 127–147, January–March, 2005.     

<Emphasis Type="Italic">p</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-sequences of algebras with one fundamental operation

We show that if (p₀, p₁, ...) is the p_n-sequence of a nontrivial algebra with one fundamental operation, then p₁ ≥ p₀. Moreover, if , then p₁ > 2p₀. Received April 21, 2003; accepted in final form November 28, 2005.     

Complete Minors In <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">s,s</Emphasis></Subscript>-Free Graphs

We prove that for a fixed integer s2 every K _s,s -free graph of average degree at least r contains a K _p minor where . A well-known conjecture on the existence of dense K _s,s -free graphs would imply that the value of the exponent is best possible. Our result implies Hadwigers conjecture for K _s,s -free graphs whose chromatic number is sufficiently large compared with s.     

Rings over which all modules are <Emphasis Type="Italic">I</Emphasis><Subscript>0</Subscript>-modules

Let A be a ring that does not contain an infinite set of idempotents that are orthogonal modulo the ideal SI(A _A ). It is proved that all A-modules are I ₀-modules if and only if either A is a right semi-Artinian, right V-ring or A/SI(A _A ) is an Artinian serial ring and the square of the Jacobson radical of A/SI(A _A ) isequal to zero. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 5, pp. 193–200, 2007.     

On the Theory of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>)-Banach Lattices

Given 1≤ p,q < ∞, let BL_pL_q be the class of all Banach lattices X such that X is isometrically lattice isomorphic to a band in some L_p(L_q)-Banach lattice. We show that the range of a positive contractive projection on any BL_pL_q-Banach lattice is itself in BL_pL_q. It is a consequence of this theorem and previous results that BL_pL_q is first-order axiomatizable in the language of Banach lattices. By studying the pavings of arbitrary BL_pL_q-Banach lattices by finite dimensional sublattices that are themselves in this class, we give an explicit set of axioms for BL_pL_q. We also consider the class of all sublattices of L_p(L_q)-Banach lattices; for this class (when p/q is not an integer) we give a set of axioms that are similar to Krivine’s well-known axioms for the subspaces of L_p-Banach spaces (when p/2 is not an integer). We also extend this result to the limiting case q = ∞.     

Multivariate Refinement Equations and Convergence of Cascade Algorithms in Lp（0〈p〈1）Spaces

We consider the solutions of refinement equations written in the form