جبر, رياضيات, نظرية الحاسوب, نظرية الزمر

نظرية هيجمان للغرس (Higman’s Embedding Theorem)