On subgroups of the general linear group that contain a maximal nonsplit torus

The paper deals with the structure of intermediate subgroups of the general linear group GL(n, k) of degree n over a field k of odd characteristic that contain a nonsplit maximal torus related to a radical extension of degree n of the ground field k. The structure of ideal nets over a ring that determine the structure of intermediate subgroups containinga transvection is given. Let K = k( ⁿ?{d} ) K = k\left( {\sqrt[n]{d}} \right) be a radical degree-n extension of a field k of odd characteristic, and let T =(d) be a nonsplit maximal torus, which is the image of the multiplicative group of the field K under the regular embedding in G =GL(n, k). In the paper, the structure of intermediate subgroups H, T ≤ H ≤ G, that contain a transvection is studied. The elements of the matrices in the torus T = T (d) generate a subring R(d) in the field k.Let R be an intermediate subring, R(d) ⊆ R ⊆ k, d ∈ R. Let σ_R denote the net in which the ideal dR stands on the principal diagonal and above it and all entries of which beneath the principal diagonal are equal to R. Let σ^R denote the net in which all positions on the principal diagonal and beneath it are occupied by R and all entries above the principal diagonal are equal to dR. Let E(σ_R) be the subgroup generated by all transvections from the net group G(σ_R). In the paper it is proved that the product TE(σ_R) is a group (and thus an intermediate subgroup). If the net σ associated with an intermediate subgroup H coincides with σ_R,then TE(σ_R) ≤ H ≤ N(σ_R),where N(σ_R) is the normalizer of the elementary net group E(σ_R) in G. For the normalizer N(σ_R),the formula N(σ_R)= TG(σ^R) holds. In particular, this result enables one to describe the maximal intermediate subgroups. Bibliography: 13 titles.     

Jacobson radical of skew polynomial rings and skew group rings

