N-Dimensional Binary Vector Spaces

The binary set {0, 1} together with modulo-2 addition and multiplication is called a binary field, which is denoted by F-2. The binary field F-2 is defined in [1]. A vector space over F-2 is called a binary vector space. The set of all binary vectors of length n forms an n-dimensional vector space V-n over F-2. Binary fields and n-dimensional binary vector spaces play an important role in practical computer science, for example, coding theory [15] and cryptology. In cryptology, binary fields and n-dimensional binary vector spaces are very important in proving the security of cryptographic systems [13]. In this article we define the n-dimensional binary vector space V-n. Moreover, we formalize some facts about the n-dimensional binary vector space V-n.