POSITIVE MAPS CONSTRUCTED FROM PERMUTATION PAIRS

A property(C) for permutation pairs is introduced. It is shown that if a pair{π_1, π_2} of permutations of(1,2,…,n) has property(C),then the D-type map Φ_(π_1,π_2) on n× n complex matrices constructed from {π_1,π_2} is positive. A necessary and sufficient condition is obtained for a pair {π_1,π_2} to have property(C),and an easily checked necessary and sufficient condition for the pairs of the form {π~p,π~q} to have property(C) is given, whereπ is the permutation defined by π(i) = i + 1 mod n and 1≤ p q≤ n.     

LIE IDEALS, MORITA CONTEXT AND GENERALIZED （α β）-DERIVATIONS

A classical problem in ring theory is to study conditions under which a ring is forced to become commutative. Stimulated from Jacobson＇s famous result, several tech- niques are developed to achieve this goal. In the present note, we use a pair of rings, which are the ingredients of a Morita context, and obtain that if one of the ring is prime with the generalized （α β）-derivations that satisfy certain conditions on the trace ideal of the ring, which by default is a Lie ideal, and the other ring is reduced, then the trace ideal of the reduced ring is contained in the center of the ring. As an outcome, in case of a semi-projective Morita context, the reduced ring becomes commutative.     

Existence of a-fold Perfect （v, {5, 8}, 1）-Mendelsohn Designs

Let v be a positive integer and let K be a set of positive integers. A （v, K, 1）-Mendelsohn design, which we denote briefly by （v, K, 1）-MD, is a pair （X, B） where X is a v-set （of points） and B is a collection of cyclically ordered subsets of X （called blocks） with sizes in the set K such that every ordered pair of points of X are consecutive in exactly one block of B. If for all t =1, 2,..., r, every ordered pair of points of X are t-apart in exactly one block of B, then the （v, K, 1）-MD is called an r-fold perfect design and denoted briefly by an r-fold perfect （v, K, 1）-MD. If K = {k） and r = k - 1, then an r-fold perfect （v, （k）, 1）-MD is essentially the more familiar （v, k, 1）-perfect Mendelsohn design, which is briefly denoted by （v, k, 1）-PMD. In this paper, we investigate the existence of 4-fold perfect （v, （5, 8}, 1）-Mendelsohn designs.     

The Structure of Hopf Bigalois Extension over Noncommutative Rings

