$\mathsf{L}(v) =\delta_if_*(v)\delta^{-1}_i$ for $i\in \mathsf{I}$ and $v\in \pi_1(X,\mathsf{a}(i))$,

$\mathsf{L}(j) =\delta_{i_1(j)}\tau (j)\delta^{-1}_{i_2(j)}$ for $j\in \mathsf{J}$.

Moreover, the homomorphism $\mathsf{L}$ is surjective and its kernel is the smallest normal subgroup containing the following elements:

($R_1$)$\mathsf{r}_1(j) =j$ for $j$ in Fl($\mathsf{T}$) ;

($R_2$)$\mathsf{r}_2(j, v) =\varphi_j(v)j\psi_j(v)^{-1}j^{-1}$ for $j\in \mathsf{J}$ and $v\in \pi_1(Z,\mathsf{b}(j))$;

($R_3$)$\mathsf{r}_3(k) =\lambda_1(k)j_{12}(k)\lambda_2(k)j_{23}(k)\lambda_3(k)j_{13}(k)^{-1}$, for $k\in \mathsf{K}$.

The existence and uniqueness of the homomorphism $\mathsf{L}$ follow from the universal property of free products and free groups. Moreover, this homomorphism is the composite of the homomorphism $\varpi '(f)_{\gamma(\mathsf{a}(i_0))}$ deduced from $\varpi '(f)$ by passing to isotropy groups and of the group homomorphism $\lambda$ defined by Prop. 5 of II, p. 208, taking into account the fact that the chosen van Kampen datum determines a complete equipment of the pair $(\varpi (p_1), \varpi (p_2))$ of groupoid morphisms from $\varpi (Z)$ into $\varpi (X)$. By that proposition, the image of the homomorphism $\lambda$ is the group Coeg($f$)$_{\gamma(\mathsf{a}(i_0))}$ and its kernel is the smallest normal subgroup containing the elements defined by relations ($R_1$)$, (R_2)$ and ($R_3$). On the other hand, the groupoid morphism $\varpi '(f):$ Coeg($f$)$\rightarrow \varpi (Y)$ is an isomorphism, by definition of property (VK). The theorem is therefore proved.

The arcwise connected components of X are the $A_i$, for $i\in I$. The arcwise connected components of $X\times_YX$ are the $(V\times \{i\})\times_Y$ $(V\times \{i'\})$, for $(i, i',V)\in J'$. Consequently, the frame $\mathsf{\Gamma}$ of the pair $(\varpi (p_1), \varpi (p_2))$ is isomorphic to the quiver whose set of vertices is I, whose set of arrows is $J'$, the origin and term mappings being respectively the mappings $j\mapsto i_1(j)$ and $j\mapsto i_2(j)$. The quiver $\mathsf{\Gamma}$ is connected (IV, p. 406). Moreover, this description identifies Γ with a subquiver of $\mathsf{\Gamma}$. Let us also observe that for every arrow $j$ of $\mathsf{\Gamma}$, either $j\in$ Fl($\widetilde{\Gamma}$), or there exists $i\in I$ such that $j= (i, i,A_i)$. It follows that the mapping $\pi_0(\Gamma )\rightarrow \pi_0(\mathsf{\Gamma})$ deduced from the injection of Γ into $\mathsf{\Gamma}$ is bijective, so that Γ is connected.

For every element $i$ of I, choose a point $a(i)$ of $A_i$.

For every element $j= (i, i',V)$ of J, choose a point $b(j)$ in V, a path $B_1(j)$ joining $b(j)$ to $a(i)$ in $A_i$ and a path $B_2(j)$

joining$\overline{j}= (i', i,b(jV)$) tobelongs to$a(i')$ in A$J^{i'}$. Letand let us put$j= (i, ib(',\overline{j}V)$) =an element of$b(j)$, $B_1(j) = B\overline{J}_2$; then$(\overline{j})$ and $B_2(j) = B_1(\overline{j})$. For $j\in J'\cup \overline{J'}$, the paths $\overline{B_1(j)}$ and $B_2(j)$ in Y are composable. Put

It is a path joining $a(i_1(j))$ to $a(i_2(j))$ in Y; one has the relation $B(\overline{j}) = B(j)$.

