{"entities":{"Q1908011":{"pageid":1918753,"ns":120,"title":"Item:Q1908011","lastrevid":47020188,"modified":"2025-12-26T01:41:41Z","type":"item","id":"Q1908011","labels":{"en":{"language":"en","value":"On the isomorphism problem for infinite group rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 849122"}},"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":"Q1908011$5D1AEB5A-B1DA-4A22-9BE8-DC9A3A4D1A47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad347b2ba48632748277246e653df0bbccfe247c","datavalue":{"value":{"text":"On the isomorphism problem for infinite group rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908011$7A4B9AAD-F17F-4D3C-A7D6-C2753B6BE3D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d05f297f351054a0343a48b2b5e842bddb36f7fa","datavalue":{"value":"0841.20011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908011$1E1D81E7-5768-4551-8586-36BD363D794B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2aa0ada11ff2f6483dcc956ed51d30fd4b6f7ae","datavalue":{"value":{"entity-type":"item","numeric-id":241609,"id":"Q241609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908011$7CF33089-736A-4DB2-833C-2043B81D0E1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f2112c1a79f70fd141fe2dee491fd316f1d52a81","datavalue":{"value":{"entity-type":"item","numeric-id":189404,"id":"Q189404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908011$AB835B57-3FB5-4DAC-ABD1-7F4E55715A6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a25e2bbbcbcee29f86a5197d9b4d5849898c2674","datavalue":{"value":{"time":"+1996-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1908011$BB45B356-4BF1-4C9A-8D7C-CA8DB443C125","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40f90b2b55d6ae839bbd7019f76dab8fc8a4d94f","datavalue":{"value":"The author studies the properties of a certain semi-direct product associated to a group \\(G\\) and an automorphism \\(\\phi\\) of \\(G\\): \\(G\\rtimes_\\phi\\mathbb{Z}\\) with \\((g,z)\\cdot(h,z')=(g\\cdot{^{\\phi^*}}h,z+z')\\). An important property of these groups is that \\(G\\rtimes_\\phi\\mathbb{Z}\\simeq G\\rtimes_\\psi\\mathbb{Z}\\) if and only if \\(\\phi\\cdot\\psi^{-1}\\) is an inner automorphism of \\(G\\). A corresponding result for group rings is the following Theorem 1. Let \\(G\\) be a finite group and \\(R\\) an integral domain of characteristic zero such that no prime divisor of \\(|G|\\) is invertible. Then \\(R(G\\times\\mathbb{Z})\\simeq RW\\) if and only if \\(W=H\\rtimes_\\phi\\mathbb{Z}\\), where \\(H\\leq W\\) is finite such that \\(RG\\simeq RH\\) and \\(\\phi\\in\\text{Aut}(H)\\) is inner in \\(RH\\).   \\textit{A. Zimmermann} and the reviewer [J. Pure Appl. Algebra 103, No. 1, 91-99 (1995; Zbl 0835.16020)] had constructed a ring of algebraic integers \\(R\\), a finite group \\(G\\) and an automorphism \\(\\phi\\) of \\(G\\) such that \\(\\phi\\) is not inner on \\(G\\) but \\(\\phi\\) becomes inner in \\(RG\\). This example serves two purposes: It shows, that the natural map \\(\\text{Out}(G)\\to\\text{Out}(RG)\\), which is injective for groups of odd order, need not be injective [cf. \\textit{S. Jackowski} and \\textit{Z. Marciniak}, ibid. 44, 241-250 (1987; Zbl 0624.20024)]. Together with the above theorem it provides an example of two non-isomorphic polycyclic groups \\(W_i\\) with \\(RW_1\\simeq RW_2\\) for \\(R\\) the ring of integers in a certain algebraic number field [loc. cit. and \\textit{A. Zimmermann} and the reviewer, loc. cit.]   The author then gives some applications of this result. He concludes with posing some interesting problems: One of them should be formulated as follows: Given a semilocal automorphism \\(\\mathbb{Z}_\\pi G\\simeq\\mathbb{Z}_\\pi H\\), such that the order of no torsion elements in \\(G\\) is a unit in \\(\\mathbb{Z}_\\pi\\), does this imply that there is an isomorphism of the integral group rings \\(\\mathbb{Z} G\\simeq\\mathbb{Z} H\\)?","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908011$5A0730F8-2959-448F-BB10-DE9A893156D6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d71d4e3f340b4759d52437332272db789a56a0df","datavalue":{"value":{"entity-type":"item","numeric-id":201475,"id":"Q201475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908011$D6F7014D-95B3-47FA-A5E9-C2040DB774DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ac2d24f41e2c2180f797138a3406a99f4c6f43d","datavalue":{"value":"20C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908011$3BD2EA4B-F287-4923-AEB7-01D8794ADC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78561816a36336f990925c0d7d4e291f6baa24cd","datavalue":{"value":"16S34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908011$C5AE4294-C11A-4D5C-A685-8B46F8BCFAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908011$8A0C95A2-2642-4E29-9911-4AE5E892FE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7281f47281be7939b8011fb35d11c8347c2b6e5","datavalue":{"value":"16U60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908011$39636DBB-D166-475A-A738-25FC7DE7F3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"446743b4bc857654a1ded5abcfd1d270ede262f3","datavalue":{"value":"16W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908011$0D9C1087-DAFC-47F6-A395-59B3139E6CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4783aefc0465a962c2651b89c22d3aa35c14ce","datavalue":{"value":"20E36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908011$4A84488A-C3F7-4FFA-8C14-006B9CEF9713","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"704937808e1a3eaa3164eedb4e887335184bce03","datavalue":{"value":"849122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908011$509BC2EA-5E01-49B9-ACC3-F28A539742BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b181606adcba6432b0019d481c67f516d9807857","datavalue":{"value":"isomorphism problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908011$506736EB-858D-4D12-A5AB-36937D9564FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fad8fe036e13adafc8a323a9aa3c5fc9008a1a2","datavalue":{"value":"semi-direct products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908011$2CA7979A-DAAD-4FBD-BE41-EE8E50B6DCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91b56bb133e8ed566bbef43ce4e3af717825bde5","datavalue":{"value":"inner automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908011$D972B94F-62A2-4252-99A3-F12578CB374C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de99e7f702b6736310c9f87d01eb639db75a4c72","datavalue":{"value":"finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908011$36807146-E7E4-41E2-A740-B03E33983668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea427786efad3eb8906bde0b7dff43124705ec36","datavalue":{"value":"integral domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908011$FF04D98B-2469-436F-B171-548C666B0A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f66eae8643a481d384f9fcc3f07818e34f830a","datavalue":{"value":"ring of algebraic integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908011$E8DAE0B2-82DF-4B31-B008-D471F2509736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2608e675d031e4df3070d66a4e2cd16045827d1c","datavalue":{"value":"polycyclic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908011$C906321B-B231-4ACE-AD6C-F8782A2C51DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e59a4dd7202b2d730617f8b7cd4ff8b1b74dcde","datavalue":{"value":"integral group rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908011$76E6C86C-596D-47F2-9254-AC15643D2E64","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":"Q1908011$414978BE-1FAC-4511-9E4D-7D40DC0F6601","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3bb2be1137ae06ad0518eacb1b78c566af40930","datavalue":{"value":{"entity-type":"item","numeric-id":3807408,"id":"Q3807408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6438232401e4aa8bb0d734033c7c6f423b1a25c","datavalue":{"value":{"amount":"+0.8315694332122803","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":"Q1908011$11ED25EC-93BD-4CC6-BEB3-658DF9E11461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"759ee06a46b32be4aef40a287790f0e126bba3b5","datavalue":{"value":{"entity-type":"item","numeric-id":1969122,"id":"Q1969122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e549bdd30ab888f92204c83d3cf4e91044e00d","datavalue":{"value":{"amount":"+0.8266437649726868","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":"Q1908011$473993B9-4475-41B3-BFB1-36F1F8B11222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef38302a6c3185d6c0589a6767fc152044f4dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4888468,"id":"Q4888468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0833ce810fdf688e1e0e2f13c4c9296f029a761c","datavalue":{"value":{"amount":"+0.8245611190795898","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":"Q1908011$7C89121D-9DBC-4E06-A9DA-8259A9318339","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1908011","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1908011"}}}}}