{"entities":{"Q1185528":{"pageid":1196277,"ns":120,"title":"Item:Q1185528","lastrevid":66793485,"modified":"2026-04-12T12:53:32Z","type":"item","id":"Q1185528","labels":{"en":{"language":"en","value":"Algebraic \\(K\\)-theory of number fields and rings of integers and the Stickelberger ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 38559"}},"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":"Q1185528$D56F3539-553F-469B-88FB-8AA34BF55F05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02ddedb61831b8797bc8a902a69aaead11bbbfbb","datavalue":{"value":{"text":"Algebraic \\(K\\)-theory of number fields and rings of integers and the Stickelberger ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185528$AFFB3153-7370-4889-9454-990983B3A293","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17522fe1ce20facc5c835faecfdf3327953bf34a","datavalue":{"value":"0756.11037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185528$0B1B59A5-468B-439E-869D-CE9E5EB4C80E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"458b8c55f9b1d71a1dbc6aca733be89d5df5982e","datavalue":{"value":"10.2307/2946592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185528$4D07034B-154D-40D8-A0A8-649424A7CDC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bdf28578a47289b1807d5d0281014f0d04e2628","datavalue":{"value":{"entity-type":"item","numeric-id":433003,"id":"Q433003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185528$F55B07AC-1895-45B6-9AF8-4A3B6679E1F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185528$8D7D3582-9E0C-4B44-9E77-0488758F07EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1185528$30E51DBB-AB60-4D57-BD0F-BFF30E946190","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a264f26fa805bc2f8697bd778e7fc4ebde39147","datavalue":{"value":"Let \\(F\\) be an abelian extension of \\(\\mathbb{Q}\\). The Stickelberger theorem constructs an ideal \\(S_ 0\\) in \\(\\mathbb{Z}[G(F/\\mathbb{Q})]\\) that annihilates the class group of \\(F\\). The ideal \\(S_ 0\\) is generated by elements of the form  \\[ \\Theta_ 0(b)=(b-(b,F))\\sum_{(a;f)=1;1\\leq a<f}\\zeta_ f(a,0)(a,F)^{-1}. \\]  \\(f\\) is the conductor of \\(F\\), \\((a,F)\\) is the restriction to \\(F\\) of the automorphism of \\(\\mathbb{Q}(\\xi_ f)\\), sending \\(\\xi_ f\\) to \\(\\xi_ f^ a\\). \\(\\zeta_ f(a,s)\\) is the partial zeta function and \\((b;2f)=1\\). Coates and Sinnott defined analogous Stickelberger elements:  \\[ \\Theta_ n(b)=(b^{n+1}- (b,F))\\sum_{(a;f)=1;1\\leq a<f}\\zeta_ f(a,-n)(a,F)^{-1}. \\]  Let \\(S_ n\\) denote the ideal in \\(\\mathbb{Z}[G(F/\\mathbb{Q})]\\) generated by such elements. Inspired by partial results and the Lichtenbaum conjecture, they conjectured that \\(S_ n\\) annihilates \\(K_{2n}(O_ F)\\). This paper studies the relationship between algebraic \\(K\\)-groups and the Stickelberger elements to give some evidence for this conjecture. The following results are shown.   Theorem A: Let \\(D=\\bigcap_{r\\geq1}K_{2n}(F)^ r\\) denote the subgroup of divisible elements of \\(K_{2n}(F)\\). Then \\(nS_ n\\) annihilates \\(D_ \\ell\\) for each odd prime \\(\\ell\\).   Theorem B: If \\(F\\) is totally real abelian, \\(n\\geq 1\\) an odd integer and \\(\\ell>n\\) an odd prime, then there is a surjective map  \\[ \\tilde c_{n+1,2}: K_{2n}(F)_ \\ell \\to H_{cts}^ 2(F,\\mathbb{Z}_ \\ell(n+1))_ \\ell. \\]  Here \\(H_{cts}\\) is the continuous cohomology.   Theorem C: For an odd, positive integer \\(n\\) and \\(\\ell>n\\):  \\[ \\left|{{w_{n+1}(F)\\zeta_ F(-n)} \\over {\\prod_{v\\mid\\ell}w_ n(F_ v)}}\\right|_ \\ell^{-1}\\quad\\text{divides}\\quad \\#(\\bigcap_{r\\geq 1} K_{2n}(F)^ r)_ \\ell. \\]  Using this result and its consequences, it is possible to determine for each odd prime number \\(\\ell\\), except for irregular prime numbers such that \\(\\ell\\leq n\\) and \\(\\ell\\mid nw_{n+1}(\\mathbb{Q})\\zeta(-n)\\), whether or not the short exact sequence  \\[ 0\\to K_{2n}(\\mathbb{Z})\\to K_{2n}(\\mathbb{Q})\\to\\oplus_ v K_{2n- 1}(k_ v)\\to 0 \\]  splits for the \\(\\ell\\)-torsion part. Theorems A and C give the evidence for the conjecture of Coates and Sinnott.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185528$EC703937-43FB-4B27-AEAC-C0660CDA47B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"339928427d41b6c2a52bb3b52a57ad7bd80359b6","datavalue":{"value":"11R70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185528$C22E2CB4-9239-47A1-9467-556406C20683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1ff6d6e49410eb0ee9f7952f78c3ac64208539a9","datavalue":{"value":"19F27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185528$DF45C6F7-5E8F-4AB9-A2D4-E364C68F73D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"29809340e83938f44ddde1ea70aa5ac9cf46faca","datavalue":{"value":"19D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185528$6C4DF7D1-C296-4CAE-8299-C423C025A72C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9719ed8e72f25941b78394e9c318f9b3c8bd587a","datavalue":{"value":"38559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185528$274848A0-DE2F-448B-BDB4-F06FFC806F31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07a4bbaa92e8a7e3c9afb108ac3968e688e48da","datavalue":{"value":"Coates and Sinnott conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185528$BC784444-F199-4898-AFBA-A6BA4BE7EE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eddb1a8e95bd5608c67d3b819de24702bbc2f2cc","datavalue":{"value":"annihilator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185528$91327DA0-13DA-47E1-AD6D-506D1F5F6090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95841049aecd1c871ba955af7ae83abfdcd4a4b1","datavalue":{"value":"Chern character","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185528$A2382FDD-B874-4B54-8A43-E6DD2F916931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a7c9ee3e31ef4962c4c04c00d6b9313ebc7388b","datavalue":{"value":"Stickelberger theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185528$FC679994-8B5D-423F-81CA-103477EC26BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9ec06ae2621628a2d61bceaac6cdb60dc70fd80","datavalue":{"value":"Lichtenbaum conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185528$12F3730B-A643-4EC6-91F1-2DCC3013EE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f785eb915239074bea41d6d0ad8f83ce8e8f5d5e","datavalue":{"value":"algebraic \\(K\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185528$6BA57439-4B57-41BE-AF64-A8B0C81EEAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf0e977b257eda6b70faa23c2e8eef1ccbc8158d","datavalue":{"value":"Stickelberger elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185528$E22D1166-BE11-47C1-A23A-5091AB42D69B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c359134049d387de49bd767fdcc67a793b1facdc","datavalue":{"value":{"entity-type":"item","numeric-id":197074,"id":"Q197074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185528$0B2B02F0-C6F3-4202-A682-D9AED5C44B1C","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":"Q1185528$CF7E92A3-9308-4014-8F50-BAA8870B06F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dac9668601112f2f6d39adff28cae611736f8678","datavalue":{"value":"https://doi.org/10.2307/2946592","type":"string"},"datatype":"url"},"type":"statement","id":"Q1185528$B05FC6BF-FC27-495A-AA4E-2C9E491E48A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0edc35da12ab3ce328544cfd9ee55042121a188b","datavalue":{"value":"W2315644277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185528$E0B91224-271A-40C2-8449-C3CFA336C30F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8069c9ec48283c915ea284d8c3469f522ee582fe","datavalue":{"value":{"entity-type":"item","numeric-id":1932376,"id":"Q1932376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e0235e97d732a8e6a5858a1a217a21c6836475","datavalue":{"value":{"amount":"+0.8438390493392944","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":"Q1185528$62256016-7BD6-4CFB-87DA-14769CC88264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd9060f0783eadbb554f8419c68839e4ae60059","datavalue":{"value":{"entity-type":"item","numeric-id":4681488,"id":"Q4681488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c330249024b53b4f3516a3e6059fa7a4354269","datavalue":{"value":{"amount":"+0.8161481618881226","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":"Q1185528$A924DD31-49D6-4A42-89B3-6C99871BCDAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic \\(K\\)-theory of number fields and rings of integers and the Stickelberger ideal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_%5C(K%5C)-theory_of_number_fields_and_rings_of_integers_and_the_Stickelberger_ideal"}}}}}