From group theory we know that a homomorphism $\phi: G \to \operatorname{Sym}(S)$, where S is a set, then $\operatorname{Sym}(S) \cong \Sigma_n $. Its kernel is given as $\bigcap_{s \in S}G_s$, which is the intersection of all the stabilizer subgroups of $G$.
Now, the pure braid group $P_n$ is defined as the kernel of the map $\phi: B_n \to \Sigma_n$. Is it fair to say, that the pure braid group is such an intersection?