Is there a group-theoretic proof of the Riemann rearrangement theorem? The analytic proofs of the Riemann rearrangement theorem are easy to understand but they don't explain why commutativity breaks down when you go from finite sums to infinite sums of real numbers. I suspect that this involves the action of the symmetric group on infinite sets vs finite sets of real numbers. But, so far I haven't come across a proof that only uses tools from Group Theory. Does such a proof exist?
 A: You can't expect a purely group theoretic proof since the result is fundamentally about convergence. Some analytic element is thus necessary. In fact it is not at all a group-theoretic result. 
Moreover, I don't know which proof you refer to but the one I know (and I presume it's basically the only proof (up to irrelevant detail)) explains perfectly well why it possible to rearrange the terms of a conditionally convergent series to obtain any desired sum. Informally, a series is conditionally convergent if it converges but its positive terms sum up to $\infty$ while its negative terms sum up to $-\infty$. That means that you have an unbounded supply to work with given in the form of ever tinier bits of numbers, both positive and negative. To approach a prescribed sum all you do is start summing up positive element until you just pass the desired sum. Then you add negative elements until you just pass the desired sum. You continue in this way. You are guaranteed not to get stuck (i.e., exhaust all terms in the original series) since you do have an infinite supply to work with. You are guaranteed to converge to the desired sum since the infinite supplies come in ever tinier bits. 
A: First: commutativity of finite sums. $\mathbb{R}$ is a field, and as such, addition is commutative. This means that for two elements $a,b\in\mathbb{R}$, $a+b=b+a$. However, it is possible to extend this result. Consider $a_1,\ldots,a_n\in\mathbb{R}$, and a permutation $\pi$ of $\{1,\ldots,n\}$. Then, by induction, one can easily show that
$$ \sum_{i=1}^n a_i = \sum_{i=1}^n a_{\pi(i)}. $$
Next: infinite sums. While we generally think of an infinite sum as a "sum," it is technically a limit of a sequence of real numbers. In particular, if $a_i\in\mathbb{R}$ for $i\in\mathbb{N}$, then the symbol
$$ \sum_{i=1}^\infty a_i \qquad\text{is defined as}\qquad \lim_{n\to\infty} \sum_{i=1}^n a_i $$
assuming the limit exists. Furthermore, since the limit ignores any finite initial segment of a sequence, we have the result that
$$ \sum_{i=1}^\infty a_i = \sum_{i=1}^\infty a_{\pi(i)} $$ 
whenever $\pi$ is a permutation of $\mathbb{N}$ which fixes all but finitely many elements. You can prove this by applying our result about finite sums being invariant under rearrangement.
Finally: With this in mind, you cannot have a group theoretic proof of the Riemann rearrangement theorem because it is a theorem about infinite sums which are analytic objects in essence. In particular, the group structure of $\mathbb{R}$ (under addition) doesn't encode its analytic structure (completeness).
