Quaternion algebras over commutative rings

Translated from Matematicheskie Zametki, Vol. 53, No. 2, pp. 126–131, February, 1993.     

Linear equations over commutative rings

A generalized rank (McCoy rank) of a matrix with entries in a commutative ring R with identity is discussed. Some necessary and sufficient conditions for the solvability of the linear equation Ax = b are derived, where x, b are vectors and A is a matrix with entries in either a Noetherian full quotient ring or a zero dimensional ring.     

Polynomial rings over Goldie-Kerr commutative rings II

An overlooked corollary to the main result of the stated paper (Proc. Amer. Math. Soc. 120 (1994), 989--993) is that any Goldie ring of Goldie dimension 1 has Artinian classical quotient ring , hence is a Kerr ring in the sense that the polynomial ring satisfies the on annihilators . More generally, we show that a Goldie ring has Artinian when every zero divisor of has essential annihilator (in this case is a local ring; see Theorem ). A corollary to the proof is Theorem 2: A commutative ring has Artinian iff is a Goldie ring in which each element of the Jacobson radical of has essential annihilator. Applying a theorem of Beck we show that any ring that has Noetherian local ring for each associated prime is a Kerr ring and has Kerr polynomial ring (Theorem 5).

     

Clean matrices over commutative rings

A matrix A ∈ M _n (R) is e-clean provided there exists an idempotent E ∈ M _n (R) such that A-E ∈ GL _n (R) and det E = e. We get a general criterion of e-cleanness for the matrix [[a ₁, a ₂,..., a _n +1]]. Under the n-stable range ondition, it is shown that [[a ₁, a ₂,..., a _n +1]] is 0-clean iff (a ₁, a ₂,..., a _n +1) = 1. As an application, we prove that the 0-cleanness and unit-regularity for such n × n matrix over a Dedekind domain coincide for all n ⩾ 3. The analogous for (s, 2) property is also obtained.      

Polynomial rings over commutative reduced Hopfian local rings

We prove that if R is a commutative, reduced, local ring, then R is Hopfian if and only if the ring R[x] is Hopfian. This answers a question of Varadarajan [16], in the case when R is a reduced local ring. We provide examples of non-Noetherian Hopfian commutative domains by proving that the finite dimensional domains are Hopfian. Also, we derive some general results related to Hopfian rings.     

Strongly clean matrix rings over commutative local rings

We will completely characterize the commutative local rings for which M_n(R) is strongly clean, in terms of factorization in R[t]. We also obtain similar elementwise results which show additionally that for any monic polynomial f∈R[t], the strong cleanness of the companion matrix of f is equivalent to the strong cleanness of all matrices with characteristic polynomial f.     

Self-dual codes over commutative Frobenius rings

We prove that self-dual codes exist over all finite commutative Frobenius rings, via their decomposition by the Chinese Remainder Theorem into local rings. We construct non-free self-dual codes under some conditions, using self-dual codes over finite fields, and we also construct free self-dual codes by lifting elements from the base finite field. We generalize the building-up construction for finite commutative Frobenius rings, showing that all self-dual codes with minimum weight greater than 2 can be obtained in this manner in cases where the construction applies.     

Involutory matrices over finite commutative rings

An n × n matrix A is called involutory iff A²=I_n, where I_n is the n × n identity matrix. This paper is concerned with involutory matrices over an arbitrary finite commutative ring R with identity and with the similarity relation among such matrices. In particular the authors seek a canonical set $\text{C}$ with respect to similarity for the n × n involutory matrices over R—i.e., a set $\text{C}$ of n × n involutory matrices over R with the property that each n × n involutory matrix over R is similar to exactly on matrix in $\text{C}$. Because of the structure of finite commutative rings and because of previous research, they are able to restrict their attention to finite local rings of characteristic a power of 2, and although their main result does not completely specify a canonical set $\text{C}$ for such a ring, it does solve the problem for a special class of rings and shows that a solution to the general case necessarily contains a solution to the classically unsolved problem of simultaneously bringing a sequence A₁,…,A_v of (not necessarily involutory) matrices over a finite field of characteristic 2 to canonical form (using the same similarity transformation on each A_i). (More generally, the authors observe that a theory of similarity fot matrices over an arbitrary local ring, such as the well-known rational canonical theory for matrices over a field, necessarily implies a solution to the simultaneous canonical form problem for matrices over a field.) In a final section they apply their results to find a canonical set for the involutory matrices over the ring of integers modulo 2^m and using this canonical set they are able to obtain a formula for the number of n × n involutory matrices over this ring.     

On Barbilian domains over commutative rings

W. LEISSNER proved in [2] that an arbitrarily given affine BARBILIAN PLANE must be isomorphic to a plane affine geometry over a Z-ring R and moreover did he establish the converse theorem among other results in [3]. One of the fundamental notions in this axiomatic approach of ring geometry is that of a BARBILIAN DOMAIN (BARBILIANBEREICH). The aim of our note is to present sufficient conditions in case of commutative rings R which guarantee that R admits exactly one BARBILIAN DOMAIN. If for instance R is an euclidean ring, then R admits exactly one BARBILIAN DOMAIN (P.M.COHN [1], corollary to Theorem 3 of our note).The author is indebted to Professor LEISSNER for several helpful discussions during the preparation of this note.     

Isomorphisms of Steinberg groups over commutative rings

LetA andR be commutative rings, andm andn be integers3. It is proved that, if :St _m (A)St _n (R) is an isomorphism, thenm=n. Whenn4, we have: (1) Every isomorphism :St _n(A)St _n(R) induces an isomorphism:E _n (A)E _n (R), and is uniquely determined by; (2) IfSt _n (A) St _n (R) thenK _2.n (A)K _2.n (R); (3) Every isomorphismE _n (A) E _n (R) can be lifted to an isomorphismSt _n(A)St _n(R); (4)St _n(A) St _n(R) if and only ifAR. For the casen=3, ifSt ₃(A) andSt ₃(R) are respectively central extensions ofE ₃(A) andE ₃ (R), then the above (1) and (2) hold.The Project supported by National Natural Science Foundation of China     

Factorization of Laurent series over commutative rings

We generalize the Wiener-Hopf factorization of Laurent series to more general commutative coefficient rings, and we give explicit formulas for the decomposition. We emphasize the algebraic nature of this factorization.     

Homomorphisms of linear groups over commutative rings

Translated from Matematicheskie Zametki, Vol. 46, No. 5, pp. 50–61, November, 1989.