Let S be a prime Noetherian ring and G a finite group acting on 5 such that Gis x-outer on S. We give sufficient conditions for the skew group ring S * Gto be a prime maximal order. If we impose the further hypothesis that the order of Gbe a unit of S, then these conditions are also necessary. Moreover, if S is a commutative Noetherian domain, then there are necessary and sufficient conditions for S*Gto be a prime maximal order, without requiring that the order of G be a unit in S.

Let Г(1) denote the homogeneous modular group of 2 × 2 matrices with integral entries and determinant 1. Let (1) be the inhomogeneous modular group of 2 × 2 integral matrices of determinant 1 in which a matrix is identified with its negative. (N), the principal congruence subgroup of level N, is the subgroup of (1) consisting of all T ∈ (1) for which T ≡ ± I (mod N), where N is a positive integer and I is the identity matrix. A subgroup of (1) is said to be a congruence group of level N if contains (N) and N is the least such integer. Similarly, we denote by Г(N) the principal congruence subgroup of level N of Г(1), consisting of those T∈(1) for which T ≡ I (mod N), and we say that a sub group of Г(1) is a congruence group of level N if contains Г (N) and N is minimal with respect to this property. In a recent paper [9] Rankin considered lattice subgroups of a free congruence subgroup of rank n of (1). By a lattice subgroup of we mean a subgroup of which contains the commutator group . In particular, he showed that, if is a congruence group of level N and if is a lattice congruence subgroup of of level qr, where r is the largest divisor of qr prime to N, then N divides q and r divides 12. He then posed the problem of finding an upper bound for the factor q. It is the purpose of this paper to find such an upper bound for q. We also consider bounds for the factor r.

Let G be a group. We define λ(G) to be the smallest integer n such that every element of the commutator subgroup G′ is a product of n commutators. Ito [4] has shown that λ (An)= 1 for all n. Thompson [7] has shown that λ (SLn(q))= 1 for all n and q. In fact, there is no known simple group G such that λ(G)>1. However, there do exist such perfect groups (cf. [7]).

This note draws together and extends two recent results on Diophantine approximation and Hausdorff dimension. The first, by Hinokuma and Shiga [12], considers the oscillating error function | sinq|/qτ rather than the strictly decreasing function qτ of Jarnik's theorem. The second is Rynne's extension [17] to systems of linear forms of Borosh and Fraenkel's paper [3] on restricted Diophantine approximation with real numbers. Rynne's result will be extended to a class of general error functions and applied to obtain a more general form of [12] in which the error function is any positive function.

A-Weyl's theorem and property (ω), as two variations of Weyl's theorem, were introduced by Rakočević. In this paper, we study a-Weyl's theorem and property (ω) for functions of bounded linear operators. A necessary and sufficient condition is given for an operator T to satisfy that f(T) obeys a-Weyl's theorem (property (ω)) for all f ∈ Hol(σ(T)). Also we investigate the small-compact perturbations of operators satisfying a-Weyl's theorem (property (ω)) in the setting of separable Hilbert spaces.

In this paper, we discuss implications of the results obtained in [5]. It was shown there that eigenvectors of the Bethe algebra of the quantum N Gaudin model are in a one-to-one correspondence with Fuchsian differential operators with polynomial kernel. Here, we interpret this fact as a separation of variables in the N Gaudin model. Having a Fuchsian differential operator with polynomial kernel, we construct the corresponding eigenvector of the Bethe algebra. It was shown in [5] that the Bethe algebra has simple spectrum if the evaluation parameters of the Gaudin model are generic. In that case, our Bethe ansatz construction produces an eigenbasis of the Bethe algebra.

