V teorii grafů je kořenový součin grafu G a kořenového grafu H definován následovně: vzít | V ( G )| kopie grafu H a pro každý vrchol grafu G se ztotožňujeme s kořenovým vrcholem i -té kopie H .
Formálnější. Předpokládejme, že V ( G ) = { g 1 , ..., g n }, V ( H ) = { h 1 , ..., h m } a že kořen grafu H je . Pojďme definovat produkt
,kde
a
Pokud je i graf G odmocněn odmocninou g 1 , lze samotný součin považovat za odmocněný graf s odmocninou ( g 1 , h 1 ). Kořenový součin je podgrafem přímého součinu dvou stejných grafů.
Kořenový produkt je zvláště důležitý pro stromy , protože kořenový produkt dvou stromů bude opět strom. Například Koch a další (1980) použili kořenové produkty k nalezení elegantního číslování pro širokou rodinu stromů.
Je-li H úplný graf se dvěma vrcholy K 2 , pak pro libovolný graf G má kořenový součin grafů G a H číslo dominance rovné přesně polovině počtu jeho vrcholů. Tímto způsobem se získá jakýkoli souvislý graf, ve kterém se číslo dominance rovná polovině vrcholů, kromě cyklu se čtyřmi vrcholy. Tyto grafy lze použít ke generování příkladů, kdy přímý grafový součin dosáhne hranice z Vizingovy domněnky , což je neprokázaná nerovnost mezi počtem dominance grafů v různých grafových součinech [1] .