A criterion of diagonalizability of a pair of matrices over the ring of principal ideals by common row and separate column transformations

We establish that a pair A, B, of nonsingular matrices over a commutative domain R of principal ideals can be reduced to their canonical diagonal forms D ^A and D ^B by the common transformation of rows and separate transformations of columns. This means that there exist invertible matrices U, V _A, and V _B over R such that UAV _a=D^A and UAV _B=D^B if and only if the matrices B _*A and D _* ^B D^A where B _* 0 is the matrix adjoint to B, are equivalent.     

On generalized stable rings

In this paper, we introduce the class of generalized stable rings and investigate equivalent characterizations of such rings. We show that End_R R is a generalized stable ring if and only if any right H-module decompositions M = A ₁ + B ₁ = A ₂ + B ₂ with A ₁ ? A ? A ₂ implies that there exist C,D,E ≤ M such that M = C + D B ₁ = c + E + B ₂ with.C ? A. Also we show that every generalized stable ring is a GE-ring and matrices over generalized stable regular ring can be diagonalized by some weakly invertible matrices.     

On solutions of matrix equations and

With the help of the Kronecker map, a complete, general and explicit solution to the Yakubovich matrix equation V−AVF=BW, with F in an arbitrary form, is proposed. The solution is neatly expressed by the controllability matrix of the matrix pair (A,B), a symmetric operator matrix and an observability matrix. Some equivalent forms of this solution are also presented. Based on these results, explicit solutions to the so-called Kalman–Yakubovich equation and Stein equation are also established. In addition, based on the proposed solution of the Yakubovich matrix equation, a complete, general and explicit solution to the so-called Yakubovich-conjugate matrix is also established by means of real representation. Several equivalent forms are also provided. One of these solutions is neatly expressed by two controllability matrices, two observability matrices and a symmetric operator matrix.     

Separativity of Regular Rings in Which 2 Is Invertible

A regular ring R is separative provided that for all finitely generated projective right R-modules A and B, A⊕ A? A⊕ B? A⊕ B implies that A? B. We prove, in this article, that a regular ring R in which 2 is invertible is separative if and only if each a ∈ R satisfying R(1 ? a ²)R = Rr(a) = ?(a)R and i(End _R (aR)) = ∞ is unit-regular if and only if each a ∈ R satisfying R(1 ? a ²)R ∩ RaR = Rr(a) ∩ ?(a)R ∩ RaR and i(End _R (aR)) = ∞ is unit-regular. Further equivalent characterizations of such regular rings are also obtained.     

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.     

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 vector space approach to the road coloring problem

Let G be a strongly connected, aperiodic, two-out digraph with adjacency matrix A. Suppose A = R + B are coloring matrices: that is, matrices that represent the functions induced by an edge-coloring of G. We introduce a matrix Δ = 1/2 (R − B) and investigate its properties. A number of useful conditions involving Δ which either are equivalent to or imply a solution to the road coloring problem are derived.     

A combination of Sylvester block sum and block matrix Kronecker map for explicit solutions of Sylvester system of matrix equations

In this paper, we consider an explicit solution of system of Sylvester matrix equations of the form A₁V₁ ? E₁V₁F₁ = B₁W₁ and A₂V₂ ? E₂V₂F₂ = B₂W₂ with F₁ and F₂ being arbitrary matrices, where V₁,W₁,V₂ and W₂ are the matrices to be determined. First, the definitions, of the matrix polynomial of block matrix, Sylvester sum, and Kronecker product of block matrices are defined. Some definitions, lemmas, and theorems that are needed to propose our method are stated and proved. Numerical test problems are solved to illustrate the suggested technique.     

Generalized Stable Regular Rings

Abstract

In this paper we show that a regular ring R is a generalized stable ring if and only if for every x ∈ R, there exist a w ∈ K(R) and a group G in R such that wx ∈ G. Also we show that if R is a generalized stable regular ring, then for any A ∈ M _n (R), there exist right invertible matrices U ₁, U ₂ ∈ M _n (R) and left invertible matrices V ₁, V ₂ ∈ M _n (R) such that U ₁ V ₁ AU ₂ V ₂ = diag(e ₁,…, e _n ) for some idempotents e ₁,…, e _n  ∈ R.     

