*-Polynomial Identities of Matrices with the Symplectic Involution: The Low Degrees

Abstract

The *-polynomial identities of minimal degree of M _n (F) are determined for n = 2, 4, * the symplectic involution.     

On One Class of Matrix Topological *-Algebras

We study a matrix algebra M _n(U), where U is a commutative topological nuclear entire (bounded, analytic) *-algebra. We prove that M _n(U) is also a topological nuclear entire (bounded, analytic) *-algebra.     

Some Maximal Function Fields and Additive Polynomials

We derive explicit equations for the maximal function fields F over 𝔽 _{q ²ⁿ} given by F = 𝔽 _{q ²ⁿ} (X, Y) with the relation A(Y) = f(X), where A(Y) and f(X) are polynomials with coefficients in the finite field 𝔽 _{q ²ⁿ} , and where A(Y) is q-additive and deg(f) = q ⁿ  + 1. We prove in particular that such maximal function fields F are Galois subfields of the Hermitian function field H over 𝔽 _{q ²ⁿ} (i.e., the extension H/F is Galois).     

Trace Identities for Matrices with the Transpose Involution

Independently, Razmyslov and Procesi have shown that for a field F of characteristic 0 all trace PIs (and thus all PIs) for M _n (F) lie in the T-ideal generated by the characteristic polynomial. Procesi then proved that for (M _n , t), an algebra with (transpose) involution, all *-trace PIs lie in the *-T-ideal generated by a set of n + 1 *-trace PIs. This result proved the existence of the n + 1 *-trace PIs, but no explicit formulas. In this paper we further investigate these n + 1 *-trace PIs by first constructing a closely related set of so-called “pure-trace” *-PIs and then giving examples and applications to illuminate our results.     

On *-Clean Group Rings II

A ring with involution * is called *-clean if each of its elements is the sum of a unit and a projection (*-invariant idempotent). Recently, Gao, Chen, and Li obtained necessary and sufficient conditions for RG to be *-clean, where R is a commutative local ring and G is one of C₃, C₄, S₃, and Q₈. Most recently, Li, Yuan, and Parmenter gave a complete characterization of when the group algebra FC_p is *-clean, where F is a field and C_p is a cyclic group of prime order p. In this article, we extend the above mentioned result from FC_p to F_qC_p^k, where F_q is a finite field and C_p^k is a cyclic group of an odd prime power order p^k. For the general case when G = C_n is cyclic group of order n, we also provide a necessary condition and a few sufficient conditions for F_qC_n to be *-clean.     

Annihilator Properties of Skew Monoid Rings

Let R be a ring with an endomorphism σ and F ∪ {0} the free monoid generated by U = {u ₁,…, u _t } with 0 added, and M a factor of F setting certain monomial in U to 0, enough so that, for some n, M ⁿ  = 0. In this article, we study various annihilator properties and a variety of conditions and related properties that the skew monoid ring R[M; σ] is inherited from R.     

Calculus of Functorial Morphisms

We prove that, if F, G: 𝒞 → 𝒟 are two right exact functors between two Grothendieck categories such that they commute with coproducts and U is a generator of 𝒞, then there is a bijection between Nat(F, G) and the centralizer of Hom_𝒟(F(U), G(U)) considered as an Hom_𝒞(U, U)-Hom_𝒞(U, U)-bimodule. We also prove a dual of this result and give applications to Frobenius functors between Grothendieck categories.     

An Annihilator Condition with Generalized Derivations on Multilinear Polynomials

Let R be a non-commutative prime ring of characteristic different from 2, U its right Utumi quotient ring, C its extended centroid, F a generalized derivation on R, and f(x ₁,…, x _n ) a noncentral multilinear polynomial over C. If there exists a ∈ R such that, for all r ₁,…, r _n  ∈ R, a[F ²(f(r ₁,…, r _n )), f(r ₁,…, r _n )] = 0, then one of the following statements hold: 1. a = 0;

2. There exists λ ∈C such that F(x) = λx, for all x ∈ R;

3. There exists c ∈ U such that F(x) = cx, for all x ∈ R, with c ² ∈ C;

4. There exists c ∈ U such that F(x) = xc, for all x ∈ R, with c ² ∈ C.

     

FUNCTORIAL PROPERTIES OF THE HOPF INVARIANT I

Abstract

Homotopy operations Θ: [ΣY, U] → [ΣY, V] which are natural in Y are considered. In particular a technique used in the definition of the Hopf invariant (as treated by Berstein-Hilton) shows that any fibration p: E → B with fiber V, when provided with a homotopy section of Ωp, determines such a homotopy operation [ΣY, E] → [ΣY, V]. More generally, starting from a track class of homotopies α º f ? β º g we adapt this fibration technique to construct a homotopy operation [ΣY, M(f,g)] → [ΣY, F _α * F _β] called a Hopf invariant. The intervening fibration in the definition of this Hopf invariant arises via the fiberwise join construction.     

Linear operators preserving unitarily invariant norms of matrices

