Abstract. We show that if R is an exchange ring with primitive factors artinian then K 1 (R) U(R)/V (R), where U(R) is the group of units of R and V (R) is the subgroup generated by {(1 + ab)(1 + ba) −1 | a, b ∈ R with 1 + ab ∈ U(R)}. As a corollary, K 1 (R) is the abelianized group of units of R if 1/2 ∈ R.2000 Mathematics Subject Classification. 16E50, 19B10. Very recently, Ara et al. [2] showed that the natural homomorphism GL 1 (R) → K 1 (R) is surjective provided that R is a separative exchange ring. A natural problem is the description of the kernel of the epimorphism GL 1 (R) → K 1 (R). In [9, Theorems 1.2 and 1.6], Menal and Moncasi showed that if R satisfies unit 1-stable range or is unitregular, then K 1
(R) U (R)/V (R). Here U(R) is the group of units of R while V (R)is a subgroup described later. In [7], Goodearl and Menal remarked that if for each x, y ∈ R there exists a unit u ∈ R such that x − u and y − u −1 are both units, then K 1 (R) U(R) ab . In this paper, we investigate the above kernel for exchange rings with primitive factors artinian.Recall that R is called an exchange ring if for every right R-module A and two decompositions A = M ⊕ N = ⊕ i∈I A i , where M R R and the index set I is finite, there exist submodules A i ⊆ A i such that A = M ⊕ (⊕ i∈I A i ). It is well known that regular rings, π -regular rings, semiperfect rings, left or right continuous rings, clean rings and unit C * -algebras of real rank zero [1] are all exchange rings.Many authors have studied exchange rings with primitive factors artinian. Fisher and Snider proved that every regular ring with primitive factors artinian is unitregular (see [6, Theorem 6.10]). Moreover, Menal [8, Thereom B] proved that every π -regular ring with primitive factors artinian has stable range one. Recently, Yu [13, Thereom 1] extended these results to exchange rings and showed that every exchange ring with primitive factors artinian has stable range one. On the other hand, Pardo [10] investigated the Grothendieck group K 0 of exchange rings. In this paper, we show that the Whitehead group K 1 (R) U (R)/V (R) for an exchange ring R with primitive factors artinian. We refer the reader to [11] for the general theory of Whitehead groups.Throughout this paper, all rings are associative with identity. The set U(R) denotes the set of all units of R, V (R) denotes the subgroup generated by {p (a, b) (R), the ring of all n × n matrices over R.We start with the following new element-wise property of exchange rings with primitive factors artinian. Lemma 1. Let R be an exchange ring with primitive factors artinian. Then, for any x, y ∈ R, there exists a unit-regular w ∈ R such that 1 + xy − xw ∈ U(R).Proof. Assume that there are some x, y ∈ R such that 1 + xy − xw ∈ U(R) for any unit-regular w ∈ R. Let Ω be the set of all two-sided ideals A of R such that 1 + xy − xw is not a unit modulo A for any unit-regular w + A ∈ R/A. Clearly, Ω ≠ ∅.Given any ascending chain (u+M). As R/M is also exchange, we may assume that e = e 2 ∈ R. Thus we can find posi...