Direct product

In de abstracte algebra, een deelgebied van de wiskunde, is een direct product van al bekende wiskundige objecten een structuur die als nieuw wiskundig object dient. In het algemeen wordt het directe product verkregen als het cartesisch product van de onderliggende verzamelingen samen met een gepast gedefinieerde structuur van de productverzameling. Meer abstract spreekt men over het product in de categorietheorie, die deze begrippen formaliseert.

Voorbeelden zijn de producten van verzamelingen (zie Cartesisch product), groepen, het product van ringen en het product van andere algebraïsche structuren. Het product van topologische ruimten is een andere instantiatie.

Er bestaat ook een directe som; in sommige gebieden worden deze termen door elkaar gebruikt, in andere zijn het twee verschillende concepten.