Let F _{m × n} be the set of all m × n matrices over the field F = C or R Denote by U_n (F) the group of all n × n unitary or orthogonal matrices according as F = C or F-R. A norm N() on F m ×n, is unitarily invariant if N(UAV) = N(A): for all A ∈ F _m×n U ∈ U _m (F). and V ∈ U_n (F). We characterize those linear operators T F _{m × n} → F _{m × n} which satisfy N (T(A)) = N(A)for all A ∈ F _{m × n}

for a given unitarily invariant norm N(). It is shown that the problem is equivalent to characterizing those operators which preserve certain subsets in F _{m × n} To develop the theory we prove some results concerning unitary operators on F _{m × n} which are of independent interest.     

The Small Index Property for Free Nilpotent Groups

Let F be a relatively free algebra of infinite rank ?. We say that F has the small index property if any subgroup of Γ = Aut(F) of index at most ? contains the pointwise stabilizer Γ_(U) of a subset U of F of cardinality less than ?. We prove that every infinitely generated free nilpotent/abelian group has the small index property, and discuss a number of applications.     

Commuting Graphs of Matrix Algebras

The commuting graph of a ring R, denoted by Γ(R), is a graph whose vertices are all noncentral elements of R, and two distinct vertices x and y are adjacent if and only if xy = yx. The commuting graph of a group G, denoted by Γ(G), is similarly defined. In this article we investigate some graph-theoretic properties of Γ(M _n (F)), where F is a field and n ≥ 2. Also we study the commuting graphs of some classical groups such as GL _n (F) and SL _n (F). We show that Γ(M _n (F)) is a connected graph if and only if every field extension of F of degree n contains a proper intermediate field. We prove that apart from finitely many fields, a similar result is true for Γ(GL _n (F)) and Γ(SL _n (F)). Also we show that for two fields F and E and integers n, m ≥ 2, if Γ(M _n (F))?Γ(M _m (E)), then n = m and |F|=|E|.     

Prophet Regions for Independent [0, 1]-Valued Random Variables with Random Discounting

Abstract

Let X ₁, X ₂… and B ₁, B ₂… be mutually independent [0, 1]-valued random variables, with EB _j  = β > 0 for all j. Let Y _j  = B ₁ … sB _j?1 X _j for j ≥ 1. A complete comparison is made between the optimal stopping value V(Y ₁,…,Y _n ):=sup{EY _τ:τ is a stopping rule for Y ₁,…,Y _n } and E(max _1≤j≤n Y _j ). It is shown that the set of ordered pairs {(x, y):x = V(Y ₁,…,Y _n ), y = E(max _1≤j≤n Y _j ) for some sequence Y ₁,…,Y _n obtained as described} is precisely the set {(x, y):0 ≤ x ≤ 1, x ≤ y ≤ Ψ _{n, β}(x)}, where Ψ _{n, β}(x) = [(1 ? β)n + 2β]x ? β^?(n?2) x ² if x ≤ β ^n?1, and Ψ _{n, β}(x) = min _j≥1{(1 ? β)jx + β ^j } otherwise. Sharp difference and ratio prophet inequalities are derived from this result, and an analogous comparison for infinite sequences is obtained.     

Uniformly Conditioned Bases of Spectral Subspaces

A condition number of an ordered basis of a finite-dimensional normed space is defined in an intrinsic manner. This concept is extended to a sequence of bases of finite-dimensional normed spaces, and is used to determine uniform conditioning of such a sequence. We address the problem of finding a sequence of uniformly conditioned bases of spectral subspaces of operators of the form T _n  = S _n  + U _n , where S _n is a finite-rank operator on a Banach space and U _n is an operator which satisfies an invariance condition with respect to S _n . This problem is reduced to constructing a sequence of uniformly conditioned bases of spectral subspaces of operators on ? ^n×1. The applicability of these considerations in practical as well as theoretical aspects of spectral approximation is pointed out.     

On the Asymptotic Behavior of the Harmonic Renewal Measure

We study the tail behavior of the harmonic renewal measure U= _n=1 (1/n)F ^n* where F is a probability distribution with finite negative mean and F ⁿ * is the n-fold convolution of F. As an application of the obtained result on U, we give alternative proofs of some known results concerning the tail behavior of the supremum and the first positive sum of a random walk with negative drift.     

A Criterion for the Triviality of G(D) and Its Applications to the Multiplicative Structure of D

Let D be an F-central division algebra of index n. Here we present a criterion for the triviality of the group G(D) = D*/Nrd _D/F (D*)D′ and thus generalizing various related results published recently. To be more precise, it is shown that G(D) = 1 if and only if SK ₁(D) = 1 and F ^*2 = F ^*2n . Using this, we investigate the role of some particular subgroups of D* in the algebraic structure of D. In this direction, it is proved that a division algebra D of prime index is a symbol algebra if and only if D* contains a non-abelian nilpotent subgroup. More applications of this criterion including the computation of G(D) and the structure of maximal subgroups of D* are also investigated     

A bivariate uniform autoregressive process

We define the bivariate first order stationary autoregressive process {(X _n ,Y _n )} with uniform marginal distribution where {X _n } and {Y _n } are the two stationary sequences with uniformU(0, 1) marginal distributions. We also estimate the unknown parameters of the model.