{"entities":{"Q1277291":{"pageid":1288041,"ns":120,"title":"Item:Q1277291","lastrevid":68354637,"modified":"2026-04-12T23:08:41Z","type":"item","id":"Q1277291","labels":{"en":{"language":"en","value":"A generalization of rejection lemma of Drozd-Kirichenko"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1248134"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277291$29232887-26B9-4991-8D02-6C8C7976E78F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92d99937d405cb9ea186e530810bdf7ed5c4dae5","datavalue":{"value":{"text":"A generalization of rejection lemma of Drozd-Kirichenko","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1277291$D9F52F44-513A-4DB7-9ABA-5EBD4BCA6332","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf52db6ce28d60ab54d1b73df011d76b57e64eca","datavalue":{"value":"0916.16007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277291$8BB695D0-EAFC-455C-B544-7220EE8E0C16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e8b4d392ae2a8571aa8150e26e4273f5487d783","datavalue":{"value":{"entity-type":"item","numeric-id":273080,"id":"Q273080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277291$077EF07E-6034-4B59-AE1A-D15DAC7FB241","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277291$BDF4CD02-3D32-46B1-B5D0-3F3E37D35A27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05439317d8a794e350c15131a8e5a6b60bc168b7","datavalue":{"value":{"time":"+1999-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1277291$86E5F2C7-4844-40BC-AEB4-8AF5911FD6D8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9488d5d571d0a84facdda51220d3c10ac6ee488","datavalue":{"value":"The paper provides a new efficient tool for the investigation of (not only) representation-finite orders and artinian algebras. For an order \\(\\Lambda\\) over a complete discrete valuation domain, let \\(\\text{Ind }\\Lambda\\) denote the set of isomorphism classes of indecomposable \\(\\Lambda\\)-lattices. The rejection lemma of \\textit{Yu. A. Drozd} and \\textit{V. V. Kirichenko} [Izv. Akad. Nauk SSSR, Ser. Mat. 36, 328-370 (1972; Zbl 0234.13009)] says that for a bijective (i.e. projective and injective in the category \\(\\Lambda\\)-\\(\\mathbf{lat}\\) of \\(\\Lambda\\)-lattices) \\(B\\in\\text{Ind }\\Lambda\\) with \\(B\\not\\cong\\text{Rad }B\\), the set \\(\\text{Ind }\\Lambda\\setminus\\{B\\}\\) is of the form \\(\\text{Ind }\\Gamma\\) for an overorder \\(\\Gamma\\) of \\(\\Lambda\\). In view of this result, the author studies the sets \\({\\mathcal S}=\\text{Ind }\\Lambda\\setminus\\text{Ind }\\Gamma\\) with \\(\\Gamma\\supset\\Lambda\\) which he calls rejectable. Note that the rejection lemma extends to the case \\(B\\cong\\text{Rad }B\\) if generalized overorders \\(\\Gamma\\) in the sense of Drozd and Kirichenko are allowed, that is, orders \\(\\Gamma\\) connected with \\(\\Lambda\\) by a ring homomorphism \\(\\Lambda\\to\\Gamma\\) with torsion cokernel. Then every proper subset \\({\\mathcal S}\\subset\\text{Ind }\\Lambda\\) determines the smallest generalized overorder \\(\\Gamma\\) with \\({\\mathcal S}\\subset\\text{Ind }\\Lambda \\setminus\\text{Ind }\\Gamma\\). The author calls \\(\\mathcal S\\) cofaithful whenever this \\(\\Gamma\\) is an overorder of \\(\\Lambda\\).   Now assume that the ambient algebra of \\(\\Lambda\\) is semisimple. Generalizing Auslander's proof of the Brauer-Thrall-I conjecture (= Rojter's theorem), the author shows that a rejectable set \\(\\mathcal S\\) with bounded rational rank for all \\(E\\in{\\mathcal S}\\) is necessarily finite. The second starting point of his investigation is an observation on Auslander-Reiten sequences for overorders \\(\\Gamma\\supset\\Lambda\\) given at the end of the paper, namely: if \\(M\\hookrightarrow E\\twoheadrightarrow N\\) is an Auslander-Reiten sequence in \\(\\Lambda\\)-\\(\\mathbf{lat}\\) with \\(M\\in\\Gamma\\)-\\(\\mathbf{lat}\\), then the map \\(\\Gamma E\\twoheadrightarrow\\Gamma N\\) is of the form \\(p\\oplus 1\\colon E'\\oplus F\\to N'\\oplus F\\) such that \\(M\\hookrightarrow E'\\twoheadrightarrow N'\\) is an Auslander-Reiten sequence in \\(\\Gamma\\)-\\(\\mathbf{lat}\\) unless \\(M\\in\\Gamma\\)-\\(\\mathbf{lat}\\) is injective. In order to analyse rationally exact sequences like \\(M\\to\\Gamma E\\to\\Gamma N\\), the author considers arbitrary cochain complexes \\({\\mathbf A}\\colon\\dots\\to A_0\\to A_1\\to A_2\\to\\dots\\): If \\(A_1=A\\oplus T\\) with \\(T\\) indecomposable non-injective and \\(\\partial_1|_T\\) not a split monomorphism (i.e. the complex does not split off a complex of the form \\(T@>1 >>T\\)) then the right Auslander-Reiten sequence \\(\\mathbf T\\) of \\(T\\) gives rise to a map \\(\\varepsilon\\colon{\\mathbf T}\\to{\\mathbf A}\\) which extends to a triangle \\({\\mathbf T}\\to{\\mathbf A}\\to{\\mathbf C}\\to{\\mathbf T}[1]\\), where the mapping cone \\(\\mathbf C\\) of \\(\\varepsilon\\) splits off a complex of the form \\(T@>1 >>T\\). The author's method consists in an iterated application of this process. This leads to an implicit characterization of finite rejectable sets \\({\\mathcal S}=\\text{Ind }\\Lambda\\setminus\\text{Ind }\\Gamma\\) in terms of the Auslander-Reiten quiver of \\(\\Lambda\\), restricted to \\({\\mathcal S}\\). As an application, the list of four element rejectable sets (with their truncated Auslander-Reiten structure) is exhibited.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277291$DF7486BC-DB2D-4865-95C2-D48B8471CCBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e988dc00dc7048ed74ecf5c7a197f2c445b363b","datavalue":{"value":"16G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277291$E3BD2434-B9D7-478A-A1CA-DDE95D995EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28d3bec2f6e07bd25e07bd6f80d073cd0bf2c7d8","datavalue":{"value":"16H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277291$54B607DA-BEE8-41A7-A843-76A82AF3805B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a6332295a7897d7f784bf0ce88083c33232471c","datavalue":{"value":"1248134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277291$58EDD95F-FD23-479C-99F4-A1111487EDB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6f92bc9751a7cdec3fffdb2debbc0a3c84ee22","datavalue":{"value":"representation-finite orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277291$3F4CC7E6-5669-487B-B357-69CC65CAEDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e24985606fb9aa54cf081c75c40e8eb2cbf1e2","datavalue":{"value":"indecomposable lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277291$B8C176D2-845E-45C6-AF57-9C00DB1F2785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c0b414ada335eee7677e8f2421306ec99d933f4","datavalue":{"value":"rejection lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277291$8D3C8EE5-AC86-4329-B3B4-C40D85E9D7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25281cb3b99eb4e63e12c4d7ccb83cfbc70bd558","datavalue":{"value":"generalized overorders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277291$3769DF76-0EE7-4632-B523-15539DE618D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7598c89665bc454f7be34e7aa5c67ef81af3102","datavalue":{"value":"Auslander-Reiten sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277291$E090883B-6F10-45AD-9A68-82E2C63121DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7009949cc39df3ed5980bd4c65cf13223fef631","datavalue":{"value":"rationally exact sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277291$0C198D43-590F-4D9B-927C-4FEC1F040EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5b6ca6e20adcf475054d7d3d75dc65a6bea37a","datavalue":{"value":"cochain complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277291$9205EBE8-ABF0-4C81-81A7-E88EC3204A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49156f90636bb8a62a73ceb2138a8fa91d25ae5e","datavalue":{"value":"finite rejectable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277291$556455FC-1928-429F-9071-322904D3CC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66e4dc5533dd0d67f3a24ed0c1d0ff8bcefaa44a","datavalue":{"value":"Auslander-Reiten quivers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277291$BFF36E54-4E29-45CE-889C-0A0EBC8836F3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3593a3e5dcb8c53d0c48164678147d3c31947540","datavalue":{"value":{"entity-type":"item","numeric-id":170548,"id":"Q170548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277291$95FBD0D3-D12C-423B-8E55-4D796A021FED","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277291$08C8183F-80E8-4C73-895C-A64CCC649517","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d1a10a6be26c3e5d83ec259ef4fd11ca2534700","datavalue":{"value":"https://doi.org/10.2969/jmsj/05030697","type":"string"},"datatype":"url"},"type":"statement","id":"Q1277291$9E114C86-5BE6-40E2-9998-6980EA522D19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b6e5120b73117f148098c95c821903b24e0d444","datavalue":{"value":"W2110628335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277291$0088876F-AF42-4FD3-92A5-D361F3E92558","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f5c1530a21f88ced026dd45cb470d7d9e8a66eec","datavalue":{"value":"Q124995225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277291$7B81799F-AD0C-40CF-82DF-A625E1A4D727","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d7ad9c0f0908bbceda214ad2c2576b8f0230bb6","datavalue":{"value":"10.2969/JMSJ/05030697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277291$D3C0BD64-FA5D-4303-8FF5-1B23E429912E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706739f8a3dd9d969c0d1f434fa250dd85d3f24b","datavalue":{"value":{"entity-type":"item","numeric-id":2058599,"id":"Q2058599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ce78f2a3f1c87915c3693d6e1076fd65373176","datavalue":{"value":{"amount":"+0.8259959816932678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277291$8CB30537-8FCC-47AF-8D06-C07E93E00AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf6ef4e142697c5aaa93eebd8c6a14968094f61","datavalue":{"value":{"entity-type":"item","numeric-id":4466513,"id":"Q4466513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce2fd799a72a0719ffcab009b3e971e1252a8bd","datavalue":{"value":{"amount":"+0.808603823184967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277291$25E507A4-743D-4187-8298-217008692885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035d9af4cfe4269edf08a6f26c6a34281c41fdb3","datavalue":{"value":{"entity-type":"item","numeric-id":2644165,"id":"Q2644165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d137d6b3b7c8add0e8154f6aba212b3ec428d4c","datavalue":{"value":{"amount":"+0.800269603729248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277291$CBA80574-6D5D-4F0E-AB67-BDFD33354C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdc82dc40dfdf9eda6b4ffbd4f4a899669cb1099","datavalue":{"value":{"entity-type":"item","numeric-id":3748430,"id":"Q3748430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c2d9cd8bca3be685d0535ebda6fd1882b6153e","datavalue":{"value":{"amount":"+0.7905341386795044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277291$4BA6B7F6-03C8-4B3F-B492-B9A1BE869473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869fab9a70b68294081b876846a49ba2ab9e9807","datavalue":{"value":{"entity-type":"item","numeric-id":2759660,"id":"Q2759660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b134b3c72dfde4994c5dbc94f0dad62d4705a7c","datavalue":{"value":{"amount":"+0.7846370339393616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277291$2D739AF7-2581-45C0-B2CB-1B6E29806DA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalization of rejection lemma of Drozd-Kirichenko","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generalization_of_rejection_lemma_of_Drozd-Kirichenko"}}}}}