{"entities":{"Q841268":{"pageid":843116,"ns":120,"title":"Item:Q841268","lastrevid":64739685,"modified":"2026-04-11T21:54:27Z","type":"item","id":"Q841268","labels":{"en":{"language":"en","value":"On the \\(T\\)-ramified, \\(S\\)-split \\(p\\)-class field towers over an extension of degree prime to \\(p\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5604008"}},"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":"Q841268$C5A3F956-4F84-4F20-B0AE-7E3A2EF2A9C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdfa4bbc5b4156b730972b62adbb7d393cc4419c","datavalue":{"value":{"text":"On the \\(T\\)-ramified, \\(S\\)-split \\(p\\)-class field towers over an extension of degree prime to \\(p\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q841268$AEE7C887-DFB7-490D-A903-7E2CF9B57FE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86cf9c3853890d045f87ff91e6b0d33d47074f95","datavalue":{"value":"1228.11167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841268$94379439-323A-40DB-9DFA-1CFA61A58704","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":"Q841268$96FA6C11-FDA5-45E4-8055-03B8F11BA37B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0511b34f06c549178cd5aa0c7bf87d7d40160e71","datavalue":{"value":{"time":"+2009-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q841268$987B568F-2AA6-44EF-AEE6-174FEF55C25F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"913be0547d39dbaaab6c4627f493ed88b6b2b224","datavalue":{"value":"Let \\(L/K\\) be an extension of number fields, let \\(N\\) be the normal closure of \\(L\\) over \\(K\\), let \\(p\\) be a prime number not dividing \\([N:K]\\) and let \\(T\\) and \\(S\\) be disjoint finite sets of places of \\(K\\). The \\(T\\)-ramified, \\(S\\)-split \\(p\\)-class field tower \\({\\bar H_{K,T}^S}(p)\\) of \\(K\\) is the maximal pro-\\(p\\)-extension of \\(K\\) unramified outside \\(T\\) and totally split on \\(S\\).  The aim of the paper under review is to characterize when  \\[ {\\bar H_{K,T}^S}(p)\\cdot L=\\bar{H}^{S'}_{L,T'}(p), \\]  \\(T'\\) and \\(S'\\) being the sets of places of \\(L\\) above those of \\(T\\) and \\(S\\). In Theorem 1, using a result of Tate, the author shows that a necessary and sufficient condition for the above equality is that \\(\\mathrm{Gal}(H_{K,T}^S(p)/K)\\) and \\(\\mathrm{Gal}(H_{L,T'}^{S'}(p)/L)\\) have the same \\(p\\)-rank, where \\(H_{K,T}^S(p)/K\\) (resp. \\(H_{L,T'}^{S'}(p)/L\\)) is the maximal abelian subextension of \\(\\bar H_{K,T}^S(p)/K\\) (resp. \\(\\bar H_{L,T'}^{S'}(p)/L\\)). Using this result and some class field theory, in Theorem 2 a characterization in terms of ideal classes and units of \\(L\\) is obtained. The last part of the article contains some examples and applications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q841268$9B51B262-C251-47CE-ADB0-0E0D0BE5AF8F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"697839d9b6816b002afef069ff5bb57cf003534b","datavalue":{"value":{"entity-type":"item","numeric-id":303821,"id":"Q303821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$7415975D-5CD4-4FCF-9A01-6F7442478AAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841268$7CEB41E2-7B09-47E8-94A1-E6344DC0E096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5da175760837221b1255b8d6d71ae4d17a89f801","datavalue":{"value":"11R32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841268$5B3E98DE-5761-48CC-8750-3197AE49BF26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ac6b6a87466541eea1dc2afc1f17ad915567d2c","datavalue":{"value":"5604008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841268$986D30D3-811A-4F07-8585-66D8F6082C88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a9ebe497c065a00ab4e996479ed747d5440a3a4","datavalue":{"value":"\\(p\\)-class field towers","type":"string"},"datatype":"string"},"type":"statement","id":"Q841268$1376904E-FDCF-40E3-8AB9-93585231AA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ceeb5d291142ba535c7df63459652505cb5e30b","datavalue":{"value":"pro-\\(p\\)-extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q841268$10DE5B00-A05F-4217-8F50-A65E2489158D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc733d4533f689b065e609c840e85ee9db0ab0c","datavalue":{"value":"\\(T\\)-ramification","type":"string"},"datatype":"string"},"type":"statement","id":"Q841268$472CE343-2DEA-4679-9B4B-37349644738B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1efd56a722eb10cfbf47a773b0c2c24b4413601a","datavalue":{"value":"\\(S\\)-decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q841268$8F6A5D08-8A11-4FFC-A791-C3B8FACE8099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51556aced19a49a8a57c41e1e31cc4ff474166ae","datavalue":{"value":"class field theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q841268$325B9B4A-7391-4E8C-A28D-02983C85DC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75753ede5692caa4d7350fcce3fc161ff74b0d89","datavalue":{"value":"\\(p\\)-rational fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q841268$19D60E87-9D8F-4CC9-A312-B04462A201E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cd4134748d757d9215ba7755ac8ad1beb212eaa","datavalue":{"value":"Tate's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q841268$4BBBC053-C832-4182-939C-7567A830A1D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7135a77a59c6200208a7bd358bd183221ae9a71b","datavalue":{"value":{"entity-type":"item","numeric-id":194733,"id":"Q194733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$14C68621-BDE3-481A-9635-0841E081528F","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":"Q841268$74354CFB-AE17-4D0A-B1A6-094F91A04087","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"882fb9378d13d830751c9ad6284b093f6dd52de6","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2009.02.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q841268$738F3229-A2B5-4417-83FA-F1AFDB3C4E69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e92a54a4acb9b59738993af60aa1e22e561d693","datavalue":{"value":"W1985177387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841268$900D5B53-E601-4347-AA38-59766C72146D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"040c6fefc23ee86c9fffbde969793d2ea2ee2794","datavalue":{"value":{"entity-type":"item","numeric-id":2642754,"id":"Q2642754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$E7A9E216-E568-4725-976C-72C2113ACC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b37acf1d14f68b6ba1ac93132a87559735630e8","datavalue":{"value":{"entity-type":"item","numeric-id":5899237,"id":"Q5899237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$57B06F21-A206-4408-AB42-A304C122CFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657f561ccedca6555e5c9ab14c125983c1ab87ba","datavalue":{"value":{"entity-type":"item","numeric-id":5925816,"id":"Q5925816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$9A6D619A-8869-4139-8DE8-B201D9A58250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba344dbc0a08ecb5b482621e2afad72a26107d7e","datavalue":{"value":{"entity-type":"item","numeric-id":998959,"id":"Q998959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$489CE164-285C-4349-99CB-D645E16A768E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeca6e9aba73b2a96c8cee6df8a471a5c63c2c61","datavalue":{"value":{"entity-type":"item","numeric-id":4779057,"id":"Q4779057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$6BA0D528-550E-4E60-8993-23DC1A915E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f006264e9ece73e9d4b3074e95116c83504d6f51","datavalue":{"value":{"entity-type":"item","numeric-id":999728,"id":"Q999728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$EBC65DC9-1918-426C-9D2A-6D0E5FE98E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87435db6ee5df5086a536b541a39bbeb0a91d08b","datavalue":{"value":{"entity-type":"item","numeric-id":916708,"id":"Q916708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$39FC9406-7C78-4E92-A329-753068DEA90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283f52d1c92d8c568228e7a4f01d100c3664c9a0","datavalue":{"value":{"entity-type":"item","numeric-id":5706771,"id":"Q5706771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$EC7D6DC4-4D79-4169-88CD-DBDBBF77D51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7ddf9055b8ecd78e844b827d8c43f4286bc752","datavalue":{"value":{"entity-type":"item","numeric-id":1061783,"id":"Q1061783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$24209D28-4D8A-437E-AC48-579890665802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b93a54fcc6a66e9ea065c1326cc9296f1bc854e","datavalue":{"value":{"entity-type":"item","numeric-id":1320520,"id":"Q1320520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$34DDE0AC-567F-43C9-A4AB-538546A4A801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ececfe7ea2f96c96a6b40e8103ba53c2300a7e82","datavalue":{"value":{"entity-type":"item","numeric-id":3413784,"id":"Q3413784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$2AD9A106-8549-46C2-A174-10B8E2928D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ede9c3f8100015cdc8ba93cc394145816505afd","datavalue":{"value":{"entity-type":"item","numeric-id":2470960,"id":"Q2470960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$F2DCBBF6-EC6E-40CB-910B-DF30EC1DC03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"effb378a3f27efb78c25d95789eb561056cc85a8","datavalue":{"value":{"entity-type":"item","numeric-id":3481807,"id":"Q3481807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$9B73ED87-8D72-4B81-8DDA-0CF906B3375D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff1ce49309f67400510038d46e7400a5b0a8c6a","datavalue":{"value":{"entity-type":"item","numeric-id":3211415,"id":"Q3211415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$DE73E7C1-BEA4-47E2-9AD0-CA1A2D09A637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9edc28baa47ebc9de69d89d8ea552ebf6c8d60e","datavalue":{"value":{"entity-type":"item","numeric-id":4935965,"id":"Q4935965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$129DBBAE-28E1-4E3D-A8B6-5DDD33AC441F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af28dc0cdf7d0bda3f753bdd271ac6340c73415","datavalue":{"value":{"entity-type":"item","numeric-id":2393860,"id":"Q2393860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$FDA0CB2F-F665-4DFD-9300-44750D540FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cba41b7b6f0a14e812fcdcc33975063eef71a0","datavalue":{"value":{"entity-type":"item","numeric-id":2542297,"id":"Q2542297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841268$BE08037A-39D5-4B81-82E7-40C9B46BB171","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97d322be5d659446bb2391aa626851c56277f20e","datavalue":{"value":"10.1016/J.JNT.2009.02.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841268$7E49E464-B1E6-4ED8-8747-609C24594ED8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645c5c7233fdbfc1569ec2da2f39f9ab539eb807","datavalue":{"value":{"entity-type":"item","numeric-id":1919151,"id":"Q1919151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea282f92e88e2612013fa94da9503c2d797a31c","datavalue":{"value":{"amount":"+0.8273032307624817","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":"Q841268$1B1280AE-C250-49EB-ACED-2EA2B3292DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10e7be61c6dde579c244477f600584ea9bc5ac2","datavalue":{"value":{"entity-type":"item","numeric-id":3211415,"id":"Q3211415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea282f92e88e2612013fa94da9503c2d797a31c","datavalue":{"value":{"amount":"+0.8273032307624817","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":"Q841268$22B00A2B-E7FB-4F02-A22D-DAC75AB717D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb7c0c52c49a1d908f77776bb88f1ee14a085e3","datavalue":{"value":{"entity-type":"item","numeric-id":1012434,"id":"Q1012434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d58d3d42f1a81393afefd3ec0fefb2b220fda0","datavalue":{"value":{"amount":"+0.7866384387016296","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":"Q841268$6DAEFD06-7A7B-4BB3-B62E-72885E7F40F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3554024db7142c1a39bf1d07e2086a9fb3f757b2","datavalue":{"value":{"entity-type":"item","numeric-id":2454944,"id":"Q2454944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2570a63a687e9306b0f850f1711ab55ddb1345bc","datavalue":{"value":{"amount":"+0.7798827886581421","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":"Q841268$1E402B19-3383-4C15-ACC4-71ED84F82FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c144f08ecd8ce2168ee79e344fa347cd33ab6920","datavalue":{"value":{"entity-type":"item","numeric-id":5454199,"id":"Q5454199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ee7e7c5f0122a76ea7529fcc25c1c507bab25d","datavalue":{"value":{"amount":"+0.7744019627571106","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":"Q841268$82EFDF73-443C-4700-9107-08D2A8204BA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the \\(T\\)-ramified, \\(S\\)-split \\(p\\)-class field towers over an extension of degree prime to \\(p\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_%5C(T%5C)-ramified,_%5C(S%5C)-split_%5C(p%5C)-class_field_towers_over_an_extension_of_degree_prime_to_%5C(p%5C)"}}}}}