În algebra abstractă, ideea de element simetric generalizează conceptele de opus (în raport cu adunarea)
și invers (în raport cu înmulțirea). Intuitiv, el reprezintă un element care poate „anula” efectul combinării cu un alt element dat. Deși definiția precisă a elementului simetric variază în funcție de structura algebrică implicată, toate definițiile coincid într-un grup. Definiții formale Fie S fi o mulțime închisă în raport cu o operație binară (adică un grupoid(d)). Dacă este un element neutru al lui (S, *) (adică S este grupoid unital) și , atunci a se numește simetricul la stânga al lui și b se numește simetricul la dreapta al lui a. Dacă un element x este atât element simetric la dreapta cât și la stânga al lui y, atunci x se numește simetric bidirecțional sau pur și simplu simetric al lui y. Un element care are simetric bidirecțional în S se numește simetrizabil în S.[1] Un element care are simetric doar într-o parte este simetrizabil la stânga, respectiv la dreapta. Un grupoid unital în care toate elementele sunt simetrizabile se numește buclă(d). O buclă a cărei operație binară satisface condiția de asociativitate este un grup. La fel cum (S, *) poate avea mai multe elemente neutre la stânga sau mai multe elemente neutre la dreapta, este posibil ca un element să aibă mai multe simetrice la stânga sau mai multe simetrice la dreapta (dar definiția lor de mai sus utilizează un element neutru bilateral e). Poate avea chiar mai multe simetrice la stânga și mai multe simetrice la dreapta. Dacă operația * este asociativă, atunci dacă un element are atât simetric la stânga, cât și simetric la dreapta, atunci simetricele sunt egale. Cu alte cuvinte, într-un monoid (un grupoid unital asociativ) fiecare element are cel mult un simetric (așa cum este definit în această secțiune). Într-un monoid, mulțimea elementelor simetrizabile (la stânga și la dreapta) este un grup, numit grupul de unități(d) al lui S, și se notează cu U(S) sau H1. ELEMENT NEUTRU