فزضی اّ: تذ یٍتاب تاشذ یًش فزض ک یٌذ l(g) یک گز g فزضی 1( فزض ک یٌذ ( ) [ , ( ( ))] ( ) e g g c var g aut g ? . در اییط رَت تذ یٍتاب است؛ var(g) ) الف . var(g) ? hom(g e(g),l(g)) تاتذار تاشذ، آ گًا g e(g) ب(اگز است. در اییط رَت e(g) هشو لَ در l(g)ِ یک گز تاشذ تغ رَیک g فزضی 2( فزض ک یٌذ var(g) ? hom(g e(g),l(g)) . یک گز تغ رَ هحض غیز آتلی هت اٌ یّ تاشذ. در اییط رَت g فزضی 3( فزض ک یٌذ var(g) ? hom(g,l(g)) .