LetR be a ring and σ an automorphism ofR. We prove the following results: (i)J(R _σ[x])={Σ_ir_i x ⁱ:r₀∈I∩J(R]), r _i∈I for alliε 1} whereI↪ {r∈R:rx ∈J(R _Σ[x])|s= (ii)J(R _σ<x>)=(J(R _σ<x>)∩R)_σ<x>. As an application of the second result we prove that ifG is a solvable group such thatG andR, + have disjoint torsions thenJ(R)=0 impliesJ(R(G))=0.     

On the finiteness of a field-theoretic invariant for commutative rings

If T is a (commutative unital) ring extension of a ring R, then Λ(T /R) is defined to be the supremum of the lengths of chains of intermediate fields between R _P /P R _P and T _Q /QT _Q , where Q varies over Spec(T) and P:= Q ∩ R. The invariant σ(R):= sup Λ(T/R), where T varies over all the overrings of R. It is proved that if Λ(S/R)< ∞ for all rings S between R and T, then (R, T) is an INC-pair; and that if (R, T) is an INC-pair such that T is a finite-type R-algebra, then Λ(T/R)< ∞. Consequently, if R is a domain with σ(R) < ∞, then the integral closure of R is a Prüfer domain; and if R is a Noetherian G-domain, then σ(R) < ∞, with examples showing that σ(R) can be any given non-negative integer. Other examples include that of a onedimensional Noetherian locally pseudo-valuation domain R with σ(R)=∞.     

The conservative model of a dissipative dynamical system

Let R_σ be the response operator of a dissipative dynamical system (DS) governed by the equation u_tt−σu_t−u_xx=0, x>0, where σ=σ(x)≧0. Let R_q be the response operator of a conservative DS governed by the equation u_tt−u_xx+qu=0, x>0, where q=q(x) is real. We demonstrate that for any dissipative DS there exists a unique conservative DS (the “model”) such that R_σ=R_q. Bibliography: 10 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 230, 1995, pp. 21–35. Translated by M. I. Belishev.     

Representation ofL p-norms and isometric embedding inL p-spaces

For fixed 1≦p<∞ theL _p-semi-norms onR ⁿ are identified with positive linear functionals on the closed linear subspace ofC(R ⁿ ) spanned by the functions |<ξ, ·>| ^p , ξ∈R ⁿ . For every positive linear functional σ, on that space, the function Φ_σ:R ⁿ →R given by Φ_σ is anL _p-semi-norm and the mapping σ→Φ_σ is 1-1 and onto. The closed linear span of |<ξ, ·>| ^p , ξ∈R ⁿ is the space of all even continuous functions that are homogeneous of degreep, ifp is not an even integer and is the space of all homogeneous polynomials of degreep whenp is an even integer. This representation is used to prove that there is no finite list of norm inequalities that characterizes linear isometric embeddability, in anyL _p unlessp=2. Supported by the National Science Foundation MCS-79-06634 at U.C. Berkeley.     

On quasi-similarity of subnormal operators

For a compact subset K in the complex plane, let Rat(K) denote the set of the rational functions with poles off K. Given a finite positive measure with support contained in K, let R2(K,v) denote the closure of Rat(K) in L2(v) and let Sv denote the operator of multiplication by the independent variable z on R2(K, v), that is, Svf = zf for every f∈R2(K, v). SupposeΩis a bounded open subset in the complex plane whose complement has finitely many components and suppose Rat(Ω) is dense in the Hardy space H2(Ω). Letσdenote a harmonic measure forΩ. In this work, we characterize all subnormal operators quasi-similar to Sσ, the operators of the multiplication by z on R2(Ω,σ). We show that for a given v supported onΩ, Sv is quasi-similar to Sσif and only if v/■Ω■σ and log(dv/dσ)∈L1(σ). Our result extends a well-known result of Clary on the unit disk.     

Kernel estimation for stationary density of Markov chains with general state space

Let {X _n } _n ≥0 be a Markov chain with stationary distributionf(x)ν(dx), ν being a σ-finite measure onE⊂R ^d . Under strict stationarity and mixing conditions we obtain the consistency and asymptotic normality for a general class of kernel estimates off(·). When the assumption of stationarity is dropped these results are extended to geometrically ergodic chains. Partially supported by CAPES. Partially supported by CNPq, PROCAD/CAPES, PRONEX/FAPDF and FINATEC/UnB.     

On tests of hypotheses about treatment effects and treatmentX places interactions,in two heteroscedastic experiments

Summary Suppose we have two independent experiments conducted with a set of ‘t’ treatments each, at different places. This paper deals with two interesting problems of testing of hypotheses associated with these experiments. The first problem deals with the test of the equality of the respective treatment effects in the two experiments. The second problem is concerned with the testing of the equality of treatment into places interactions. Though we assume normality, the variance σ ₁ ² in one experiment is assumed different from the variance σ ₂ ² in the other experiment. When no information is available aboutR=σ ₁ ² /(σ ₁ ² +σ ₂ ² ) except that 0≦R≦1, tests known as ‘bilateral tests’ are proposed in the literature, to test the hypotheses mentioned above. This paper studies some important small sample properties of these bilateral tests. More specifically we study the probability of the first and second kind of error of these bilateral tests as a function ofR. When the two experiments have the same number of observations on each treatment, the bilateral test is shown to control the first kind of error. Fort=1,2, the level of these tests is a strictly convex function ofR and hence these tests can be very conservative. Some power properties of these tests are also obtained. Two tests which are equivalent to the bilateral tests for large sample sizes, and which are superior to the bilateral tests for small sample sizes, are obtained.     

Theorems for generalized Favard-Kantorovich and Favard-Durrmeyer operators in exponential function spaces

We consider the Kantorovich and the Durrmeyer type modifications of the generalized Favard operators and we prove some direct approximation theorems for functions f such that w _σ f ∈ L _p (R), where 1 ≤ p ≤ ∞ and w _σ (x) = exp(−σx ²), σ > 0.     

The quotient field as a torsion-free covering module

R will denote a commutative integral domain with quotient fieldQ. A torsion-free cover of a moduleM is a torsion-free moduleF and anR-epimorphism σ:F→M such that given any torsion-free moduleG and λ∈Hom _R (G, M) there exists μ∈Hom _R (G,F) such that σμ=λ. It is known that ifM is a maximal ideal ofR, R→R/M is a torsion-free cover if and only ifR is a maximal valuation ring. LetE denote the injective hull ofR/M thenR→R/M extends to a homomorphismQ→E. We give necessary and sufficient conditions forQ→E to be a torsion-free cover.     

On the Isolated Points of the Spectrum of Paranormal Operators

For paranormal operator T on a separable complex Hilbert space we show that (1) Weyl’s theorem holds for T, i.e., σ(T) \ w(T) = π₀₀(T) and (2) every Riesz idempotent E with respect to a non-zero isolated point λ of σ(T) is self-adjoint (i.e., it is an orthogonal projection) and satisfies that ranE = ker(T − λ) = ker(T − λ)^*.     

All idempotent hypersubstitutions of type (2,2)

A hypersubstitution of type (2,2) is a map σ which takes the binary operation symbols f and g to binary terms σ(f) and σ(g). Any such σ can be inductively extended to a map on the set of all terms of type (2,2). By using this extension on the set Hyp(2,2) of all hypersubstitutions of type (2,2) a binary operation can be defined. Together with the identity hypersubstitution mapping f to f(x ₁,x ₂) and g to g(x ₁,x ₂) the set Hyp(2,2) forms a monoid. This monoid is isomorphic to the endomorphism monoid of the clone of all binary terms of type (2,2). We determine all idempotent elements of this monoid. The results can be applied to the equational theory of Universal Algebra.     

Goldie Conditions for Ore Extensions over Semiprime Rings

Let R be a ring, σ an injective endomorphism of R and δ a σ-derivation of R. We prove that if R is semiprime left Goldie then the same holds for the Ore extension R[x;σ,δ] and both rings have the same left uniform dimension. Presented by S. Montgomery Mathematics Subject Classification (2000) 16S90. Jerzy Matczuk: Supported by the Flemish–Polish bilateral agreement BIL 01/31.     

On approximation of functions on sphere

Let f be an integrable function on the unit sphere Σ _n−1 of R ⁿ (n⩾3) and let σ _N ^δ be the Cesàro means of order σ of the Fourier-Laplace series of f. The special value λ:=n−2/2 of σ is known as the critical index. This paper proves that      

Normal Quadratics in Ore Extensions,Quantum Planes,and Quantized Weyl Algebras

Let R be a Noetherian domain and let (σ,δ) be a quasi-derivation of R such that σ is an automorphism. There is an induced quasi-derivation on the classical quotient ring Q of R. Suppose F=t ²−v is normal in the Ore extension R[t;σ,δ] where v∈R. We show F is prime in R[t;σ,δ] if and only if F is irreducible in Q[t;σ,δ] if and only if there does not exist w∈Q such that v=σ(w)w−δ(w). We apply this result to classify prime quadratic forms in quantum planes and quantized Weyl algebras.     

Biinvertible actions of Hopf algebras

We study actions of a Hopf algebraH on an algebraR such that the action is twisted by an invertible mapσ:H⊗H →R; the biinvertible condition means that these actions also have both an inverse and an antiinverse in Hom(H, EndR). WhenR is an ordinaryH-module algebra, the action is biinvertible if the antipose is bijective. As a new example we show that if theH-action is twisted and the coradical ofH is cocommutative, then the action is biinvertible. After studying the continuity of these actions with respect to the filter of ideals ofR with zero annihilator, we consider when the actions may be extended to the symmetric Martindale quotient ring ofR and itsH-analog. Our results can be applied to crossed productsR# _σ . Research supported by NSF Grant No. 89-01491.     

NS Condition of Admissibility for the Linear Estimator of Normal Mean with Unknown Variance

Suppose Y - N（β, σ^2 In）, where β ∈ R^n and σ^2 〉 0 are unknown. We study the admissibility of linear estimators of mean vector under a quadratic loss function. A necessary and sufficient condition of the admissible linear estimator is given.     

Stability of <Emphasis Type="Italic">C</Emphasis>-regularized Semigroups

Let T = (T(t))t≥0 be a bounded C-regularized semigroup generated by A on a Banach space X and R(C) be dense in X. We show that if there is a dense subspace Y of X such that for every x ∈ Y, σu(A, Cx), the set of all points λ ∈ iR to which (λ - A)^-1 Cx can not be extended holomorphically, is at most countable and σr(A) N iR = Ф, then T is stable. A stability result for the case of R(C) being non-dense is also given. Our results generalize the work on the stability of strongly continuous senfigroups.     

Lattice Points, Dedekind Sums, and Ehrhart Polynomials of Lattice Polyhedra

   Abstract. Let σ be a simplex of R ^N with vertices in the integral lattice Z ^N . The number of lattice points of mσ (={mα : α ∈ σ}) is a polynomial function L(σ,m) of m ≥ 0 . In this paper we present: (i) a formula for the coefficients of the polynomial L(σ,t) in terms of the elementary symmetric functions; (ii) a hyperbolic cotangent expression for the generating functions of the sequence L(σ,m) , m ≥ 0 ; (iii) an explicit formula for the coefficients of the polynomial L(σ,t) in terms of torsion. As an application of (i), the coefficient for the lattice n -simplex of R ⁿ with the vertices (0,. . ., 0, a _j , 0,. . . ,0) (1≤ j≤ n) plus the origin is explicitly expressed in terms of Dedekind sums; and when n=2 , it reduces to the reciprocity law about Dedekind sums. The whole exposition is elementary and self-contained.     

Double stage estimation of population variance

Summary Consider a normal population with mean μ and variance σ². We are interested in the estimation of population variance with the help of guess value σ ₀ ² and a sample of observations. In this paper, a double stage shrinkage estimator based on the shrinkage estimatorks ₁ ² +(1-k)σ ₀ ² ifs ₁ ² ∈R and the usual estimator ifs ₁ ² ∋R, whereR is some specified region, have been proposed. The expressions for bias and mean squared error have been obtained. Comparison with the usual estimators ² have been made. It was found that though the largest gain is obtained fork=0, we can use with 0≦k≦1/2 even when σ² is very close to σ ₀ ²