En la teoría de grupos, un producto semidirecto describe una forma particular en la cual un grupo puede ser compuesto de dos subgrupos.