Cтраница 3
Тогда 9 - конгруэнция и всякая конгруэнция на А имеет такую форму для подходящего идеала Я. [31]
Иначе говоря, конгруэнция - это отношение эквивалентности, подстановочное для любой определенной на дан-ком множестве операции. Такие отношения эквивалентности представляются в некотором смысле наиболее естественными: они ( в отличие от произврльных отношений эквивалентности, введенных, быть может, каким-либо искусственным образом) позволяют ввести на фактормножестве по данной конгруэнции все те операции, которые были определены на исходном множестве. [32]
ГИШАРА КОНГРУЭНЦИЯ, конгруэнция Г - конгруэнция прямых, у к-рых фокальные сети образованы линиями кривизны фокальных поверхностей. [33]
Поэтому р - конгруэнция, Остается проверить, что эта конгруэнция вполне характеристическая. [34]
Напомним, что конгруэнция в на алгебре Л называется факторной, если существует конгруэнция 9 на алгебре Л такая, что в v 9 у д, в Л 9 - Л д и в и 9 перестановочны. [35]
Доказать, что конгруэнция линий р - k 9 const, pconst в торической системе координат правильная, если k - рациональное число и неправильная, если - иррациональное. [36]
РИБОКУРА КОНГРУЭНЦИЯ - конгруэнция прямых, развертывающиеся поверхности к-рой секут ее среднюю поверхность по сопряженной сети линий. [37]
Пусть 0 - наименьшая конгруэнция р на 91, для которой группа G ( § l / p) тривиальна. Тогда по теореме 4.8 на 91е ( 0 существует конгруэнция р, отличная от универсальной и такая, что группа 0 ( 91е ( 0 / Р) тривиальна. Если мы докажем тривиальность группы G ( 9l / p), это приведет к равенству р 0, откуда р - универсальная конгруэнция; полученное противоречие покажет, что наше допущение о классе D ( % e ( t)) ложно. Отсюда следует, что сужения отношений р и р на Ime совпадают. Поэтому импримитивности групп 0 ( 91) и G ( 9Ie ( 0) Ha Im e также совпадают. [38]
Тривиальными конгруэнциями называются нулевая конгруэнция - разбиение множества G на отдельные элементы - и единичная конгруэнция, состоящая из одного смежного класса, совпадающего с G. Алгебра G называется простой, если у нее нет нетривиальных конгруэнции, и характеристически простой, если у нее нет нетривиальных характеристических конгруэнции. Легко понять, что для групп характеристическая простота и однородность - равносильные понятия. [39]
Всякая Л - конгруэнция алгебры G является вполне характеристической конгруэнцией. [40]
Пусть дальше 8 вполне характеристическая конгруэнция алгебры S ( X), соответствующая классу К. [41]
Доказать, что конгруэнция эквидирекционных линий произвольного векторного поля, не имеющего эквидирекционных поверхностей, правильная. [42]
Напомним, что конгруэнциям групп взаимно однозначно соответствуют их нормальные делители. [43]
Подробная информация о конгруэнциях инверсных полугрупп содержится в 176 ], гл. [44]
Доказать, что всякая конгруэнция, заданная в области гомеоморфной клетке, ориентируема. [45]