Ученые записки математических кафедр 1968 г.

- 17 - к ссотношению (20)* Последнее совпадает с условней (5,1. ) (V), которое не выполняется в случае в). Это противоречие говорит о тец, что и в случае, когда в автоморфизме Л*-/диада Итак, любая из подалгебр (27), (28) является характери­ стической подалгеброй алгебры В. О условия (3,15), (3,7*0 (5) нс выполняются. Согласно (VJ в условиях с) (кроме ислухарпг.тсринтичосгл.'-: подалгебр алгебры 3~ ) пслухарактористичсскиыи для алгебры М являются подалгебры (28) и подалгебры: % -- l , (/ л , с с- *1 7 ( г ,) По (2] для подалгебр (29) в проведенных выло р^ссуу.дсяиях при. ^ ¿ 0 ^ = ^ ce,oL , при !x > it или 2? - 2. *tr Следсватс&ьно,' дсляно быть справедливо сс-тнсшенис (22). Так как i ^ J r 1 и в (29) y% J а=/ а- 1 , то длп всех диад £Ху £ ♦ Кроме того, для ^ 6 ^ ^ , т . с . ¡f ¿ у <j x . Поэтому в соотношении (22) у - f (<::i.(V),D>1) : оно принимает вид: l i ~ Чг ~ '£ (2"*~ 2 ^ ) и совпадает с условием (3,7*0 (5}, которое в случае •;) ие выполняется. Значит, и в случав алгебр (29) в (1*0 ни для одного £иг/ £ j f J fuvHQ иожот быть отличным ОТ нуля, т .е . если в ( SJ * '" • № ) ) , то Таким образом, псе подалгебры (29) являются характери­ стическими для алгебры Б. Инвариантность подалгебр (28) относительно автоморфизмов алгебры В в случае с) дсназывается так яо, как и з в). d) 4 = /, h*Ji ;