{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:VXQMHO5GLRGETTMTH2JHIGBZ3X","short_pith_number":"pith:VXQMHO5G","schema_version":"1.0","canonical_sha256":"ade0c3bba65c4c49cd933e92741839ddfc5651a140a01396bb21b9f8fae7105b","source":{"kind":"arxiv","id":"1509.05730","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1509.05730","created_at":"2026-05-18T01:32:42.496903+00:00"},{"alias_kind":"arxiv_version","alias_value":"1509.05730v1","created_at":"2026-05-18T01:32:42.496903+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05730","created_at":"2026-05-18T01:32:42.496903+00:00"},{"alias_kind":"pith_short_12","alias_value":"VXQMHO5GLRGE","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_16","alias_value":"VXQMHO5GLRGETTMT","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_8","alias_value":"VXQMHO5G","created_at":"2026-05-18T12:29:47.479230+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/VXQMHO5GLRGETTMTH2JHIGBZ3X","json":"https://pith.science/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X.json","graph_json":"https://pith.science/api/pith-number/VXQMHO5GLRGETTMTH2JHIGBZ3X/graph.json","events_json":"https://pith.science/api/pith-number/VXQMHO5GLRGETTMTH2JHIGBZ3X/events.json","paper":"https://pith.science/paper/VXQMHO5G"},"agent_actions":{"view_html":"https://pith.science/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X","download_json":"https://pith.science/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X.json","view_paper":"https://pith.science/paper/VXQMHO5G","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1509.05730&json=true","fetch_graph":"https://pith.science/api/pith-number/VXQMHO5GLRGETTMTH2JHIGBZ3X/graph.json","fetch_events":"https://pith.science/api/pith-number/VXQMHO5GLRGETTMTH2JHIGBZ3X/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X/action/storage_attestation","attest_author":"https://pith.science/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X/action/author_attestation","sign_citation":"https://pith.science/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X/action/citation_signature","submit_replication":"https://pith.science/pith/VXQMHO5GLRGETTMTH2JHIGBZ3X/action/replication_record"}},"created_at":"2026-05-18T01:32:42.496903+00:00","updated_at":"2026-05-18T01:32:42.496903+00:00"}