{"title":"当 $$p\\equiv 3$$$(\\text {mod }4)$$ 是素数时,$$mathbb {Q}(\\sqrt\\{pm 2p})$$的类数的协整关系","authors":"Jigu Kim, Yoshinori Mizuno","doi":"10.1007/s11139-024-00863-0","DOIUrl":null,"url":null,"abstract":"<p>For a prime <span>\\(p\\equiv 3\\)</span> <span>\\((\\text {mod }4)\\)</span>, let <span>\\(h(-8p)\\)</span> and <i>h</i>(8<i>p</i>) be the class numbers of <span>\\(\\mathbb {Q}(\\sqrt{-2p})\\)</span> and <span>\\(\\mathbb {Q}(\\sqrt{2p})\\)</span>, respectively. Let <span>\\(\\Psi (\\xi )\\)</span> be the Hirzebruch sum of a quadratic irrational <span>\\(\\xi \\)</span>. We show that <span>\\(h(-8p)\\equiv h(8p)\\Big (\\Psi (2\\sqrt{2p})/3-\\Psi (\\frac{1+\\sqrt{2p}}{2})/3\\Big )\\)</span> <span>\\((\\text {mod }16)\\)</span>. Also, we show that <span>\\(h(-8p)\\equiv 2\\,h(8p)\\Psi (2\\sqrt{2p})/3\\)</span> <span>\\((\\text {mod }8)\\)</span> if <span>\\(p\\equiv 3\\)</span> <span>\\((\\text {mod }8)\\)</span>, and <span>\\(h(-8p)\\equiv \\big (2\\,h(8p)\\Psi (2\\sqrt{2p})/3\\big )+4\\)</span> <span>\\((\\text {mod }8)\\)</span> if <span>\\(p\\equiv 7\\)</span> <span>\\((\\text {mod }8)\\)</span>.</p>","PeriodicalId":501430,"journal":{"name":"The Ramanujan Journal","volume":"120 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Congruences for class numbers of $$\\\\mathbb {Q}(\\\\sqrt{\\\\pm 2p})$$ when $$p\\\\equiv 3$$ $$(\\\\text {mod }4)$$ is prime\",\"authors\":\"Jigu Kim, Yoshinori Mizuno\",\"doi\":\"10.1007/s11139-024-00863-0\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>For a prime <span>\\\\(p\\\\equiv 3\\\\)</span> <span>\\\\((\\\\text {mod }4)\\\\)</span>, let <span>\\\\(h(-8p)\\\\)</span> and <i>h</i>(8<i>p</i>) be the class numbers of <span>\\\\(\\\\mathbb {Q}(\\\\sqrt{-2p})\\\\)</span> and <span>\\\\(\\\\mathbb {Q}(\\\\sqrt{2p})\\\\)</span>, respectively. Let <span>\\\\(\\\\Psi (\\\\xi )\\\\)</span> be the Hirzebruch sum of a quadratic irrational <span>\\\\(\\\\xi \\\\)</span>. We show that <span>\\\\(h(-8p)\\\\equiv h(8p)\\\\Big (\\\\Psi (2\\\\sqrt{2p})/3-\\\\Psi (\\\\frac{1+\\\\sqrt{2p}}{2})/3\\\\Big )\\\\)</span> <span>\\\\((\\\\text {mod }16)\\\\)</span>. Also, we show that <span>\\\\(h(-8p)\\\\equiv 2\\\\,h(8p)\\\\Psi (2\\\\sqrt{2p})/3\\\\)</span> <span>\\\\((\\\\text {mod }8)\\\\)</span> if <span>\\\\(p\\\\equiv 3\\\\)</span> <span>\\\\((\\\\text {mod }8)\\\\)</span>, and <span>\\\\(h(-8p)\\\\equiv \\\\big (2\\\\,h(8p)\\\\Psi (2\\\\sqrt{2p})/3\\\\big )+4\\\\)</span> <span>\\\\((\\\\text {mod }8)\\\\)</span> if <span>\\\\(p\\\\equiv 7\\\\)</span> <span>\\\\((\\\\text {mod }8)\\\\)</span>.</p>\",\"PeriodicalId\":501430,\"journal\":{\"name\":\"The Ramanujan Journal\",\"volume\":\"120 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-05-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"The Ramanujan Journal\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s11139-024-00863-0\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Ramanujan Journal","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s11139-024-00863-0","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Congruences for class numbers of $$\mathbb {Q}(\sqrt{\pm 2p})$$ when $$p\equiv 3$$ $$(\text {mod }4)$$ is prime
For a prime \(p\equiv 3\)\((\text {mod }4)\), let \(h(-8p)\) and h(8p) be the class numbers of \(\mathbb {Q}(\sqrt{-2p})\) and \(\mathbb {Q}(\sqrt{2p})\), respectively. Let \(\Psi (\xi )\) be the Hirzebruch sum of a quadratic irrational \(\xi \). We show that \(h(-8p)\equiv h(8p)\Big (\Psi (2\sqrt{2p})/3-\Psi (\frac{1+\sqrt{2p}}{2})/3\Big )\)\((\text {mod }16)\). Also, we show that \(h(-8p)\equiv 2\,h(8p)\Psi (2\sqrt{2p})/3\)\((\text {mod }8)\) if \(p\equiv 3\)\((\text {mod }8)\), and \(h(-8p)\equiv \big (2\,h(8p)\Psi (2\sqrt{2p})/3\big )+4\)\((\text {mod }8)\) if \(p\equiv 7\)\((\text {mod }8)\).