Saracino Ex 3.17: Associative binary operation with unique right identity, left inverse implies group
84985
Is a semigroup with unique right identity and left inverse a group?
44405
Prove XOR is commutative and associative?
148881
Aut(GxH) isomorphic to Aut(G)xAut(H)
111038
If there is a unique left identity, then it is also a right identity
142815
Is Left associativity only for Postfix expression?
107900
A ring which has many distinct left inverses
46036
Logic for decomposing a permutation into different products composed of transpositions
152013
elementary ring proof with composition of functions and addition of functions as operations
114522
Prove that identity is unique in a group
41593
Use of Bijection for computation
114830
bit-wise operation unary ~ (invert)
132287
Axiom of Choice and Right Inverse
80996
A canonical construction proving $\left|HK\right| = \left|H\right|\left|K\right| / \left|H \cap K\right|$?
71564
Combinatorial proof of identity involving central binomial coefficients
44361
An automorphism that has no fixed points except for the identity and is its own inverse implies commutativity
139992
Is power-associativity finitely axiomatizable?
17584
Integer matrices with integer inverses