If $A$ is an abelian group, we have


$Aut\left(K\left(A,n\right)\right)=Aut(A) \ltimes K\left(A,n\right),$


where the left hand side is the space of self-homotopy equivalences. Is there an easy way to see this abstractly rather than by computation?


Also, it seems there is an analogy with the following: if $\mathbb{R}^{0|1}$ is the odd-line (regarded as a supermanifold),


$Aut\left(\mathbb{R}^{0|1}\right)=\mathbb{R}^\times \ltimes \mathbb{R}^{0|1}$


The vague analogy is that $\mathbb{R}^{0|1}=\mathbb{R}[1]$, and under Dold-Kan, $K\left(A,n\right)=A\left[-n\right].$


It seems to me there is unifying categorical principle at play. Can anyone shed some light on it? Thanks!


**Edit:** I have accepted the answer below as it does answer my first question. However I am still interested in seeing if there is any general principal at play.



Automorphisms of Eilenberg-Mac Lane spaces and semidirect products (and the odd line)
As per Qiaochu Yuan's comment we need to only understand the space of based maps between $K(A,n)$ with a chosen base point.


The loop-deloop pair of functors establish an equivalence between the categories of $A^\infty$-groups and connected spaces with a base point:
$$\Omega: \mathrm{Top}\_{\*,\ \pi\_0=0} \simeq \mathrm{Grp}: \mathbb{B}$$


More generally, $\Omega^n$ and $\mathbb{B}^n$ give an equivalence between $(n-1)$-connected basepointed spaces and $E\_n$-groups. This means that 
$$\mathrm{Top}\_\*(K(A, n), K(A, n)) = \mathrm{Grp}\_{E\_n} (A, A) $$


But $A$ is discrete, so all higher coherence data vanishes and a map of $E\_n$-groups is the same as a map of set-theoretic groups, thus the answer.


I don't think your second statement is formally analogous since it mixes up the additive and multiplicative groups and I can't think of any inductive construction that links them, but who knows.


EDIT: Regarding the semidirect product. I don't think it is actually true.


A group $G$ is a semidirect product of groups $H \rtimes F$ iff there is a split exact sequence
$$0 \to H \to G \stackrel{\leftarrow}{\to} F \to 0$$


If X is a connected space with a chosen point $\*\in X$ for the mapping space $\mathrm{Top}(X, X)$ we have in general a fiber sequence of spaces $$ \mathrm{Top}\_\* (X,X) \to \mathrm{Top}(X,X) \to X$$


The right arrow maps $f: X\to X$ to $f(\*)$. There is the same sequence if $\mathrm{Top}(\cdot,\cdot)$ will denote invertible or homotopy invertible maps. Lets assume in the following that we consider invertible maps and all relevant spaces are topological spaces (we do not lose any generality since any homotopy fiber sequence is equivalent to a topological fibration and any homotopy group is equivalent to a topological group). Note that the left arrow in the sequence is always an inclusion of subgroup and the right arrow is the coset space of the action of based maps on all maps. If $X$ is a group $G$ (in particular, $G = K(A,n)$), then the right map has a section which maps an element $g: G$ to the shift operator $t\_g : h: G \mapsto gh: G$ and this is a homomorphism of topological groups. Any $f: Aut(G)$ also can be uniquely represented as $f= t\_g \circ \hat f$, where $g := f(\*)$ and $\hat f : Aut\_\*(G)$.


On the level of spaces we thus certainly have that $Aut(G) = Aut\_\*(G) \times G$. However, while it looks like a semidirect product in fact it isn't, since neither $Aut\_\*(G)$ nor $G$ are normal subgroups in $Aut(G)$. While we have a factor map $Aut(G) \xrightarrow{/Aut\_\*(G)} G$ it is not a homomorphism of groups. If we represent some element of $f: Aut(G)$ as $t\_g \cdot \hat f$, then the product of $f$ and $f^\prime$ looks like $$t\_g \cdot \hat f \cdot t\_{g^\prime} \cdot \hat f^\prime = t\_g t\_{g^\prime} \left( t\_{g^\prime}^{-1} \hat f t\_{g^\prime} \right) \hat f^\prime$$ which *looks* like a semidirect product but isn't, since conjugation by $t\_{g^\prime}$ maps $Aut\_\*(G)$ to $Aut\_{g^{\prime -1}}(G)$.


EDIT 2: As Achim Krause noted below, we actually have a homomorphism $Aut (K (A,n)) \to Aut (A) $ given by the action on n-th homology, thus the stated semidirect product decomposition $Aut (A) \ltimes K (A, n) $ is valid.


