فزضی اّ:
تذ یٍتاب تاشذ یًش فزض ک یٌذ 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...
