iloczyn półprosty - pojęcie z algebry abstrakcyjnej, odnoszące się do konstrukcji grup złożonych z dwóch podgrup w określony sposób