On constant <Emphasis Type="Italic">Uq</Emphasis>(<Emphasis Type="Italic">sl</Emphasis><Subscript>2</Subscript>)-invariant <Emphasis Type="Italic">R</Emphasis>-matrices

We consider the spectral resolution of a Uq (sl ₂)-invariant solution R of the constant Yang–Baxter equation in the braid group form. It is shown that if the two highest coefficients in this resolution are not equal, then R is either the Drinfeld R-matrix or its inverse. Bibliography: 13 titles.     

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     

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.     

Some isomorphism results for Thompson-like groups <Emphasis Type="Italic">V</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">G</Emphasis>)

The natural automorphism group of a translation surface is its group of translations. For finite translation surfaces of genus g ≥ 2 the order of this group is naturally bounded in terms of g due to a Riemann–Hurwitz formula argument. In analogy with classical Hurwitz surfaces, we call surfaces which achieve the maximal bound Hurwitz translation surfaces. We study for which g there exist Hurwitz translation surfaces of genus g.     

Properties of element orders in covers for L<Subscript>n</Subscript>(<Emphasis Type="Italic">q</Emphasis>) and U<Subscript>n</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

We show that if a finite simple group G, isomorphic to PSL_n(q) or PSU_n(q) where either n ≠ 4 or q is prime or even, acts on a vector space over a field of the defining characteristic of G; then the corresponding semidirect product contains an element whose order is distinct from every element order of G. We infer that the group PSL_n(q), n ≠ 4 or q prime or even, is recognizable by spectrum from its covers thus giving a partial positive answer to Problem 14.60 from the Kourovka Notebook.     

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.     

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.     

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)] < ∞.     

On the directions problem in <Emphasis Type="Italic">AG</Emphasis>(<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)

We prove that if q = p ^h , p a prime, do not exist sets U í AG(n,q){U {\subseteq} AG(n,q)}, with |U| = q ^k and 1 < k < n, determining N directions where

Cyclotomic Hecke Algebras of <Emphasis Type="Italic">G</Emphasis>(<Emphasis Type="Italic">r</Emphasis>, <Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">n</Emphasis>)

In this note, we find a monomial basis of the cyclotomic Hecke algebra \({\mathcal{H}_{r,p,n}}\) of G(r,p,n) and show that the Ariki-Koike algebra \({\mathcal{H}_{r,n}}\) is a free module over \({\mathcal{H}_{r,p,n}}\), using the Gröbner-Shirshov basis theory. For each irreducible representation of \({\mathcal{H}_{r,p,n}}\), we give a polynomial basis consisting of linear combinations of the monomials corresponding to cozy tableaux of a given shape.     

Periodic Groups Saturated with the Groups <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

Given an indexing set I and a finite field K_α for each α ∈ I, let ? = {L₂(K_α) | α ∈ I} and \(\mathfrak{N} = \{ SL_2 (K_\alpha )|\alpha \in I\}\). We prove that each periodic group G saturated with groups in \(\Re (\mathfrak{N})\) is isomorphic to L₂(P) (respectively SL₂(P)) for a suitable locally finite field P.     

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

Structure theorems of <Emphasis Type="Italic">E</Emphasis>(<Emphasis Type="Italic">n</Emphasis>)-Azumaya algebras

Let k be a field and E(n) be the 2 ⁿ⁺¹-dimensional pointed Hopf algebra over k constructed by Beattie, Dăscălescu and Grünenfelder [J. Algebra, 2000, 225: 743–770]. E(n) is a triangular Hopf algebra with a family of triangular structures R _M parameterized by symmetric matrices M in M _n (k). In this paper, we study the Azumaya algebras in the braided monoidal category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } and obtain the structure theorems for Azumaya algebras in the category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } , where M is any symmetric n×n matrix over k.     

Exponentially Many Monochromatic <Emphasis Type="Italic">n</Emphasis>-Matchings in <Emphasis Type="Italic">K</Emphasis><Subscript>3<Emphasis Type="Italic">n</Emphasis>-1</Subscript>

Erdös et al and Gerencsér et al had shown that in any 2-edge-coloring of K _3n-1, there is a n-matching containing edges with the same color(we call such matching monochromatic matching). In this paper we show that for any 2-edge-coloring of K _3n-1 there exists a monochromatic subgraph H of K _3n-1 which contains exponentially many monochromatic n-matchings.     

Continuous <Emphasis Type="Italic">l</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">p</Emphasis></Subscript>-symmetric distributions

For p > 0, the l _n,p -generalized surface measure on the l _n,p -unit sphere is studied and used for deriving a geometric measure representation for l _n,p -symmetric distributions having a density.     

On the centers of quantum groups of <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-type

Let g be the finite dimensional simple Lie algebra of type An, and let U? = U _q (g,Λ) and U = U _q (g,Q) be the quantum groups defined over the weight lattice and over the root lattice, respectively. In this paper, we find two algebraically independent central elements in U? for all n ≥ 2 and give an explicit formula of the Casimir elements for the quantum group U? = U _q (g,Λ), which corresponds to the Casimir element of the enveloping algebra U(g). Moreover, for n = 2 we give explicitly generators of the center subalgebras of the quantum groups U? = U _q (g,Λ) and U = U _q (g,Q).     

Structure of the semigroup <Emphasis Type="Italic">OT</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

We study the structure of the semigroup OT _n , which is a unique (up to an isomorphism) R-section of the semigroup T _n . For this semigroup, we describe Green relations, determine regular and nilpotent elements, describe maximal nilpotent subsemigroups, and determine the unique irreducible system of generatrices and maximal subsemigroups.     

Asymptotics of the Codimensions <Emphasis Type="Italic">c</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> in the Algebra <Emphasis Type="Italic">F</Emphasis><Superscript>(7)</Superscript>

The paper studies the additive structure of the algebra F⁽⁷⁾, i.e., a relatively free associative countably generated algebra with the identity [x₁,..., x₇] = 0 over an infinite field of characteristic ≠ 2, 3. First, the space of proper multilinear polynomials in this algebra is investigated. As an application, estimates for the codimensions c_n = dimF_n⁽⁷⁾ are obtained, where F_n⁽⁷⁾ stands for the subspace of multilinear polynomials of degree n in the algebra F⁽⁷⁾.     

Pure <Emphasis Type="Italic">B</Emphasis>(<Emphasis Type="Italic">n</Emphasis>)-subgroups of completely decomposable groups

We show a simple way to determine purity for a B(n)-group contained in a completely decomposable group.