{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:UVNBT6OM32QVKX4LNEUD5BRISH","short_pith_number":"pith:UVNBT6OM","schema_version":"1.0","canonical_sha256":"a55a19f9ccdea1555f8b69283e862891d12bb78d4d0ca9efbb60f14dd530fa9d","source":{"kind":"arxiv","id":"1606.09320","version":1},"attestation_state":"computed","paper":{"title":"Class numbers of large degree nonabelian number fields","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"John C. Miller, Kwang-Seob Kim","submitted_at":"2016-06-30T01:28:34Z","abstract_excerpt":"If a number field has a large degree and discriminant, the computation of the class number becomes quite difficult, especially without the assumption of GRH. In this article, we will unconditionally show that a certain nonabelian number field of degree 120 has class number one. This field is the unique $A_5 \\times C_2$ extension of the rationals that is ramified only at 653 with ramification index 2. It is the largest degree number field unconditionally proven to have class number 1.\n  The proof uses the algorithm of Gu\\`ardia, Montes and Nart to calculate an integral basis and then finds inte"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1606.09320","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2016-06-30T01:28:34Z","cross_cats_sorted":[],"title_canon_sha256":"2ce8046166d770940f58c9bf42f9b134f6261a0339fe15407586495d08195c7c","abstract_canon_sha256":"f6b52e4a53b59b591d4136f05bafac0136c426b021db71a471fec7e83d9ab7a3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:40.656375Z","signature_b64":"t/0iBjQxJaUQ1Gnn00dqHElSsxdzCg4ulQ9l989GUVazKXxIDCRUTjITVE3waMrw82dX8L8Aey8m8PmJMRoVBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a55a19f9ccdea1555f8b69283e862891d12bb78d4d0ca9efbb60f14dd530fa9d","last_reissued_at":"2026-05-18T01:11:40.656025Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:40.656025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Class numbers of large degree nonabelian number fields","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"John C. Miller, Kwang-Seob Kim","submitted_at":"2016-06-30T01:28:34Z","abstract_excerpt":"If a number field has a large degree and discriminant, the computation of the class number becomes quite difficult, especially without the assumption of GRH. In this article, we will unconditionally show that a certain nonabelian number field of degree 120 has class number one. This field is the unique $A_5 \\times C_2$ extension of the rationals that is ramified only at 653 with ramification index 2. It is the largest degree number field unconditionally proven to have class number 1.\n  The proof uses the algorithm of Gu\\`ardia, Montes and Nart to calculate an integral basis and then finds inte"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.09320","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1606.09320","created_at":"2026-05-18T01:11:40.656082+00:00"},{"alias_kind":"arxiv_version","alias_value":"1606.09320v1","created_at":"2026-05-18T01:11:40.656082+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.09320","created_at":"2026-05-18T01:11:40.656082+00:00"},{"alias_kind":"pith_short_12","alias_value":"UVNBT6OM32QV","created_at":"2026-05-18T12:30:46.583412+00:00"},{"alias_kind":"pith_short_16","alias_value":"UVNBT6OM32QVKX4L","created_at":"2026-05-18T12:30:46.583412+00:00"},{"alias_kind":"pith_short_8","alias_value":"UVNBT6OM","created_at":"2026-05-18T12:30:46.583412+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/UVNBT6OM32QVKX4LNEUD5BRISH","json":"https://pith.science/pith/UVNBT6OM32QVKX4LNEUD5BRISH.json","graph_json":"https://pith.science/api/pith-number/UVNBT6OM32QVKX4LNEUD5BRISH/graph.json","events_json":"https://pith.science/api/pith-number/UVNBT6OM32QVKX4LNEUD5BRISH/events.json","paper":"https://pith.science/paper/UVNBT6OM"},"agent_actions":{"view_html":"https://pith.science/pith/UVNBT6OM32QVKX4LNEUD5BRISH","download_json":"https://pith.science/pith/UVNBT6OM32QVKX4LNEUD5BRISH.json","view_paper":"https://pith.science/paper/UVNBT6OM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1606.09320&json=true","fetch_graph":"https://pith.science/api/pith-number/UVNBT6OM32QVKX4LNEUD5BRISH/graph.json","fetch_events":"https://pith.science/api/pith-number/UVNBT6OM32QVKX4LNEUD5BRISH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UVNBT6OM32QVKX4LNEUD5BRISH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UVNBT6OM32QVKX4LNEUD5BRISH/action/storage_attestation","attest_author":"https://pith.science/pith/UVNBT6OM32QVKX4LNEUD5BRISH/action/author_attestation","sign_citation":"https://pith.science/pith/UVNBT6OM32QVKX4LNEUD5BRISH/action/citation_signature","submit_replication":"https://pith.science/pith/UVNBT6OM32QVKX4LNEUD5BRISH/action/replication_record"}},"created_at":"2026-05-18T01:11:40.656082+00:00","updated_at":"2026-05-18T01:11:40.656082+00:00"}