{"entities":{"Q1095247":{"pageid":1105999,"ns":120,"title":"Item:Q1095247","lastrevid":69629091,"modified":"2026-04-13T08:19:09Z","type":"item","id":"Q1095247","labels":{"en":{"language":"en","value":"An inequality in integral representation theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027731"}},"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":"Q1095247$4C8F431D-D080-46D3-B9AF-424EFDD514D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11590086bb8a8e4d50afd8bf57bf77577537f21d","datavalue":{"value":{"text":"An inequality in integral representation theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095247$13A85274-1325-45F8-9512-866F1B625B47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6beb5512f1eaede9af9ed0a92153bf2faaa3d56b","datavalue":{"value":"0632.20004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095247$C7218C64-37C5-40FC-B2B2-20EC292DF37F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095247$F4535D2B-C79E-466E-BF8F-9C9CF10182F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1095247$98B73B7D-435A-44A0-92B1-FB4E3F8DA301","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"52774059b5ca5adae1c39cc06acb2fccb3f86d61","datavalue":{"value":"Let p be a prime number and G an abelian group of order \\(p^ n\\), \\(n\\geq 1\\). Let M be a module for the integral group ring ZG which is Z-free and finitely generated and which affords a faithful representation of G. Let V denote the corresponding QG-module, \\(V=Q\\otimes M=QM\\). The main result of this paper gives a relation involving the \\(rank_ Z(M)\\), the dimension over \\({\\mathbb{F}}=Z/pZ\\), of the space \\((M/pM)^ G\\) of G-fixed points on M/pM, and the elementary divisors of G.    Let \\(d_ i(G)\\) denote the number of cyclic direct factors of G having order \\(p^ i\\) in a fixed decomposition of G as a direct product of cyclic groups, \\(\\phi\\) is the usual Euler function, \\(\\lambda\\) (V) is the composition length of the QG-module V.    Theorem 1. Let G be a finite abelian p-group and let M be a Z-free ZG- module on which G acts faithfully. Then  \\[  rank_ Z(M)-\\dim _{{\\mathbb{F}}}(M/pM)^ G\\geq \\sum ^{e}_{i=1}d_ i(G)(\\phi (p^ i)-1),  \\]  where \\(p^ e\\) is the exponent of G. - The proof is carried out by proving two auxiliary results: Proposition. With G as above, and V any finite dimensional QG-module on which G acts faithfully,  \\[  \\dim _ Q(V)\\geq \\sum ^{e}_{i=1}d_ i(G)\\phi (p^ i).  \\]  Proposition. Let M be any Z-free finitely generated ZG-module. Then \\(\\dim _{{\\mathbb{F}}}(M/pM)^ G\\leq \\lambda (QM).\\)    The bound in Theorem 1 is best possible in the sense that for any given G, there is an M for which equality holds. Interest in bounds of this type is motivated by work of Wm. Browder and A. Adem in which they study groups acting on products of spheres.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095247$527C5C14-0A33-45FE-8E1B-436071B16801","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2a08fbf923859623db67d2f25dda13b53d2263b","datavalue":{"value":"20C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095247$143651F8-821D-4977-A945-D06313CB155C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67f94a1d04b3636766a4e1079c477f769c10cdd2","datavalue":{"value":"20C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095247$ACDABEE1-BD10-4527-B27F-BBD46B00F8BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6eb511d2be410033a34f7ffa5ac47d3604ff7457","datavalue":{"value":"4027731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095247$1D710F02-E580-4A65-9E24-C6C9B63FEDC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d09c6863f229b2583a145abf7b678f6ad7c38a0d","datavalue":{"value":"abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095247$DDD64409-3C68-4426-8902-7FCB62C13548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe4355238737d266ed742c230d3bbc77208a297","datavalue":{"value":"integral group ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095247$C742B680-E346-4FC2-BDA4-D627FC0BAB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c57292ce0b7ecf20ec6edf5aa8bd2ee3451e79e4","datavalue":{"value":"faithful representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095247$7D077E3F-3DC6-4336-8500-0203B334718E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80d2e60d0049835bd46994ea16b792984739e2c","datavalue":{"value":"number of cyclic direct factors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095247$24888ECD-2120-40B0-9061-AF72DAB0F4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7674bd132b3b877a48a8318225184c47b7d05eb2","datavalue":{"value":"direct product of cyclic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095247$0F80B0DC-5395-4657-86E5-727A87099EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"761e74409e79b1a3501c57055d8375ae4ad6db70","datavalue":{"value":"composition length","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095247$82EBFFDB-CEFE-4A06-B67F-D796535A5CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be557bf64eb47008b9ca7d66678914178356243f","datavalue":{"value":"finitely generated ZG-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095247$39AE0EF6-8CBA-437F-920E-6F832D3281C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac74c8619dcb008defb8d1fcb2542dc490be53bb","datavalue":{"value":{"entity-type":"item","numeric-id":786228,"id":"Q786228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095247$05F8FEFC-D295-4B6E-B933-F3E5E8152F8D","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":"Q1095247$FD00050C-655C-418E-ADDB-9232B0D42868","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a57f1ee1986b701654a6c97f62a689689c48bd","datavalue":{"value":{"entity-type":"item","numeric-id":4361772,"id":"Q4361772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c04a0f91c280fe6d24801fb2a6ca1bbacf578c0","datavalue":{"value":{"amount":"+0.904126","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":"Q1095247$04721579-9E0A-42CE-82EC-6524CBB99737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35b8857986c2faab5e441192af447a5bfa5defc","datavalue":{"value":{"entity-type":"item","numeric-id":1747692,"id":"Q1747692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f523aa05808d6365048af1cff1760d1480874da5","datavalue":{"value":{"amount":"+0.8991036","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":"Q1095247$2BF0AFD3-7565-489F-BB48-824AACB72F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46299e2d4e8b0f8e2dccf0749d80bdc427b46e57","datavalue":{"value":{"entity-type":"item","numeric-id":3769406,"id":"Q3769406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50d2c022d7aa59a9f91891a501244ba4d56aadc","datavalue":{"value":{"amount":"+0.89245623","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":"Q1095247$3436FB8E-EC0E-4D5A-938B-D787A629FCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec83995a1f83eb0c4f381598a817d51b35ac35f","datavalue":{"value":{"entity-type":"item","numeric-id":1869254,"id":"Q1869254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f5b595be427db52f8e5935eed535f9f4d46d35","datavalue":{"value":{"amount":"+0.89120877","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":"Q1095247$B9BF19FB-27F8-4E76-8ED2-70A9AA73AC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f55e68d10bb161b6937c3b70dcf355c55c03f476","datavalue":{"value":{"entity-type":"item","numeric-id":4240907,"id":"Q4240907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81c37bd50cb225c4de866c6e26661a949c53233","datavalue":{"value":{"amount":"+0.89096737","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":"Q1095247$745F8C67-134E-493E-BFA4-033500A40857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c5e206daa66d49c95e967e7a1bc3b4a42f4224","datavalue":{"value":{"entity-type":"item","numeric-id":3329661,"id":"Q3329661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9460e5da0afd8f9c3105410934bca24c2cf6cb4a","datavalue":{"value":{"amount":"+0.8891679","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":"Q1095247$6E7D5A06-477E-4D3B-ADBC-033753E6C07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77cc31a5012372ce74cc5ffbbc9cb20b8227bcf4","datavalue":{"value":{"entity-type":"item","numeric-id":3689393,"id":"Q3689393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb51d92e22c3ff4be97c4026bd8514089385c20","datavalue":{"value":{"amount":"+0.8860935","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":"Q1095247$B5A90B3A-8271-418E-94C0-C9CC8D2333D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"576035af56004fef04b8ed296741e7c52dcbcd78","datavalue":{"value":{"entity-type":"item","numeric-id":1065361,"id":"Q1065361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190b26e54887dbcb92e01db85dc0975ec60aec51","datavalue":{"value":{"amount":"+0.882815","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":"Q1095247$D31DA8F7-65FC-431A-8CB4-05BBDDE034CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe9d46abd80adefc72a294008afb18c8dc60758","datavalue":{"value":{"entity-type":"item","numeric-id":2213945,"id":"Q2213945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0961e7a90c838367aba834c4099cedd3e5ec11a","datavalue":{"value":{"amount":"+0.88235825","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":"Q1095247$21674853-A3BD-4A56-81CC-5F8F37DF59AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89027a2c1282495ab8ab8f9ed8bf6a1495cc97b","datavalue":{"value":{"entity-type":"item","numeric-id":1378734,"id":"Q1378734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1103cef595c31cdeb705f5d00e1de5515cff5236","datavalue":{"value":{"amount":"+0.88166106","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":"Q1095247$5E522DBB-5B5B-4C5F-A515-3FC7A5C03A6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An inequality in integral representation theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_inequality_in_integral_representation_theory"}}}}}