{"entities":{"Q6612912":{"pageid":14224069,"ns":120,"title":"Item:Q6612912","lastrevid":55760275,"modified":"2026-02-17T22:18:21Z","type":"item","id":"Q6612912","labels":{"en":{"language":"en","value":"On the class numbers of the \\(n\\)-th layers in the cyclotomic \\(\\mathbb{Z}_2\\)-extension of \\(\\mathbb{Q}(\\sqrt{5})\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7920796"}},"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":"Q6612912$2F25BBD6-BE4E-41CB-8EE2-603FE4062A03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a97aba65dae84678060bfb3c42b8f7fbadbd7fb","datavalue":{"value":{"text":"On the class numbers of the \\(n\\)-th layers in the cyclotomic \\(\\mathbb{Z}_2\\)-extension of \\(\\mathbb{Q}(\\sqrt{5})\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6612912$EF4D9CEB-9CC9-458C-BB17-9A05E1ECC60B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7770ca7346827537510d807378abbb986a0334c","datavalue":{"value":{"entity-type":"item","numeric-id":330460,"id":"Q330460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$947AF87B-008A-49A4-A0BC-621DDD3DD49F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d3d4b662b14a01f969e4e56beed14f871a03638e","datavalue":{"value":{"entity-type":"item","numeric-id":180505,"id":"Q180505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$C5E903B9-231C-4033-8D48-5D144C1D9DAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9920dd23d0b992023e85fc96356e313613230508","datavalue":{"value":{"time":"+2024-10-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":"Q6612912$4E3A9BB3-7F87-4732-9B7D-835F8F37D289","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"85da346015299a487328c147ab229d3081c463ec","datavalue":{"value":"This paper deals with problems in the context of Weber's class number problem, which is the following conjecture (or question?): All layers \\(\\mathbb B_n\\) in the 2-cyclotomic tower over the base field \\(\\mathbb Q\\) have class number 1. There are related questions in cases where the base field is not \\(\\mathbb Q\\). The following is a (very likely incomplete) list of authors who have contributed to this topic: Aoki, Fukuda, Horie, Ichimura, Inatomi, Komatsu, Miller, Morisawa, Nakajima, Okazaki, Sumida, Washington. We cannot give the full picture of existing results here. -- The paper under review is concerned with the 2-cyclotomic extension of \\(K = \\mathbb Q(\\sqrt5)\\). The author had previously proved [Tokyo J. Math. 39, No. 1, 69--81 (2016; Zbl 1406.11105)] that no prime less than 60000 divides the class number of any layer \\(K\\mathbb B_n\\), and in a more recent paper [Funct. Approximatio, Comment. Math. 62, No. 1, 87--94 (2020; Zbl 1456.11215)] he had proved that for \\(n=5\\) (and consequently also for \\(n=1,2,3,4\\)) the class number is 1. The main result of the present paper says that if a prime \\(\\ell\\) divides any class number \\(h(K\\mathbb B_n)\\), then it must be congruent to \\(\\pm1\\) modulo 8. (It is well known in this case that all \\(h(K\\mathbb B_n)\\) are odd.) The proof divides neatly into two major steps of quite different flavor. First, one lets \\(F_n\\) be the field ``between'' \\(\\mathbb B_n\\) and \\(K\\mathbb B_{n-1}\\) (so \\(F_n/\\mathbb Q\\) is a cyclic extension of degree \\(2^n\\)), and proves: The relative class number \\(h(F_n)/h(\\mathbb B_{n-1})\\) is divisible by \\(\\ell\\) iff a certain power of a specific cyclotomic unit is an \\(\\ell\\)-th power of some element \\(\\eta\\in F_n\\); of course if \\(\\eta\\) exists, it is again a unit. This generalizes a result known as ``Horie's Lemma''. In the second step, the technique of Mahler measures is used to prove that if the claimed congruence property of \\(\\ell\\) is violated (that is, if \\(\\ell\\equiv\\pm3\\) mod 8), the root \\(\\eta\\) cannot exist for \\(\\ell>341\\). Combining this lower bound with earlier results suffices to prove the main theorem. Many concepts occurring in this paper seem to have been used in earlier papers (by Aoki, and by many others), but the structure of the argument taken as a whole looks new.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612912$B477B53E-C988-4A47-AB93-44DCEC9270EC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a1052697d1bfdf0e3b4590cb7d303e0f09b1f3e5","datavalue":{"value":{"entity-type":"item","numeric-id":351771,"id":"Q351771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$95B680EF-46E5-49C7-A3DC-09CF0A396FC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612912$41D1BB12-64F5-4333-B735-508C3D0BD0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612912$F7DBD1BD-53F8-4A92-B2F3-C344C0901DA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e53673fe8e999a9f07a598e38b4f40d5d6540bfa","datavalue":{"value":"7920796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612912$89E98269-F836-49DD-A4C8-95EA69DBA7D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81afb4e2d4a060ef095dda69021a727b2157851f","datavalue":{"value":"class numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612912$5812BA4D-B165-4CAA-B7C5-FE2492F5F033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47971d08cf6bae0ce694ee6ba8176f2e9c28d3f6","datavalue":{"value":"cyclotomic extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612912$3F78475E-D8F5-49EB-AA36-BA43C271FD54","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":"Q6612912$2589D2BD-9130-4768-B080-835D8571C391","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"171bcada201291f2f96b8fcdd477d6801422038e","datavalue":{"value":{"entity-type":"item","numeric-id":330461,"id":"Q330461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$944C01FB-EE3E-4E34-9151-CEB40C616112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a22efdabbd7f58285ca5f93e1753545145346f9b","datavalue":{"value":{"entity-type":"item","numeric-id":782775,"id":"Q782775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$E793A46F-AFD5-4BAA-8F73-14BAC170E71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638e80bff29eb6e61f9282940380419e624db84d","datavalue":{"value":{"entity-type":"item","numeric-id":2530780,"id":"Q2530780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$F577031B-AC5B-47F6-BB44-B8E7C81CADD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28cbb89afe60b189acc1b733569acdaa8b04f53","datavalue":{"value":{"entity-type":"item","numeric-id":2900275,"id":"Q2900275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$B4BD4818-2339-403E-BACD-8292D7065C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d697d492e94b3a90a834febd9facad701bd87841","datavalue":{"value":{"entity-type":"item","numeric-id":2626004,"id":"Q2626004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$83F10C72-3931-4B13-9408-B1429CB5526B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e304ec75f139633e41031a35b03cfcb9d589cf","datavalue":{"value":{"entity-type":"item","numeric-id":3173463,"id":"Q3173463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$02D39693-3077-4B62-8F6B-109CFF598FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0830bf06aa3c732a3619ae7ee3902fd13a4ff9","datavalue":{"value":{"entity-type":"item","numeric-id":805664,"id":"Q805664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$5F13BBE3-415B-40CF-A7D4-65340D28664E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea7334a387c363681ec49a59639392a8921d2ee","datavalue":{"value":{"entity-type":"item","numeric-id":812890,"id":"Q812890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$A60231CD-69EF-4854-BF9C-5DDC4AC9E452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6ee6e0d9c0a3644fe1cbb715fd3d6486cf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":2569283,"id":"Q2569283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$B5D6ED96-7665-4ABF-9762-18610FFDCB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a316d278f1b61671d0ed44ec52afd797e3515bc","datavalue":{"value":{"entity-type":"item","numeric-id":2472597,"id":"Q2472597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$C0AF8BA6-997A-4057-A74C-C871AB2A20C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48a260a934a6ffe4598958e7edf39327c683e58","datavalue":{"value":{"entity-type":"item","numeric-id":961448,"id":"Q961448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$343F53D2-EBF4-4DAF-A9A3-E78846DBABB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76aeb29bc461cacbe3a49f83d7cdb4d381c0156","datavalue":{"value":{"entity-type":"item","numeric-id":768109,"id":"Q768109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$2827FBCD-2178-4AA9-830F-349C32063323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509176a50d0a11395a4fab7be5c09f592631cd0a","datavalue":{"value":{"entity-type":"item","numeric-id":917594,"id":"Q917594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$A4DDAC1E-69F6-4B86-A9A2-4909EBDE25CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147bc225e28a65589fd87097e8df45d932592fc6","datavalue":{"value":{"entity-type":"item","numeric-id":4740637,"id":"Q4740637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$696D08CE-F557-4C30-9DA0-0C3A2005ABF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9eb794f2841e82e1d88c7630ea4ee4641e0072","datavalue":{"value":{"entity-type":"item","numeric-id":3864603,"id":"Q3864603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$9B32CFDF-9672-4835-8C45-F11B89824B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73567b7fce6003706743d41d05b0ae0abceb58f0","datavalue":{"value":{"entity-type":"item","numeric-id":797632,"id":"Q797632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$CE7E9A64-3D08-4FCF-AE6A-4688411EAA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4a754a9a2c5303b260672cbe447f41ebf839b3","datavalue":{"value":{"entity-type":"item","numeric-id":2875429,"id":"Q2875429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$C5B2D78C-E83C-4B18-81F7-FF33B30F63D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e58dbe75b71d7e3ac34b4d150877d01c4ba25da","datavalue":{"value":{"entity-type":"item","numeric-id":3223878,"id":"Q3223878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$C6EB74CE-9516-4265-AA8A-034D0F08F206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b4d392bf0e08f34def9a880837e677d0548078","datavalue":{"value":{"entity-type":"item","numeric-id":517757,"id":"Q517757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$A39DE642-13B6-4A77-91F4-249969745E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7bd22fdd540d1abe95ffee5bca2be550642a19d","datavalue":{"value":{"entity-type":"item","numeric-id":3856855,"id":"Q3856855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$80A57474-90B7-4256-B75D-03407FA4C8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b451df7e74fea968e52996d4a0dcc7b0059c6","datavalue":{"value":{"entity-type":"item","numeric-id":1154503,"id":"Q1154503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$38946564-4E96-46B9-9AD2-0F3D7990F947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30d5e572a2001443c05483b553f3cfd7bc29775","datavalue":{"value":{"entity-type":"item","numeric-id":5690489,"id":"Q5690489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$9A55844A-1DAC-4263-8FBD-1330734AF990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345af6426b173f811e1f98ec09402827427ed6fc","datavalue":{"value":{"entity-type":"item","numeric-id":1541618,"id":"Q1541618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612912$F38CFEDF-21C5-4342-AA54-CBB8977CE7CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29e6131dc508800e64176ca574d0b5baf53625a2","datavalue":{"value":"10.7169/FACM/2058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612912$E05F76FD-712A-4AD8-B803-FFBC6C74816E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0c30ccfe3bf9fd1407e86899cecafd4441139c","datavalue":{"value":{"entity-type":"item","numeric-id":628834,"id":"Q628834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c61b3a1085a978f47c28d4797b66793c45b2911","datavalue":{"value":{"amount":"+0.9070433378219604","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":"Q6612912$D648C04E-2CCF-487A-9421-5D28C41ADC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf13b49819eafa44ec7f16aae09f31ac04e4fae","datavalue":{"value":{"entity-type":"item","numeric-id":3651322,"id":"Q3651322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974731c3d56c9dcbc0a54f7931092de6b3deb82e","datavalue":{"value":{"amount":"+0.8927603960037231","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":"Q6612912$6BBA31FD-63B1-4685-9AF4-B0B24786BEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2674e65779875d9d1a7dc610f9c759666c0b0afd","datavalue":{"value":{"entity-type":"item","numeric-id":330461,"id":"Q330461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37e0d3e8caff7a6a29589f984480d97eccd7a957","datavalue":{"value":{"amount":"+0.8830628991127014","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":"Q6612912$AA303CFA-910C-41F4-A845-1FB262D378ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fe6ce2dd9be0afb1c1422176eacdbd2b9aa0d7","datavalue":{"value":{"entity-type":"item","numeric-id":3173463,"id":"Q3173463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f9da1586a037be7046d94b0f5b79c1ddccbb4e","datavalue":{"value":{"amount":"+0.8794822692871094","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":"Q6612912$3D7DA71A-392F-445B-A134-FC219A7638F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991a6d570a7a941cda050a2c9e1de39fcf1c1d6f","datavalue":{"value":{"entity-type":"item","numeric-id":782775,"id":"Q782775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748d3b5e202a65fc0ec79202fcde74c3697a8cea","datavalue":{"value":{"amount":"+0.8257997632026672","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":"Q6612912$2C13B017-2943-47EF-B1E3-A77D931FA08F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6612912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6612912"}}}}}