{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:UM3ARBABN2BEXG5WVYLH4HDSHA","short_pith_number":"pith:UM3ARBAB","schema_version":"1.0","canonical_sha256":"a3360884016e824b9bb6ae167e1c72380c9f17bc8a069e2e5ffcb1153233c5de","source":{"kind":"arxiv","id":"1004.0007","version":1},"attestation_state":"computed","paper":{"title":"Axioms for unary semigroups via division operations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Joao Araujo, Michael Kinyon","submitted_at":"2010-03-31T20:12:29Z","abstract_excerpt":"When a semigroup has a unary operation, it is possible to define two binary operations, namely, left and right division. In addition it is well known that groups can be defined in terms of those two divisions. The aim of this paper is to extend those results to other classes of unary semigroups. In the first part of the paper we provide characterizations for several classes of unary semigroups, including (a special class of) E-inversive, regular, completely regular, inverse, Clifford, etc., in terms of left and right division. In the second part we solve a problem that was posed elsewhere. The"},"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":"1004.0007","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2010-03-31T20:12:29Z","cross_cats_sorted":[],"title_canon_sha256":"4f59108e72db57760e3c649d7a009d157646df329726b5bae0193af9aa67d636","abstract_canon_sha256":"cd6fb1feb4eb11154d1b68bbe9e34169ed20ff35ef1a7007394ccf4eba2033ee"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:44:34.145378Z","signature_b64":"X3rglLqnwwaI7Wy4T9se6C3iK+qg/MKrXW9++t48Rn4pq7mdRwM9czxtCcaSnIeyn+JitCgCBt9xJcSoUlmUAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a3360884016e824b9bb6ae167e1c72380c9f17bc8a069e2e5ffcb1153233c5de","last_reissued_at":"2026-05-18T03:44:34.144529Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:44:34.144529Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Axioms for unary semigroups via division operations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Joao Araujo, Michael Kinyon","submitted_at":"2010-03-31T20:12:29Z","abstract_excerpt":"When a semigroup has a unary operation, it is possible to define two binary operations, namely, left and right division. In addition it is well known that groups can be defined in terms of those two divisions. The aim of this paper is to extend those results to other classes of unary semigroups. In the first part of the paper we provide characterizations for several classes of unary semigroups, including (a special class of) E-inversive, regular, completely regular, inverse, Clifford, etc., in terms of left and right division. In the second part we solve a problem that was posed elsewhere. The"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.0007","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":"1004.0007","created_at":"2026-05-18T03:44:34.144661+00:00"},{"alias_kind":"arxiv_version","alias_value":"1004.0007v1","created_at":"2026-05-18T03:44:34.144661+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.0007","created_at":"2026-05-18T03:44:34.144661+00:00"},{"alias_kind":"pith_short_12","alias_value":"UM3ARBABN2BE","created_at":"2026-05-18T12:26:15.391820+00:00"},{"alias_kind":"pith_short_16","alias_value":"UM3ARBABN2BEXG5W","created_at":"2026-05-18T12:26:15.391820+00:00"},{"alias_kind":"pith_short_8","alias_value":"UM3ARBAB","created_at":"2026-05-18T12:26:15.391820+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/UM3ARBABN2BEXG5WVYLH4HDSHA","json":"https://pith.science/pith/UM3ARBABN2BEXG5WVYLH4HDSHA.json","graph_json":"https://pith.science/api/pith-number/UM3ARBABN2BEXG5WVYLH4HDSHA/graph.json","events_json":"https://pith.science/api/pith-number/UM3ARBABN2BEXG5WVYLH4HDSHA/events.json","paper":"https://pith.science/paper/UM3ARBAB"},"agent_actions":{"view_html":"https://pith.science/pith/UM3ARBABN2BEXG5WVYLH4HDSHA","download_json":"https://pith.science/pith/UM3ARBABN2BEXG5WVYLH4HDSHA.json","view_paper":"https://pith.science/paper/UM3ARBAB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1004.0007&json=true","fetch_graph":"https://pith.science/api/pith-number/UM3ARBABN2BEXG5WVYLH4HDSHA/graph.json","fetch_events":"https://pith.science/api/pith-number/UM3ARBABN2BEXG5WVYLH4HDSHA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UM3ARBABN2BEXG5WVYLH4HDSHA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UM3ARBABN2BEXG5WVYLH4HDSHA/action/storage_attestation","attest_author":"https://pith.science/pith/UM3ARBABN2BEXG5WVYLH4HDSHA/action/author_attestation","sign_citation":"https://pith.science/pith/UM3ARBABN2BEXG5WVYLH4HDSHA/action/citation_signature","submit_replication":"https://pith.science/pith/UM3ARBABN2BEXG5WVYLH4HDSHA/action/replication_record"}},"created_at":"2026-05-18T03:44:34.144661+00:00","updated_at":"2026-05-18T03:44:34.144661+00:00"}