Graded Cancellation Properties of Graded Rings and Graded Unit-regular Leavitt Path Algebras

We raise 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 in a meaningful way?". 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. If P is either being unit-regular, having stable range 1 or being directly finite, that is not the case. The first part of the paper addresses this issue. Searching for appropriate generalizations, we consider graded versions of cancellation, internal cancellation, substitution, and module-theoretic direct finiteness. In the second part of the paper, we consider graded matrix and Leavitt path algebras. If K is a trivially graded field and E is a directed graph, the Leavitt path algebra L-K(E) is naturally graded by the ring of integers. If E is a finite graph, we present a property of E which is equivalent with L-K(E) being graded unit-regular. This property critically depends 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.