{"entities":{"Q788075":{"pageid":789923,"ns":120,"title":"Item:Q788075","lastrevid":64382985,"modified":"2026-04-11T19:29:47Z","type":"item","id":"Q788075","labels":{"en":{"language":"en","value":"Hereditary orders with infinitely many idempotent ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3842067"}},"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":"Q788075$D53AE2BF-DF53-487F-BCDD-79AE3116994C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea9613b4a67748ca427efe808f92687fbd0887aa","datavalue":{"value":{"text":"Hereditary orders with infinitely many idempotent ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q788075$67ECCF23-946B-4877-A75B-F589ED321ECA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2305932f4cb755d6abfd8043f366418f84abb8af","datavalue":{"value":"0531.16003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788075$61E46DEE-F872-477D-9CE4-57A77030C4B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"379fb318e41f916506ff10868ddc06e99d3de0dd","datavalue":{"value":"10.1016/0022-4049(84)90087-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788075$63083D29-EDA4-4CF1-B950-7CCD3E1E33F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$6EAFC765-2DC3-4C59-804C-8C053ADFD52B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q788075$13D8A7A1-0EFC-4EC7-AFBF-5E37B8FEFBF6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44674a83e174bad33be13fe496f4f06054ead5ac","datavalue":{"value":"In the classical theory of orders over a Dedekind domain, any hereditary order R is equivalent to a maximal order S, and R can be obtained from S as a finitely iterated idealizer. That a finite sequence of iterations suffices to get from S to R depends on R having only finitely many idempotent ideals. In the general theory of orders in simple artinian rings (in the sense of Goldie), the analogs of hereditary orders are hereditary noetherian prime (HNP) rings, and the analogs of maximal orders are Dedekind prime rings. \\textit{J. C. Robson} proved that an HNP ring R is equivalent to a Dedekind prime ring if and only if R has only finitely many idempotent ideals, in which case R can be obtained from the Dedekind prime ring as a finitely iterated idealizer [J. Algebra 22, 45- 81 (1972; Zbl 0239.16003), Theorem 6.3]. Whether or not every HNP ring has this form remained an open question, which the present authors settle in the negative by constructing HNP rings with infinitely many idempotent ideals. Variations in their construction produce examples in which (a) all the idempotent maximal ideals belong to cycles of length two, or (b) all the idempotent maximal ideals belong to cycles but there is one cycle of each prime integer length, or (c) none of the idempotent maximal ideals belong to cycles. The present expository paper provides an overview of the construction process, which is a special type of infinitely iterated idealizer. Details will appear in a longer paper of the authors [''Constructions of hereditary noetherian rings and simple rings'', to appear in Proc. Lond. Math. Soc., III Ser.].","type":"string"},"datatype":"string"},"type":"statement","id":"Q788075$47AD96C8-C121-41B9-9896-3F26AB370A7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28d3bec2f6e07bd25e07bd6f80d073cd0bf2c7d8","datavalue":{"value":"16H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788075$F6C4BE29-E8AF-4E90-823E-D4215FF2AA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c14bd4b84aca117691a42a311b59a87aaa0075ed","datavalue":{"value":"16Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788075$5DA45F15-7FAD-4CF8-B5B7-0CA32C9E2FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10d40b28c3d9191a27aa59f47859591f9e84c512","datavalue":{"value":"16P40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788075$8E1AD025-7CA0-4F4D-94F4-238E7AEAD176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba375f6dd7bc9753df368a30fe02aa9c9cff1e50","datavalue":{"value":"16N60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788075$220D5AA3-DA91-4885-B435-52DF7A1619FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fc5c1a5b6ef427f18a4732c9c95c69514677265","datavalue":{"value":"3842067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788075$CC334864-828E-4A9B-8BC5-135358194643","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f56a18e331a7c17f3de266562a1141549534d7b9","datavalue":{"value":"orders over Dedekind domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q788075$EA2A4900-DB21-43C9-86FB-428E4B448E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5eb32438d001ce89b120ebee3bf4678171a6b36","datavalue":{"value":"hereditary noetherian prime rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q788075$41496D99-7756-4E38-B9A2-C0A06D2179CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f04efbfff24d9907d810067c3c4cdcf3dd779ab5","datavalue":{"value":"hereditary order","type":"string"},"datatype":"string"},"type":"statement","id":"Q788075$25C1FEF9-592D-4EAD-A3AC-A7AFC3F3A0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582c465d578d18cd5f2dfb21852aedc7ad5697a2","datavalue":{"value":"maximal order","type":"string"},"datatype":"string"},"type":"statement","id":"Q788075$8F023FB3-8477-4606-8084-9783A08BDEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"decb48476aa3bdc1f676b87b9e2f8806afadbee5","datavalue":{"value":"finitely iterated idealizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q788075$F35CEF3C-7A7A-45CA-BF99-0D5E8D987A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b1488647802f00953eab45b93edfaddba308243","datavalue":{"value":"idempotent ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q788075$7807A60C-02DE-4FD4-9EF3-D94883A0BC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7528dd919dc9c241ec01ae3dc2d3430ba7fa437","datavalue":{"value":"orders in simple artinian rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q788075$5673122F-0500-4FA8-BDA0-EF949C167F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a02fdd86d9ea23774d7b11275bbb806f7cd5afae","datavalue":{"value":"Dedekind prime rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q788075$1175F749-74F9-4509-9E8B-B99A491BBFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2138bea7651008d770a7c6023f268a9f48e2932","datavalue":{"value":"HNP rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q788075$A116A53B-CEEF-461A-82F2-13D7B5AE71F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47676f87ecab168ff4c170b784c786fb66b7a32","datavalue":{"value":"idempotent maximal ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q788075$9B2481EE-2521-4817-A904-EAB4E48BA7BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88db3cf07e0c333b1e39786e2fee7d2ba45eb35d","datavalue":{"value":{"entity-type":"item","numeric-id":680725,"id":"Q680725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$2F4800F6-710B-49BD-B962-CDAF9757CDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb4d06fa17fe3e772effb12867242182e66bd81a","datavalue":{"value":{"entity-type":"item","numeric-id":1836727,"id":"Q1836727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$4E17006D-4C50-4D63-8D7B-9459AE9E4456","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e5a9019b99dbff2589fde0e018a80d48d0c1552f","datavalue":{"value":{"entity-type":"item","numeric-id":583284,"id":"Q583284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$5FA6C053-558D-4258-B441-F24FCB04FBE7","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":"Q788075$026E13F4-1375-49CE-B610-99B9174958D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2c02e10f388a9bf1f2c9501a6d2aa934b0f91a9","datavalue":{"value":"https://doi.org/10.1016/0022-4049(84)90087-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q788075$AF0FE321-82F7-4832-9738-42036B27974A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd761ebff0df665f937641b9212b092655b2f66c","datavalue":{"value":"W2056365280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788075$E77D36F6-97F0-41BF-8F5A-C2DCEA2BD018","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ead1ce1ec37cb759a149d123937bcb9edb87849","datavalue":{"value":{"entity-type":"item","numeric-id":5726732,"id":"Q5726732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$2FBDCD8C-F702-458C-AD61-63C6530FC99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3dbeaa96d3799c3d1b17da5b1cc3ae5721e66a","datavalue":{"value":{"entity-type":"item","numeric-id":5720247,"id":"Q5720247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$63E09455-58AC-4956-9728-663A8820CF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52605be9cd1bc471571d7836482404bf3c64f9b6","datavalue":{"value":{"entity-type":"item","numeric-id":2544003,"id":"Q2544003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$D146B1E0-B15E-4A97-B027-A9A0B5F71B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b797bbeb75246b9c5b91de7a8dbb529989b2c199","datavalue":{"value":{"entity-type":"item","numeric-id":4200330,"id":"Q4200330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$DA2DD4D0-92F5-49D4-8D97-D0779986C1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e326a90125a937164436432ea35d6813f4bdad1","datavalue":{"value":{"entity-type":"item","numeric-id":1133603,"id":"Q1133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$49CC612D-D787-44B0-B2FB-DDF4546A4860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27347081dc2993cef9b40546f8e61fa4677e2f96","datavalue":{"value":{"entity-type":"item","numeric-id":5720246,"id":"Q5720246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$F96F1EA7-FDA0-43C8-9CD4-ADA814450ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f43a87c7060aac94117c53ffcfb2cdcd8ef2ebb","datavalue":{"value":{"entity-type":"item","numeric-id":3885868,"id":"Q3885868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$1F347224-5D3E-4FD0-96F2-D61CD1094EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"387b533e908904e9b0db572c07f855e33ce7eb1d","datavalue":{"value":{"entity-type":"item","numeric-id":5604572,"id":"Q5604572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$5A9E553E-D633-4433-AC5B-3033D891A070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"253ecf7036bc432197d857140901f78c64416c8b","datavalue":{"value":{"entity-type":"item","numeric-id":5619195,"id":"Q5619195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$173EFE08-F96E-46E8-803A-49074B4128F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd339b755c80139da39b3e3441e7fe1067f360e","datavalue":{"value":{"entity-type":"item","numeric-id":2553484,"id":"Q2553484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$67598045-73EA-4AD8-8AFD-87E1EC423CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85557f9e07edb66d7ea768f7e24a967054f731c7","datavalue":{"value":{"entity-type":"item","numeric-id":3882615,"id":"Q3882615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$C6ED4E08-A0AB-4934-9C77-9C69CA69EBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6309f5fd0057f94ec97accbaae17c6707a11b9b8","datavalue":{"value":{"entity-type":"item","numeric-id":3691875,"id":"Q3691875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$B3742170-A4CA-430F-A34F-F9FDC5D373F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f988ca8dd1d9a7baa70e694b7fb8361b7a34f7c","datavalue":{"value":{"entity-type":"item","numeric-id":4122053,"id":"Q4122053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788075$22CCF986-8B66-4D88-B558-FF1B09A4EB87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5767c86b04779b9be87a239297c343f23992b5b","datavalue":{"value":{"entity-type":"item","numeric-id":3691875,"id":"Q3691875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d201f7189d770fe04d147ac2b3d9312bebd5369f","datavalue":{"value":{"amount":"+0.8113476037979126","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":"Q788075$B08F094A-45DD-44BA-B1F0-C9156499E44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b4f95c77134c1e8fe550297915f783bebdb151","datavalue":{"value":{"entity-type":"item","numeric-id":3699864,"id":"Q3699864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7f2cc2e7fca4a9776b00e57f01bf13ce00e673","datavalue":{"value":{"amount":"+0.7889865040779114","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":"Q788075$04855414-FA5D-40A5-8E6B-1C398162A7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33730090e89a88aecc15ed11c889eae568f8d10","datavalue":{"value":{"entity-type":"item","numeric-id":3125257,"id":"Q3125257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a29dea0ccf7972503445db9a6be61488812a39a7","datavalue":{"value":{"amount":"+0.7609250545501709","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":"Q788075$7293B6EB-F9D6-4B5B-9368-A48E53F15D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f5c096eb95d985889db5e125ccb43203e289fa","datavalue":{"value":{"entity-type":"item","numeric-id":2999574,"id":"Q2999574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cfc0d2fc403392e664cca9d92c6dd60b311e584","datavalue":{"value":{"amount":"+0.7609244585037231","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":"Q788075$8B9C6A56-7D8A-4104-BD82-0E0D07A17CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6de5dc21d61e26b4caf55ab9b06a62fb5ff561","datavalue":{"value":{"entity-type":"item","numeric-id":4310009,"id":"Q4310009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79830bf77c526ef65ba10097d34ffb98cd8466c7","datavalue":{"value":{"amount":"+0.759529709815979","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":"Q788075$A25796BC-7F38-4BFE-B3BB-AF4B21A9B588","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hereditary orders with infinitely many idempotent ideals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hereditary_orders_with_infinitely_many_idempotent_ideals"}}}}}