فرض کنیم n عدد صحیح مثبت، p عددی اول و عدد صحیحی باشد که . در این پایان نامه، ابتدا نشان می دهیم که هر p-گروه موضعاً متناهی که در شرط اِنگل صدق می کند، پوچتوان از کلاس n-کراندار- به واسطه – نمای متناهی است. سپس به بررسی گروه های 4-اِنگل می پردازیم و نشان می دهیم هر 3-گروه 4-اِنگل، حل پذیر بوده و طول مشتق با ثابتی کراندار است.