I read a paper and $C_4\times C_2 : C_2$ is used as a group structure in this paper. I know $C_n$ is a cyclic group but don't know about ":" between two groups. Does anyone know about that? Thanks to everyone for the help.