Group/Inverse element/Unique/Fact
< Group < Inverse element < Unique
Let be a group.
Then, for every
, the element fulfilling
Let be a
group.
,
the element
fulfilling