{"entities":{"Q2107532":{"pageid":2118275,"ns":120,"title":"Item:Q2107532","lastrevid":74107209,"modified":"2026-04-14T18:23:29Z","type":"item","id":"Q2107532","labels":{"en":{"language":"en","value":"\\(1\\)-smooth pro-\\(p\\) groups and Bloch-Kato pro-\\(p\\) groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7626014"}},"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":"Q2107532$F3277DF3-880D-48C7-9B13-33322F2A0EA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03e4bcb5630a48a8994a00c59ad9653c6d1083e0","datavalue":{"value":{"text":"\\(1\\)-smooth pro-\\(p\\) groups and Bloch-Kato pro-\\(p\\) groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2107532$DA9FB9A0-597F-4DE7-AFAF-BE1104FE3603","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bff8a0df6dad683d7516132efc1e58e9b9af1b2","datavalue":{"value":{"entity-type":"item","numeric-id":495825,"id":"Q495825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2107532$14755FD8-6804-451E-B264-55E6EE6D1320","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1e22c5b89240190fc74b760088a55141cf0fb60b","datavalue":{"value":{"entity-type":"item","numeric-id":180135,"id":"Q180135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2107532$1588CCEA-EC7F-44AC-A32D-72C78C62C029","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a206234ecf9f356a8958c964ff6117c1452a9511","datavalue":{"value":{"time":"+2022-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2107532$6AEE347E-C5A7-48A6-B94E-30B0481C9A0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"824913a50b2bd24ad16c393abbc206d383d5c971","datavalue":{"value":"https://arxiv.org/abs/1904.00667","type":"string"},"datatype":"url"},"type":"statement","id":"Q2107532$826E37A2-7D13-49DC-AECA-7707A1E0C4FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"abd1282f68259de6af7775baacd41f3ba18b10ee","datavalue":{"value":"For a prime number \\(p\\) let \\(\\mathbb Z_p^*\\) denote the group of units of the ring of \\(p\\)-adic integers \\(\\mathbb Z_p\\). A pair \\((G, \\theta)\\) consisting of a pro-\\(p\\) group \\(G\\) endowed with a continuous homomorphism \\(\\theta : G \\longrightarrow \\mathbb{Z}^*_p\\) is called a cyclotomic pro-\\(p\\) pair. Then there is a continuous action of \\(G\\) on \\(\\mathbb{Z}_p\\) given by \\(gz=\\theta(g)z\\) and this \\(G\\)-module is denoted by \\(\\mathbb{Z}_p(1)\\).  A cyclotomic pair \\((G,\\theta)\\) is called Kummerian if for every \\(n\\geq 1\\) , the map \\(H^1(G, \\mathbb{Z}_p(1)/p^n)\\longrightarrow H^1(G,\\mathbb{Z}_p(1)/p)\\) induced by the natural homomorphism \\(\\mathbb{Z}_p(1)/p^n\\longrightarrow \\mathbb{Z}_p(1)/p\\) is surjective.  The pair \\((G,\\theta)\\) is said to be 1-smooth if for every open subgroup \\(U\\) of \\(G\\) the pair \\((U, \\theta_{|U})\\) is Kummerian.  A pro-\\(p\\) group \\(G\\) is called Kummerian (resp. 1-smooth) if there exists a continuous homomorphism \\(\\theta : G \\longrightarrow \\mathbb{Z}_p\\) such that the pair \\((G,\\theta)\\) is Kummerian (resp. 1-smooth).  The first result of the paper is  Theorem 1.1 If a \\(p\\)-adic analytic pro-\\(p\\) group is 1-smooth, then its Galois \\(\\mathbb{Z}/p\\)-cohomology is a quadratic algebra.  The author also introduces a subgroup \\(\\mathcal{K}(G) = \\{h^{-\\theta(g)}ghg-1\\mid g \\in G, h \\in \\mathrm{Ker}(\\theta)\\}\\) and proves the following  Theorem 1.2 For a pair \\((G,\\theta)\\) such that \\(\\theta(G)\\) is torsion free the following two conditions are equivalent: \\begin{itemize} \\item[(i)] \\((G,\\theta)\\) is Kummerian; \\item[(ii)] the canonical quotient \\(G/\\mathcal K(G)\\) of \\(G\\) is a torsion free pro-\\(p\\) group; \\item[(iii)] for a closed normal subgroup \\(N\\) of \\(G\\), \\(N \\leq \\mathcal K(G)\\), the quotient \\(G/N\\), endowed with the module induced by \\(\\mathbb{Z}_p(1)\\), is Kummerian. \\end{itemize}  The next theorem shows why the property of 1-smoothness is important.  Theorem 4.1 Let \\(K\\) be a field containing a root of unity of order \\(p\\), and let \\(L/K\\) be a Galois \\(p\\)-extension of \\(K\\) such that \\(L\\supset K\\) containing all \\(p\\)-power roots of elements of \\(K\\). Then the Galois group \\(G_{L/K}\\) is Kummerian. In particular, the \\(G_K\\) is 1-smooth.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2107532$85CC88A0-9CEE-4AF3-BCD5-8614EF8E53E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2433877086b958f0e60fc6faacb6ea264a8c1204","datavalue":{"value":"12G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2107532$C99BE023-F692-40C5-AC4A-FEFD5AD7263E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2107532$65E4DE3C-96DC-423F-AAA4-CA691E8EBB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac7ae5b0238fc8237a68a316fe1f75e776c41d8c","datavalue":{"value":"12F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2107532$6566F2C8-F0D1-4504-A074-C0342ED12378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa9d719128900a6c3d3bf2a958dc19cfff7f4536","datavalue":{"value":"20J06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2107532$12FCD186-21BF-44C2-9A0B-A970B8716427","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18cf72f51757c79624c53a77b016f91545a99957","datavalue":{"value":"7626014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2107532$DBE8FA53-820B-494A-A6AB-BC0178B9943B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"074d72856bbbfa7f24bef96160f16fc09511824f","datavalue":{"value":"Galois cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2107532$F2C0496A-65B5-4D54-9A89-21586B08B772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75c9983ccb41757270d1a30b0c4f78510669dc57","datavalue":{"value":"maximal pro-\\(p\\) Galois group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2107532$60DB99D5-3D06-49FF-B302-758340EF1CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"230c43232a0a88dc3130b170486475f7e991b803","datavalue":{"value":"Bloch-Kato conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2107532$77798ACD-AE67-463B-84DD-452D037A4F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5fee25874d07f9cd421d5e217ad8c87fd97ab69","datavalue":{"value":"cyclotomic character","type":"string"},"datatype":"string"},"type":"statement","id":"Q2107532$EC57776B-F3E4-416B-971C-410F6C2DC54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9689b5ef307b5debf3f78f2d312208832abc0c1a","datavalue":{"value":"\\(p\\)-adic analytic group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2107532$B2EA33B1-ABB5-45C8-BE35-E8F99486E356","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e4b8386fca35dd298ba4bf5b360c2a39f03880a9","datavalue":{"value":{"entity-type":"item","numeric-id":403152,"id":"Q403152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2107532$5A7EB9A9-BC78-4970-8FE3-AD1CF9E13D70","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":"Q2107532$6E3FE86D-2A4E-4763-B6E2-A13F81216CA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6e248c863b072d1771048d2e6232a6304b217ef","datavalue":{"value":"10.4310/HHA.2022.V24.N2.A3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2107532$8D69F3B4-C525-4741-8524-990FA6AD2CDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7550d9929e7748fdbe9c77a9ce86685731027cc","datavalue":{"value":{"entity-type":"item","numeric-id":5079428,"id":"Q5079428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fe63c604e4e5a05c01350ece986ccbb4d45fb5","datavalue":{"value":{"amount":"+0.8597819209098816","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":"Q2107532$13A27A31-B129-425C-9AB6-6957584D47C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450c29d656cf05ec2d880503baf9bab700e44e7e","datavalue":{"value":{"entity-type":"item","numeric-id":6072711,"id":"Q6072711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cedbc478b71702a7bff59ba2c44f7f3e21274841","datavalue":{"value":{"amount":"+0.8297951817512512","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":"Q2107532$E92174E5-C976-49C6-BE3A-AC08682D61A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feacbf465dff836c86994cd280e09a15c82d6c69","datavalue":{"value":{"entity-type":"item","numeric-id":3189512,"id":"Q3189512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7fbfac568f7a182aee419281dff70fcdc21190","datavalue":{"value":{"amount":"+0.7848073840141296","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":"Q2107532$F9C4FB7E-4A61-4AF9-B989-EAA2048E7995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60d92131e9ea7a6d15f367960dae2b2fd4075b5","datavalue":{"value":{"entity-type":"item","numeric-id":3104225,"id":"Q3104225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce30baec1f7095b983b5868ec56455016d517330","datavalue":{"value":{"amount":"+0.7707191705703735","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":"Q2107532$ED6C0EDB-84EF-4B2B-84E5-B821134F7149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b982fec569d2a82536c677512d491211bb50f21","datavalue":{"value":{"entity-type":"item","numeric-id":495826,"id":"Q495826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829ad5e9d2b9e93bb045303a53a5fa03ee00474b","datavalue":{"value":{"amount":"+0.7191033363342285","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":"Q2107532$2762FB7B-4AD6-432D-8F8F-B7F5D08905C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(1\\)-smooth pro-\\(p\\) groups and Bloch-Kato pro-\\(p\\) groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(1%5C)-smooth_pro-%5C(p%5C)_groups_and_Bloch-Kato_pro-%5C(p%5C)_groups"}}}}}