Cтраница 4
Множество G называется группой, если в G задана операция умножения, ставящая в соответствие каждой паре элементов g, h из G некоторый элемент gh из G так, что выполнено свойство ассоциативности, существует нейтральный элемент - единица е группы и для каждого элемента g из G существует обратный. [46]
Если вы внимательны, то, наверно, заметили, что штриховка в измененной детали сохранила свой масштаб; это произошло потому, что во время выбора объектов штриховка бьиа удалена из набора выбранных объектов и благодаря свойству ассоциативности произошло переопределение штриховки ( подробнее о штриховке см. гл. [47]
В случае разложимости ГДП Z G H в суперпозицию ГДП G и Н, элементы G и Н по Z определяются однозначно. Следует также отметить свойство ассоциативности операции х, непосредственно вытекающее из ее определения. Таким образом, множество ГДП с операциями и, г, х образует ассоциативный, коммутативный кольцоид. [48]