Finitely presented simple modules over Leavitt path algebras. (Q404569): Difference between revisions
From MaRDI portal
Latest revision as of 23:38, 8 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finitely presented simple modules over Leavitt path algebras. |
scientific article |
Statements
Finitely presented simple modules over Leavitt path algebras. (English)
0 references
4 September 2014
0 references
Recently, X. W. Chen has provided a method of constructing simple modules \(V_{[p]}\) over a Leavitt path algebra \(L_K(E)\) of an arbitrary graph \(E\) by using the equivalence class \([p]\) of infinite paths tail-equivalent to a fixed infinite path \(p\) in \(E\) (definitions included in the paper under review). He also constructed simple modules corresponding to various sinks \(w\) in \(E\). In this paper, the authors introduce additional classes of simple modules using vertices which are infinite emitters and also exclusive cycles, and call all these simple modules over \(L_K(E)\) Chen modules. They give a description of the annihilators of the various Chen modules and, as a consequence, they show that every primitive ideal of \(L_K(E)\) can be realized as the annihilator of a Chen module. They also prove, that the Chen modules are pairwise non-isomorphic. For an algebra \(A\), denote by \(\widetilde A\) the set of isoclasses of simple left \(A\)-modules, and by \(\text{Prim}(A)\) the set of primitive ideals of \(A\). There is a canonical map \(\widetilde A\to\text{Prim}(A)\) mapping \([N]\) to \(\text{Ann}_A(N)\), the annihilator of \(N\). Then it is proved that: If \(E\) is finite graph, \(K\) an arbitrary field and \(L:=L_K(E)\), then the following conditions are equivalent: (1) Every simple left \(L\)-module is finitely presented. (2) Every simple Chen module is finitely presented. (3) Every vertex \(v\) in \(E\) is the base of at most one cycle. (4) The map \(\widetilde L\to\text{Prim}(L)\) is a bijection. (5) All simple left \(L\)-modules are Chen modules. (6) The Gelfand-Kirillov dimension of \(L_K(E)\) is finite.
0 references
Leavitt path algebras
0 references
simple modules
0 references
primitive ideals
0 references
finitely presented modules
0 references
Chen modules
0 references
annihilators
0 references