Group Theory
Groups, rings and fields in mathematics are collections of mathematical elements with strictly defined properties. It is useful to determine groups, rings and fields when dealing with more exotic mathematical objects such as elliptic curve points because:
i.) It enables us to apply rules and intuition from elementary mathematics that we learned in primary and secondary school.
ii.) If we can prove that any set of mathematical objects is a group, ring or field, we can then stand on the shoulders of mathematicians and get further mathematical properties 'for free'.
Groups
Group definition
A group is a set of elements combined with a single operation - commonly written in additive notation - that can act on any two elements in the set. A group must satisfy the following properties:
- Closure - if , then must also be an element of G
- Identity - G contains an identity element , such that
- Inverse - Every element , has an inverse , such that
- Associativity -
In other words when the operation is applied twice to three elements , the order in which the operation is applied does not change the result.
A concrete example of a group is or the set of integers under the addition operation:
- Closure - Any integer added to another integer, equals another integer
- Identity - is the identity integer under addition
- Inverse - Every integer has an inverse such that
- Associativity - , where , and are integers
Conversely or the set of integers under the multiplication operation is not a group:
- is the identity element of
- For an integer , there is no inverse integer such that . For example given the integer , we cannot find another integer such that , unless we break out of the set of integers and grab a rational number
Note that there is a subtle difference between the addition operation and additive notation. The addition operation is what occurs in , and is almost always written with additive notation . However on the flip side, the use of additive notation does not neccesarily mean the arithmetic addition operation.
Order
The order of a group is the number of elements in the group.
The order of or the set of integers under the addition operation is infinite. Under the hood in verkle tries, we make use of finite order groups.
Abelian group
An abelian group (also called commutative group) is a group with an additional property of commutativity - , where the order in which the the group operation is applied to two group elements does not alter the result. In verkle tries we deal exclusively with abelian groups under the hood.
Fields
Field definition
A field F is a set of elements combined with two operations (commonly denoted as and ) that can act on any two elements in the set. A field must satisfy the following properties:
- Closure under both operations - if , then and must also be elements of
- Identity elements for both operations - contains identity elements and such that , and
- Inverse elements for both operations - Every element , has inverses , such that and
- Associativity under both operation - and
- Commutativity under both operations - and
- The second operation is distributive over the first operation - .
Well known examples of fields are - the set of real numbers under addition and multiplication, and - the set of rational numbers under addition and multiplication. Note that is not a field because there is no multiplicative inverse element.
Finite field
A finite field (also called Galois field) is a field with a set containing a finite number of elements. An interesting mathematical result is that the number of elements (i.e. the order) in a finite field, must be a prime number or a prime power where is an integer.
Integers modulo prime - Fp
The simplest type of finite fields are integers modulo a prime number, denoted as or or (Galois field of p). For example is {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} and represents the set of all , where is any integer.
A great advantage to using this kind of field, is that we can use the regular arithmetic addition and multiplication operations, followed by .
E.g. given , then