Промежуточная Логика

топологическая группа, являющаяся проективным пределом системы конечных групп , снабженных дискретной топологией (I - предупорядоченное множество). П. Г. Gобозначается . Как подпространство прямого произведения , снабженного компактной топологией (базой окрестностей единицы является система ядер проекций ), она замкнута и потому компактна. Примеры. 1) Пусть I - множество целых чисел, больших нуля, с естественным отношением порядка и . Пусть - естественный эпиморфизм и для любых i<j. ..

открытый промежуток, интервал,- множество точек, заключенных между двумя данными, т. Е. Удовлетворяющих условию вида a<x<b. П. Не включает концов и обозначается ( а, b), в отличие от отрезка [а, b](замкнутого П.), включающего концы, т. Е. Состоящего из точек . БСЭ-3. ..

набор комплексных торов, определяемых нечетномерными когомоло-гиями комплексного кэлерова многообразия, геометрия к-рых тесно связана с геометрией самого многообразия. Пусть (соответственно ) - пространство re-мерных когомологий с действительными (соответственно с целыми) коэффициентами комилексно-аналитич. Кэлерова многообразия X. На веществ. Торе при нечетном пможно двумя различными способами ввести комплексную структуру, используя представление n-мерных когомологий с комплексными ко..

подгруппа H группы G, удовлетворяющая следующему условию. Если К - подгруппа из G, сопряженная с H, то K сопряжена с H в подгруппе, порожденной H и K. Силова подгруппы в конечных группах, Холла подгруппы и Картера подгруппы в конечных разрешимых группах пронормальны. Понятие П. П. Тесно связано с понятием абнормалъной подгруппы. Любая абнормальная подгруппа пронормальна, а нормализатор П. П. Абнормален. Лит.:[1] Шеметков Л. А., формации конечных групп, М., 1978. В. Д. Мазуров. ..