On clean ideals.
Let be an abelian group, a commutative ring of prime characteristic with identity and a commutative twisted group ring of over . Suppose is a fixed prime, and are the -components of and of the unit group of , respectively. Let be the multiplicative group of and let be the -th Ulm-Kaplansky invariant of where is any ordinal. In the paper the invariants , , are calculated, provided . Further, a commutative ring with identity of prime characteristic is said...
A ring is feebly nil-clean if for any there exist two orthogonal idempotents and a nilpotent such that . Let be a 2-primal feebly nil-clean ring. We prove that every matrix ring over is feebly nil-clean. The result for rings of bounded index is also obtained. These provide many classes of rings over which every matrix is the sum of orthogonal idempotent and nilpotent matrices.
It is well known that for the ring H(ℤ) of integral quaternions the unit group U(H(ℤ) is finite. On the other hand, for the rational quaternion algebra H(ℚ), its unit group is infinite and even contains a nontrivial free subgroup. In this note (see Theorem 1.5 and Corollary 2.6) we find all intermediate rings ℤ ⊂ A ⊆ ℚ such that the group of units U(H(A)) of quaternions over A contains a nontrivial free subgroup. In each case we indicate such a subgroup explicitly. We do our best to keep the arguments...
Let A ⊆ ℚ be any subring. We extend our earlier results on unit groups of the standard quaternion algebra H(A) to units of certain rings of generalized quaternions H(A,a,b) = ((-a,-b)/A), where a,b ∈ A. Next we show that there is an algebra embedding of the ring H(A,a,b) into the algebra of standard Cayley numbers over A. Using this embedding we answer a question asked in the first part of this paper.
Let be an associative ring with 1 and the multiplicative group of invertible elements of . In the paper, subgroups of which may be regarded as analogues of the similitude group of a non-degenerate sesquilinear reflexive form and of the isometry group of such a form are defined in an abstract way. The main result states that a unipotent abstractly defined similitude must belong to the corresponding abstractly defined isometry group.