User:Kosniaz/Kosmas's Notes On Number Theory

Number Theory 101 edit

Modulo N relation edit

We say that a and b are congruent modulo N (ισότιμοι modulo N),  , if N divides a-b.

Modulo N operation edit

We define mod N, the modulo N operation on an integer a. It returns the smallest non-negative value congruent to a modulo N.

Primes edit

P is called a prime iff

  • its divisors are itself and 1.
  • Its factorization gives us only one non-unit factor


Our working set edit

We define the set   or   as the set of remainders modulo N. Equivalently:  

Groups, Rings,Fields edit

A Group is a set with an operation that

  • is closed
  • has an identity (ουδέτερο στοιχείο)
  • is associative (προσεταιριστική)
  • every element has an inverse (αντίστροφο)

Α group which is alse commutative (αντιμεταθετικός) is called an Abelian Group. Most of the groups we will encounter are abelian.

A Cyclic Abelian Group is an abelian group that has a generator element, from which we can generate every other element by use of the inverse function or repeated application of the group operation. If for example the group operation is multiplication for each element we have   for some k smaller than the *order* of the group, where order of the group is |S|.

A Ring is a set with two operations, usually denoted + and *, both of which are closed, have an identity element in said set, are associative. Also the '+' operation must be commutative and there must be a '+'-inverse for each element, and also the distrubitive law (επιμεριστική ιδιότητα) must hold. Also, a Commutative Ring is a ring in which multiplication is commutative.

A Field is like a ring, with an added condition: (G/{0}) forms a group with multiplacation.

Inversion modulo P edit

Consider the following equation:

 

The solution here is the inverse of a modulo N. Such number exists 'iff gcd(a,N) = 1, i.e. iff a and N are coprimes.



Multiplicative Groups edit

The set of units   edit

We define   as the set of all numbers coprime to m in  . We also call these number units of  . It is a multiplicative group. Of course, the order of this group is equal to   by definition.

We define the order of an element of a multiplictive group as the least number of times we need to multiply it with itself to get the multiplicative identity,usually denoted  . Consider that the generator in a cyclic group has order equal to the order of the group.

Lagrange's Theorem, Euler's Theorem, Fermat's Little Theorem edit

  • Lagrange's Theorem: for each element a in a group of order |G|,  .
  • Lagrange's Theorem (/w Cosets) : if H is a subgroup of G,  .
  • An important result from Lagrange's Theorem: for each subgroup of G, |H| | |G|.
  • Also from Lagrange : for all a in G, the   divides   .
  • Euler's Theorem: for   coprime to  ,  .
  • Fermat's Little Theorem: if p is prime, and p does not divide  , then  .

The special case:   edit

Continuing from page 51 in the slides..



Basics edit

Integer division edit

for each pair of integers a,b, where b is positive, there exists a unique pair of integers q,r so that:  

GCD edit

 

Chinese Remainder Theorem edit

Can be used to find the solution of a system of equations of a particular type(more on that later).