{"entities":{"Q1599569":{"pageid":1610309,"ns":120,"title":"Item:Q1599569","lastrevid":72295260,"modified":"2026-04-14T03:56:41Z","type":"item","id":"Q1599569","labels":{"en":{"language":"en","value":"Finite submodules and Iwasawa \\(\\mu\\)-invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1753715"}},"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":"Q1599569$DEE23DA5-0C25-4C1D-B99A-F2D5AFF1D396","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23d422edb070ee5819b7b256a47480ad06304ae6","datavalue":{"value":{"text":"Finite submodules and Iwasawa \\(\\mu\\)-invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1599569$EEDD5249-A0EC-456F-9BC2-D5A02703E884","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"308cd3833f6440955f25d1b013dc0b6d40fcb8e6","datavalue":{"value":"1014.11065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599569$66F05215-6BA9-4890-B691-DCF0C3CE816F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf98ff210549d2be3a078287dbaad89f66ff9788","datavalue":{"value":{"entity-type":"item","numeric-id":1418462,"id":"Q1418462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599569$D89B38E3-BDB9-4E87-8B95-EB0585D22BB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599569$28D75844-7688-47E5-8700-8D1D4BD0F08A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ba1d953aa735572961ec1919ce144a2600d9eb","datavalue":{"value":{"time":"+2002-06-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":"Q1599569$57F55618-07AF-4296-A121-09ABAF717623","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa30ba6e541cf2f768df7d916487d11499ced20f","datavalue":{"value":"Let \\(K\\) be a number field and let \\(K_{\\infty}/K\\) be a \\(\\mathbb Z_p\\)-extension. Let \\(G_K=\\)Gal\\((\\overline{K}/K)\\) and \\(A\\) be a \\(G_K\\)-module that is cofinitely generated and cofree as a \\(\\mathbb Z_p\\)-module. Under certain ordinariness conditions, \\textit{R. Greenberg} [in Algebraic number theory -- in honor of K. Iwasawa, Adv. Stud. Pure Math. 17, 97-137 (1989; Zbl 0739.11045)] showed how to define a Selmer group \\(S_A(K_{\\infty})\\), which is cofinitely generated as a \\(\\mathbb Z_p[[T]]\\)-module. The \\(\\mu\\)-invariant \\(\\mu(A)\\) of \\(S_A(K_{\\infty})\\) is positive if and only if the \\(\\mathbb Z_p\\)-cotorsion group is infinite. The present paper studies the effect that finite submodules of \\(A\\) have on this \\(\\mu\\)-invariant for the cyclotomic \\(\\mathbb Z_p\\)-extension of \\(K\\).    If \\(\\alpha\\) is a finite submodule of \\(A\\), the author defines an integer \\(\\delta(\\alpha)\\) that is a lower bound for \\(\\mu(A)\\). Let \\(m(A)\\) be the maximum value of \\(\\delta(\\alpha)\\) for all such \\(\\alpha\\subset A\\). It was shown by \\textit{B. Perrin-Riou} [in Algebraic number theory -- in honor of K. Iwasawa, Adv. Stud. Pure Math. 17, 347-358 (1989; Zbl 0747.11056)] how \\(\\mu(A)\\) behaves under isogenies. The present author shows that \\(m(A)\\) behaves similarly; namely, under certain hypotheses, if there is an isogeny from \\(A\\) to \\(B\\) with kernel \\(\\alpha\\), then \\(\\mu(A)-\\mu(B)=m(A)-m(B)=\\delta(\\alpha)\\). Moreover, \\(A\\) is isogenous to some \\(B\\) with \\(m(A)=0\\). The hope is that \\(\\mu(A)=m(A)\\) when \\(A\\) is defined over \\(\\mathbb Q\\), which would mean that positive \\(\\mu\\)-invariants could be explained completely by finite submodules of \\(A\\).    The author discusses the case when \\(A\\) is not defined over \\(\\mathbb Q\\), which is more complicated than when \\(A\\) is defined over \\(\\mathbb Q\\) since there can be finite submodules of the representation induced to \\(\\mathbb Q\\) that are not induced from finite submodules defined over the number field. He uses this fact to give examples where the \\(\\mu\\)-invariant is positive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599569$B7FFFE5B-8231-4906-BEE2-C9D021BB5C12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599569$04FD4672-6003-4795-85A4-BEE29733D7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599569$A24DF615-4FEA-43D5-80C2-50566BC657A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa489edf7e2876710c8709e0f105ae47ffab60aa","datavalue":{"value":"1753715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599569$B32D6C5F-DA5C-4036-A1D9-995F5A1E65B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"473bec145105bcd903b7e858cb3095f1fa541fc2","datavalue":{"value":"Selmer groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599569$A9E35325-AD78-4569-86BD-2296F3C84D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81de39553caa2c042cc65d6781dcb2c26750423d","datavalue":{"value":"Iwasawa theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599569$4F5C237F-C6C4-4F33-8E73-E1C25C3CEA30","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0598b585e504530f99474420eb7c8800cf7c9592","datavalue":{"value":{"entity-type":"item","numeric-id":590691,"id":"Q590691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599569$4AE2A95E-9DE8-4431-9171-6F816EB048C6","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":"Q1599569$26427260-AEC4-4274-AB86-F59013FF40A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"135ec7ef8c4c3c410360e016a0fe0db37affe106","datavalue":{"value":"https://doi.org/10.1006/jnth.2001.2717","type":"string"},"datatype":"url"},"type":"statement","id":"Q1599569$17ED8745-B60E-4223-BEF3-DEC38066922D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b16b257bfa8f87291faac68613ffe7ededcdd71e","datavalue":{"value":"W1979947251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599569$8A09D60C-EC0A-4C11-9762-B6CEB74A93D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6659d4d6f51b4adafbbc434d226385f9bb75c77","datavalue":{"value":{"entity-type":"item","numeric-id":3972988,"id":"Q3972988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599569$82452EDF-240F-435C-9EFA-7089A8D6A4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30ba3f9814d9d8abbe43e14bce0fec98c286a27","datavalue":{"value":{"entity-type":"item","numeric-id":4314332,"id":"Q4314332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599569$E15F942E-B966-43DB-9650-644FC7BF396D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe9080988a314095653175dbd2217bcd3b8cbd16","datavalue":{"value":{"entity-type":"item","numeric-id":4702588,"id":"Q4702588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599569$47C59564-8351-4019-B8AD-8ABE45CD0411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1741036d15ee190596d2f02c442eed1eb9909d61","datavalue":{"value":{"entity-type":"item","numeric-id":4541488,"id":"Q4541488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599569$EC24BA27-CDDD-4002-A321-A47B0DD3014D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad9bce93b41e4b83b7578ed0cd317fd9d6fa985","datavalue":{"value":{"entity-type":"item","numeric-id":2555122,"id":"Q2555122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599569$27622D6F-2671-4834-9B10-10C8D6B5D055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4fdd1893bbd000cad09affbec153d290f087498","datavalue":{"value":{"entity-type":"item","numeric-id":3972995,"id":"Q3972995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599569$DC0DB443-5730-4358-9CB4-4CB1C1A57655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b26056c99f9e6e292caf3fa831366020fe79a52","datavalue":{"value":{"entity-type":"item","numeric-id":3487549,"id":"Q3487549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599569$438AA5AA-E04E-4F7F-A7A5-0B6E08FFA586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d73c26bdb0046091bbd13668207fb455a3568b","datavalue":{"value":{"entity-type":"item","numeric-id":2523071,"id":"Q2523071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599569$163A861B-15C3-49C5-979E-F34FCB4C7B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d03ed71298ee9649c6d5be8aa186910c728ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3943047,"id":"Q3943047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599569$90DDA4F5-1FBC-41DF-BC3A-97B84F724E9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f9924808f55679815c45f19dcc39c4b727e0f3f","datavalue":{"value":"10.1006/JNTH.2001.2717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599569$0AE03455-8696-4625-AA7F-9B67890E101D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c1ea4e2e7c38238bd49b969137d7e038a97f999","datavalue":{"value":{"entity-type":"item","numeric-id":1874332,"id":"Q1874332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5dc5685f7e7fd0c5c90d2ffa1c3bbb8d221395","datavalue":{"value":{"amount":"+0.8121171593666077","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":"Q1599569$1E45B1D0-3E22-4E7F-B94A-E8DDAD3D7736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52916de91fedc2c0d77d380dd4ec441c4ad1bf81","datavalue":{"value":{"entity-type":"item","numeric-id":5696035,"id":"Q5696035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00dfab6dca295f3239cadb30ce1e39ca7ec445b7","datavalue":{"value":{"amount":"+0.8006893396377563","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":"Q1599569$E82D2892-658A-4F9B-8D7A-1645C9064E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c806c1e840e63801de1750f970a41d5d91562d","datavalue":{"value":{"entity-type":"item","numeric-id":3001250,"id":"Q3001250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e63f65d6fc3139b38324bc6c6fe261870785b4","datavalue":{"value":{"amount":"+0.8004257082939148","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":"Q1599569$0CB9B550-D898-4FEB-AA7E-572C8F68DAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6997e925ed87020d5359baa4457c7b9351f751d3","datavalue":{"value":{"entity-type":"item","numeric-id":1419611,"id":"Q1419611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d791ed93031935b36567ac1f5d010e30dc3e3e","datavalue":{"value":{"amount":"+0.7980099320411682","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":"Q1599569$C80B48D9-9B7D-4CA7-A084-9A1C9F3C8B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e49089b95091fb013381d767da0dcc3a49e8a4","datavalue":{"value":{"entity-type":"item","numeric-id":4799176,"id":"Q4799176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6b44d4edd0012956feff450472f8da546a0104","datavalue":{"value":{"amount":"+0.7977234125137329","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":"Q1599569$3B5209E4-F4E2-4957-947C-A0236DADDC9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite submodules and Iwasawa \\(\\mu\\)-invariants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_submodules_and_Iwasawa_%5C(%5Cmu%5C)-invariants"}}}}}