Бинарная Р-адическая Группа

биективный морфизм в категории,- одно из теоретико-категорных обобщений понятия биективного отображения множеств. Морфизм ив категории Сназ. Б., если он одновременно является мономорфизмом и зпиморфизмом в С. Произведение Б. Есть Б., то есть Б. Образуют подкатегорию, содержащую все изоморфизмы. В категориях множеств, групп всякий Б. Является изоморфизмом. Однако уже в категориях колец, топологических пространств или абелевых групп без кручения существуют Б., не являющиеся изоморфизмами. ..

квадратичная форма отдвух переменных, т. Е. Форма вида если - целые числа, Б. К. Ф. Наз. Целочисленной. Выражение наз. Определителем, или дискриминантом, Б. К. Ф. Иногда под дискриминантом понимается также величина Арифметич. Теория Б. К. Ф. Начата П. Ферма (P. Fermat), утверждавшим, что всякое простое число вида представимо суммой двух квадратов целых чисел. Законченная теория Б. К. Ф. Построена Ж. Ла-гранжем (J. Lagrange) и К. Гауссом (С. Gauss). Теория Б. К. Ф.- частный случай теор..

- форма от двух переменных, т. Е. Однородный многочлен где коэффициенты принадлежат заданному коммутативному кольцу с единицей. В качестве такого кольца часто выбирается кольцо целых рациональных чисел, кольцо целых элементов нек-рого алгебраического числового поля, поле действительных чисел или поле комплексных чисел. Число пназ. Степенью формы. Если , то наз. бинарной квадратичной формой. В теории форм можно выделить алгебраическое (теория инвариантов), арифметическое (представле..

BL - алгебра,- линейная алгебра Анад полем F, любые два элемента к-рой порождают подалгебру Ли. Класс всех Б. Л. А. Над данным полем Fпорождает многообразие, к-рое в случае характеристики поля F, отличной от 2, задается системой тождеств где Бели характеристика поля Fравна 2, а кардинальное число его не меньше 4, то класс Б. Л. А., кроме системы тождеств (*), задается еще тождеством Касательная алгебра аналитической локальной альтернативной лупы является Б. Л. А., и обратно. ..