In this paper we prove that if M_C=\pmatrix {A&#TAB;C\cr0&#TAB;B} is a 2\times 2 upper triangular operator matrix on the Hilbert space H\bigoplus K and if \sigma (A)\cap \sigma (B)=\emptyset , then \sigma is continuous at A and B if and only if \sigma is continuous at M_C, for every C\in B(K,H{\hskip1}).

The purpose of this paper is to study finiteness conditions on injective hulls of simple modules over Noetherian down-up algebras. We will show that the Noetherian down-up algebras A(α, β, γ) which are fully bounded are precisely those which are module-finite over a central subalgebra. We show that injective hulls of simple A(α, β, γ)-modules are locally Artinian provided the roots of X2 − αX − β are distinct roots of unity or both equal to 1.

§ 1. Introductory. The formula to be proved is

where b>0.

Extending the so called coupled KP hierarchy to negative time flows one obtains coupled Toda-type equations defined on a two-dimensional lattice. These equations allow for reductions to 1+1 dimensional integrable systems that are defined on a finite part of this lattice. A system of coupled Hirota bilinear equations, obtained from such a reduction and defined on only 5 points of the lattice, will be shown to correspond to a coupling of a Tzitzeica equation to two linear equations. The Lax representation of this system is also presented.

Suppose that $A$ and $B$ are ‘isoloid’ operators acting on a complex Banach space, that is, every isolated point of their spectra is an eigenvalue. In this note it is shown that if Weyl's theorem holds for both $A$ and $B$ then it holds for $A\otimes B$.

An exact solution of triple trigonometrical equations is obtained by using the finiteHilbert transform. The solution of these equations is used to solve a two-dimensional electrostatic problem. The problem of determining the electrostatic potential due to two parallel coplanar strips of equal length, charged to equal and opposite potentials, each parallel to and equidistant from an earthed strip, is considered. Both the charged strips lie along the x-axis and they are equally spaced with respect to the y-axis. Finally the expression for the surface charge density (per unit depth) of the strip is derived

We show that there exists a locally compact separable metrizable space $L$ such that $C_{0}(L)$, the Banach space of all continuous complex-valued functions vanishing at infinity with the supremum norm, is almost transitive. Due to a result of Greim and Rajagopalan [3], this implies the existence of a locally compact Hausdorff space $\tilde L$ such that $C_{0}(\tilde L)$ is transitive, disproving a conjecture of Wood [9]. We totally owe our construction to a topological characterization due to Sánches [8].

Two coupled bilinear equations are considered, and then two new coupled differential-difference systems are found. Also two special reductions of these two systems are studied. By using Hirota's method, Bäcklund transformation and superposition formulae, soliton solutions to these equations are presented.

Let H ≤ K be subgroups of a group G. We say that H is strongly closed in K with respect to G if whenever ag ∈ K, where a ∈ H, g ∈ G, then ag ∈ H. In this paper, we investigate the structure of a group G under the assumption that every subgroup of order 2m (and 4 if m = 1) of a 2-Sylow subgroup S of G is strongly closed in S with respect to G. Some results related to 2-nilpotence and supersolvability of a group G are obtained. This is a complement to Guo and Wei (J. Group Theory13(2) (2010), 267–276).

We find the lower bound for the norm of the Hilbert matrix operator H on the weighted Bergman space Ap,α

\begin{equation*} \|H\|_{A^{p,\alpha}\rightarrow A^{p,\alpha}}\geq\frac{\pi}{\sin{\frac{(\alpha+2)\pi}{p}}}, \,\, \textnormal{for} \,\, 1<\alpha+2<p. \end{equation*}

$\frac{\pi}{\sin{\frac{(\alpha+2)\pi}{p}}}$

In this paper we investigate existence and nonexistence of positive solutions for inhomogeneous semilinear elliptic systems in $R^n$. A criteria of existence and nonexistence of positive solutions is given by the exponents of the rate of nonlinear terms at infinity.

We denote the numerical range of the normal operator T by W(T). A characterization is given to the points in W(T) that lie on the boundary. The collection of such boundary points together with the interior of the the convex hull of the spectrum of T will then be the set W(T). Moreover, it is shown that such boundary points reveal a lot of information about the normal operator. For instance, such a boundary point always associates with an invariant (reducing) subspace of the normal operator. It follows that a normal operator acting on a separable Hilbert space cannot have a closed strictly convex set as its numerical range. Similar results are obtained for the Davis-Wielandt shell of a normal operator. One can deduce additional information of the normal operator by studying the boundary of its Davis-Wielandt shell. Further extension of the result to the joint numerical range of commuting operators is discussed.

In [6], Wong defined a quasi-permutation group of degree n to be a finite group G of automorphisms of an n-dimensional complex vector space such that every element of G has non-negative integral trace. The terminology derives from the fact that if G is a finite group of permutations of a set ω of size n, and we think of G as acting on the complex vector space with basis ω, then the trace of an element g ∈ G is equal to the number of points of ω fixed by g. In [6] and [7], Wong studied the extent to which some facts about permutation groups generalize to the quasi-permutation group situation. Here we investigate further the analogy between permutation groups and quasipermutation groups by studying the relation between the minimal degree of a faithful permutation representation of a given finite group G and the minimal degree of a faithful quasi-permutation representation. We shall often prefer to work over the rational field rather than the complex field.

A tensor is said to be isotropic relative to a group of transformations if its components are invariant under the associated group of coordinate transformations. In this paper we review the classification of tensors which are isotropic under the general linear group, the special linear (unimodular) group and the rotational group. These correspond respectively to isotropic absolute tensors [4, 8] isotropic relative tensors [4] and isotropic Cartesian tensors [3]. New proofs are given for the representation of isotropic tensors in terms of Kronecker deltas and alternating tensors. And, for isotropic Cartesian tensors, we provide a complete classification, clarifying results described in [3].

In the final section of the paper certain derivatives of isotropic tensor fields are examined.