Cтраница 1
Построенная алгебра (), согласно лемме I, ассоциативна. [1]
Построенные алгебры Ли или являются простыми, или очень мало отличаются от простых. [2]
Построенная алгебра А [ В ] называется булевой степенью или булевым расширением алгебры А. [3]
Данное определение отражает тот факт, что при построенной алгебре некоторой системы типов данных реализация нового типа данных будет корректной только тогда, когда результирующая алгебра будет алгеброй теории новой системы типов. [4]
Среди С - алгебр, соответствующих одной и той же С - динами-ческой системе ( Л, G, Tg), выделяются некоторые каноническим образом построенные алгебры. [5]
Все аксиомы кольца, кроме ассоциативности умножения, легко проверяются. Элемент 1бН является единицей нового кольца. Построенная алгебра называется алгеброй Кэли или алгеброй октав и обозначается О. [6]