## Publications > Artigos em Revistas Internacionais

### A 2-base for inverse semigroups

Araújo, João; Kinyon, M.; R. Padmanabhan

Submitted
http://arxiv.org/abs/1210.3285

An open problem in the theory of inverse semigroups was whether the variety of such semigroups, when viewed as algebras with a binary operation and a unary operation, is 2-based, that is, has a base for its identities consisting of 2 independent axioms. In this note, we announce the affirmative solution to this problem: the identities $\quad x(x'x) = x \qquad \quad x (x' (y (y' ((z u)' w')'))) = y (y' (x (x' ((w z) u))))$ form a base for inverse semigroups where ${}'$ turns out to be the natural inverse operation. We recount here the history of the problem including our previous efforts to find a 2-base using automated deduction and the method that finally worked. We describe our efforts to simplify the proof using \textsc{Prover9}, present the simplified proof itself and conclude with some open problems.
{"ft_lang_label":"__label__en","ft_lang_prob":0.9159873,"math_prob":0.8898937,"size":936,"snap":"2022-40-2023-06","text_gpt3_token_len":249,"char_repetition_ratio":0.1137339,"word_repetition_ratio":0.0,"special_character_ratio":0.258547,"punctuation_ratio":0.10989011,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9793944,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-09-27T01:12:32Z\",\"WARC-Record-ID\":\"<urn:uuid:27fedcb6-a619-46b2-927d-3c26aeafc792>\",\"Content-Length\":\"8862\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:4a3a8d64-4103-4483-98c1-16767bb5cc38>\",\"WARC-Concurrent-To\":\"<urn:uuid:297f446d-96e7-467d-95e2-486c29934f29>\",\"WARC-IP-Address\":\"193.136.128.24\",\"WARC-Target-URI\":\"https://cemat.ist.utl.pt/document.php?locale=en&membersPage=2&member_id=127&doc_id=484\",\"WARC-Payload-Digest\":\"sha1:6CTTOXNTLIQIPZBBYB32N7LRRXUUAYCQ\",\"WARC-Block-Digest\":\"sha1:ECG7AEKNSRZIJNIPFECKFNDQS7CGMPPD\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-40/CC-MAIN-2022-40_segments_1664030334974.57_warc_CC-MAIN-20220927002241-20220927032241-00505.warc.gz\"}"}