Un gruppo diciclico, nella teoria dei gruppi, è un gruppo non abeliano di ordine
, usualmente denotato con
, per qualche
, che nasce dall'estensione del gruppo ciclico
di ordine 2 mediante il gruppo ciclico
di ordine
. Il gruppo è univocamente determinato dalla seguente presentazione:
