Hilbert's Theorem 90 for Hopf Galois Extensions

For a faithfully flat extension A/B and a right A-module M, we give a new characterization of the set of descent data on M. Assuming that B is a simple Artinian ring and A/B is H-Galois, for a certain finite dimensional Hopf algebra H, we prove that Sweedler's noncommutative cohomology H ¹(H?, A) is trivial as a pointed set.     

A result about determinantal divisors

Let Rbe a principal ideal ringR_n the ring of n× nmatrices over R, and d_k (A) the kth determinantal divisor of Afor 1 ? k? n, where Ais any element of R_n , It is shown that if A,BεR_n , det(A) det(B:) ≠ 0, then d_k (AB) ≡ 0 mod d_k (A) d_k (B). If in addition (det(A), det(B)) = 1, then it is also shown that d_k (AB) = d_k (A) d_k (B). This provides a new proof of the multiplicativity of the Smith normal form for matrices with relatively prime determinants.     

Extensions of the Hadamard determinant theorem

Denote byH _n the set ofn byn, positive definite hermitian matrices. Hadamard proved thath(A)≧det(A) for allA∈H _n, whereh(A) is the product of the main diagonal elements ofA. Subsequently, M. Marcus showed that per(A)≧h(A) for allA∈H _n. This article contains a result for all generalized matrix functions from which it follows thath(A)≧(per(A^1/n )) ⁿ ,A∈H _n.     

The Multiplicity Free Permutation Representations of the Ree Groups 2 G 2(q), the Suzuki Groups 2 B 2(q), and Their Automorphism Groups

Abstract

Let G a simple group of type ² B ₂(q) or ² G ₂(q), where q is an odd power of 2 or 3, respectively. The main goal of this paper is to determine the multiplicity free permutation representations of G and A ≤ Aut(G) where A is a subgroup containing a copy of G. Let B be a Borel subgroup of G. If G = ² B ₂(q) we show that there is only one non-trivial multiplicity free permutation representation, namely the representation of G associated to the action on G/B. If G = ² G ₂(q) we show that there are exactly two such non-trivial representations, namely the representations of G associated to the action on G/B and the action on G/M, where M = UC with U the maximal unipotent subgroup of B and C the unique subgroup of index 2 in the maximal split torus of B. The multiplicity free permutation representations of A correspond to the actions on A/H where H is isomorphic to a subgroup containing B if G = ² B ₂(q), and containing M if G = ² G ₂(q). The problem of determining the multiplicity free representations of the finite simple groups is important, for example, in the classification of distance-transitive graphs.     

On orthogonal systems of matrix algebras

In this work it is shown that certain interesting types of orthogonal system of subalgebras (whose existence cannot be ruled out by the trivial necessary conditions) cannot exist. In particular, it is proved that there is no orthogonal decomposition of M_n(C)⊗M_n(C)≡M_n²(C) into a number of maximal abelian subalgebras and factors isomorphic to M_n(C) in which the number of factors would be 1 or 3.In addition, some new tools are introduced, too: for example, a quantity c(A,B), which measures “how close” the subalgebras A,B⊂M_n(C) are to being orthogonal. It is shown that in the main cases of interest, c(A^′,B^′) - where A^′ and B^′ are the commutants of A and B, respectively - can be determined by c(A,B) and the dimensions of A and B. The corresponding formula is used to find some further obstructions regarding orthogonal systems.     

两类惯量惟一的对称符号模式

§ 1　 IntroductionA sign pattern(matrix) A is a matrix whose entries are from the set{ +,-,0 } .De-note the setofall n× n sign patterns by Qn.Associated with each A=(aij)∈ Qnis a class ofreal matrices,called the qualitative class of A,defined byQ(A) ={ B =(bij)∈ Mn(R) |sign(bij) =aijfor all i and j} .　　 For a symmetric sign pattern A∈ Qn,by G(A) we mean the undirected graph of A,with vertex set { 1 ,...,n} and (i,j) is an edge if and only if aij≠ 0 .A sign pattern A∈ Qnis a do…     

On Galois Algebras Satisfying the Fundamental Theorem

Let B be a Galois algebra over a commutative ring R with Galois group G such that B ^H is a separable subalgebra of B for each subgroup H of G. Then it is shown that B satisfies the fundamental theorem if and only if B is one of the following three types: (1) B is an indecomposable commutative Galois algebra, (2) B = Re ⊕ R(1 ? e) where e and 1 ? e are minimal central idempotents in B, and (3) B is an indecomposable Galois algebra such that for each separable subalgebra A, V _B (A) = ?∑ _g∈G(A) J _g , and the centers of A and B ^G(A) are the same where V _B (A) is the commutator subring of A in B, J _g  = {b ∈ B | bx = g(x)b for each x ∈ B} for a g ∈ G, and G(A) = {g ∈ G | g(a) = a for all a ∈ A}.     

