We study the s-wave quintet Cooper pairing phase (S pair = 2) in spin-3/2 cold atomic systems and identify various novel features which do not appear in spin-1/2 pairing systems. A single quantum vortex is shown to be energetically less stable than a pair of half-quantum vortices. The half-quantum vortex exhibits the global analogue of the non-Abelian Alice string and SO(4) Cheshire charge in gauge theories. The non-Abelian half-quantum vortex loop enables topological generation of quantum entanglement.