Noetherian Leavitt path algebras and their regular algebras. (Q382045): Difference between revisions

Leavitt path algebras have been introduced in [\textit{G. Abrams} and \textit{G. Aranda Pino}, J. Algebra 293, No. 2, 319-334 (2005; Zbl 1119.16011)] and in [\textit{P. Ara} et al., Algebr. Represent. Theory 10, No. 2, 157-178 (2007; Zbl 1123.16006)]. They are algebraic analogues of Cuntz-Krieger graph \(C^*\)-algebras of directed graphs [\textit{J. Cuntz} and \textit{W. Krieger}, Invent. Math. 56, 251-268 (1980; Zbl 0434.46045)] and also provide an interesting generalization of the algebras investigated by \textit{W. G. Leavitt} [Trans. Am. Math. Soc. 103, 113-130 (1962; Zbl 0112.02701)]. The authors study several natural properties of the regular algebra \(Q(E)\) of the directed graph \(E\) introduced by \textit{M. Brustenga} and the reviewer [in J. Algebra 309, No. 1, 207-235 (2007; Zbl 1119.16012)], showing that these properties are all equivalent to the statement that \(E\) is a finite graph such that no cycle in \(E\) has an exit. They refer to a graph satisfying the latter property as a no-exit graph. It is already known that the finite graphs satisfying the no-exit property are precisely those for which the Leavitt path algebra \(L(E)\) is Noetherian. Let \(E\) be a finite graph. Amongst the properties of \(Q(E)\) which the authors show to be equivalent to \(E\) being a no-exit graph, we mention (a) \(Q(E)\) is unit-regular; (b) \(Q(E)\) is directly finite; (c) \(Q(E)\) is left and right self-injective; (d) \(Q(E)\) is semisimple; (e) \(Q(E)\) is \(*\)-regular (in case the underlying field \(K\) is endowed with a positive definite involution). In the last part of the paper the authors relate \(Q(E)\) with the theory of rings of quotients, and they discuss the isomorphism conjectures for Leavitt path algebras and graph \(C^*\)-algebras, giving a positive answer to these conjectures for the finite no-exit graphs.