Let $S$ be a scheme and $G$ be a sheaf in groups on the big étale site over $S$. Let $e:S\rightarrow G$ be the unit section. Is it true that given an algebraic space in groups $H$, étale over $S$, and a homomorphism of sheaves in groups $f:H\rightarrow G$ the fiber product $H\times\_{f, G,e}S$ is representable by an algebraic space?



representing base changes of the unit section
No. For one thing, it would imply that every group subsheaf $K$ of an (abelian) algebraic space in groups $H$ is an algebraic space (just take $G=H/K$). Now let me give a "concrete" example. 


For any field $k$, take $S=\mathrm{Spec}(k[t])$ and $H=(\mathbb{Z}/2\mathbb{Z})\_S$. Put $U=\mathrm{Spec}(k[t,t^{-1}])$, and let $j:U\to S$ be the inclusion. Finally, take for $f$ the canonical morphism $H\to G:=j\_\*j^\*H$. Let $K:=H\times\_{f,G,e}S$ be the kernel of $f$. 


Writing $H$ as the sum $S\_0\coprod S\_1$ of two copies of $S$ (with $S\_0$ as the unit section), we find $K=S\_0\coprod K\_1$ where $K\_1\subset S\_1\cong S$ is the "locus" where $t$ is locally nilpotent. This is not an algebraic space.


