{"entities":{"Q982535":{"pageid":984383,"ns":120,"title":"Item:Q982535","lastrevid":42801263,"modified":"2025-07-11T15:09:03Z","type":"item","id":"Q982535","labels":{"en":{"language":"en","value":"Reciprocal relations between cyclotomic fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5731639"}},"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":"Q982535$3710B749-4557-45ED-972D-3DD0800312D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3e8d1c7b6304c31d35d097675d5731a36a62abf","datavalue":{"value":{"text":"Reciprocal relations between cyclotomic fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q982535$F6C80788-3648-4A4A-895C-CA93B27487F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0cf43d9efdd9a6bef2feb953bbeabb070f8afe0","datavalue":{"value":"1200.11080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982535$6FEFDCE3-4C7E-4DC3-B960-D9141EDBCE59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e78c3054aa58bc2bf96ecb778d9b2f3c8fb2c589","datavalue":{"value":{"entity-type":"item","numeric-id":687517,"id":"Q687517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982535$A7A42C2C-0C96-4AC8-AA2E-CFD9FD803B6D","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":"Q982535$17F08ABA-F941-4005-BCF4-8E63EA044C8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98b34cf97cc8bbd51bc67155521479eccd069e28","datavalue":{"value":{"time":"+2010-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q982535$B0469424-134E-4379-8749-C9482BBD030D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a312b33d6ab0a7149732d593d5d5e054e3ab22e","datavalue":{"value":"For any positive integer \\(n\\) let \\(\\zeta_n\\) be a primitive \\(n\\)-th root of unity, \\(\\phi_n\\) the \\(n\\)-th cyclotomic polynomial, i.e. the irreducible polynomial of \\(\\zeta_n\\) over \\(\\mathbb{Q}\\), and let \\(K_n\\) be the cyclotomic field \\(\\mathbb{Q}(\\zeta_n)\\) with ring of integers \\(\\mathfrak{o}_n\\). Let \\(N_n\\) denote the norm map in the cyclotomic extension \\(K_n / \\mathbb{Q}\\). The paper under review describes a reciprocity relation between the prime ideal factorization of \\(\\phi_n(c - \\zeta_m)\\) in \\(\\mathfrak{o}_m\\) and \\(\\phi_m(c - \\zeta_n)\\) in \\(\\mathfrak{o}_n\\), where \\(n\\) and \\(m\\) are positive integers and \\(c \\in \\mathbb{Z}\\) such that \\(N_m(\\phi_n(c - \\zeta_m))\\) is relatively prime to \\(mn\\); note that the latter condition is dual in \\(n\\) and \\(m\\), since one has an equality (Theorem 1)  \\[ N_m(\\phi_n(c - \\zeta_m)) = N_n(\\phi_m(c - \\zeta_n)). \\]  More precisely, let \\(|N_m(\\phi_n(c - \\zeta_m))| = \\prod_{i=1}^r l_i^{h_i}\\) with distinct prime numbers \\(l_i\\) and positive integers \\(h_i\\). Then for \\(1 \\leq i \\leq r\\), the orders of \\(l_i\\) modulo \\(m\\) and \\(l_i\\) modulo \\(n\\) agree (Corollary 2 to Theorem 2) and divide \\(h_i\\) (Corollary 2 to Proposition 7); let \\(m_i \\in \\mathbb{Z}\\) be the quotient. Furthermore, let \\(\\mathfrak{l}_i\\) (resp. \\(\\mathfrak{l}'_i\\)) be a prime ideal of \\(\\mathfrak{o}_m\\) (resp. \\(\\mathfrak{o}_n\\)) dividing \\(l_i\\) and \\(\\phi_n(c - \\zeta_m)\\) (resp. \\(l_i\\) and \\(\\phi_m(c - \\zeta_n)\\)). Then one has (Theorem 4)  \\[ \\phi_n(c - \\zeta_m) \\mathfrak{o}_m = \\prod_{i=1}^r \\mathfrak{l}_{i,1} \\cdot \\dots \\cdot \\mathfrak{l}_{i,m_i}, \\]   \\[ \\phi_m(c - \\zeta_n) \\mathfrak{o}_n = \\prod_{i=1}^r \\mathfrak{l}'_{i,1} \\cdot \\dots \\cdot \\mathfrak{l}'_{i,m_i}, \\]  where \\(\\mathfrak{l}_{i,1}, \\dots, \\mathfrak{l}_{i,m_i}\\) (resp. \\(\\mathfrak{l}'_{i,1}, \\dots, \\mathfrak{l}'_{i,m_i}\\)) are \\(m_i\\), not necessarily distinct, prime ideal conjugates of \\(\\mathfrak{l}_i\\) (resp. \\(\\mathfrak{l}'_i\\)). In particular (Theorem 5), \\(\\phi_n(c - \\zeta_m) \\mathfrak{o}_m\\) is prime if and only if \\(\\phi_m(c - \\zeta_n) \\mathfrak{o}_n\\) is prime.  Also the following result (Theorem 3) might be useful: Let \\(c \\in \\mathbb{Z}\\) such that \\(\\phi_n(c)\\) is relatively prime to \\(n\\). Then \\(\\phi_n(c)\\) is a rational prime if and only if \\((c - \\zeta_n) \\mathfrak{o}_n\\) is prime; in this case, \\(\\phi_n(c)\\) splits completely in \\(K_n / \\mathbb{Q}\\). Note that this in particular applies to Mersenne numbers \\(M_p = 2^p-1 = \\phi_p(2)\\), where \\(p\\) is a prime, and to Fermat numbers \\(F_k = 2^{2^k}+1 = \\phi_{2^{k+1}}(2)\\), where \\(k\\) is a positive integer.  The paper is well written and requires only basic knowledge on cyclotomic fields.","type":"string"},"datatype":"string"},"type":"statement","id":"Q982535$A51AF3A8-4289-4DCA-87A9-B076E953449F","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":"Q982535$08AC35C9-EFC8-453D-ACB2-3B387A6E6150","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982535$509C9FFE-10C2-47B7-893F-4E554D12D3B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da68dcc37c8f3bfe10e252d9a1d8165da71a67b3","datavalue":{"value":"5731639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982535$7B250449-F504-4010-94CD-127F046B4588","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891b0557a52ce04b2689537aa0c52513b0521f40","datavalue":{"value":"cyclotomic fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q982535$687AE67A-AD9A-4265-AA6B-3A3BDBC9F4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab3f680cabc51271083af5cc495456fdeea528b1","datavalue":{"value":"prime ideal factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q982535$88F84518-9FE6-417F-A833-D3ACC4935BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d25a84c631cc28ad210decb325d2d38aad656d4","datavalue":{"value":"cyclotomic polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q982535$F396C44D-9B25-4EE0-A48B-4678E0597846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f4ff4a33baa8790aa87fff9e717e21f47941853","datavalue":{"value":"Mersenne numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q982535$083A45C9-D645-4B31-A7F9-03E44ABD9AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0584bc742c6993e5554b7def9773e962709bd06f","datavalue":{"value":"Fermat numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q982535$74B44EFE-0E45-4C1B-BF10-165DC16CEFEE","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":"Q982535$4E75F343-87A1-41BB-B206-A31CC0BAC2E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea06046a16c01e5efd7715bcf7f0135505655c74","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2010.01.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q982535$ED890766-49E1-47F7-AB5D-9B1D6764F31B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"115dce9b50b3582f714bdb08ba86a4157961411d","datavalue":{"value":"W1991620671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982535$3E32D4F5-8893-4BFF-82FB-39D009FD6DF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7052ed2af41f119b80c1e58198ad34ad6f3135b7","datavalue":{"value":{"entity-type":"item","numeric-id":4431745,"id":"Q4431745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982535$5459BA13-ECEC-4021-AAB7-E38A3A5393C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3e8bcd9ac407075ef6c156fbc648c056d47207","datavalue":{"value":{"entity-type":"item","numeric-id":3999066,"id":"Q3999066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982535$C9FB374B-7460-4E2F-8AC6-2890247DA7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982535$5392B282-4E86-44A0-9FD0-91236266DF2F","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":"Q982535$88C9BEE4-4C33-478E-8586-57F751090378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c917db9f98b39bb9540064c5ef96ffd34fcbcde","datavalue":{"value":{"entity-type":"item","numeric-id":5732722,"id":"Q5732722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982535$3AF23C63-9837-4D2A-B729-05C9FFD2302C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02a38f41a8fdc35ad69be0893312ea5f9511eef2","datavalue":{"value":"10.1016/J.JNT.2010.01.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982535$20CB30B6-04FC-4CC2-B514-7F27567B3264","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b68856768ae8a6ddc12ba80ce6c732dbc5d89d","datavalue":{"value":{"entity-type":"item","numeric-id":4177670,"id":"Q4177670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c58dbb26356389fa7744331922c3ab79baa5cf","datavalue":{"value":{"amount":"+0.924947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q982535$7583B42D-3F79-4FBD-9A0C-E160778FA2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10408b64fd5cc193b9ac66e2cca236199849464","datavalue":{"value":{"entity-type":"item","numeric-id":5803332,"id":"Q5803332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b74b815aa3ba2582f7c36af5e84ba8ff61f8592","datavalue":{"value":{"amount":"+0.911891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q982535$562C4A65-71D8-4B66-A329-3BEEDBCFB82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b415f59cae2046725ae3fe84e8324d0e5204135e","datavalue":{"value":{"entity-type":"item","numeric-id":2721257,"id":"Q2721257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37e97b1c2ca7702e1ad8892db635bb2fb3d69101","datavalue":{"value":{"amount":"+0.9107312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q982535$2625D41B-F613-40A8-AE92-C80F63E97E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8544bf4c104cfdda4d5c7d30cf69c576a545e50","datavalue":{"value":{"entity-type":"item","numeric-id":4014258,"id":"Q4014258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a31355d0f243f380e2619cbcfc6f617e1c49093","datavalue":{"value":{"amount":"+0.9039188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q982535$80E885C5-C8D3-4521-9439-EE1BDBE99D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4d83bde59842ac34bb21e8193a9ce6a1569f86","datavalue":{"value":{"entity-type":"item","numeric-id":3604988,"id":"Q3604988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbcf6755bd578b7b4f8672e1187308804448bfe0","datavalue":{"value":{"amount":"+0.90345967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q982535$FB8DD7C1-D116-49A1-AEAC-26275F010ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26741d3a7040aab5a08f20b3af9d9a22297ccf1","datavalue":{"value":{"entity-type":"item","numeric-id":4488459,"id":"Q4488459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77811647de0eb310e24c4f49451ff7f0a5a39242","datavalue":{"value":{"amount":"+0.9018197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q982535$9F57B629-07AE-4341-8DB8-D1864CC7E65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed721790cde6bd7011ce87aca1001c6fddb7f92","datavalue":{"value":{"entity-type":"item","numeric-id":920146,"id":"Q920146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb089f2998dd445ba1e48d4c85387df4e6b4c92","datavalue":{"value":{"amount":"+0.8954706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q982535$ED45AE57-4E7C-4C3C-AA2D-15514C00974F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5141162109c8c12e398a5586e67524070877d473","datavalue":{"value":{"entity-type":"item","numeric-id":4454804,"id":"Q4454804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a24c7fd8987f47eaf6b4e7eb1b37e58d987c7d6","datavalue":{"value":{"amount":"+0.89374954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q982535$33548D2B-46AA-4DF8-8794-94B0C50C1CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf68d8151aea282b7c943a7e0c074ea34188651","datavalue":{"value":{"entity-type":"item","numeric-id":3032345,"id":"Q3032345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e3c362b39358debde7febd99762dafcf286fae","datavalue":{"value":{"amount":"+0.89307284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q982535$A3510027-E3D1-45BF-A008-1FAE7045924A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8510222feaf440bf799f1ef489063f9427818e","datavalue":{"value":{"entity-type":"item","numeric-id":3360245,"id":"Q3360245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4ff0d6332d1bf214a8a08c98fb82159d82f26d","datavalue":{"value":{"amount":"+0.8929243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q982535$3067D282-5BCC-4294-9DB2-9E88191A497C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:982535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:982535"}}}}}