{"entities":{"Q6928051":{"pageid":21071500,"ns":120,"title":"Item:Q6928051","lastrevid":84127334,"modified":"2026-05-10T18:06:29Z","type":"item","id":"Q6928051","labels":{"en":{"language":"en","value":"Invariant part of class groups and distribution of relative class group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8095504"}},"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":"Q6928051$4E8F7E94-6D6E-4784-9078-86E5E7DBF09D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdf886da64cc642ad9efd5b643b6e7a4366e8f1f","datavalue":{"value":{"text":"Invariant part of class groups and distribution of relative class group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6928051$3ADD67EE-29D3-4433-8D44-BC4A03E97ED8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7639473b71437dcaeba9dae971c2d108d0d10905","datavalue":{"value":"10.1016/J.JNT.2025.07.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6928051$6EC3FE6A-6C6A-4AE4-81AC-E0F4B5E23CD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d24354a92064c1664931248cd8ac8ad48c6837a","datavalue":{"value":{"entity-type":"item","numeric-id":2039538,"id":"Q2039538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$36B912C7-8243-4453-955A-1D2455BC88BD","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":"Q6928051$4A0A4484-04AB-4EE5-9C2B-C090550AB5C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"647ca4e88a384c5bf6e89a2b31c50839848248aa","datavalue":{"value":{"time":"+2025-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6928051$781E8F18-6579-4555-B3D7-C03A702B8F9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"778353c679ab5a1a89bc9d1e77218b489d658cfd","datavalue":{"value":"\\noindent Let \\(K\\) be a number field and denote by \\(\\mathcal{P}_K\\) the set of all finite primes of \\(K\\), and by \\(\\text{Cl}_K\\) the class group of \\(K\\). For a rational prime \\(p\\) denote the \\(p\\)-rank of \\(\\text{Cl}_K\\) by \\(\\text{rk}_p\\hspace{.1em} \\text{Cl}_K\\). For an extension of number fields \\(L/K\\) and each \\(\\mathfrak{p}\\in \\mathcal{P}_K\\) let \\\\N\\[\\Ne(\\mathfrak{p}, L/K):=\\text{gcd}(e(\\mathfrak{P}/\\mathfrak{p}))_{\\mathfrak{P}\\mid \\mathfrak{p}}\\\\N\\]\\Nwhere \\(\\mathfrak{P}\\) runs over primes of \\(L\\) above \\(\\mathfrak{p}\\). The author of the present paper proves the following theorem which generalizes a result of \\textit{P. Roquette} and \\textit{H. Zassenhaus} [J. Lond. Math. Soc. 44, 31--38 (1969; Zbl 0169.38001)] in the sense that the base field \\(K\\) is not necessarily \\(\\mathbb{Q}\\).\\N\\NTheorem 1.9. Fix a rational prime \\(p\\). Let \\(L/K\\) be a finite extension of number fields with Galois closure \\(N/K\\). Denote \\([N:K]\\) by \\(n\\). We have \\\\N\\[\\N\\text{rk}_p\\hspace{.1em}\\text{Cl}_L\\geq \\#\\{\\mathfrak{p}\\in \\mathcal{P}_K \\mid e(\\mathfrak{p},L/K)\\equiv 0\\bmod p\\}-n^2.\\\\N\\]\\NUsing Theorem 1.9 the author obtains the following ``zero probability'' and ``infinite moment'' results. In their statements, \\(\\mathcal{E}\\) is a countable set with counting function \\(C:\\mathcal{E}\\rightarrow \\mathbb{R}_{\\geq 0}\\), \\\\N\\[\\NN_C(\\mathcal{E}, X):=\\#\\{M\\in \\mathcal{E} \\mid C(M)<X\\},\\\\N\\]\\Nand for a finite abelian group \\(A_M\\) associated with \\(M\\), and each non-negative integer \\(r\\), \\\\N\\[\\N\\mathbb{P}_{C,\\mathcal{E}}(\\text{rk}_p\\hspace{.1em}A_M\\leq r):=\\lim_{X\\rightarrow \\infty}\\frac{\\#\\{M\\in \\mathcal{E} \\mid C(M)<X\\ \\text{and}\\ \\text{rk}_p\\hspace{.1em}A_M\\leq r \\}}{N_C(\\mathcal{E},X)}\\\\N\\]\\Nand \\\\N\\[\\N\\mathbb{E}_{C,\\mathcal{E}}(|\\text{Hom}(A_M, C_p)|):=\\lim_{X\\rightarrow \\infty}\\frac{\\sum_{\\substack{M\\in \\mathcal{E}\\\\\\NC(M)<X}}|\\text{Hom}(A_M, C_p)|}{N_C(\\mathcal{E},X)}.\\\\N\\]\\NFor an abelian group \\(G\\) denote the set of abelian \\(G\\)-extensions of \\(K\\) by \\(\\mathcal{E}(G,K)\\). If \\(L\\in \\mathcal{E}(G,K)\\) denote by \\(\\text{Cl}(L/K)\\) the relative class group of \\(L/K\\).\\N\\NTheorem 1.10. Let \\(K\\) be a fixed number field. For each finite Galois extension \\(L/K\\), define \\(C(L/K):=\\mathfrak{N}(\\sqrt{\\mathfrak{d}_{L/K}})\\), where \\(\\mathfrak{d}\\) is the relative discriminant, \\(\\sqrt{}\\) is the radical, and \\(\\mathfrak{N}\\) is the absolute norm. Let \\(G\\) be a finite abelian group, and set \\(\\mathcal{E} :=\\mathcal{E}(G,K)\\). For each \\(p\\mid |G|\\), and for each non-negative integer \\(r\\), we have \\\\N\\[\\N\\mathbb{P}_{C,\\mathcal{E}}(\\text{rk}_p\\hspace{.1em}\\text{Cl}(L/K)\\leq r)=0.\\\\N\\]\\NIn addition we have \\\\N\\[\\N\\mathbb{E}_{C,\\mathcal{E}}(|\\text{Hom}(\\text{Cl}(L/K), C_p)|)=+\\infty.\\\\N\\]\\NCall \\(L\\) a sextic \\(A_4\\)-field if and only if \\([L:\\mathbb{Q}]=6\\) and the Galois closure \\(\\hat{L}\\) is an \\(A_4\\)-field.\\N\\NTheorem 1.11. Let \\(\\mathcal{E}\\) be the set of sextic \\(A_4\\)-fields, and \\(d\\) the absolute discriminant. For each non-negative integer \\(r\\), we have that \\\\N\\[\\N\\mathbb{P}_{d,\\mathcal{E}}(\\text{rk}_2\\hspace{.1em}\\text{Cl}_L\\leq r)=0.\\\\N\\]\\NMoreover, we have \\\\N\\[\\N\\mathbb{E}_{d,\\mathcal{E}}(|\\text{Hom}(\\text{Cl}_L, C_2)|)=+\\infty.\\\\N\\]\\NTheorem 1.12. Let \\(\\mathcal{E}\\) be the set of non-Galois cubic fields. For each \\(K_3\\in \\mathcal{E}\\), let \\(K_6\\) be its Galois closure with a unique quadratic subfield \\(K_2\\). Fix an integer \\(n\\geq 2\\). Define the counting function \\(C\\) by \\\\N\\[\\NC(K_3):=d_{K_3}d^n_{K_2},\\\\N\\]\\Nwhere \\(d\\) is the absolute discriminant. For each non-negative integer \\(r\\), we have \\\\N\\[\\N\\mathbb{P}_{C,\\mathcal{E}}(\\text{rk}_3\\hspace{.1em}\\text{Cl}_{K_3}\\leq r)=0.\\\\N\\]\\NMoreover, we have \\\\N\\[\\N\\mathbb{E}_{C,\\mathcal{E}}(|\\text{Hom}(\\text{Cl}_{K_3}, C_3)|)=+\\infty.\\\\N\\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q6928051$4C714CD8-E7FB-4CDA-B2C1-CD185E7E8272","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f2921ed6c456cb5a7fdb08f72ef369d015a15536","datavalue":{"value":{"entity-type":"item","numeric-id":351770,"id":"Q351770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$752DB84F-2A47-46E7-9C54-567EA811FEFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6928051$359EA2BD-11FE-460C-802D-290075750684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79189b8d67a3f8f3a17f044b1f1291cb8f05334c","datavalue":{"value":"11R16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6928051$813ABCD8-A283-432A-8B6E-7723C0531AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c5a3b3d29cc932d17941d548c95677f8c0ae4b32","datavalue":{"value":"11R20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6928051$3858E3AE-83BD-409A-AE83-84FF8EAE1F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"60812a381dd95773e68c54b90aa92d52a1e9cecb","datavalue":{"value":"11R42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6928051$D6A8A421-C95D-4005-AD12-9DFDEF5DCC57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec647d84b6fe0a3f1b5991f7ab14bd3f41ae6e69","datavalue":{"value":"8095504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6928051$F4E11412-8B08-4B15-AD6D-F0344C5271C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd9d05358f40faa43b69c868f1b0627804051ca","datavalue":{"value":"class groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6928051$BD95E183-AAAB-46F5-BB5C-613A7C4ACECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dcae9aead318797ce01c11f9f11f2a70fee498d","datavalue":{"value":"Cohen-Lenstra-Martinet heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6928051$A69D91BB-9B22-40E4-9201-0D73D27FCBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c7d5a1256effe0ae7031df9792c7edeeb87f444","datavalue":{"value":"distribution of class groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6928051$693F87C8-E2FA-46C9-8AF8-A5A57BE62BF9","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":"Q6928051$EC908E2D-BA23-4BB5-AA4B-D2EC662CA669","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46732992d46a970e1c0146d8a675c2edcdb306f8","datavalue":{"value":{"entity-type":"item","numeric-id":5119819,"id":"Q5119819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$6F8384B1-4C6A-42BB-A9F9-5EACC9B75466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c8d84655db8906d19fde16bb2b5e23397a3b9cc","datavalue":{"value":{"entity-type":"item","numeric-id":3222942,"id":"Q3222942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$6FD10ADB-6223-4698-9B7A-430B7E800704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54444c4ef14eabff538b3197865a8378e008fc94","datavalue":{"value":{"entity-type":"item","numeric-id":4305964,"id":"Q4305964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$D83A4657-82C3-413C-BC4F-D775A78E5F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888867ff6b90300720aefe4a27be15d55b17345c","datavalue":{"value":{"entity-type":"item","numeric-id":3476914,"id":"Q3476914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$70D6A653-8923-4E20-8603-D50914A153D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a6364ad863efc387cbe3b525974db246b042fc","datavalue":{"value":{"entity-type":"item","numeric-id":5752658,"id":"Q5752658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$C28CE1E9-0CFE-46F5-993A-2BE903AA9C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae47c569cdf5186caff3c1e23303b97d7f1bd92","datavalue":{"value":{"entity-type":"item","numeric-id":5613304,"id":"Q5613304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$41D2E2A8-70A6-405D-AFC3-862626081BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bb711dbfc2d77fcdf43c29b1f4e53c270051fd","datavalue":{"value":{"entity-type":"item","numeric-id":5829274,"id":"Q5829274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$D2011116-6492-4E79-A690-FD5ED55B2591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab89f931439cfa804f3bc574b19c9349b759d7e","datavalue":{"value":{"entity-type":"item","numeric-id":267576,"id":"Q267576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$C1673878-2049-4A75-A521-B5631E9AE176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7047e74f551218a2443f9cde37f553cd47cde3","datavalue":{"value":{"entity-type":"item","numeric-id":1088719,"id":"Q1088719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$D53FE9A8-D6AA-4024-8D7D-EFC64FA5936C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4093809f27c5a257272843323a40f735dc711152","datavalue":{"value":{"entity-type":"item","numeric-id":1236138,"id":"Q1236138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$615CDC47-9822-4A92-9841-28F3756B987F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c4e94d4db8d92bc3bc1b0063e65ce7c2992f36","datavalue":{"value":{"entity-type":"item","numeric-id":4830109,"id":"Q4830109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$DBFEFDA2-24A5-4B42-A839-BC04F8699F40","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":"Q6928051$FED4006D-A07C-4C77-8F3E-17FAA7A7EBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a0e1917d4741e4b74c64fc8198e1fe5a8eff4c3","datavalue":{"value":{"entity-type":"item","numeric-id":2723534,"id":"Q2723534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$C5E6BEF8-FBBF-40D5-A943-B5F502569546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5656807f211250bd68ec4982d749fd16b7c74af","datavalue":{"value":{"entity-type":"item","numeric-id":5556583,"id":"Q5556583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$266D5317-5145-463A-B6CD-05028B821586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8d6cf87d0ff059c8b9a851d33c3c86e7d4e79fc","datavalue":{"value":{"entity-type":"item","numeric-id":2039539,"id":"Q2039539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$81DA4778-A987-4A27-A75F-C99FA55E3AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68d124b4a4a5c6fa983f10a45805ecd7c4b378d","datavalue":{"value":{"entity-type":"item","numeric-id":3558864,"id":"Q3558864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6928051$21619164-31B5-4A33-9B64-BE4AF498E380","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariant part of class groups and distribution of relative class group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariant_part_of_class_groups_and_distribution_of_relative_class_group"}}}}}