تمام‌ریخت

حاصل‌ضرب نیم‌مستقیم یک گروه و گروه خودریختی‌های آن، با عمل طبیعی