A sum formula for the Casson-Walker invariant

We study the following question: How does the Casson-Walker invariant λ of a rational homology 3-sphere obtained by gluing two pieces along a surface depend on the two pieces? Our partial answer may be stated as follows. For a compact oriented 3-manifold A with boundary ∂A, the kernel L _A of the map from H ₁(∂A;Q) to H ₁(A;Q) induced by the inclusion is called the Lagrangian of A. Let Σ be a closed oriented surface, and let A, A′, B and B′ be four rational homology handlebodies such that ∂A, ∂A′, −∂B and −∂B′ are identified via orientation-preserving homeomorphisms with Σ. Assume that L _A = L _{A ′} and L _B = L _{B ′} inside H ₁(Σ;Q) and also assume that L _A and L _B are transverse. Then we express

An algebraic invariant for Jordan automorphisms on β(<Emphasis Type="Italic">H</Emphasis>): The set of idempotents

Let H be an infinite dimensional complex Hilbert space. Denote by B(H) the algebra of all bounded linear operators on H, and by I(H) the set of all idempotents in B(H). Suppose that Φ is a surjective map from B(H) onto itself. If for every λ ∈ -1,1,2,3, and A, B ∈ B(H),A-λB ∈I(H) ⇔ Φ(A) -λΦ(B) ∈I(H, then Φ is a Jordan ring automorphism, i.e. there exists a continuous invertible linear or conjugate linear operator T on H such that Φ(A) = TAT ^-1 for all A ∈ B(H), or Φ(A) = TA*T ^-1 for all A ∈ B(H); if, in addition, A-iB ∈I(H)⇔ Φ(A)-iΦ(B) ∈I(H), here i is the imaginary unit, then Φ is either an automorphism or an anti-automorphism.     

Elementary operators on self-adjoint operators

Let H be a Hilbert space and let A and B be standard ∗-operator algebras on H. Denote by As and Bs the set of all self-adjoint operators in A and B, respectively. Assume that and are surjective maps such that M(AM^∗(B)A)=M(A)BM(A) and M^∗(BM(A)B)=M^∗(B)AM^∗(B) for every pair A∈As, B∈Bs. Then there exist an invertible bounded linear or conjugate-linear operator and a constant c∈{−1,1} such that M(A)=cTAT^∗, A∈As, and M^∗(B)=cT^∗BT, B∈Bs.     

Operator Interpretation of Resonances Arising in Spectral Problems for 2 × 2 Operator Matrices

We consider operator matrices ${\rm{H = }}\left( {{_{B_{10} }^{A{_0}}} {_{A_{1} }^{B{_{01}}}} } \right)$ with self - adjoint entries A_i, i = 0,1, and bounded B₁₀ = B₁₀ acting in the orthogonal sum μ=μ₀ ⊕ μ₁ of Hilbert spaces μ₀ and μ₁. We are especially interested in the case where the spectrum of, say, A₁ is partly or totally embedded into the continuous spectrum of A₀ and the transfer function V₁(z) = B₁₀ where (χ - A₀)^?1 B₀₁, admits analytic continuation (as an operator - valued function) through the cuts along branches of the continuous spectrum of the entry A₀ into the unphysical sheet(s) of the spectral parameter plane. The values of χ in the unphysical sheets where M₁^?1(z) and consequently the resolvent (H - z)^?1 have poles are usually called resonances. A main goal of the present work is to find non - selfadjoint operators whose spectra include the resonances as well as to study the completeness and basis properties of the resonance eigenvectors of M₁(z) in μ₁. To this end we first construct an operator - valued function V₁(Y) on the space of operators in μ₁ possessing the property: V₁(Y)?₁ = V₁(z)?₁ for any eigenvector ?₁ of Y corresponding to an eigenvalue z and then study the equation H₁ = A₁ + V₁(H₁). We prove the solvability of this equation even in the case where the spectra of A₀ and A₁ overlap. Using the fact that the root vectors of the solutions H₁ are at the same time such vectors for M₁(z), we prove completeness and even basis properties for the root vectors (including those for the resonances).     

On the description of overgroups of E(m,R)?E(n,R)

The subgroups E(m,R) ⊗ E(n,R) ≤ H ≤ G = GL(mn,R) are studied under the assumption that the ring R is commutative and m, n ≥ 3. The group GL _m ⊗GL _n is defined by equations, the normalizer of the group E(m,R) ⊗ E(n,R) is calculated, and with each intermediate subgroup H it is associated a uniquely determined lower level (A,B,C), where A,B,C are ideals in R such that mA,A ² ≤ B ≤ A and nA,A ² ≤ C ≤ A. The lower level specifies the largest elementary subgroup satisfying the condition E(m, n,R, A,B,C) ≤ H. The standard answer to this problem asserts that H is contained in the normalizer N _G (E(m,n,R, A,B,C)). Bibliography: 46 titles.     

Morita Duality for the Rings of Generalized Power Series

Let A, B be associative rings with identity, and (S, ≤) a strictly totally ordered monoid which is also artinian and finitely generated. For any bimodule _A M _B , we show that the bimodule _{[[ AS,≤ ]]}[M ^{S ,≤}]_{[[ BS, ≤ ]]} defines a Morita duality if and only if _A M _B defines a Morita duality and A is left noetherian, B is right noetherian. As a corollary, it is shown that the ring [[A ^{S ,≤}]] of generalized power series over A has a Morita duality if and only if A is a left noetherian ring with a Morita duality induced by a bimodule _A M _B such that B is right noetherian. Received April 13, 1999, Accepted December 12, 1999     

Notes on flatness and the quot functor on rings

For flat modules M over a ring A we study the similarities between the three statements,dim _k (P) ( _k (P)? _A M =dfor all prime ideals P of A, the Ap-module M _p is free of rank d for all prime ideals P of A, and M is a locally free J4-module of rank d. We have particularly emphasized the case when there is an>l-algebra B, essentially of finite type, and M is a finitely generated B-module.     

Completely positive maps and*-isomorphism ofC *-algebras II

LetA, B be unitalC ^*-algebras,D _A ¹ the set of all completely positive maps ϕ fromA toM _n (C), with Tr ϕ(I)≤1(n≥3). If Ψ is an α-invariant affine homeomorphism betweenD _A ¹ andD _B ¹ with Ψ (0)=0, thenA is^*-isomorphic toB. Obtained results can be viewed as non-commutative Kadison-Shultz theorems. This work is supported by the National Natural Science Foundation of China.     

On Clean Rings

A ring R is called clean if every element of R is the sum of an idempotent and a unit. Let M be a R-module. It is obtained in this article that the endomorphism ring End(M) is clean if and only if, whenever A = M′ ⊕ B = A₁ ⊕ A₂ with M′ ? M, there is a decomposition M′ =M₁ ⊕ M₂ such that A = M′ ⊕ [A₁ ∩ (M₁ ⊕ B)] ⊕ [A₂ ∩ (M₂ ⊕ B)]. Then unit-regular endomorphism rings are also described by direct decompositions.     

Simple-direct-modules

A right R-module M is called simple-direct-injective if, whenever, A and B are simple submodules of M with A?B, and B?^⊕M, then A?^⊕M. Dually, M is called simple-direct-projective if, whenever, A and B are submodules of M with M∕A?B?^⊕M and B simple, then A?^⊕M. In this paper, we continue our investigation of these classes of modules strengthening many of the established results on the subject. For example, we show that a ring R is uniserial (artinian serial) with J²(R) = 0 iff every simple-direct-projective right R-module is an SSP-module (SIP-module) iff every simple-direct-injective right R-module is an SIP-module (SSP-module).     

QUASI-FROBENIUS BIMODULES OF FUNCTIONS ON A SEMIGROUP

Let _AM_B be a QF-bimodule, A a left Artinian ring, B a right Artinian ring, G a semigroup with a unit element (a monoid). Let M^G be the set of all functions on G with values in M. Consider M^G as an (AG, BG)-bimodule over the semigroup rings AG and BG. It is proved that the annihilator maps I → r_M^G (I) and R → l_AG (R) are mutually inverse bijective Galois correspondences between the set of finitely cogenerated left ideals I ? AG and the set of right BG-submodules R ? M^G finitely generated over B. The maps J → l_M^G (J) and L → r_AG (L) are mutually inverse bijective Galois correspondences between the set of finitely cogenerated right ideals J ? AG and the set of left AG-submodules L ? M^G finitely generated over A. This result also makes it possible, starting from a given QF-bimodule _A M_B , to construct new QF-bimodules _AG/IS_BG/J as bimodules of functions on a semigroup with values in M.     

Regularity and Substructures of Hom

ABSTRACT

We define “regular” for maps in a Hom group. This notion specializes to the well-known notions of (Von Neumann) regular in rings and modules. A map f ∈ Hom _R (A,M) is regular if and only if Ker(f) ?^⊕ A and Im(f) ?^⊕ M. There exists a unique maximal regular End(M)-End(A)-submodule in Hom _R (A,M). We study regularity in Hom _R (A ₁ ⊕ A ₂, M ₁ ⊕ M ₂). The existence of a regular function Hom _R (A,M) implies the existence of projective summands of Hom _R (A,M) _{End R (A)} and of _{End R ( M )} Hom _R (A,M). We consider regularity in endomorphism rings, and generalize a theorem of Ware-Zelmanowitz. We examine connections between the maximum regular bimodule and other substructures of Hom, mention two generalizations of regularity, and raise some questions.