GF (2)

GF (2) (также F2, Z/2Zили Z2) - это Galois f ield из двух элементов. Это наименьшее поле .

• 1 Определение
• 2 Свойства
• 3 Приложения
• 4 См. Также
• 5 Ссылки

Два элементы почти всегда называются 0 и 1, являясь аддитивными и мультипликативными тождествами соответственно.

Операция добавления поля указана в таблице ниже, которая соответствует операции логической операции XOR.

Операция умножения поля соответствует операции логического И.

Можно также определить GF (2) как кольцо частных кольца целых чисел Zпо идеалу 2Zвсех четных чисел : GF (2) = Z/2Z.

Поскольку GF (2) является полем, многие знакомые свойства систем счисления, такие как рациональные числа и действительные числа сохраняются:

• сложение имеет элемент идентичности (0) и инверсию для каждого элемента;
• умножение имеет элемент идентичности (1) и обратный элемент для каждого элемент, но 0;
• сложение и умножение коммутативное и ассоциативное ;
• умножение распределительное над сложением.

Свойства, которые не известны из действительные числа включают:

• каждый элемент x из GF (2) удовлетворяет x + x = 0 и, следовательно, −x = x; это означает, что характеристика GF (2) равна 2;
• каждый элемент x из GF (2) удовлетворяет x = x (т.е. является идемпотентным относительно умножение); это пример маленькой теоремы Ферма. GF (2) - единственное поле с этим свойством (Доказательство: если $x\; 2\; =\; x\; \{\backslash \; displaystyle\; x\; ^\; \{2\}\; =\; x\}$, то либо $x\; =\; 0\; \{\backslash \; displaystyle\; x\; =\; 0\}$или $x\; \ne \; 0\; \{\backslash \; displaystyle\; x\; \backslash \; neq\; 0\}$. В последнем случае x должен иметь мультипликативный обратный, и в этом случае деление обоих сторон на x дает $x\; =\; 1\; \{\backslash \; displaystyle\; x\; =\; 1\}$. Все большие поля содержат элементы, отличные от 0 и 1, и эти элементы не могут удовлетворять этому свойству).

Из-за перечисленных выше алгебраических свойств многие знакомые и мощные математические инструменты работают в GF (2) так же хорошо, как и в других областях. Например, матричные операции, в том числе инверсия матрицы, могут применяться к матрицам с элементами в GF (2) (см. кольцо матриц ).

Любая группа V со свойством v + v = 0 для каждого v в V (т.е. каждый элемент является инволюцией ) обязательно абелева и может быть преобразовано в векторное пространство над GF (2) естественным образом, задав 0v = 0 и 1v = v. Это векторное пространство будет иметь базис, что подразумевает что количество элементов V должно быть степенью 2 (или бесконечно).

В современных компьютерах данные представлены битовыми строками фиксированной длины, называемыми машинными словами. Они наделены структурой векторного пространства над GF (2). Дополнением к этому векторному пространству является побитовая операция , которая называется XOR (исключающее ИЛИ). поразрядное И - это еще одна операция в этом векторном пространстве, которая делает его булевой алгеброй, структурой, лежащей в основе всей информатики. Эти пространства также можно дополнить операцией умножения, которая превращает их в поле GF (2), но операция умножения не может быть побитовой. Когда n само является степенью двойки, операция умножения может быть nim-умножением ; в качестве альтернативы, для любого n можно использовать умножение многочленов над GF (2) по модулю примитивного многочлена.

• Поле с одним элементом

• Lidl, Rudolf; Нидеррайтер, Харальд (1997). Конечные поля. Энциклопедия математики и ее приложений. 20 (2-е изд.). Издательство Кембриджского университета. ISBN 0-521-39231-4. Zbl 0866.11069.