Maximal regular subsemibands of finite order-preserving transformation semigroups <Emphasis Type="Italic">K</Emphasis>(<Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">r</Emphasis>)

Let O _n be the order-preserving transformation semigroup on X _n . For an arbitrary integer r such that 1≤r≤n−2, we completely describe the maximal regular subsemibands of the semigroup K(n,r)={α∈O _n :|im(α)|≤r}. We also formulate the cardinal number of such subsemigroups.     

Maximal Subsemigroups of Finite Transformation Semigroups K（n, r）

Let Tn be the full transformation semigroup on the n-element set Xn. For an arbitrary integer r such that 2 ≤ r ≤ n-1, we completely describe the maximal subsemigroups of the semigroup K(n, r) = {α∈Tn : |im α| ≤ r}. We also formulate the cardinal number of such subsemigroups which is an answer to Problem 46 of Tetrad in 1969, concerning the number of subsemigroups of Tn.     

Graded central polynomials for the algebra <Emphasis Type="Italic">M</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">K</Emphasis>)

Let M _n (K) be the algebra of all n × n matrices over an infinite field K. This algebra has a natural ℤ _n -grading and a natural ℤ-grading. Finite bases for its ℤ _n -graded identities and for its ℤ-graded identities are known. In this paper we describe finite generating sets for the ℤ _n -graded and for the ℤ-graded central polynomials for M _n (K) Partially supported by CNPq 620025/2006-9     

Maximal subgroups of <Emphasis Type="Italic">GL</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">D</Emphasis>) with finite conjugacy classes

Let D be an infinite division ring. A famous result due to Herstein says that every non-central element of D has infinitely many conjugates and so, if D ^* is an FC-group, then D is a field. Let M be a maximal subgroup of GL _n (D), where n ≥ 1. In this paper, we prove that if M is an FC-group, then it is the multiplicative group of some maximal subfield of M _n (D). Moreover, if M is algebraic over Z(D), then [D : Z(D)] < ∞.     

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 ⁿ ).     

Representations of algebraic groups of type <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> with small weight multiplicities

Lower estimates for the maximal weight multiplicities in irreducible representations of the algebraic groups of type C _n in characteristic p ≤ 7 are found. If n ≥ 8 and p ≠ 2 , then for an irreducible representation either such a multiplicity is at least n− 4 − [n]₄,where [n]₄ is the residue of n modulo 4, or all the weight multiplicities are equal to 1.For p = 2, the situation is more complicated, and for every n and l there exists a class of representations with the maximal weight multiplicity equal to 2 ^l . For symplectic groups in characteristic p > 7 and spinor groups similar results were obtained earlier. Bibliography: 15 titles.     

Strongly continuous semigroups of operators generated by systems of pseudodifferential operators in weighted <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-spaces

This paper considers semigroups of operators generated by pseudodifferential operators in weighted L _p -spaces of vector functions on \mathbbRⁿ {\mathbb{R}^n} (or on a compact manifold without boundary). Sufficient conditions for a semigroup to be strongly continuous and analytic are obtained, conditions for it to be completely continuous are found, and the distribution of the eigenvalues of its infinitesimal generator is examined. Also, an integral representation that singles out the principal term of the semigroup as t → 0+ is established.     

On the Structure of IO n

Abstract. We study the structure of the semigroup IO _n of all order-preserving partial bijections on an n -element set. For this semigroup we describe maximal subsemigroups, maximal inverse subsemigroups, automorphisms and maximal nilpotent subsemigroups. We also calculate the maximal cardinality for the nilpotent subsemigroups in IO _n which happens to be given by the n -th Catalan number.     

Eigenvalues of the Manifold Sp（n）/U（n）

In this paper, we give the eigenvalues of the manifold Sp(n)/U(n). We prove that an eigenvalue λ _s (f ₂, f ₂, …, f _n ) of the Lie group Sp(n), corresponding to the representation with label (f ₁, f ₂, ..., f _n ), is an eigenvalue of the manifold Sp(n)/U(n), if and only if f ₁, f ₂, …, f _n are all even.     

On a new property of <Emphasis Type="Italic">n</Emphasis>-poised and <Emphasis Type="Italic">G</Emphasis><Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> sets

