Number theory, groups and finite fields Flashcards

1
Q

How can we denote that a divides b?

A

a|b

ak = b

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

What is trivial division?

A

Testing for prime numbers by checking for factors up to the square root of the number being tested.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Properties of factors

A

1.
If a|b and a|c

then

a| (b + c)

2.
If p is prime and p divides ab, then p divides a or p divides b

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

What is Euclidean division?

A

a = bq + r

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

What are some properties of modular arithmetic?

A

Given a≡b (mod n) and c ≡ d (mod n):

1: a + c ≡ b + d (mod n)
2: ac ≡ bd (mod n)
3: ka ≡ kb (mod n)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

How do we denote the complete set of residues?

A

Z_n = {0, 1, 2, …, n - 1}

A set is a complete set of residues mod n, if for every integer a, a ≡r_i (mod n) for exactly one r_1 in the set

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

What does a mod n denote?

A

The remainder after dividing a by n

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Define a group

A

A group is a set G with a binary operation, *

A group satisfies the following conditions:

Closure
Identity
Inverse
Associative

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

What is the Closure property of groups?

A

a * b is an element of G for all
a, b element in G

(* is the operation, this can be multiplication, addition, etc.)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

What is the identity property of groups?

A

There exist an element 1 so that a1 = 1a = a for all a in G

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

What is the inverse property of groups?

A

For all a element in G, a b exist so that:
a*b = 1, for all a in G

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

What is the associative property of groups?

A

For all a,b,c in G:

(ab)c = a(bc)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

What are commutative groups?

A

Also satisfy the commutative property:

For all a,b in G

ab=ba

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

What does |G| mean?

A

Number of elements in a group

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

What does g^k mean?

A

Denotes repeated application of the group operation.

For example g³ = ggg

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

What is the order of an element in a group? |g|

A

|g|: smallest integer k such that

g^k=1

17
Q

When is a group element a generator?

A

When |g|=|G|

18
Q

When is a group cyclic?

A

When it has a generator, meaning when |g|=|G|, for an element g in G

19
Q

Define the inverse modulo n

A

The inverse of a exist and is the value x if:

ax ≡ 1 (mod n)

x = a-¹

20
Q

When does a have an inverse modulo n?

A

gcd(a,n) = 1

21
Q

What is Z_p*

A

Complete set of residues, with 0 removed from a group under multiplication.

Multiplicative group of ints: {1, 2, 3,…, p-1}

Order: p - 1

Cyclic

Has many generators

22
Q

What is a Field?

A

Set with 2 binary operations (+, *)

It is a commutative group under +, identity element=0

It is a commutative group under *, with 0 removed

Obay the distributive property:
a*(b+c) = ab + ac

23
Q

What does the famous theorem say for finite fields?

A

Finite fields exist of size p^n for any prime p and positive int n.

No finite field exist of other sized

24
Q

Describe the finite field GF(p)

A

GF(p) = Z_p

Multiplication and addition are done modulo p

Multiplicative group is exactly Z_p^*

25
Q

Describe the finite field GF(2)

A

The simplest field

2 elements (0, 1)

Addition: Binary addition modulo 2, XOR

Trivial multiplicative group with the single element 1: Because there is only one non-zero element

26
Q

Describe the finite fields GF(2^n)

A

Arithmetic in these fields can be considered polynomial arithmetic, where field elements are polynomials with binary coefficients

Can equate any n-bit string with a polynomial:
00101101 -> x^5 + x^3 + x^2 + 1

The field can be represented in different ways by use of a primitive polynomial m(x)

Addition | multiplication -> polynomial add and mul mod m(x)

Polynomial division done using shift registers in HW

27
Q

In GF(2^8) how can we add 2 strings?

A

Add their coefficients modulo 2 (XOR)

28
Q

In cryptography, what is the field GF(2^8) used for?

A

Calculation in the AES block cipher

29
Q

How is multiplication done in GF(2^8)

A

In respect to a generator polynomial

In AES this polynomial is:
m(x) = x^8 + x^4 + x^3 + x + 1

Multiply strings by multiplying them as polynomials, and then take their remainder after dividing by m(x)

30
Q

What is a boolean function?

A

any function with output in the set {0, 1}

Can be represented by a truth-table