Un gruppo diciclico, nella teoria dei gruppi, è un gruppo non abeliano di ordine 4 n {\displaystyle 4n}, usualmente denotato con Dic n {\displaystyle \operatorname {Dic} _{n}}, per qualche n > 1 {\displaystyle n>1}, che nasce dall'estensione del gruppo ciclico C 2 {\displaystyle C_{2}} di ordine 2 mediante il gruppo ciclico C 2 n {\displaystyle C_{2n}} di ordine 2 n {\displaystyle 2n}. Wikipedia