Talk:Group/Examples/inv x = 1 - x

The set $S$
In that book of algebra and many other, the example most similar to that one described in this page is the one in which $S=\{x\in\R : 0\le x <1\}$. I think this group it's usually called "the reals modulo 1".


 * Be that as it may, but that is not the group which is being defined in this page, or indeed in : $\S 26 \mu$. Maybe there's a mistake in the book, but it distinctly says:
 * $S = \left\{{x \in \R: 0 < x < 1}\right\}$ and so $0 \notin S$
 * The inverse of $x \in S$ is $1 - x$, NOT $1-x-\operatorname{floor}(1-x)$.
 * If this is a mistake in Clark, then fair enough, it needs to be announced as such. (This will have the positive effect of providing a source for confused students - like me - who can not make this example work.)
 * What we ought to do is start a new page called Real Numbers Modulo 1 in which this concept is developed formally as a group (and I think some of the work has already been done there, somewhere in Analysis, possibly), perhaps linking from / to this result, with some sort of comment to the effect that it is suspected that Clark may have made a mistake and may have meant this group.--prime mover 01:59, 20 August 2011 (CDT)