Cтраница 2
К: & ] конечна, то для любого рР / С аналогично определяются Njt / p) TrK / i ( P) - Требование невырожденности формы BK / k ( u, v) - IrK / k ( uv) является одним из определений сепарабельного расширения. [16]
Прямые в Р3 - это 2-мерные подпространства в V. Каждое такое подпространство однозначно с точностью до множителя определяет внешнюю 2-форму ( р ранга 2, ядро которой совпадает с этим подпространством. Невырожденность формы ( jj эквивалентна тому, что линейный комплекс прямых Н П Q неособ. [17]