{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:HMM2HWQ47KGFXWZA5NMN3XWGO4","short_pith_number":"pith:HMM2HWQ4","canonical_record":{"source":{"id":"1506.05624","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-06-18T11:00:43Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"0ff9e12a11bb1c39f75e46b7e298d9f211f3fc01a5e3634d33c4ce31043538b5","abstract_canon_sha256":"d867870f1f6411a067e80bd8103f1a48191da90cd417bdf58a2f330b6e390b52"},"schema_version":"1.0"},"canonical_sha256":"3b19a3da1cfa8c5bdb20eb58dddec677177c073ede7d2841585d7802d5e17543","source":{"kind":"arxiv","id":"1506.05624","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.05624","created_at":"2026-05-18T00:39:29Z"},{"alias_kind":"arxiv_version","alias_value":"1506.05624v2","created_at":"2026-05-18T00:39:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.05624","created_at":"2026-05-18T00:39:29Z"},{"alias_kind":"pith_short_12","alias_value":"HMM2HWQ47KGF","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"HMM2HWQ47KGFXWZA","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"HMM2HWQ4","created_at":"2026-05-18T12:29:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:HMM2HWQ47KGFXWZA5NMN3XWGO4","target":"record","payload":{"canonical_record":{"source":{"id":"1506.05624","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-06-18T11:00:43Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"0ff9e12a11bb1c39f75e46b7e298d9f211f3fc01a5e3634d33c4ce31043538b5","abstract_canon_sha256":"d867870f1f6411a067e80bd8103f1a48191da90cd417bdf58a2f330b6e390b52"},"schema_version":"1.0"},"canonical_sha256":"3b19a3da1cfa8c5bdb20eb58dddec677177c073ede7d2841585d7802d5e17543","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:29.249266Z","signature_b64":"z/7TMGQN9vjY1ispXetPR5koknxdiDJh3PjJxcfCV2NXBVCD9eanwWjq/0kj3dBCfRzdKw9nGR5T2qC3k9mvBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3b19a3da1cfa8c5bdb20eb58dddec677177c073ede7d2841585d7802d5e17543","last_reissued_at":"2026-05-18T00:39:29.248656Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:29.248656Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.05624","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:39:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sZuVKKpzCV3a1GYqVI/x/trEthdKls2L1ESsFSGv0IdsHQePLQLz/BUxpCbLc/WvbkwAp08v6uBFdUXhdsikCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:41:11.342801Z"},"content_sha256":"ef77ffb1ab29997e0dee76bef6a26948f88b32a948a4f3f29ae2d59090340aa2","schema_version":"1.0","event_id":"sha256:ef77ffb1ab29997e0dee76bef6a26948f88b32a948a4f3f29ae2d59090340aa2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:HMM2HWQ47KGFXWZA5NMN3XWGO4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Vahlen groups defined over commutative rings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.RA"],"primary_cat":"math.GR","authors_text":"Justin McInroy","submitted_at":"2015-06-18T11:00:43Z","abstract_excerpt":"Elements of a Vahlen group are $2 \\times 2$ matrices with entries in a Clifford algebra satisfying some conditions. Traditionally they have come in both ordinary and paravector type and have been defined (over Clifford algebras) over the real or complex numbers. We extend the definition of both types to be over a commutative ring with an arbitrary quadratic form. We show that they are indeed groups and identify in each case the group as the pin group, spin group, or another subgroup of the Clifford group. Under some mild conditions, for both types we show the equivalence of our definition with"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.05624","kind":"arxiv","version":2},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:39:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A3fbwJNheBBmpT8kOVZfatfmUhmqNx6ctYp27yd9R0fYs/nmTzGGE24m4eYx15hqknvDxQQ7nIGncp5Rji5BDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:41:11.343174Z"},"content_sha256":"d79216fab38a5771c37e03e89e6e6cba30316cca91290d274fe5508829b46174","schema_version":"1.0","event_id":"sha256:d79216fab38a5771c37e03e89e6e6cba30316cca91290d274fe5508829b46174"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HMM2HWQ47KGFXWZA5NMN3XWGO4/bundle.json","state_url":"https://pith.science/pith/HMM2HWQ47KGFXWZA5NMN3XWGO4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HMM2HWQ47KGFXWZA5NMN3XWGO4/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-30T11:41:11Z","links":{"resolver":"https://pith.science/pith/HMM2HWQ47KGFXWZA5NMN3XWGO4","bundle":"https://pith.science/pith/HMM2HWQ47KGFXWZA5NMN3XWGO4/bundle.json","state":"https://pith.science/pith/HMM2HWQ47KGFXWZA5NMN3XWGO4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HMM2HWQ47KGFXWZA5NMN3XWGO4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:HMM2HWQ47KGFXWZA5NMN3XWGO4","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"d867870f1f6411a067e80bd8103f1a48191da90cd417bdf58a2f330b6e390b52","cross_cats_sorted":["math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-06-18T11:00:43Z","title_canon_sha256":"0ff9e12a11bb1c39f75e46b7e298d9f211f3fc01a5e3634d33c4ce31043538b5"},"schema_version":"1.0","source":{"id":"1506.05624","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.05624","created_at":"2026-05-18T00:39:29Z"},{"alias_kind":"arxiv_version","alias_value":"1506.05624v2","created_at":"2026-05-18T00:39:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.05624","created_at":"2026-05-18T00:39:29Z"},{"alias_kind":"pith_short_12","alias_value":"HMM2HWQ47KGF","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"HMM2HWQ47KGFXWZA","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"HMM2HWQ4","created_at":"2026-05-18T12:29:25Z"}],"graph_snapshots":[{"event_id":"sha256:d79216fab38a5771c37e03e89e6e6cba30316cca91290d274fe5508829b46174","target":"graph","created_at":"2026-05-18T00:39:29Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Elements of a Vahlen group are $2 \\times 2$ matrices with entries in a Clifford algebra satisfying some conditions. Traditionally they have come in both ordinary and paravector type and have been defined (over Clifford algebras) over the real or complex numbers. We extend the definition of both types to be over a commutative ring with an arbitrary quadratic form. We show that they are indeed groups and identify in each case the group as the pin group, spin group, or another subgroup of the Clifford group. Under some mild conditions, for both types we show the equivalence of our definition with","authors_text":"Justin McInroy","cross_cats":["math.RA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-06-18T11:00:43Z","title":"Vahlen groups defined over commutative rings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.05624","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:ef77ffb1ab29997e0dee76bef6a26948f88b32a948a4f3f29ae2d59090340aa2","target":"record","created_at":"2026-05-18T00:39:29Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"d867870f1f6411a067e80bd8103f1a48191da90cd417bdf58a2f330b6e390b52","cross_cats_sorted":["math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-06-18T11:00:43Z","title_canon_sha256":"0ff9e12a11bb1c39f75e46b7e298d9f211f3fc01a5e3634d33c4ce31043538b5"},"schema_version":"1.0","source":{"id":"1506.05624","kind":"arxiv","version":2}},"canonical_sha256":"3b19a3da1cfa8c5bdb20eb58dddec677177c073ede7d2841585d7802d5e17543","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3b19a3da1cfa8c5bdb20eb58dddec677177c073ede7d2841585d7802d5e17543","first_computed_at":"2026-05-18T00:39:29.248656Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:29.248656Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"z/7TMGQN9vjY1ispXetPR5koknxdiDJh3PjJxcfCV2NXBVCD9eanwWjq/0kj3dBCfRzdKw9nGR5T2qC3k9mvBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:29.249266Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.05624","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ef77ffb1ab29997e0dee76bef6a26948f88b32a948a4f3f29ae2d59090340aa2","sha256:d79216fab38a5771c37e03e89e6e6cba30316cca91290d274fe5508829b46174"],"state_sha256":"d24ecf46dc99ac70a88820bde04f26c075a231763a4fdfe1e52ee16a76e8c5e3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bvHIThd4kN6JBIJ0OWylVxq3POL9xPaMa7ZYD9dzJ3N/TsTZZJakGr1VzgY/bcTgyF4UoirE+zWk+O/cS0jNCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T11:41:11.346555Z","bundle_sha256":"a957ce229f203dcdc1bd8f76702b44fcc810739513dcafaebb46f6c1afaaa3a3"}}