For every $j= (i, i',V)\in J'$, denote by $p_{j,1}: V\rightarrow A_i$ and $p_{j,2}: V\rightarrow A_{i'}$ the canonical injections; also denote by $\varphi_j:\pi_1(V, b(j))\rightarrow \pi_1(A_i, a(i))$ and $\psi_j:\pi_1(V, b(j))\rightarrow \pi_1(A_{i'}, a(i'))$ the group homomorphisms defined by

and

for $v\in \pi_1(V, b(j))$ (cf. IV, p. 407).

Fix an element $i_0$ of I, as well as a subquiver T in the quiver Γ whose associated graph $\widetilde{T}$ is a maximal tree of the graph $\widetilde{\Gamma}$.

For $i\in I$, let $(i_0, j_1, i_1, . . . , j_n, i)$ be the unique path without backtracking joining $i_0$ to $i$ in the tree $\widetilde{T}$, and put

this is the class of a path joining $a(i_0)$ to $a(i)$ in Y. Let $\alpha_i$ denote the homomorphism of $\pi_1(A_i, a(i))$ into $\pi_1(Y, a(i))$ deduced from the canonical injection, and let $\mu_i:\pi_1(A_i, a(i))\rightarrow \pi_1(Y, a(i_0))$ be the group homomorphism defined by

Finally, let $\mu: F(J)\rightarrow \pi_1(Y, a(i_0))$ be the unique group homomorphism such that one has

for every $j\in J$. There exists a unique group homomorphism

which coincides with $\mu_i$ on $\pi_1(A_i, a(i))$, for every $i\in$ I, and with $\mu$ on F(J).

Let $K'$ be the set of quadruples $(i_1, i_2, i_3,U)$, where $i_1, i_2, i_3$ are elements of I and where U is a pathwise connected component of $A_{i_1}\cap A_{i_2}\cap A_{i_3}$. For every element $k= (i_1, i_2, i_3,U)$ of $K'$ and every pair $(s, t)$ of elements of $\{1,2,3\}$, put $j_{st}(k) = (i_s, i_t,V)$, where V is the pathwise connected component of $A_{i_s}\cap A_{i_t}$ which contains U; this is an element of $J'$.

Let K be the subset of $K'$ formed by the quadruples $(i_1, i_2, i_3,U)$ such that $i_1< i_2< i_3$. For every element $k= (i_1, i_2, i_3,U)$ of K, choose a point $c(k)$ of U, together with paths $C_{12}(k)$, $C_{23}(k)$ and $C_{13}(k)$, such that $C_{st}(k)$ joins $c(k)$ to $b(j_{st}(k))$ in $A_{i_s}\cap A_{i_t}$ for $s, t\in \{1,2,3\}$ with $s < t$.

Put then, for $k\in K$,

(4) L$L^2_3((kk) = B) = B^2_2((jj^{12}_{23}((kk))))**\overline{CC^{1223}((kk))}**CC^{23}_{13}((kk))**BB^1_2((jj^{23}_{13}((kk))))$,.

For $s\in \{1,2,3\}$, let $\lambda_s(k)$ denote the class in $\pi_1(A_{i_s}, a(i_s))$ of the loop $L_s(k)$.

($R_1$)$r_1(j) =j$ for $j$ in Fl(T);

($R_2$)$r_2(j, v) =\varphi_j(v)j\psi_j(v)^{-1}j^{-1}$

for $j= (i, i',V)\in J$ and $v\in \pi_1(V, b(j))$;

($R_3$)$r_3(k) =\lambda_1(k)j_{12}(k)\lambda_2(k)j_{23}(k)\lambda_3(k)j_{13}(k)^{-1}$

for $k\in K$.

Let X be the topological sum of the family $(A_i)_{i\in I}$ and let $f: X\rightarrow Y$ be the mapping induced by the family of canonical injections of each $A_i$ into Y. The mapping $f$ satisfies property (VK) by hypothesis; we shall therefore apply Theorem 1 of No$^o1$ to it. We therefore take up again the notation of this No$^o$ and begin by defining a van Kampen datum for the mapping $f$.

The arcwise connected components of X are the sets $X_i=$ $A_i\times \{i\}$ for $i\in I$. Thus $\pi_0(X)$ is identified with the set I. For each $i\in I$, let $\mathsf{a}(i)$ denote the point $(a(i), i)$ of $X_i$.

Put $Z = X\times_YX$. The arcwise connected components of Z are the sets $Z_j= (V\times \{i\})\times_Y(V\times \{i'\})$, where $j= (i, i',V)$ runs through $J'$. Thus $\pi_0(Z)$ is identified with the set $J'$. Let $J_0$ be the set of elements of J of the form $(i, i,A_i)$, so that the family $(J_0,J,J)$ is a partition of $J'$. For $i\in I$ and $j= (i, i,A_i)\in J_0$, put $\mathsf{b}(j) = (\mathsf{a}(i),\mathsf{a}(i))$ and take for $\beta_1(j)$ and $\beta_2(j)$ the class of the constant path at $\mathsf{a}(i)$. For $j= (i, i',V)\in J\cup \overline{J}$, let $\mathsf{b}(j)$ denote the point $((b(j), i),(b(j), i'))$ of $Z_j$ and let $\beta_1(j)$ and $\beta_2(j)$ denote the classes of the paths $t\mapsto (B_1(j)(t), i)$ and $t\mapsto (B_2(j)(t), i')$ in X.

Put $W = X\times_YX\times_YX$. The arcwise connected components of W are the sets $W_k= (U\times \{i_1\})\times_Y(U\times \{i_2\})\times_Y(U\times \{i_3\})$, where $k= (i_1, i_2, i_3,U)$ runs through $K'$. Thus $\pi_0(W)$ is identified with the set $K'$.

Let $K_0$ denote the set of elements of $K'$ of the form $k= (i, i, i,A_i)$, for $i\in I$. For such an element $k\in K_0$, put $\mathsf{c}(k) = (\mathsf{a}(i),\mathsf{a}(i),\mathsf{a}(i))$ and choose for $\gamma_{st}(k)$ the class of the constant path at $(\mathsf{a}(i),\mathsf{a}(i))$.

Let $K_1$ denote the set of elements of $K'$ of the form $k$ = $(i_1, i_2, i_3,V)$ for which the set $\{i_1, i_2, i_3\}$ has two elements. Let $k$ be an element of $K'$ of the form $(i, i, i',V)$, so that $j= (i, i',V)$ belongs to $J\cup \overline{J}$. We then put

and we take for $\gamma_{13}(k)$ and $\gamma_{23}(k)$ the class of the constant path at $\mathsf{b}(j)$. One defines analogously $c(k),\gamma_{12}(k),\gamma_{13}(k),\gamma_{23}(k)$ for every element $k$ of $K'$.

For every element $k= (i_1, i_2, i_3,U)$ of K, put

for every pair $(s, t)$ of distinct elements of $\{1,2,3\}$, take for $\gamma_{st}(k)$ the image under the mapping $x\mapsto ((x, s),(x, t))$ of the class of the path $C_{st}(k)$ in $A_{i_s(k)}\cap A_{i_t(k)}$.

For every point $x= (x_1, x_2, x_3)$ of $X\times_YX\times_YX$ and every permutation $\sigma \in \mathfrak{S}_3$, put $\sigma (x) = (x_{\sigma^{-1}(1)}, x_{\sigma^{-1}(2)}, x_{\sigma^{-1}(3)})$. Thus an operation of the group $\mathfrak{S}_3$ on W is defined. For every $k= (i_1, i_2, i_3,U)\in K'$ and every permutation $\sigma \in \mathfrak{S}_3$, put analogously $\sigma (k) = (i_{\sigma^{-1}(1)}, i_{\sigma^{-1}(2)}, i_{\sigma^{-1}(3)},U)$; one has

Let $k= (i_1, i_2, i_3,U)$ be an element of $K'$ such that $i_1, i_2, i_3$ are pairwise distinct. There exists a unique permutation $\sigma \in$ $\mathfrak{S}_3$ such that $i_{\sigma^{-1}(1)}< i_{\sigma^{-1}(2)}< i_{\sigma^{-1}(3)}$, so that $\sigma (k) =$ $(i_{\sigma^{-1}(1)}, i_{\sigma^{-1}(2)}, i_{\sigma^{-1}(3)},U)$ belongs to K. For $s\in \{1,2,3\}$, one then puts $c_s(k) =c_{\sigma(s)}(\sigma (k))$ and $c(k) = (c_1(k), c_2(k), c_3(k))$, so that $c(k) =\sigma^{-1}(c(\sigma (k)))$. For $(s, t)\in \{(1,2),(1,3),(2,3)\}$, one defines $C_{st}(k) = C_{\sigma^{-1}(s)\sigma^{-1}(t)}(\sigma (k))$; it is a path joining $c(k)$ to $b(j_{\sigma(s)\sigma(t)}(\sigma (k))) =b(j_{st}(k))$.

Let $g$ denote the morphism of quivers from Γ into $\mathsf{\Gamma}$ which associates with a vertex $i\in I$ of Γ the vertex $X_i= A_i\times \{i\}$ of $\mathsf{\Gamma}$ and with an arrow $j= (i, i',V)\in J'$ of Γ the arrow $Z_j= (V\times \{i\})\times_Y(V\times \{i'\})$ of $\mathsf{\Gamma}$. The mapping Som($g$) is bijective; the mapping Fl($g$) is injective and the graph Γ is connected (IV, p. 410, lemma 1), and the image under $g$ of the subquiver T is a subquiver $\mathsf{T}$ of $\mathsf{\Gamma}$ whose associated graph is a maximal tree of the graph $\widetilde{\mathsf{\Gamma }}$.

The points $\mathsf{a}(i)$, for $i\in I$, the points $\mathsf{b}(j)$, for $j\in J'$, the points $\mathsf{c}(k)$, for $k\in K'$, the classes of paths $\beta_1(j)$ and $\beta_2(j)$, for $j\in J'$, the classes of paths $\gamma_{st}(k)$, for $k\in K'$, the subquiver $g(T)$ of $\mathsf{\Gamma}$ and the element $i_0$ of I define a van Kampen datum for $f$.

Let $\rho$ denote the unique group homomorphism

which induces the isomorphism of $\pi_1(X,\mathsf{a}(i))$ onto $\pi_1(A_i, a(i))$ deduced from the identification of $A_i\times \{i\}$ and $A_i$, for all $i\in I$, and such that one has

$\rho (j) = 1$ for $j\in J_0$

$\rho (j) =j,\rho (\overline{j}) =j^{-1}$ for $j\in J$.

Let $\mathsf{L}$ be the group homomorphism defined in Theorem 1 of IV, p. 408. For $j= (i, i,A_i)\in J_0$, one has $\mathsf{L}(j) = 1 =\mathsf{M}\circ \rho (j)$. Let $j= (i, i',V)$ be an element of J; one has $\mathsf{L}(j) = (\mathsf{M}\circ \rho )(j)$ by definition. Finally, if $j=$ $(i, i',V)$ is an element of $\overline{J},\overline{j}\in J$ and one verifies that

Consequently, one has $\mathsf{M}\circ \rho =\mathsf{L}$.

The homomorphism $\mathsf{L}$ is surjective (loc. cit.), hence the homomorphism $\mathsf{M}$ is also. Since the homomorphism $\rho$ is surjective, the kernel of $\mathsf{M}$ is the smallest normal subgroup of $(_i*_{\in I}\pi_1(A_i, a(i)))*F(J_1)$ which contains the images under $\rho$ of the elements defined by relations ($R_1$), ($R_2$)$, (R_3)$ of theorem 1 (IV, p. 408). The proof will be complete once we have verified that these images are, besides the elements defined by relations ($R_1$)$, (R_2), (R_3)$ of Prop. 1, elements conjugate to them, or conjugate to their inverses, together with the identity element.

Elements $R_1$. — An arrow of the oriented tree $\mathsf{T}$ is of the form $Z_j$, with $j= (i, i',V)\in J$; its image is the element $j$ of F(J).

Elements $R_2$. — Let $j= (i, i',V)\in J'$. If $i=i'$, we have $\rho (\mathsf{r}_2(j, v)) = 1$ for every $v\in \pi_1(A_i,\mathsf{a}(i))$. If $j\in J$, the image of $\mathsf{r}_2(j, v)$ is the element $r_2(j, v) =\varphi_j(v)j\psi_j(v)^{-1}j^{-1}$, for every $v\in \pi_1(Z,\mathsf{b}(j))$. In the remaining case, we have $\overline{j}\in J$ and the equality

implies that $\rho (\mathsf{r}_2(j, v))$ is conjugate to $\rho (\mathsf{r}_2(j, v^{-1}))$.

Elements $R_3$. — Let $k= (i_1, i_2, i_3,U)$ be an element of $K'$.

If $k\in K_0,i_1$ = $i_2$ = $i_3,\lambda_s(k)$ is the class of the trivial path for every $s\in \{1,2,3\},j_{st}(k)\in J_0$ for every pair $(s, t)\in$ $\{(1,2),(1,3),(2,3)\}$. Then $\rho (\mathsf{r}_3(k))$ is the identity element.

Suppose $k\in K_1$. If $i_1=i_2$, then $j= (i_1, i_3,U)\in J\cup \overline{J}$ and we have

whose image under $\rho$ is the identity element. The other cases are dealt with analogously.

Suppose that $i_1, i_2, i_3$ are pairwise distinct. If $i_1< i_2< i_3$, $k\in K$ and the image of $\rho (\mathsf{r}_3(k))$ is the element $r_3(k)$.

Let $\sigma \in \mathfrak{S}_3$ be the permutation carrying 1 to 2 and 2 to 3. We have

One verifies analogously that $\lambda_2(\sigma (k)) =\lambda_1(k)$ and $\lambda_3(\sigma (k)) =\lambda_2(k)$. Hence,

which proves that $\rho (\mathsf{r}_3(\sigma (k)))$ is conjugate to

Let $\tau \in \mathfrak{S}_3$ be the transposition with support $\{1,2\}$. We have

$\lambda_1(\tau (k)) =\lambda_2(k)^{-1},\lambda_2(\tau (k)) =\lambda_1(k)^{-1}$ and $\lambda_3(\tau (k)) =\lambda_3(k)^{-1}$. The equalities

show that $\rho (\mathsf{r}_3(\tau (k)))$ is conjugate to the inverse of

Since the group $\mathfrak{S}_3$ is generated by the permutations $\tau$ and $\sigma$, it follows that, for every $k\in K$ and every $\sigma \in \mathfrak{S}_3,\rho (\mathsf{r}_3(\sigma (k)))$ is conjugate to $\rho (\mathsf{r}_3(k))$ or to its inverse.

Thus Proposition 1 is proved.