Let $X$ be a commutative H-space. A group completion is an H-map $X\to Y$, where $Y$ is another H-space, such that


* $\pi\_0(Y)$ is a group
* The Pontrjagin ring $H(Y; R)$ is the localization of the Pontrjagin ring $H\_\*(X; R)$ at the multiplicative submonoid $\pi\_0(X)$ for every coefficient ring $R$.


Perhaps most interesting is the case where $X$ is a commutative monoid or more generally an $E\_\infty$-space. In this case, May gives a functorial group completion $B\_0$ via the two-sided bar construction which is an infinite-loop space. If I understand it right, it is defined as $colim\_j \Omega^j|\Sigma^j(C\_j\times C')^\bullet X|$, where $C\_j\times C'$ denotes the monad associated to the product of the little $j$-cube operad and an $E\_\infty$-operad and $\bullet$ the simplicial variable. I have some question concerning group completions:


1) Are all group completions equivalent? That is, does there always exist a homotopy equivalence of H-spaces between them?


2) Does the group completion preserve homotopy limits? For example, does the May functor preserve homotopy limits of $E\_\infty$-spaces?


3) Suppose one knows that all loop spaces of $X$ are infinite loop spaces. Is there a simple relationship between the infinite-loop space $B\_0 X$ and the loop spaces of $X$? Especially, I am interested in the homotopy groups of $B\_0 X$. 


An answer to any of these question would be helpful to me. 



Group Completions and Infinite-Loop Spaces
A well-written discussion of the group completion can be found on pp. 89--95 of
J.F. Adam: Infinite loop spaces, Ann. of Math. studies 90 (even though he only
discusses a particular group completion of a monoid). In particular you
assumption of commutativity comes in under the assumption that $\pi\_0(M)$ is
commutative which makes localisation with respect to it well-behaved
(commutativity is not the most general condition what is needed is some kind of
Øre condition).


In any case if you really want conclusions on the homotopy equivalence level I
think you need to put yourself in some nice situation for instance requiring
that all spaces be homotopy equivalent to CW-spaces. If you don't want that you
should replace homotopy equivalences by weak equivalences, if not you will
probably find yourself in a lot of trouble. In any case I will assume that we
are dealing with spaces homotopy equivalent to CW-complexes.


Starting with 1) a first note is that your conditions does not have to involve
an arbitrary ring $R$. It is enough to have $R=\mathbb Z$ and one should
interpret the localisation in the way (for instance) Adams does:
$H\_\ast(X,\mathbb Z)=\bigoplus\_\alpha H\_\ast(X\_\alpha,\mathbb Z)$, where
$\alpha$ runs over $\pi\_0(X)$, and a $\beta$ maps $H\_\ast(X\_\alpha,\mathbb Z)$
to $H\_\ast(X\_{\alpha\beta},\mathbb Z)$. Then your group completion condition is
that the natural map $\mathbb Z[\pi\_0(Y)]\bigotimes\_{\mathbb Z[\pi\_0(X)]}
H\_\ast(X,\mathbb Z)\rightarrow H\_\ast(Y,\mathbb Z)$ should be an isomorphism.
This then implies the same for any coefficient group (and when the coefficient
group is a ring $R$ you get your condition). (Note that for this formula to even make sense we need at least associativity for the action of $\pi\_0(X)$ on the homology. This is implied by the associativity of the Pontryagin product of $H\_\*(X,\mathbb Z)$ which in turn is implied by the homotopy associativity of the H-space structure.)


Turning now to 1) it follows from standard obstruction theory. In fact maps into
simple (hope I got this terminology right!) homotopy types, i.e., spaces for
which the action of the fundamental groups on the homotopy groups is trivial (in
particular the fundamental group itself is commutative). The reason is that the
Postnikov tower of such a space consists of principal fibrations and the lifting
problem for maps into principal fibrations is controlled by cohomology groups
with ordinary coefficients. Hence no local systems are needed (they would be if
non-simple spaces were involved). The point now is that H-spaces are simple so
we get a homotopy equivalence between any two group completions and as
everything behaves well with respect to products these equivalences are H-maps.


**Addendum**:
As for 2) it seems to me that this question for homotopy limits can only be solved under supplementary conditions. The reason is that under some conditions we have the Bousfield-Kan spectral sequence (see Bousfield, Kan: Homotopy limits, completions and localizations, SLN 304) which shows that $\varprojlim^s(\pi\_s X\_i)$ for *all* $s$ will in general contribute to $\pi\_0$ of the homotopy limit. As the higher homotopy groups can change rather drastically on group completion it seems difficult to say anything in general (the restriction to cosimplicial spaces which the OP makes in comments doesn't help as all homotopy limits can be given as homotopy limits over $\Delta$. Incidentally, for homotopy colimits you should be in better
shape. There is however an initial problem (which also exists in the homotopy limit case): If you do not assume that the
particular group completions you choose have any functorial properties it is not
clear that a diagram over a category will give you a diagram when you group
complete. This can be solved by either assuming that in your particular
situation you have enough functoriality to get that (which seems to be the case
for for instance May's setup) or accepting "homotopy everything" commutative
diagrams which you should get by the obstruction theory above. If this problem
is somehow solved you should be able to conclude by the Bousfield-Kan spectral
sequence $\injlim^\ast H\_\*(X\_i,\mathbb Z)\implies
H\_\*(\mathrm{hocolim}X\_i,\mathbb Z)$. We have that localisation is exact and
commutes with the higher derived colimits so that we get upon localisation a
spectral sequence that maps to the Bousfield-Kan spectral sequence for $\{Y\_i\}$
and is an isomorphism on the $E\_2$-term and hence is so also at the convergent.


As for 3) I don't altogether understand it. Possibly the following gives some
kind of answer. For the H-space $\coprod\_n\mathrm{B}\Sigma\_n$ which is the
disjoing union of classifying spaces of the symmetric groups its group
completion has homotopy groups equal to the stable homotopy groups of spheres
which shows that quite dramatic things can happen to the homotopy groups upon
group completion (all homotopy groups from degree $2$ on of the original space
are trivial).


