{"entities":{"Q2776820":{"pageid":2787558,"ns":120,"title":"Item:Q2776820","lastrevid":79572800,"modified":"2026-05-06T14:14:07Z","type":"item","id":"Q2776820","labels":{"en":{"language":"en","value":"Comparing first order theories of modules over group rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1716776"}},"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":"Q2776820$8A6A9772-5FBA-455D-928F-2ACDA8B0B957","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f22cebe077d2668451df1bc64f080e29e2c20081","datavalue":{"value":"0993.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776820$554CFB24-9EEB-4CCE-A242-BA698D7A2737","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e42d3b63a80627a7a13fa2a17d8f3badf1186620","datavalue":{"value":{"entity-type":"item","numeric-id":190277,"id":"Q190277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776820$C717B403-E374-4BC1-A78A-07F57E2A2D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8cf22f9c82d126ffa66163bab62d95a5907e7af","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776820$1B46508F-B75A-4F6D-B077-A5022F1A0236","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f8c686acf111f5870bb8b8a79eaa7f4f60ee12e","datavalue":{"value":{"time":"+2002-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2776820$0C3EC919-F2A6-4A52-90D4-8E2D3BEAC002","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776820$4BBBF6CF-C2E2-4548-90E9-E50560AF6C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776820$86B23DAE-B937-43D2-B00C-2C28747672EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67f94a1d04b3636766a4e1079c477f769c10cdd2","datavalue":{"value":"20C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776820$149BE6B9-8006-44C8-B83E-66EF01CCFBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776820$9886885F-C0DB-48B9-98A7-6F172D2D7D9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70e863d16433dc6bac43a522fbee1f160b830aec","datavalue":{"value":"1716776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776820$52A71003-8946-46AC-8D96-8E4CBB2DCE3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced81e8115e06962f55f99b5e8c2238bdc90953a","datavalue":{"value":"Dedekind domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776820$2CC5CDDE-8736-42AF-BCE5-C4BB93A3364A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776820$623C9273-4637-486E-A3E7-AF4FBACADC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26f0720967c58a7a0b9e0f783eed83070222a7fc","datavalue":{"value":"group ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776820$00F4EA13-3B57-41D4-AEBA-D19F7E4456DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec14f6f0bde61d94a3f634b6ebb419c41aad3b4c","datavalue":{"value":"torsion-free module","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776820$C0A491E7-253F-4C7C-8045-8A1CB82BD03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ba40e4f801e08062da753d888cd8892dc0ce7b3","datavalue":{"value":"pure-injective","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776820$2FB0584D-8B9C-41DE-B0FF-4DA2BB02F809","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":"Q2776820$7690808E-6CE8-4518-B142-E47E82A99543","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe22b40af546f4367c0fabe301f6add349015399","datavalue":{"value":{"entity-type":"item","numeric-id":3043121,"id":"Q3043121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776820$1356CD00-D433-401F-BCFB-C71F6DA6E8F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05e5506fd2b30a6ceaea48b75ec812989837e39a","datavalue":{"value":"10.1002/1521-3870(200201)48:1%3C147::AID-MALQ147%3E3.0.CO;2-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776820$0ABFC7D7-9150-4148-A367-4D6ADC825C61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8d90d9a7bfe46c50d0f626bbb2ec808377ad491","datavalue":{"value":{"text":"Comparing first order theories of modules over group rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2776820$66AF7874-6304-4A4C-82C6-C6F1A95C2501","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776820$6E087178-5A89-41C8-8D00-FBF9A9102506","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6169f05921ced422bda33f9f0d96f02717920967","datavalue":{"value":"Throughout, \\(R\\) is a Dedekind domain of characteristic 0 and \\(G\\) is a finite group. An \\(RG\\)-lattice is a finitely generated torsion-free \\(RG\\)-module. The question initially addressed by the authors is whether the theory of \\(RG\\)-lattices is equal to the theory of \\(R\\)-torsion-free \\(RG\\)-modules. They show that these theories are equal if and only if \\(R\\) is a field. So they modify the question by asking when the theory, \\(T_0\\), of \\(RG\\)-lattices is equal to the theory, \\(T_1\\), of \\(R\\)-torsion-free \\(R\\)-reduced \\(RG\\)-modules. They show that if \\(R\\) is local then these are equal provided that \\(RG\\) is of finite lattice representation type and provided that Heller's condition holds (every \\(\\hat{R}G\\)-lattice is the completion of an \\(RG\\)-lattice, where \\(\\hat{R}\\) is the completion of \\(R\\) at its maximal ideal). (If \\(R\\) is not local then \\(T_0\\neq T_1\\).) They establish the necessity of these conditions, at least under some additional hypotheses. NEWLINENEWLINENEWLINETheir proof gives rise to the following question: if \\(M\\) is an \\(R\\)-reduced \\(RG\\)-module, is the pure-injective hull of \\(M\\) also \\(R\\)-reduced? They show that this is so in some particular cases, but the general question is left open.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776820$EA6DDB0E-CADE-4575-AF1E-D244DC6B03B4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2d97b53f005c7a0720daf149ed39bbd3004df69f","datavalue":{"value":{"entity-type":"item","numeric-id":1254307,"id":"Q1254307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776820$0C0C5613-49A0-467F-82B3-09473F783F46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3a7a7425922f926f2ba1b953b9cbe00ac467b9","datavalue":{"value":{"entity-type":"item","numeric-id":4787866,"id":"Q4787866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ee01c1ab47e98e711b548a7158d0254b898e7b","datavalue":{"value":{"amount":"+0.8132040500640869","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":"Q2776820$DF3255EE-0999-41A6-8C2B-BA1DD796BF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617fb7dd09aaea8272ea910982ced10f74e93eca","datavalue":{"value":{"entity-type":"item","numeric-id":865037,"id":"Q865037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ee01c1ab47e98e711b548a7158d0254b898e7b","datavalue":{"value":{"amount":"+0.8132040500640869","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":"Q2776820$19875D3B-B840-4BE2-BCFF-3198B5500171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"072f1f3f6e3dddd9f1c77f8caec725a5786f095e","datavalue":{"value":{"entity-type":"item","numeric-id":4779655,"id":"Q4779655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8694b76fb46ab858da8469b86213a18c00368960","datavalue":{"value":{"amount":"+0.797059953212738","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":"Q2776820$4216C9F1-E97E-4D34-915C-5E576D16D981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"171a76d4ccfba97c38ff92a58e39b66564b877c5","datavalue":{"value":{"entity-type":"item","numeric-id":3708886,"id":"Q3708886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18bb27d149f7579a1c52ffd3dfa02953b4d79c7d","datavalue":{"value":{"amount":"+0.7268741726875305","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":"Q2776820$1DA72F11-A4DD-4EAA-B9E7-8A9B579EC99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cdfd2ac24354c687ddc92c07c1a1cdbf495eb44","datavalue":{"value":{"entity-type":"item","numeric-id":1128174,"id":"Q1128174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2505d241337e1f1cd44bf7974d849f73950bd43","datavalue":{"value":{"amount":"+0.726307213306427","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":"Q2776820$D4D9D895-0AA4-4B8C-A768-D13C53DB237D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparing first order theories of modules over group rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comparing_first_order_theories_of_modules_over_group_rings"}}}}}