Rings with a weak algorithm

determinate over a field F. All these ideas can be generalized in a straightforward manner to the noncommutative case: the principal ideal domains again form a well-behaved though rather narrow class (cf. Jacobson [9, Chapter 3]), and the valuated rings with a Euclidean algorithm are just the skew polynomial rings k[x; S, D] over a skew field k with an automorphism S and an S-derivation D (2). One obtains a slightly larger class by taking, instead of principal ideal domains, Bezout rings, i.e., integral domains in which any finitely generated (left or right) ideal is principal but this probably amounts to not much more than allowing locally principal ideal domains. A significantly wider class of rings is obtained by taking all integral domains in which any two principal right ideals with a nonzero intersection have a sum and intersection which are again principal. These are the weak Bezout rings introduced in [6], where it is shown that a weak Bezout ring in which prime factorizations exist, is a unique factorization domain, and other decomposition theorems hold (corresponding to the primary decomposition of an ideal in a Noetherian ring). Further it is shown there that the weak Bezout rings include free associative algebras in any number of free generators over a field. It is possible to weaken the definition of the Euclidean algorithm in a similar way so as to obtain rings with a weak algorithm (cf. ?2 for the definition). This was first introduced in [4] where it was applied to prove (in effect) that in any ring R with a weak algorithm, all right ideals were free R-modules. We now continue the study of rings with a weak algorithm and in particular show that they are weak Bezout rings, so that the results of [6] become applicable (?4). This