In this paper we consider n-poised planar node sets, as well as more special ones, called G C _n sets. For the latter sets each n-fundamental polynomial is a product of n linear factors as it always holds in the univariate case. A line ? is called k-node line for a node set \(\mathcal X\) if it passes through exactly k nodes. An (n + 1)-node line is called maximal line. In 1982 M. Gasca and J. I. Maeztu conjectured that every G C _n set possesses necessarily a maximal line. Till now the conjecture is confirmed to be true for n ≤ 5. It is well-known that any maximal line M of \(\mathcal X\) is used by each node in \(\mathcal X\setminus M, \)meaning that it is a factor of the fundamental polynomial. In this paper we prove, in particular, that if the Gasca-Maeztu conjecture is true then any n-node line of G C _n set \(\mathcal {X}\) is used either by exactly \(\binom {n}{2}\) nodes or by exactly \(\binom {n-1}{2}\) nodes. We prove also similar statements concerning n-node or (n ? 1)-node lines in more general n-poised sets. This is a new phenomenon in n-poised and G C _n sets. At the end we present a conjecture concerning any k-node line.     

Compact composition operators on BMOA(<Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>)

The paper gives some characterization theorems for the compact composition operator on some function spaces over the unit ball B _n in ℂ ⁿ . Especially, it gives a characterization for compact composition operators on BMOA(B _n ), which generalizes a result proved by Bourdon, Cima and Matheson for the case n = 1.     

Orthosymplectic Quantum Function Superalgebras OSPq（2l＋ 1｜2n）

By the R-matrix of orthosymplectic quantum superalgebra U _q (osp(2l+1|2n)) in the vector representation, we establish the corresponding quantum Hopf superalgebra OSP _q (2l + 1|2n). Furthermore, it is shown that OSP _q (2l + 1|2n) is coquasitriangular.     

Factorization of the r-matrix for the quantum algebra <Emphasis Type="Italic">Uq</Emphasis>(<Emphasis Type="Italic">sl</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>)

We propose a method for construction of the general solution of the Yang–Baxter equation with the U _q (sℓ _n ) symmetry algebra. This method is based on the factorization property of the corresponding L-operator. We present a closed-form expression for the universal R-matrix in the form of a difference operator acting on the space of functions of n(n − 1) variables. Bibliography: 16 titles.     

Best approximation by ridge functions in <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-spaces

We study the approximation of the classes of functions by the manifold R _n formed by all possible linear combinations of n ridge functions of the form r(a · x)): It is proved that, for any 1 ≤ q ≤ p ≤ ∞, the deviation of the Sobolev class W ^r _p from the set R _n of ridge functions in the space L _q (B ^d ) satisfies the sharp order n ^-r/(d-1).     

Equilateral Sets in <Emphasis Type="Italic">l</Emphasis><Stack><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript></Stack>

We show that for every odd integer p 1 there is an absolute positive constantc_p, so that the maximum cardinality of a set of vectors in Rⁿ such that the l_p distance between any pair is precisely 1, is at most c_p n log n. We prove some upper bounds for other l_p norms as well.     

Modular <Emphasis Type="Italic">W</Emphasis> and <Emphasis Type="Italic">H</Emphasis> Type Lie Algebras

The modular Witt algebra W(p, n) and H(p, 2n) are defined on the polynomial rings Z_p[x₁,...,x_n] and Z_p[X₁,...,x_n, y₁,...,y_n] respectively. We generalize Z_p[x₁,...,xn] and Zp[x₁,...,xn, y₁,...,y_n], so we get the generalized W-type and H-type modular Lie algebras. We find all the derivations of W(p, 1).AMS Subject Classification: Primary 17B40, 17B56.     

The Exceptional Compact Symmetric Spaces <Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript> and <Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>/<Emphasis Type="Italic">SO</Emphasis>(4) as Tubes

In the present paper we discuss in detail the cohomogeneity one isometric actions of the Lie groups SU(3) × SU(3) and SU(3) on the exceptional compact symmetric spaces G₂ and G₂/SO(4), respectively. We show that the principal orbits coincide with the tubular hypersurfaces around the totally geodesic singular orbits, and the symmetric spaces G₂ and G₂/SO(4) can be thought of as compact tubes around SU(3) and P², respectively. Moreover, we determine the radii of these tubes and describe the shape operators of the principal orbits. Finally, we apply these results to compute the volumes of the two symmetric spaces.The author was partially supported by the Hungarian National Science and Research Foundation OTKA T032478.     

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 = ∞.     

On <Emphasis Type="Italic">p</Emphasis>-nilpotence and solubility of groups

Recall a result due to O. J. Schmidt that a finite group whose proper subgroups are nilpotent is soluble. The present note extends this result and shows that if all non-normal maximal subgroups of a finite group are nilpotent, then (i) it is soluble; (ii) it is p-nilpotent for some prime p; (iii) if it is not nilpotent, then the number of prime divisors contained in its order is between 2 and k + 2, where k is the number of normal maximal subgroups which are not nilpotent.