>>11119445Suppose you have a group with some operations and the usual suspects (0). You must then find a partition of made of 3 components such that:
They are all subgroups of
(B has only one element)
Then you may define the order:
.
Given finding such subgroups is trivial. You do have the choice of which subgroup will be and this coincides with the fact that which side you choose to be the "positive" is completely irrelevant and you could rewrite all of math by switching the role of negative and positive numbers.
