{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:DGZVFFFLIVWPJ55D3WWULMPPLT","short_pith_number":"pith:DGZVFFFL","schema_version":"1.0","canonical_sha256":"19b35294ab456cf4f7a3ddad45b1ef5cda3806d4f93f1449c7b4990a5de618e1","source":{"kind":"arxiv","id":"1608.08964","version":1},"attestation_state":"computed","paper":{"title":"An elementary inductive proof that $AB=I$ implies $BA=I$ for matrices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.RA","authors_text":"J. M. Almira","submitted_at":"2016-08-31T17:44:49Z","abstract_excerpt":"In this note we give an elementary demonstration of the fact that AB=I implies BA=I for square matrices A,B with coefficients in a field K. By elementary we mean that our proof follows from the very definitions of matrix and product of a matrix, with no extra help of more sophisticated results, as the use of dimensions of vector spaces or other ring- theoretical properties, like being Noetherian. The proof is also elementary in the sense that it relies on the concept and properties of the so called elementary operations on matrices. Finally, and no less important, the proof we show can be face"},"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":"1608.08964","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2016-08-31T17:44:49Z","cross_cats_sorted":[],"title_canon_sha256":"51900a28bdc14a1362ec2763bf55e38988cd113b17a0a46dc4b31fa522fc6471","abstract_canon_sha256":"f72ecd0fce5534f934d8f94c0ea1c39c609443fcfc85c020184a0da3dee2f6a9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:06:39.554640Z","signature_b64":"kyqqispYl3/1TNsFDfHD+OOfZdrDMvDR54giM1P5T+ODTXHyHZEzS2sNxDJYyfGGRZUcnkA6j4TI64WkpKvcDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"19b35294ab456cf4f7a3ddad45b1ef5cda3806d4f93f1449c7b4990a5de618e1","last_reissued_at":"2026-05-18T01:06:39.553965Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:06:39.553965Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An elementary inductive proof that $AB=I$ implies $BA=I$ for matrices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.RA","authors_text":"J. M. Almira","submitted_at":"2016-08-31T17:44:49Z","abstract_excerpt":"In this note we give an elementary demonstration of the fact that AB=I implies BA=I for square matrices A,B with coefficients in a field K. By elementary we mean that our proof follows from the very definitions of matrix and product of a matrix, with no extra help of more sophisticated results, as the use of dimensions of vector spaces or other ring- theoretical properties, like being Noetherian. The proof is also elementary in the sense that it relies on the concept and properties of the so called elementary operations on matrices. Finally, and no less important, the proof we show can be face"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.08964","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":"1608.08964","created_at":"2026-05-18T01:06:39.554068+00:00"},{"alias_kind":"arxiv_version","alias_value":"1608.08964v1","created_at":"2026-05-18T01:06:39.554068+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.08964","created_at":"2026-05-18T01:06:39.554068+00:00"},{"alias_kind":"pith_short_12","alias_value":"DGZVFFFLIVWP","created_at":"2026-05-18T12:30:12.583610+00:00"},{"alias_kind":"pith_short_16","alias_value":"DGZVFFFLIVWPJ55D","created_at":"2026-05-18T12:30:12.583610+00:00"},{"alias_kind":"pith_short_8","alias_value":"DGZVFFFL","created_at":"2026-05-18T12:30:12.583610+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/DGZVFFFLIVWPJ55D3WWULMPPLT","json":"https://pith.science/pith/DGZVFFFLIVWPJ55D3WWULMPPLT.json","graph_json":"https://pith.science/api/pith-number/DGZVFFFLIVWPJ55D3WWULMPPLT/graph.json","events_json":"https://pith.science/api/pith-number/DGZVFFFLIVWPJ55D3WWULMPPLT/events.json","paper":"https://pith.science/paper/DGZVFFFL"},"agent_actions":{"view_html":"https://pith.science/pith/DGZVFFFLIVWPJ55D3WWULMPPLT","download_json":"https://pith.science/pith/DGZVFFFLIVWPJ55D3WWULMPPLT.json","view_paper":"https://pith.science/paper/DGZVFFFL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1608.08964&json=true","fetch_graph":"https://pith.science/api/pith-number/DGZVFFFLIVWPJ55D3WWULMPPLT/graph.json","fetch_events":"https://pith.science/api/pith-number/DGZVFFFLIVWPJ55D3WWULMPPLT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DGZVFFFLIVWPJ55D3WWULMPPLT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DGZVFFFLIVWPJ55D3WWULMPPLT/action/storage_attestation","attest_author":"https://pith.science/pith/DGZVFFFLIVWPJ55D3WWULMPPLT/action/author_attestation","sign_citation":"https://pith.science/pith/DGZVFFFLIVWPJ55D3WWULMPPLT/action/citation_signature","submit_replication":"https://pith.science/pith/DGZVFFFLIVWPJ55D3WWULMPPLT/action/replication_record"}},"created_at":"2026-05-18T01:06:39.554068+00:00","updated_at":"2026-05-18T01:06:39.554068+00:00"}