Cтраница 2
Пусть A [ f ( s и Ф - некоторое множество соотношений в полугруппе А относительно К. [16]
Пусть группа О задана порождающим множестиом х, у ] и определяющим множеством соотношений, состоящим из одного соотношения ху yxs, где s - произвольное целое число, отличное от нуля. [17]
Пусть дана полугруппа A [ K ] S и Ф - некоторое множество соотношений в Л относительно К. [18]
Из данного предложения следует, что набор образующих с максимальным по включению множеством мономиальных соотношений существует. [19]
Некоторое множество соотношений Ф в полугруппе А относительно порождающего множества / С называют определяющим множеством соотношений полугруппы А относительно / С или определяющей совокупностью соотношений, если каждое соотношение в А относительно К. [20]
Если - порядок на X, то ни для каких двух различных элементов х, у множества X соотношения ху и ух не выполняются одновременно. [21]
G [ K g [ К [ J К [ j e ] s и Ф - определяющее множество соотношений группы О относительно порождающего множества К в смысле теории групп. [22]
Множество соотношений в группе О, соответствующих элементам из М ( см. 5.3.15), иногда и называют определяющим множеством соотношений группы О. [23]
Работая на языке факторалгебры А 21 / /, часто удобнее говорить о соотношениях, поэтому мы введем еще один синоним, назвав множество соотношений fiVi полной системой соотно-шенийлля А, если ft - слова, fiviu fi-vi - базис Гребнера. [24]
Порождающее множество Д группы G называется свободныяя порождающим множеством, если все его элементы отличны от единицы и пустое множество соотношений относительно К является определяющим множеством соотношений группы G в смысле теории групп. [25]
К схемы, а также усредненных характеристик у СМО, моделирующей эту схему; Q ( у) - общее множество ограничений параметров Р и - К при заданном значении параметров у; Ообщ ( у) - множество общих функциональных ограничений - зависимостей между параметрами Р, R при заданном у; и / смо ( у) - множество соотношений, которые позволяют определить вектор у из функциональных зависимостей векторов у, Р, R при учете свойств СМО, отображающих проектируемую схему и ее стадии. [26]
К U К - Пусть ср - взаимно однозначное отображение К на К - Для произвольного бинарного отношения р в множестве всех слов над множеством K J K J e существует группа О такая, что 0 [ К ] е, элемент е является единицей О, для любого k ( K выполняется ср ( &) А-1 и множество, состоящее из всех соотношений t и2 где ( HI, MS) G P яв ляется определяющим множеством соотношений группы О относительно К - Доказать. [27]
Доказать, что существует определяющее множество соотношений полугруппы А относительно порождающего множества х, состоящее из одного соотношения. [28]
Для рассматриваемого алгоритма вводом служит некоторое множество соотношений, таких, как ( 11); алгоритм устанавливает таблицу FATHER, чтобы она представляла некоторое множество деревьев таким образом, что два элемента являются эквивалентными, на основании заданных соотношений тогда и только тогда, когда они принадлежат одному и тому же дереву. Более общим образом, элементы множества S могут быть символами, а не числами от 1 до п; тогда программа поиска ( см. гл. [29]
AT-ее порождающее множество, то существует определяющее множество соотношений G относительно AT в смысле теории групп. Таким множеством соотношений может служить, например, множество всех соотношений в G относительно К. [30]