Graded cancellation properties of graded rings and graded unit-regular Leavitt path algebras (Q2041923)

The paper under review poses the following general question regarding a ring graded by a group: ``If \(P\) is a ring-theoretic property, how does one define the graded version \(P_{gr}\) of the property \(P\)?'' As pointed out in the paper, some properties of rings have straightforward and unambiguous generalizations to their graded versions and these generalizations satisfy all the matching properties of the nongraded case. However this is not the case for other properties \(P\) such as being unit-regular, having stable range 1 or being directly finite. The first part of the paper addresses this issue. Searching for appropriate generalizations, the author considers graded versions of cancellation, internal cancellation, substitution, and module-theoretic direct finiteness. The second part of the paper deals with graded matrix and Leavitt path algebras. If \(K\) is a trivially graded field and \(E\) a directed graph, the Leavitt path algebra \(L_K(E)\) is naturally graded by the ring of integers. For a finite graph \(E\) it is presented a property of \(E\) which is equivalent with \(L_K(E)\) being graded unit-regular. It is shown that this property depends heavily on the lengths of paths to cycles and it further illustrates that graded unit-regularity is quite restrictive in comparison to the alternative generalization of unit-regularity from the first part of the paper.