In the cohomology basis supplied by the projective lines in the summands, the intersection form is
For each permutation , the linear map preserves this pairing. Distinct permutations induce distinct maps, and their compositions agree with permutation composition. Hence the permutation matrices give a subgroup of the isometry group of .
To realize these isometries smoothly, describe as a punctured with punctured copies of attached to its boundary spheres. An orientation-preserving ambient isotopy of can interchange any two chosen disjoint attachment balls while carrying their parametrizations along with them: move their centers along disjoint arcs and extend the motion to small balls. There is room to make these arcs disjoint in dimension four. Extend the endpoint diffeomorphism across the two exchanged punctured copies using the chosen identifications of those identical oriented summands; use the identity on the remaining copies. Collar coordinates make the maps fit smoothly along the gluing spheres. This exchanges the two line classes without changing their signs. Since transpositions generate , composing these diffeomorphisms realizes each element of . Pullback permutes the cohomology basis by the inverse permutation, which still realizes the same subgroup and all its elements. These are permutation diffeomorphisms of identical connected summands.