Linear Operators that Preserve Commuting Pairs of Nonnegative Real Matrices

A pair of n×n matrices (A, B) is called a commuting pair if AB=BA. We characterize the linear operators that preserve the set of commuting pairs of matrices over a subsemiring of nonnegative real numbers.     

Canonical form with respect to semiscalar equivalence for a matrix pencil with nonsingular first matrix

Polynomial n × n matrices A(x) and B(x) over a field \mathbbF \mathbb{F} are called semiscalar equivalent if there exist a nonsingular n × n matrix P over \mathbbF \mathbb{F} and an invertible n × n matrix Q(x) over \mathbbF \mathbb{F} [x] such that A(x) = PB(x)Q(x). We give a canonical form with respect to semiscalar equivalence for a matrix pencil A(x) = A _0x - A ₁, where A ₀ and A ₁ are n × n matrices over \mathbbF \mathbb{F} , and A ₀ is nonsingular.     

The Classification of Leonard Triples of Bannai/Ito Type with Even Diameters

Let 𝕂 denote an algebraically closed field of characteristic zero. Let V denote a vector space over 𝕂 with finite positive dimension. By a Leonard triple on V, we mean an ordered triple of linear transformations A, A*, A ^? in End(V) such that for each B ∈ {A, A*, A ^?} there exists a basis for V with respect to which the matrix representing B is diagonal and the matrices representing the other two linear transformations are irreducible tridiagonal. The diameter of the Leonard triple (A, A*, A ^?) is defined to be one less than the dimension of V. In this paper we define a family of Leonard triples said to be Bannai/Ito type and classify these Leonard triples with even diameters up to isomorphism. Moreover, we show that each of them satisfies the ?₃-symmetric Askey–Wilson relations.     

Simultaneous block diagonalization of two real symmetric matrices

The simultaneous diagonalization of two real symmetric (r.s.) matrices has long been of interest. This subject is generalized here to the following problem (this question was raised by Dr. Olga Taussky-Todd, my thesis advisor at the California Institute of Technology): What is the first simultaneous block diagonal structure of a nonsingular pair of r.s. matrices ? For example, given a nonsingular pair of r.s. matrices S and T, which simultaneous block diagonalizations X′SX = diag(A₁, , A_k), X′TX = diag(B₁,, B_k) with dim A_i = dim B_i and X nonsingular are possible for 1 ? k ? n; and how well defined is a simultaneous block diagonalization for which k, the number of blocks, is maximal? Here a pair of r.s. matrices S and T is called nonsingular if S is nonsingular.If the number of blocks k is maximal, then one can speak of the finest simultaneous block diagonalization of S and T, since then the sizes of the blocks A_i are uniquely determined (up to permutations) by any set of generators of the pencil P(S, T) = {aS + bT|a, tb ε R} via the real Jordan normal form of S^?1T. The proof uses the canonical pair form theorem for nonsingular pairs of r.s. matrices. The maximal number k and the block sizes dim A_i are also determined by the factorization over C of ? (λ, μ) = det(λS + μT) for λ, μ ε R.     

Separable algebras over infinite fields are 2-generated and finitely presented

We prove that every separable algebra over an infinite field F admits a presentation with 2 generators and finitely many relations. In particular, this is true for finite direct sums of matrix algebras over F and for group algebras FG, where G is a finite group such that the order of G is invertible in F. We illustrate the usefulness of such presentations by using them to find a polynomial criterion to decide when 2 ordered pairs of 2 × 2 matrices (A, B) and (A′, B′) with entries in a commutative ring R are automorphically conjugate over the matrix algebra M ₂(R), under an additional assumption that both pairs generate M ₂(R) as an R-algebra.     

Power Series Rings Satisfying a Zero Divisor Property

