Skip to main content

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 GG 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:

  1. Closure - if x,yGx, y \in G, then x+yx + y must also be an element of G
  2. Identity - G contains an identity element II, such that a+I=I+a=aa + I = I + a = a
  3. Inverse - Every element aGa \in G , has an inverse ainvGa_{inv} \in G, such that a+ainv=Ia+a_{inv} = I
  4. Associativity - a+(b+c)=(a+b)+ca+(b+c) = (a+b)+c

In other words when the operation is applied twice to three elements a,b,cGa, b, c \in G, the order in which the operation is applied does not change the result.


A concrete example of a group is (Z,+)(\mathbb{Z},+) or the set of integers under the addition operation:

  • Closure - Any integer added to another integer, equals another integer
  • Identity - 00 is the identity integer under addition
  • Inverse - Every integer aa has an inverse ainv=aa_{inv} = -a such that a+(a)=0a + (-a) = 0
  • Associativity - a+b+c=(a+b)+c=a+(b+c)a + b + c = (a + b) + c = a + (b + c), where aa, bb and cc are integers

Conversely (Z,)(\mathbb{Z},*) or the set of integers under the multiplication operation is not a group:

  • 11 is the identity element of (Z,)(\mathbb{Z},*)
  • For an integer aa, there is no inverse integer ainva_{inv} such that aainv=1a * a_{inv} = 1. For example given the integer a=2a = 2, we cannot find another integer ainva_{inv} such that 2ainv=12*a_{inv} = 1, unless we break out of the set of integers and grab a rational number ainv=12a_{inv} = \frac{1}{2}

Note that there is a subtle difference between the addition operation and additive notation. The addition operation is what occurs in 1+1=21+1=2, 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 (Z,+)(\mathbb{Z},+) 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 - a+b=b+aa+b = b+a, 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:

  1. Closure under both operations - if x,yFx, y \in F, then x+yx + y and xyx * y must also be elements of FF
  2. Identity elements for both operations - FF contains identity elements I+I_+ and II_* such that a+I+=I++a=aa+I_+ = I_++a = a, and aI=Ia=aa*I_* = I_**a = a
  3. Inverse elements for both operations - Every element aFa \in F, has inverses a+,aFa_+, a_* \in F, such that a+a+=I+a+a_+ = I_+ and aa=Ia*a_* = I_*
  4. Associativity under both operation - a+(b+c)=(a+b)+ca+(b+c) = (a+b)+c and a(bc)=(ab)ca*(b*c) = (a*b)*c
  5. Commutativity under both operations - a+b=b+aa+b = b+a and ab=baa*b = b*a
  6. The second operation is distributive over the first operation - a(b+c)=ab+aca*(b+c) = a*b+a*c.

Well known examples of fields are (R,+,)(\mathbb{R}, +, *) - the set of real numbers under addition and multiplication, and (Q,+,)(\mathbb{Q}, +, *) - the set of rational numbers under addition and multiplication. Note that (Z,+,)(\mathbb{Z}, +, *) 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 qq or a prime power qnq^n where nn is an integer.

Integers modulo prime - Fp

The simplest type of finite fields are integers modulo a prime number, denoted as Fp\mathbb{F}_p or Z/pZ\mathbb{Z}/p\mathbb{Z} or GF(p)GF(p) (Galois field of p). For example F11\mathbb{F}_{11} is {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} and represents the set of all amod11a \bmod{11}, where aa 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 modpmod\>p.

E.g. given F11\mathbb{F}_{11}, then

  • 8mod11+10mod11=(8+10)mod11=18mod11=78\bmod{11} + 10\bmod{11} = (8+10)\bmod{11} = 18 \bmod{11} = 7
  • 8mod1110mod11=(810)mod11=80mod11=38\bmod{11} * 10\bmod{11} = (8*10)\bmod{11} = 80 \bmod{11} = 3