For a commutative ring k,the group G in a G-Galois extension A/ k is uniquely deter-mined by the ring extension A/ k.On the contrary,the Hopf algebra H in an H-Galoisextension A/ k is not unique(see[1 ] ) .In[2 ] ,for a commutative Hopf algebra and acommutative faithfully flat H-Galois extension A/ B(B=Aco H) ,the authors constructedanother commutative Hopf algebra Lsuch that A is also a faithfully flat L-Galois ex-tension.P.Schauenburg generalized H and A to noncommutative cases in[…     

A Note on Generalized Long Mo dules

Let HLB be the category of generalized Long modules, that is, H-modules and B-comodules over Hopf algebras B and H. We describe a new Turaev braided group category over generalized Long module HLB （S（π）） where the opposite group S（π） of the semidirect product of the opposite group πopof a group π by π. As an application, we show that this is a Turaev braided group-category HLBfor a quasitriangular Turaev group-coalgebra H and a coquasitriangular Turaev group-algebra B.     

Diameter preserving surjection on alternate matrices

Let F be a field with ｜F｜ ≥ 3, Km be the set of all m × m （m ≥ 4） alternate matrices over F. The arithmetic distance of A, B ∈ Km is d（A, B） ：= rank（A - B）. If d（A, B） = 2, then A and B are said to be adjacent. The diameter of Km is max{d（A, B） ： A, B ∈ km}. Assume that φ ： Km→Km is a map. We prove the following are equivalent： （a） φ is a diameter preserving surjection in both directions, （b） φ is both an adjacency preserving surjection and a diameter preserving map, （c） φ is a bijective map which preserves the arithmetic distance.     

C*-Isomorphisms Associated with Two Projections on a Hilbert C*-Module*

Motivated by two norm equations used to characterize the Friedrichs angle, this paper studies C^*-isomorphisms associated with two projections by introducing the matched triple and the semi-harmonious pair of projections. A triple (P, Q, H) is said to be matched if H is a Hilbert C^*-module, P and Q are projections on H such that their infimum P ∧ Q exists as an element of L(H), where L(H) denotes the set of all adjointable operators on H. The C^*-subalgebras of L(H) generated by elements in {P - P ∧ Q, Q - P ∧ Q, I} and {P, Q, P ∧ Q, I} are denoted by i(P, Q, H) and o(P, Q, H), respectively. It is proved that each faithful representation (π, X) of o(P, Q, H) can induce a faithful representation (π, X e) of i(P, Q, H) such that e π(P - P ∧ Q) = π(P) - π(P) ∧ π(Q),eπ(Q - P ∧ Q) = π(Q) - π(P) ∧ π(Q).When (P, Q) is semi-harmonious, that is, R(P + Q) and R(2I - P - Q) are both orthogonally complemented in H, it is shown that i(P, Q, H) and i(I - Q, I - P, H) are unitarily equivalent via a unitary operator in L(H). A counterexample is constructed, which shows that the same may be not true when (P, Q) fails to be semi-harmonious. Likewise, a counterexample is constructed such that (P, Q) is semi-harmonious, whereas (P, I - Q) is not semi-harmonious. Some additional examples indicating new phenomena of adjointable operators acting on Hilbert C^*-modules are also provided.     

The extension of the first main theorem for π-blocks

Let π be a set of primes and G a π-separable group. Isaacs defines the Bπ characters, which can be viewed as the "π-modular" characters in G, such that the Bp' characters form a set of canonical lifts for the p-modular characters. By using Isaacs' work, Slattery has developed some Brauer's ideals of p-blocks to the π-blocks of a finite π-separable group, generalizing Brauer's three main theorems to the π-blocks. In this paper, depending on Isaacs' and Slattery's work, we will extend the first main theorem for π-blocks.     

Finite groups with seminormal Sylow subgroups

In this paper, we prove the following theorem： Let p be a prime number, P a Sylow psubgroup of a group G and π = π（G） ／ {p}. If P is seminormal in G, then the following statements hold： 1） G is a p-soluble group and P＇ ≤ Op（G）; 2） lp（G） ≤ 2 and lπ（G） ≤ 2; 3） if a π-Hall subgroup of G is q-supersoluble for some q ∈ π, then G is q-supersoluble.     

Ideals in Morita Rings and Morita Semigroups

We characterize the lattice of all ideals of a Morita ring （semigroup） when the corresponding pair of rings （semigroups） in the Morita context are Morita equivalent s-unital （like-unitv） rings （semigroups）.     

Cn中单位球上$mu$-Bloch函数的等价刻画

设$\mu$是$[0,1)$上的正规函数, 给出了${\bf C}^{\it n}$中单位球$B$上$\mu$-Bloch空间$\beta_{\mu}$中函数的几种刻画. 证明了下列条件是等价的: (1) $f\in \beta_{\mu}$; \ (2) $f\in H(B)$且函数$\mu(|z|)(1-|z|^{2})^{\gamma-1}R^{\alpha,\gamma}f(z)$ 在$B$上有界; (3) $f\in H(B)$ 且函数${\mu(|z|)(1-|z|^{2})^{M_{1}-1}\frac{\partial^{M_{1}} f}{\partial z^{m}}(z)}$ 在$B$上有界, 其中$|m|=M_{1}$; (4) $f\in H(B)$ 且函数${\mu(|z|)(1-|z|^{2})^{M_{2}-1}R^{(M_{2})}f(z)}$ 在$B$上有界.     

Entropy Numbers of Embeddings of Weighted Besov Spaces

We investigate the asymptotic behavior of the entropy numbers of the compact embedding $$ B^{s_1}_{p_1,q_1} \!\!(\mbox{\footnotesize\bf R}^d, \alpha) \hookrightarrow B^{s_2}_{p_2,q_2} \!\!({\xxR}). $$ Here $B^s_{p,q} \!({\mbox{\footnotesize\bf R}^d}, \alpha)$ denotes a weighted Besov space, where the weight is given by $w_\alpha (x) = (1+| x |^2)^{\alpha/2}$, and $B^{s_2}_{p_2,q_2} \!({\mbox{\footnotesize\bf R}^d})$ denotes the unweighted Besov space, respectively. We shall concentrate on the so-called limiting situation given by the following constellation of parameters: $s_2 < s_1$, $0 < p_1,p_2 \le \infty$, and $$ \alpha = s_1 - \frac{d}{p_1} - s_2 + \frac{d}{p_2} > d \, \max \Big(0, \frac{1}{p_2}-\frac{1}{p_1}\Big). $$ In almost all cases we give a sharp two-sided estimate.     

Schur–Weyl Theory for C*‐algebras

To each irreducible infinite dimensional representation $(\pi ,\mathcal {H})$ of a C*‐algebra $\mathcal {A}$, we associate a collection of irreducible norm‐continuous unitary representations $\pi _{\lambda }^\mathcal {A}$ of its unitary group ${\rm U}(\mathcal {A})$, whose equivalence classes are parameterized by highest weights in the same way as the irreducible bounded unitary representations of the group ${\rm U}_\infty (\mathcal {H}) = {\rm U}(\mathcal {H}) \cap (\mathbf {1} + K(\mathcal {H}))$ are. These are precisely the representations arising in the decomposition of the tensor products $\mathcal {H}^{\otimes n} \otimes (\mathcal {H}^*)^{\otimes m}$ under ${\rm U}(\mathcal {A})$. We show that these representations can be realized by sections of holomorphic line bundles over homogeneous Kähler manifolds on which ${\rm U}(\mathcal {A})$ acts transitively and that the corresponding norm‐closed momentum sets $I_{\pi _\lambda ^\mathcal {A}}^{\bf n} \subseteq {\mathfrak u}(\mathcal {A})^{\prime }$ distinguish inequivalent representations of this type.     

Unitarily invariant norm and $Q$-norm estimations for the Moore--Penrose inverse of multiplicative perturbations of matrices

Let $B$ be a multiplicative perturbation of $A\in\mathbb{C}^{m\times n}$ given by $B=D_1^* A D_2$, where $D_1\in\mathbb{C}^{m\times m}$ and $D_2\in\mathbb{C}^{n\times n}$ are both nonsingular. New upper bounds for $\Vert B^\dag-A^\dag\Vert_U$ and $\Vert B^\dag-A^\dag\Vert_Q$ are derived, where $A^\dag,B^\dag$ are the Moore-Penrose inverses of $A$ and $B$, and $\Vert \cdot\Vert_U,\Vert \cdot\Vert_Q$ are any unitarily invariant norm and $Q$-norm, respectively. Numerical examples are provided to illustrate the sharpness of the obtained upper bounds.     

Structural Formulas for Orthogonal Matrix Polynomials Satisfying Second-Order Differential Equations, I

We develop structural formulas satisfied by some families of orthogonal matrix polynomials of size $2\times 2$ satisfying second-order differential equations with polynomial coefficients. We consider here two one-parametric families of weight matrices, namely \[ H_{a,1}(t)\;=\;e^{-t^2} \left( \begin{array}{@{}cc@{}} 1+\vert a\vert ^2t^2 & at \\bar at & 1 \end{array} \right) \quad {\rm and} \quad H_{a,2}(t)\;=\;e^{-t^2} \left( \begin{array} {@{}cc@{}} 1+\vert a\vert ^2t^4 & at^2 \\bar at^2 & 1 \end{array} \right), \] $a\in \mbox{\bf C} $ and $t\in \mbox{\bf R} $, and their corresponding orthogonal polynomials.     

Wavelet Transforms Associated to Square Integrable Group Representations on L 2 ( C,H ; dz )

Let SL (2, C ) be the special linear group of 2 ‐ 2 complex matrices with determinant 1 and SU (2) its maximal compact subgroup. Then SL (2, C )/ SU (2) can be realized as the quaternionic upper half-plane $ {\cal H}^c $ . Let SL (2, C ) = NASU (2) be the Iwasawa decomposition and M the centerlizer of A in SU (2). Then P = NA and P a = NAM are the automorphism groups of $ {\cal H}^c $ . In this article, we define the unitary representations of P and P a on L 2 ( C , H ; dz ). From the viewpoint of square integrable group representations we discuss the wavelet transforms, and obtain the orthogonal direct sum decompositions for the function spaces $ L^2({\cal H}^c, \fraca {(dz\, d\rho)}{\rho ^3}) $ and $ L^2({\bf R}^2\times {\bf R}^2, \fraca {dx\, dy\, dx^{\prime }dy^{\prime }}{{({x^{\prime }}^2 + {y^{\prime }}^2)^{\fraca {3}{2}})}} $ .     

多复变μ-Bloch空间上Gleason问题的可解性

设B和U~n分别表示C~n中单位球和多圆柱,并设μ是[0,1]上一个正规函数.对任意给定的b∈B,证明了Gleason问题(B,b,β_μ)是可解的,同时也证明了Gleason问题(U~n,0,β_μ)也是可解的.     

Invariant Theory for Non-Associative Real Two-Dimensional Algebras and Its Applications

The set ${\mathcal A}$ of all non-associative algebra structures on a fixed 2-dimensional real vector space $A$ is naturally a ${\mbox{\rm GL}}(2,{\mbox{\bf R}})$-module. We compute the ring of ${\mbox{\rm SL}}(2,{\mbox{\bf R}})$-invariants in the ring of polynomial functions, ${\mathcal P}$, on ${\mathcal A}$. We use invariant theory to compute the exact number of nonzero idempotents of an arbitrary 2-dimensional real division algebra. We show that the absolute invariants (i.e.,the ${\mbox{\rm GL}}(2, {\mbox{\bf R}})$-invariants in the field of fractions of ${\mathcal P}$) distinguish the isomorphism classes of 2-dimensional non-associative real division algebras. We show that the (open) set $\Omega^+\subset{\mathcal A}$ of all division algebra structures on $A$ has four connected components. A similar result is proved for another class of regular 2-dimensional real algebras (the principal isotopes of the algebra ${\mbox{\bf R}}\oplus{\mbox{\bf R}}$).     

$R^n$空间中的Cauchy积分公式

In this note p(D) = Dm+ b1Dm 1+···+ bmis a polynomial Dirac operator in R~n, where D =nj=1ej xjis a standard Dirac operator in Rn, bjare the complex constant coefficients. In this note we discuss all decompositions of p(D) according to its coefficients bj,and obtain the corresponding explicit Cauchy integral formulae of f which are the solution of p(D)f = 0.