{"entities":{"Q614483":{"pageid":616259,"ns":120,"title":"Item:Q614483","lastrevid":63074997,"modified":"2026-04-11T10:26:01Z","type":"item","id":"Q614483","labels":{"en":{"language":"en","value":"The integral logarithm in Iwasawa theory: an exercise"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5831869"}},"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":"Q614483$4890E22F-20B9-4226-BB75-484B4751DA15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4ff143934b7b4d3e9acfd9440cfbf6d9e280c4b","datavalue":{"value":{"text":"The integral logarithm in Iwasawa theory: an exercise","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q614483$4788DA58-74AB-499F-84CD-2F2725A1A67B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa9921fc72b271e6ad0d0b95530863a2c54f98b0","datavalue":{"value":"1214.11124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q614483$E01F5609-B024-42A2-BC64-D4C424AB1ABC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a39196235e71be9e6bf880229d2700874e32ac4","datavalue":{"value":{"entity-type":"item","numeric-id":614482,"id":"Q614482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$41B8C45D-10D5-4D61-8728-9E5462B33161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b9029e15bade94f0aa85a7b44bf152dc9394317","datavalue":{"value":{"entity-type":"item","numeric-id":1165899,"id":"Q1165899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$B71FBD8C-D169-4653-8559-3C42D722821A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$5D3992EB-38E9-4193-9937-DB8C06BFBEAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c2d3c72cfe71d37d0ec412655d40e813991301a","datavalue":{"value":{"time":"+2011-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q614483$674AA5D8-FA76-4AEF-8749-C2D8639C4958","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"851ab8d5033b7fbeb1eeb4ff7609d79d1d4a78d6","datavalue":{"value":"https://arxiv.org/abs/0711.0600","type":"string"},"datatype":"url"},"type":"statement","id":"Q614483$95BFCA73-275A-4F00-8448-C56C7BEF8327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6482a8393205b682c379b0213d3169ec029cb43d","datavalue":{"value":"http://www.numdam.org/item?id=JTNB_2010__22_1_197_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q614483$526FE2F6-1D34-41AB-B336-DC96B57F0F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffb22bf07f00195eb605215a273662066cd6aeb8","datavalue":{"value":"http://www.numdam.org/item?id=JTNB_2010__22_1_197_0/","type":"string"},"datatype":"url"},"type":"statement","id":"Q614483$8A22FDE8-3FF8-4DA3-B663-AC1CAB7BAF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0924d4747f44ae51a58db40a39f6583eb108bd65","datavalue":{"value":"https://eudml.org/doc/116395","type":"string"},"datatype":"url"},"type":"statement","id":"Q614483$67967831-D257-4631-BE34-657AAB29E0E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"15c9ae4f829b7313b69ef6bf99eb04c461946590","datavalue":{"value":"Let \\(l\\) be an odd prime number and let \\(\\Lambda = \\mathbb{Z}_l[[T]]\\) denote the power series ring in one variable over the \\(l\\)-adic integers. Moreover, let \\(H\\) be a finite abelian \\(l\\)-group and consider the group ring \\(\\Lambda_{\\wedge}[H]\\), where \\(\\Lambda_{\\wedge}\\) denotes the completion of the localization of \\(\\Lambda\\) at the prime ideal \\(l \\cdot \\Lambda\\).  The integral logarithm of Iwasawa theory in this setting is a map \\(\\mathbb{L}: \\Lambda_{\\wedge}[H]^{\\times} \\to \\Lambda_{\\wedge}[H]\\) defined by  \\[ \\mathbb{L}(e) = \\frac{1}{l} \\mathrm{log} \\frac{e^l}{\\psi(e)}, \\]  where \\(\\psi\\) is the \\(\\mathbb{Z}_l\\)-algebra homomorphism on \\(\\Lambda_{\\wedge}[H]\\) induced by \\(\\psi(g) = g^l\\) for \\(g \\in \\Gamma \\times H\\); here, \\(\\Gamma\\) denotes the cyclic pro-\\(l\\) group generated by \\(1+T\\). Note that \\(\\mathbb{L}\\) has played a crucial role in the proof of the main conjecture of (non-commutative) Iwasawa theory.  In the paper under review the unit group \\(\\Lambda_{\\wedge}[H]^{\\times}\\) is described as well as the kernel and cokernel of \\(\\mathbb{L}\\). More precisely, let us denote the roots of unity in \\(\\mathbb{Z}_l\\) by \\(\\mu_{l-1}\\) and put  \\[ \\Xi = \\{x = \\sum_{k \\in \\mathbb{Z}} x_k T^k \\in \\Lambda_{\\wedge}: x_k = 0 \\text{ if } l | k\\}, \\]   \\[ \\Xi_s = \\{x = \\sum_{k \\geq s}x_k T^k \\in \\Xi\\} \\mathrm{ for } s \\in \\mathbb{Z}. \\]  Then one has  \\[ \\mathrm{ker}(\\mathbb{L}) = \\mu_{l-1} \\times \\Gamma \\times H \\]  and \\(\\mathrm{cok}(\\mathbb{L})\\) fits into a split exact sequence  \\[ (\\Xi / \\Xi_1 \\oplus \\mathbb{Z}_l) \\otimes_{\\mathbb{Z}_l} H \\hookrightarrow \\mathrm{cok}(\\mathbb{L}) \\twoheadrightarrow \\Xi / (\\mathbb{Z} \\xi(\\mathbb{L}(T)) \\oplus \\Xi_2), \\]  where \\(\\xi: \\Lambda_{\\wedge} = \\Xi \\oplus (l-\\psi)\\Lambda_{\\wedge} \\to \\Xi\\) is the natural projection.  The main tool to achieve this is an integral exponential \\(\\mathbb{E}\\) on \\(T^2 \\Lambda\\) defined by  \\[ \\mathbb{E}(y) = \\mathrm{exp}\\left(\\sum_{i \\geq 0} \\frac{\\psi^i(y)}{l^i}\\right) \\in \\mathbb{Q}_l[[T]] \\]  for \\(y \\in T^2 \\Lambda\\). In fact, the image of \\(\\mathbb{E}\\) is contained in \\(1 + T^2 \\Lambda\\) and \\(\\mathbb{E}\\) and \\(\\mathbb{L}\\) are inverse to each other. This is also used to describe the units of \\(\\Lambda_{\\wedge}\\):  \\[ \\Lambda_{\\wedge}^{\\times} = T^{\\mathbb{Z}} \\times \\mu_{l-1} \\times \\Gamma \\times \\mathbb{E}(\\Xi_2) \\times (1 + l \\Lambda_{\\wedge}) \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q614483$6B26E0A6-79AB-4D23-A980-09C6C5DF5A5B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bbb05639dd8acf989058b50b654e8b5fc060130f","datavalue":{"value":{"entity-type":"item","numeric-id":323739,"id":"Q323739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$8D9888DD-CB6E-4312-BF84-7977E52EA0B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q614483$214D2692-3CB2-4A58-B02D-24848EB4D1D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fc70fed28ccd3ee280437f07dd0dd0c4c7b1835","datavalue":{"value":"5831869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q614483$28834047-ED3B-4F5F-A2F3-CE2FFAC952EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a59187f051cd644f6db53bcdfaf9c0b6a31924f","datavalue":{"value":"integral logarithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q614483$2B5F624C-E2C4-43B3-9E11-310DF0B386AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81de39553caa2c042cc65d6781dcb2c26750423d","datavalue":{"value":"Iwasawa theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q614483$406463E6-7F8A-4F92-A9E2-654B1D9EECC9","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":"Q614483$66D46DFC-CB10-4BD5-AC81-A311BD1C3FCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"052f031db188f04d0fae6f343a032f576706d80a","datavalue":{"value":"W2963338419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q614483$202C2E18-6ED6-4AF7-A2EC-84DC8BBAD80C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee406215f1f98bb71da463e6703ac00ce828e0f","datavalue":{"value":{"entity-type":"item","numeric-id":4724810,"id":"Q4724810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$4FB9BFAD-9742-469E-BC25-DACBAC78C125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aefb3ccc498061e91857ed0255ea7370db13446","datavalue":{"value":{"entity-type":"item","numeric-id":3309950,"id":"Q3309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$CD71F379-BA20-48CB-9693-577FA597BE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae900eb95d54c7cf5ee369bb72cea9673c100b0f","datavalue":{"value":{"entity-type":"item","numeric-id":4523868,"id":"Q4523868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$6E30209E-2030-490F-9B41-DA37B930B51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d17ee22ef14a916eccb08db9a25f21cdee7c98","datavalue":{"value":{"entity-type":"item","numeric-id":3966247,"id":"Q3966247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$D847CD11-D10C-48F2-91F4-DE70A4D702D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5670415c27f6a58d5cd1bbd5b869675f5a13cb9","datavalue":{"value":{"entity-type":"item","numeric-id":3639888,"id":"Q3639888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$66AF8BDB-F729-4DEB-8159-593FEDED52B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3edf9ecf3fdd8c54d2a3ddf73344c93303eadaff","datavalue":{"value":{"entity-type":"item","numeric-id":3995821,"id":"Q3995821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$D268174F-88E0-4FC2-8727-652E156C0EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"665641a46c04afb75587efaac6fc3c51a04a84ad","datavalue":{"value":{"entity-type":"item","numeric-id":4039791,"id":"Q4039791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$E7DA05ED-0D6D-49DA-A85E-BFE4666E1556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eddbf9152993cb086f77dd66a1741bf07e0f575","datavalue":{"value":{"entity-type":"item","numeric-id":2486118,"id":"Q2486118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$8D5FE1FE-0A2F-4363-ACED-42599A05482A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b98918f501e6173636fdf22320a5e919dcc952","datavalue":{"value":{"entity-type":"item","numeric-id":2505573,"id":"Q2505573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$D3EBA216-4B37-4C81-9CF7-167F92AADAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e0c9aa6ee02b76f62231cddeb6fac371119a61","datavalue":{"value":{"entity-type":"item","numeric-id":959024,"id":"Q959024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$CA16316A-B397-49B6-9A53-7C68823F1929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa5ee47b2d42f437a8db7094a9c41e98459cdd8","datavalue":{"value":{"entity-type":"item","numeric-id":2518157,"id":"Q2518157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$D3DD5AFC-376A-46F0-A9D6-F68B184D939A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55163b43a66366c88da80b396aa216bca4aafd49","datavalue":{"value":{"entity-type":"item","numeric-id":930098,"id":"Q930098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q614483$B8534AB0-F854-49E4-80F6-7D9381B0BF52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36b94396b94b2c89cd6808e0d370bfb935354395","datavalue":{"value":"10.5802/JTNB.711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q614483$918A6E2E-B6AE-4E34-8689-8A384DDC18E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d1413fd648a820679da18f6091e9297b946a8e9","datavalue":{"value":{"entity-type":"item","numeric-id":4912834,"id":"Q4912834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0b2ccb7fbee1ee927a5a3dc2476efd22976e92","datavalue":{"value":{"amount":"+0.7506112456321716","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":"Q614483$4659B6BB-1AB5-41B2-ABAA-A80A35134F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ba0e5f90c91ebf27d563e4507eb11e6a4e017b7","datavalue":{"value":{"entity-type":"item","numeric-id":3435260,"id":"Q3435260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719c60a63b30605e7605d9f5dff0340ea0cacbc5","datavalue":{"value":{"amount":"+0.7483972311019897","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":"Q614483$FBA3FFA2-F4E5-4C71-83E5-46FF03754B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6e531b32facfc3e558674c69bb5a529af84200","datavalue":{"value":{"entity-type":"item","numeric-id":373485,"id":"Q373485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6bac6a56a3cd269a3bea13f94df423c1912796d","datavalue":{"value":{"amount":"+0.745762050151825","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":"Q614483$6A4AEBD2-E90B-4F66-BE41-1CC15A9B754B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6898832f252450db84fa5831a90833c8b262cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":2505573,"id":"Q2505573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4571887fc7cc665d715bba444a295c004b9249","datavalue":{"value":{"amount":"+0.7371723651885986","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":"Q614483$A80B2B89-6E07-48E1-8107-E063BD43E6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7181cc0ab9bf872f566b5c2630592ed09934bd","datavalue":{"value":{"entity-type":"item","numeric-id":2710553,"id":"Q2710553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915c0d198180bcae883e96e5988755cc28ea307f","datavalue":{"value":{"amount":"+0.732343316078186","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":"Q614483$05008D1B-0603-4F55-BBA6-117D27017672","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The integral logarithm in Iwasawa theory: an exercise","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_integral_logarithm_in_Iwasawa_theory:_an_exercise"}}}}}