finite_field_primer

finite_field_primer - A Primer on Finite Fields In (1)- (7)...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: A Primer on Finite Fields In (1)- (7) F will denote a finite field. (1) F contains a copy of Z p = F p , for some prime p . (This prime is called the characteristic of F .) (2) There is a positive integer d with | F | = p d . Proof. From the definitions, F is a vector space over F p . Let e 1 ,..., e d be a basis. Then F = n d i =1 a i e i a 1 ,...,a d F p o . Thus | F | is the number of choices for the a i , namely p d . (3) Let F F p . Then F p [ ] = ( k X i =0 a i i k , a i F p ) is a subring of F . (That is, it is closed under addition, subtraction, and multiplication. See (6) and (8) , where we show that F p [ ] is actually a subfield.) (4) Let m ( x ) F p [ x ] be a monic polynomial of minimal degree with m ( ) = 0. (It exists since F is finite.) Then F p [ ] is a copy of F p [ x ] (mod m ( x )), that is, the polynomial ring F p [ x ] with arithmetic done modulo the polynomial m ( x ). The polynomial m ( x ) is called the minimal polynomial of over F p and is uniquely determined. We sometimes write m ( x ) or even m , F p ( x ) for the minimal polynomial of over F p . Let f ( x ) be a nonconstant polynomial of K [ x ]. Then f ( x ) is called irreducible in K [ x ] if every factorization f ( x ) = a ( x ) b ( x ) in K [ x ] has { deg a, deg b } = { , deg f } . (This corresponds to prime numbers in...
View Full Document

Page1 / 2

finite_field_primer - A Primer on Finite Fields In (1)- (7)...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online