{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:VXQMHO5GLRGETTMTH2JHIGBZ3X","short_pith_number":"pith:VXQMHO5G","canonical_record":{"source":{"id":"1509.05730","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-09-18T17:50:15Z","cross_cats_sorted":[],"title_canon_sha256":"98b66ad39a118c55094b3444b7b80676fe17bd3ba48b25edfab896449de53d6d","abstract_canon_sha256":"b85ffab13f2e9303361fafea6c7899070e48d272490a28d05e48099b23bd6e60"},"schema_version":"1.0"},"canonical_sha256":"ade0c3bba65c4c49cd933e92741839ddfc5651a140a01396bb21b9f8fae7105b","source":{"kind":"arxiv","id":"1509.05730","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05730","created_at":"2026-05-18T01:32:42Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05730v1","created_at":"2026-05-18T01:32:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05730","created_at":"2026-05-18T01:32:42Z"},{"alias_kind":"pith_short_12","alias_value":"VXQMHO5GLRGE","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"VXQMHO5GLRGETTMT","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"VXQMHO5G","created_at":"2026-05-18T12:29:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:VXQMHO5GLRGETTMTH2JHIGBZ3X","target":"record","payload":{"canonical_record":{"source":{"id":"1509.05730","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-09-18T17:50:15Z","cross_cats_sorted":[],"title_canon_sha256":"98b66ad39a118c55094b3444b7b80676fe17bd3ba48b25edfab896449de53d6d","abstract_canon_sha256":"b85ffab13f2e9303361fafea6c7899070e48d272490a28d05e48099b23bd6e60"},"schema_version":"1.0"},"canonical_sha256":"ade0c3bba65c4c49cd933e92741839ddfc5651a140a01396bb21b9f8fae7105b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:32:42.497231Z","signature_b64":"1lEUbUKQAiMtKC4mmP32mcM5Xr6htjQMhjLS7hcwFlSsqEm3KqYNHR+LeTNxsra7xf7jJJd81YVwmrUttyuZDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ade0c3bba65c4c49cd933e92741839ddfc5651a140a01396bb21b9f8fae7105b","last_reissued_at":"2026-05-18T01:32:42.496839Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:32:42.496839Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.05730","source_version":1,"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-18T01:32:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UbN2Tr24q1FLKrnGa1xgtabSmy0ZMf+XrdzMmVDGAcZYzVF2Rrs7WXwoeHkONigNN2L/iucXGhB0Y7lZ3Ff0Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T04:09:55.090443Z"},"content_sha256":"2e7307a7a3125d52adbc80efbf4d2d9b3e0fd84e393c691a5e2cbe2d96a99cd0","schema_version":"1.0","event_id":"sha256:2e7307a7a3125d52adbc80efbf4d2d9b3e0fd84e393c691a5e2cbe2d96a99cd0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:VXQMHO5GLRGETTMTH2JHIGBZ3X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Commutator theory for loops","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"David Stanovsk\\'y, Petr Vojt\\v{e}chovsk\\'y","submitted_at":"2015-09-18T17:50:15Z","abstract_excerpt":"Using the Freese-McKenzie commutator theory for congruence modular varieties as the starting point, we develop commutator theory for the variety of loops. The fundamental theorem of congruence commutators for loops relates generators of the congruence commutator to generators of the total inner mapping group. We specialize the fundamental theorem into several varieties of loops, and also discuss the commutator of two normal subloops.\n  Consequently, we argue that some standard definitions of loop theory, such as elementwise commutators and associators, should be revised and linked more closely"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05730","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"},"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-18T01:32:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"216/7zn5gSoRbVHYWmjB+JYY7An+DpGwpLh8vDMOQR1xZJtBxC2OgXJgqWEBbg6Xe3IcV2ycz3qsAC04NGI3BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T04:09:55.090783Z"},"content_sha256":"28cd8bfc6ae366a3f1132cfde1c6a635ea46422727c0d6e444a3eed7cba01455","schema_version":"1.0","event_id":"sha256:28cd8bfc6ae366a3f1132cfde1c6a635ea46422727c0d6e444a3eed7cba01455"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X/bundle.json","state_url":"https://pith.science/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X/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-06-01T04:09:55Z","links":{"resolver":"https://pith.science/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X","bundle":"https://pith.science/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X/bundle.json","state":"https://pith.science/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:VXQMHO5GLRGETTMTH2JHIGBZ3X","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":"b85ffab13f2e9303361fafea6c7899070e48d272490a28d05e48099b23bd6e60","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-09-18T17:50:15Z","title_canon_sha256":"98b66ad39a118c55094b3444b7b80676fe17bd3ba48b25edfab896449de53d6d"},"schema_version":"1.0","source":{"id":"1509.05730","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05730","created_at":"2026-05-18T01:32:42Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05730v1","created_at":"2026-05-18T01:32:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05730","created_at":"2026-05-18T01:32:42Z"},{"alias_kind":"pith_short_12","alias_value":"VXQMHO5GLRGE","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"VXQMHO5GLRGETTMT","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"VXQMHO5G","created_at":"2026-05-18T12:29:47Z"}],"graph_snapshots":[{"event_id":"sha256:28cd8bfc6ae366a3f1132cfde1c6a635ea46422727c0d6e444a3eed7cba01455","target":"graph","created_at":"2026-05-18T01:32:42Z","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":"Using the Freese-McKenzie commutator theory for congruence modular varieties as the starting point, we develop commutator theory for the variety of loops. The fundamental theorem of congruence commutators for loops relates generators of the congruence commutator to generators of the total inner mapping group. We specialize the fundamental theorem into several varieties of loops, and also discuss the commutator of two normal subloops.\n  Consequently, we argue that some standard definitions of loop theory, such as elementwise commutators and associators, should be revised and linked more closely","authors_text":"David Stanovsk\\'y, Petr Vojt\\v{e}chovsk\\'y","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-09-18T17:50:15Z","title":"Commutator theory for loops"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05730","kind":"arxiv","version":1},"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:2e7307a7a3125d52adbc80efbf4d2d9b3e0fd84e393c691a5e2cbe2d96a99cd0","target":"record","created_at":"2026-05-18T01:32:42Z","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":"b85ffab13f2e9303361fafea6c7899070e48d272490a28d05e48099b23bd6e60","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-09-18T17:50:15Z","title_canon_sha256":"98b66ad39a118c55094b3444b7b80676fe17bd3ba48b25edfab896449de53d6d"},"schema_version":"1.0","source":{"id":"1509.05730","kind":"arxiv","version":1}},"canonical_sha256":"ade0c3bba65c4c49cd933e92741839ddfc5651a140a01396bb21b9f8fae7105b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ade0c3bba65c4c49cd933e92741839ddfc5651a140a01396bb21b9f8fae7105b","first_computed_at":"2026-05-18T01:32:42.496839Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:32:42.496839Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1lEUbUKQAiMtKC4mmP32mcM5Xr6htjQMhjLS7hcwFlSsqEm3KqYNHR+LeTNxsra7xf7jJJd81YVwmrUttyuZDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:32:42.497231Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.05730","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2e7307a7a3125d52adbc80efbf4d2d9b3e0fd84e393c691a5e2cbe2d96a99cd0","sha256:28cd8bfc6ae366a3f1132cfde1c6a635ea46422727c0d6e444a3eed7cba01455"],"state_sha256":"caac2250a74a7f2c180e114d524cfdbe95122b39a63720143f232e853dbd0455"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZtQDUMeh44SIe2NZwySsuuajacsPrL+dw4yWsbGj+9WLImaZMcfZJ7fTNDK2eCO3IdhpPf/4DSBmFSxLrNcyDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T04:09:55.092650Z","bundle_sha256":"130f81487dfec006012370d962487190d2735a0cb25d6b619295ac42c130ff01"}}