{"entities":{"Q1574706":{"pageid":1585446,"ns":120,"title":"Item:Q1574706","lastrevid":72228489,"modified":"2026-04-14T03:29:12Z","type":"item","id":"Q1574706","labels":{"en":{"language":"en","value":"Polycyclic-by-finite group algebras are catenary"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1489491"}},"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":"Q1574706$D18BDF53-140B-40F1-8139-98128D3256A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"165483fdcfb8983bd2f8da7fe1917f51a9b047fd","datavalue":{"value":{"text":"Polycyclic-by-finite group algebras are catenary","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1574706$15A966A2-9982-4FE4-8AB0-267931044C48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46529d0a825f57c6c70ecfb8877603b53ab006aa","datavalue":{"value":"0963.16020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574706$D9718FF9-436A-4C5F-9B34-2078C5007F8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14dc6950126a888bd9f2aea0d59f8ab5925ed71b","datavalue":{"value":{"entity-type":"item","numeric-id":207164,"id":"Q207164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1574706$2EC34F6B-F150-4A28-B8C5-25F464AB82A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f8e413c99e67d7d25507f16366d60e7d2e8e53f","datavalue":{"value":{"entity-type":"item","numeric-id":220952,"id":"Q220952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1574706$A8002CF5-4CE9-4324-BACB-58826C2A9FEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1574706$F22225C0-50FC-47A8-9644-AA91B40C9C71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e860b5f64d3c861d84ef4e070486fc2e63f2c53","datavalue":{"value":{"time":"+2000-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1574706$215FB232-0F33-4756-9E10-B3F3FF5A49F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76a71a2f8361cbaa7d81c7114f0d640470a6bf9d","datavalue":{"value":"https://arxiv.org/abs/math/9808123","type":"string"},"datatype":"url"},"type":"statement","id":"Q1574706$7CCC8398-D0E7-41EC-82CF-9F5D425F1E74","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8346f13bb8383897f39d0611a2b55d2104e90bac","datavalue":{"value":"Let \\(P\\subset P'\\) be prime ideals of a ring \\(R\\). A chain of prime ideals \\(P=P_0\\subset P_1\\subset\\cdots\\subset P_m=P'\\) is said to be saturated if it can not be lengthened by the insertion of more prime ideals. A ring \\(R\\) is called catenary if for two arbitrary prime ideals \\(P\\) and \\(P'\\) with \\(P\\subset P'\\), any two saturated chains of prime ideals between \\(P\\) and \\(P'\\) have the same length. It is well known that affine commutative algebras are catenary, so it is natural to ask which noncommutative Noetherian rings are catenary. By a relatively old result of P. Hall, group algebras \\(kG\\) of polycyclic-by-finite groups \\(G\\) over a field \\(k\\) are Noetherian. This gives one of the most interesting classes of noncommutative Noetherian rings. Prime ideals in \\(kG\\) have been deeply studied, however, despite of some very interesting positive results, it was an open question for approximately 20 years whether or not \\(kG\\) is catenary for polycyclic-by-finite groups \\(G\\) in general. In the paper under review the authors resolve this question completely, namely, using the so-called second layer theory, they prove that \\(kG\\) is catenary for arbitrary polycyclic-by-finite groups \\(G\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574706$85BF0035-23F4-4649-B13C-3E113B5E5071","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"78561816a36336f990925c0d7d4e291f6baa24cd","datavalue":{"value":"16S34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574706$1258AC5B-A63E-4FD0-9C77-EF0EE7C2950E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10d40b28c3d9191a27aa59f47859591f9e84c512","datavalue":{"value":"16P40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574706$97EC9611-7356-4D98-85CE-946E7FB69315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48290a74f17f234f1feff5558914d4b85e338044","datavalue":{"value":"16P60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574706$17501784-D65D-4CA5-BDB8-50B7CEAB17CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a1a4186812d01433313a8948e0d5c4282e52788","datavalue":{"value":"20F19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574706$58EAA310-307D-49B7-A38F-6822BD0F561E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574706$8626DA66-0C64-4BAD-BA93-2C0A2EB1B3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48f73236e58d3b9eb494e5927909ad332acac144","datavalue":{"value":"16D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574706$1DCC778E-0216-4E1F-A70D-B0D9BC682EC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41dc62f34d7d1f20ff8d4bf623fa2747088e7d30","datavalue":{"value":"1489491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574706$35ECE201-E5DE-409A-AE36-1F6AEC65B56B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4115c94ca7e78e58aee70e678d77c3629dc729c","datavalue":{"value":"group algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574706$D0A409DA-23AC-4053-8470-474092754DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0e4bedbf74f73dc7548cd015207b94f668937f","datavalue":{"value":"polycyclic-by-finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574706$EE75F5D9-5364-4B58-96AA-989ECCCDCDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dd10ab560c1d90dc6b9ad97cb3b102896f713d6","datavalue":{"value":"prime ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574706$D9471A31-246E-403E-8C59-BF48200E5F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87e23e6f27f4d0571414482010fe7e046fb453e2","datavalue":{"value":"Noetherian rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574706$3B376F62-3AA4-49E8-9337-DBF25A2636D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4ddff436943ba887f0b032d483fd77f182645a8","datavalue":{"value":"catenary rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574706$DF9EC394-DE2B-4038-92F7-2EC645BF8D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37947c04ebaebc8d7b7678c615bbb34e85b058b1","datavalue":{"value":"second layer condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574706$05E4B85C-74BC-4B99-88CE-76FCEFDD2EDC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e051306037fda4af4a4b4c47624518d78c7e8dd7","datavalue":{"value":{"entity-type":"item","numeric-id":1647354,"id":"Q1647354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1574706$3C2896B8-81E6-4056-A211-C594111F01DB","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":"Q1574706$D45672DA-AEBF-43B3-B0B1-7AFC2D826425","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3da068ffd2bc7c6b3b48afe6a6f00e463f7a9efd","datavalue":{"value":"10.4310/MRL.1999.V6.N2.A6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574706$752A8303-6132-4938-91FD-EFD8AA0A9403","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37de50198774b8278226f00b784e04fb55702b0","datavalue":{"value":{"entity-type":"item","numeric-id":4268904,"id":"Q4268904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a0c56203a008b4bc6cc348ff11c5a5e6cb02ec","datavalue":{"value":{"amount":"+0.7692352533340454","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":"Q1574706$12DFA64B-4580-437F-8CFC-E7E7823E8449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbffa0f6ad41bd793d6a23ce8d54d3d58e3c83da","datavalue":{"value":{"entity-type":"item","numeric-id":5944688,"id":"Q5944688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc1dd6640fce28d92daffb80847099543031cab","datavalue":{"value":{"amount":"+0.769119918346405","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":"Q1574706$183B2320-7DCA-4FE2-97C3-6DBF97F770C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b122765ce04fe5f586606ff752d5cc760a2dd069","datavalue":{"value":{"entity-type":"item","numeric-id":2200045,"id":"Q2200045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e93cc4beb43eda0f11402714ff95f69f4fe4b4","datavalue":{"value":{"amount":"+0.764678955078125","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":"Q1574706$A36B6C1F-9E16-438B-B7AD-F44E5C363136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798560db5a6576e7d26b1cb68384af0a27ad3ba2","datavalue":{"value":{"entity-type":"item","numeric-id":3218258,"id":"Q3218258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"946e20fdca00e4eef018c8bb4735e92e6f45cd42","datavalue":{"value":{"amount":"+0.7635353207588196","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":"Q1574706$BA1639E4-8735-41DB-84F9-7C1DB12B4FE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polycyclic-by-finite group algebras are catenary","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polycyclic-by-finite_group_algebras_are_catenary"}}}}}