In this note we continue to study zero divisors in power series rings and polynomial rings over general noncommutative rings. We first construct Armendariz rings which are not power-serieswise Armendariz, and find various properties of (power-serieswise) Armendariz rings. We show that for a semiprime power-serieswise Armendariz (so reduced) ring R with a.c.c. on annihilator ideals, R[[x]] (the power series ring with an indeterminate x over R) has finitely many minimal prime ideals, say B ₁,…,B _m , such that B ₁… B _m  = 0 and B _i  = A _i [[x]] for some minimal prime ideal A _i of R for all i, where A ₁,…,A _m are all minimal prime ideals of R. We also prove that the power-serieswise Armendarizness is preserved by the polynomial ring extension as the Armendarizness, and construct various types of (power-serieswise) Armendariz rings.     

Eigenvalues of products of matrices

Let A and B be n?×?n matrices over an algebraically closed field F. The pair ( A,?B ) is said to be spectrally complete if, for every sequence c₁,…,c_n ∈F such that det (AB)=c₁ ,…,c_n , there exist matrices A′,B,′∈F,^n×n similar to A,?B, respectively, such that A′B′ has eigenvalues c₁,…,c_n . In this article, we describe the spectrally complete pairs. Assuming that A and B are nonsingular, the possible eigenvalues of A′B′ when A′ and B′ run over the sets of the matrices similar to A and B, respectively, were described in a previous article.     

Monomial Realization of the Crystals Over U q (A ∞) and the Quantum Monster Algebra

We give new realizations of the crystal bases of the Verma modules and the irreducible highest weight modules over the quantum generalized Kac–Moody algebra U _q (A _∞) and the quantum Monster algebra using Nakajima monomials. Moreover, another realization of the crystals B(∞) and B(λ) over U _q (A _∞) using triangular matrices and tableaux are given.     

Action on flag varieties: 2-Dimensional case

LetA be a finite dimensional commutative semisimple algebra over a fieldk and letV be a finitely generatedA-module. We examine the action of the general linear group GL _A (V) on the set of flags ofk-subspaces ofV. Also, let (V, B) be a finitely generated symplectic module overA. We also investigate the action of the symplectic group Sp _A (V, B) on the set of flags ofB-isotropick-subspaces ofV, whereB=°B is thek-symplectic form induced by a nonzerok-linear map :A k. In both cases, the orbits are completely classified in terms of certain integer invariants provided that dim _{k A}=2.This work is partially supported by a KOSEF research grant.     

Pairs of mutually annihilating operators

Pairs (A,B) of mutually annihilating operators AB=BA=0 on a finite dimensional vector space over an algebraically closed field were classified by Gelfand and Ponomarev [Russian Math. Surveys 23 (1968) 1-58] by method of linear relations. The classification of (A,B) over any field was derived by Nazarova, Roiter, Sergeichuk, and Bondarenko [J. Soviet Math. 3 (1975) 636-654] from the classification of finitely generated modules over a dyad of two local Dedekind rings. We give canonical matrices of (A,B) over any field in an explicit form and our proof is constructive: the matrices of (A,B) are sequentially reduced to their canonical form by similarity transformations (A,B)?(S^-1AS,S^-1BS).     

Products of reflections in the general linear group over a division ring

Let F be a division ring and A?GL_n(F). We determine the smallest integer k such that A admits a factorization A=R₁R₂?R_k?1B, where R₁,…,R_k?1 are reflections and B is such that rank(B?I_n)=1. We find that, apart from two very special exceptional cases, k=rank(A?I_n). In the exceptional cases k is one larger than this rank. The first exceptional case is the matrices A of the form I_m⊕αI_n?m where n?m?2, α≠?1, and α belongs to the center of F. The second exceptional case is the matrices A satisfying (A?I_n)²=0, rank(A?I_n)?2 in the case when char F≠2 only. This result is used to determine, in the case when F is commutative, the length of a matrix A?GL_n(F) with detA=±1 with respect to the set of all reflections in GL_n(F).