Some categories of lattices associated to a central idempotent (Q1293333): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q170548
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1215/kjm/1250518062 / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Wolfgang Rump / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1215/kjm/1250518062 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1566845404 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1215/KJM/1250518062 / rank
 
Normal rank

Latest revision as of 17:37, 10 December 2024

scientific article
Language Label Description Also known as
English
Some categories of lattices associated to a central idempotent
scientific article

    Statements

    Some categories of lattices associated to a central idempotent (English)
    0 references
    0 references
    7 May 2000
    0 references
    Let \(R\) be a Noetherian integral domain with quotient field \(K\), and \(\Lambda\) an \(R\)-order in a finite-dimensional \(K\)-algebra \(A\). For a central idempotent \(e\) of \(A\), the author considers the quotient category \({\mathcal C}:=\Lambda\)-\(\mathbf{lat}/e\Lambda\)-\(\mathbf{lat}\) of \(\Lambda\)-lattices modulo homomorphisms which factor through some \(e\Lambda\)-lattice. He proves that this category is pre-Abelian such that for every object \(X\) of \(\mathcal C\) there is a projective object \(P\) and a cokernel \(P\twoheadrightarrow X\) in \(\mathcal C\). Therefore, if the projectives in \(\mathcal C\) admit an additive generator \(Q\), then \(\mathcal C\) is of the form \(\Gamma\)-\(\mathbf{lat}\) with \(\Gamma:=\text{End}_{\mathcal C}(Q)\) an \(R\)-order. In case \(R\) is a complete discrete valuation domain, and \(A\) semisimple, the Auslander-Reiten quiver of \(\Gamma\) is obtained from that of \(\Lambda\) by removing the indecomposables of \(e\Lambda\) together with adjacent arrows. There are new projectives (resp. injectives) at the vertices where \(\tau\) (resp. \(\tau^{-1}\)) is no longer defined after this removal. As every generalized overorder of \(\Lambda\) (in the sense of Drozd and Kirichenko) is given by a ring homomorphism \(\Lambda\to \Lambda'\) with \(R\)-torsion cokernel, the paper extends the author's investigation on subcategories of the form and \(\Lambda\setminus\text{ind }\Lambda'\) for overorders \(\Lambda'\) [J. Math. Soc. Jap. 50, No. 3, 697-718 (1998; Zbl 0916.16007)] to the case of generalized overorders when \(A\) is semisimple.
    0 references
    orders
    0 references
    lattices
    0 references
    finite-dimensional algebras
    0 references
    central idempotents
    0 references
    quotient categories
    0 references
    projectives
    0 references
    Auslander-Reiten quivers
    0 references
    indecomposables
    0 references
    injectives
    0 references
    generalized overorders
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references