{"entities":{"Q1103048":{"pageid":1113800,"ns":120,"title":"Item:Q1103048","lastrevid":69647622,"modified":"2026-04-13T08:26:38Z","type":"item","id":"Q1103048","labels":{"en":{"language":"en","value":"On the isomorphism problem for group rings and completed augmentation ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051866"}},"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":"Q1103048$2A6AA15B-8086-43E7-8242-0B8E354A698D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7eb15ca4a690558814f8c89caa242f02c22f235","datavalue":{"value":{"text":"On the isomorphism problem for group rings and completed augmentation ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103048$322D69E1-9167-40F8-A6EA-1C8887081B52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bf74e573c05d5055376505a463a0bcd6b2024a7","datavalue":{"value":"0645.20003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103048$F1C16ACA-61F2-4F5F-89CB-8D505815A494","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"474011c3125e8125778bbd3990e3e4a155160367","datavalue":{"value":"10.1216/RMJ-1987-17-4-853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103048$B5A29F17-583B-45FC-9B42-AF7DC12100BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c56016573ce7bfe3075a77ec18be101169a3439","datavalue":{"value":{"entity-type":"item","numeric-id":168778,"id":"Q168778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103048$3832991E-4D40-403D-9055-C96DB0907AB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1103048$660884A1-860C-43DD-B500-26D6081737D8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"762e372f2841ba1e9a97ff8ee8ab6ef85a7e3426","datavalue":{"value":"From a part of the author's introduction: ``Let G be a group, \\(\\Delta_{{\\mathbb{Z}}}G\\) its integral and \\(\\Delta\\) G its modular augmentation ideal, i.e., over the field \\({\\mathbb{F}}_ p\\) of p elements. In this note, we consider the integral isomorphism problem - whether \\(\\Delta_{{\\mathbb{Z}}}G=\\Delta_{{\\mathbb{Z}}}H\\) implies \\(G\\overset \\sim  \\rightarrow H\\)- for certain finite p-groups and emphasize the aspect of how much of our methods carry over to the modular case. - Having finite p-groups at our disposal, the most obvious approach to attack the isomorphism problem is to try some kind of induction...''. The author defines a group to be \\({\\mathbb{F}}_ p\\)-strongly characterized by its integral group ring, if \\(\\Delta_{{\\mathbb{Z}}}G=\\Delta_{{\\mathbb{Z}}}H\\) implies the existence of an isomorphism \\(G\\overset \\sim  \\rightarrow H\\), whose extension to an automorphism of \\(\\Delta_{{\\mathbb{Z}}}G\\) induces the identity on \\(\\Delta\\) G/\\(\\Delta\\) 2G. The main result is Theorem (3.3): Let F be a finitely generated free group and \\(R\\subset F_ 2\\cdot F\\) p a normal subgroup such that F/R is a finite p-group. If F/R is \\({\\mathbb{F}}_ p\\)-strongly characterized by its integral group ring, then so are F/[F,R] p and F/[R,R]R p \\((F_ 2\\) denoting the second term of the lower central series and [, ] denoting group commutators). Finite metabelian p-groups are \\({\\mathbb{F}}_ p\\)- strongly characterized by their integral group ring and so the Theorem (3.3) applies here. The following example is given of how the induction works: For an arbitrary group H define \\(\\lambda_ 1(H)=H\\) and \\(\\lambda_{n+1}(H)=[H,\\lambda_ n(H)]\\lambda_ n(H)\\) p, p a prime. Then the series \\(\\lambda_ 1(H)\\supset \\cdot \\cdot \\cdot \\lambda_ n(H)\\supset \\cdot \\cdot \\cdot\\) forms a descending central series of H, and it turns out that \\(\\lambda_ n(H)=H_ 1^{p^{n-1}}\\cdot H_ 2^{p^{n-2}}\\cdot \\cdot \\cdot H_ n.\\) If F is now a finitely generated free group, then \\(F/F_ 2F\\) \\(p=F/\\lambda_ 2(F)\\) is - as an abelian group - \\({\\mathbb{F}}_ p\\)-strongly characterized by its integral group ring, and (3.3) thus, inductively, gives Corollary 3.6. \\(F/\\lambda_ n(F)\\) is \\({\\mathbb{F}}_ p\\)-strongly characterized by its integral group ring for all \\(n\\in {\\mathbb{N}}\\). Also it is possible to show that, if F is a finitely generated free group and R a normal subgroup lying between two successive terms of the series of modular dimension subgroups of F with respect to the prime p - say, \\(M_{n+1,p}(F)\\subset R\\subset M_{n,p}(F)\\)- then F/R is characterized by \\({\\mathbb{F}}_ p(F/R)\\). This generalizes Sehgal's result that groups G with \\(M_{3,p}(G)=1\\) are characterized by \\(F_ p(G)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103048$0F22EA1A-6E5A-4FD6-9FD3-C9D587302680","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2a08fbf923859623db67d2f25dda13b53d2263b","datavalue":{"value":"20C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103048$3E6D3257-3E81-476B-A4F6-CBCB5E048FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5686a691cb5ce3980c2b4130b1f83237884a7dfc","datavalue":{"value":"20F12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103048$46B35700-792B-40D2-91AC-ECC36A6F43B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d267b79d7c375f7a21a0589ed85621f83aaaf2d","datavalue":{"value":"20F14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103048$FCD48E3E-79D3-440A-951D-FB8C6A06F0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"677f074949b6912a3d5be9a52164e3a800597639","datavalue":{"value":"20D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103048$6D3BADD0-F59D-4F94-9F45-C1A1C5124694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78561816a36336f990925c0d7d4e291f6baa24cd","datavalue":{"value":"16S34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103048$8BE11602-131C-4B73-8E6E-1EB807584F5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5f04a78100a8a5ae2083a8f3d14efe11b394533","datavalue":{"value":"4051866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103048$90CBB2B9-D4AF-4B12-8FE8-3EEB30971AAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b47f4209321e6600140f3b81c3f80b04c8dcd1","datavalue":{"value":"modular augmentation ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103048$45CD31B7-14ED-44D0-9EB2-CD9475BAB1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6efcaf4df0b775ff1d8dd90eb29aae269c404d38","datavalue":{"value":"integral isomorphism problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103048$96605E15-D711-4C12-AA97-D590C21C3B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f81b1a1da71cd29d665eeb76f6f85a3cc07e99fe","datavalue":{"value":"finite p- groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103048$069FCB5F-48E0-4566-A4C4-E6E766912593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4903fa93c3795b45757a4c3f835386c30cdbb18f","datavalue":{"value":"\\({bbfF}_ p\\)-strongly characterized by its integral group ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103048$60686950-8921-4AA5-BA96-E4E76509639B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65a875072cd69211ac27499ecb9e6a66aee3fe6","datavalue":{"value":"lower central series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103048$F6E25ABB-412B-4E12-BD88-09F208FFA96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a03ed4efe1a975b91ed6a12b27030fe5011de5cf","datavalue":{"value":"metabelian p-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103048$422D08AC-5D6C-4EF8-B3CE-8ACB3618B935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44d8802b4716988458c2208a5ea43b757895b682","datavalue":{"value":"finitely generated free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103048$6587114F-C2F9-473C-AFC1-3D7306033563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b8bb6b95d249afb0605ce6639b9fdc8ec7a0458","datavalue":{"value":"modular dimension subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103048$4A0BDFF3-27AB-4830-B0CB-8EE7991B5C2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"feaf2522ca3dc4a186f990587624161ce275488e","datavalue":{"value":{"entity-type":"item","numeric-id":1053108,"id":"Q1053108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103048$B738A24D-95E0-4FC4-88ED-F7B0D634184D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"efbcdf04a136305c32b8c4a4d5d830321e9df644","datavalue":{"value":{"entity-type":"item","numeric-id":2395993,"id":"Q2395993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103048$0C19BC94-D176-4E7C-8B0F-2A1654FBEE9E","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":"Q1103048$0429DF8C-458E-497B-8A6B-ECC9A0CF065B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa7162418cf5bc468c5687dfaa12cd67b890d5cb","datavalue":{"value":"https://doi.org/10.1216/rmj-1987-17-4-853","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103048$D01AEF94-40E8-4EFE-BFBC-02AC747EE026","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e5c21b8037bbe0ac298de49fe2415ecd2eefc3e","datavalue":{"value":"W2059257916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103048$4B17C9B6-D5A7-45D4-886C-E553FE5B433E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d6a50961574320990cc7c0fcd9a0fd1f8ef201f","datavalue":{"value":{"entity-type":"item","numeric-id":801150,"id":"Q801150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46cbdfaf3abc7b2ead62e4be67789fbc21512526","datavalue":{"value":{"amount":"+0.93446296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103048$E022979A-87AE-4AD9-A6B2-77BFDB306EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7b1768ae60a8c1a28fb2d5a9664f452fce7aee","datavalue":{"value":{"entity-type":"item","numeric-id":1325228,"id":"Q1325228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd80e5ff8f265daddd682b54dc4398daed7a3b4","datavalue":{"value":{"amount":"+0.92648154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103048$93DFDC55-A0F1-4B97-BC8F-4F9E994F6E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887f81f1ca2e7e65d8b622ba86ba6345a6169969","datavalue":{"value":{"entity-type":"item","numeric-id":3728175,"id":"Q3728175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8222eb218697d584ad42a923be4af8d4e9c4df04","datavalue":{"value":{"amount":"+0.92619133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103048$C6976F05-8209-4201-9BAC-AB66CB0A8EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56d04d4dc257c63083fd75b0e604257334ed24f1","datavalue":{"value":{"entity-type":"item","numeric-id":4527221,"id":"Q4527221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902769ea46e4890e9f534654edea7c664a95885c","datavalue":{"value":{"amount":"+0.9235993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103048$EB5C69C8-3738-4150-BA2E-1189D2FD5019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc72debf9caf8802f71b1b512ef8ce934cee23b","datavalue":{"value":{"entity-type":"item","numeric-id":4012099,"id":"Q4012099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90984548ac460e8995fdf3df3b0c8cf7e5ce244","datavalue":{"value":{"amount":"+0.91960216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103048$5196EBB4-4885-4CAD-AAC8-BF3363430656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8eec00c9db3a1dbb280635c3d5629f0b6320ef","datavalue":{"value":{"entity-type":"item","numeric-id":4011123,"id":"Q4011123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90984548ac460e8995fdf3df3b0c8cf7e5ce244","datavalue":{"value":{"amount":"+0.91960216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103048$147F5524-12CB-4224-BACA-6BA98D78B775","rank":"normal"},{"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":"5e463a1eada36157cfdc1d69c56d26c9954ac2ee","datavalue":{"value":{"amount":"+0.91718876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103048$936BC9A6-8BC1-4868-8EA7-BBE7B5E62E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5404b15988352175201ddae528507b8548ac3387","datavalue":{"value":{"entity-type":"item","numeric-id":3679372,"id":"Q3679372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa854b26d4158e05bcece74889b8ff5d7f11b0fc","datavalue":{"value":{"amount":"+0.91635513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103048$EE9CAAF9-15FC-4096-9D11-4AD46B5C1FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463b1db4446489e7b184d3f87f703574501ef01b","datavalue":{"value":{"entity-type":"item","numeric-id":4015768,"id":"Q4015768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b921c9928fb45761cf90ae331bac4cfa577f42","datavalue":{"value":{"amount":"+0.91485584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103048$2174DA8A-FE53-4A30-BAF7-FA29614BBA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9e6416c824e4ab0bb36974860692dbb6d39645","datavalue":{"value":{"entity-type":"item","numeric-id":1908011,"id":"Q1908011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217444b262bafa7ee5d20a1faa531a0f163f408c","datavalue":{"value":{"amount":"+0.9145942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103048$6C086373-7960-4069-B74B-F18DC1902DB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the isomorphism problem for group rings and completed augmentation ideals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_isomorphism_problem_for_group_rings_and_completed_augmentation_ideals"}}}}}