Galois extensions for cyclic group:Z2 - Revision history

Vipul at 16:23, 10 September 2009

2009-09-10T16:23:14Z

← Older revision		Revision as of 16:23, 10 September 2009
Line 1:		Line 1:
	{{~~galois~~ extensions\|cyclic group:Z2}}		{{group-specific information\|
			information type = Galois extensions\|
			group = cyclic group:Z2\|
			connective = for}}

	Given a Galois extension of fields, the Galois group for the extension is the cyclic group of order two if and only if the field extension is a quadratic extension.		Given a Galois extension of fields, the Galois group for the extension is the cyclic group of order two if and only if the field extension is a quadratic extension.

Vipul at 21:54, 14 April 2009

2009-04-14T21:54:38Z

← Older revision		Revision as of 21:54, 14 April 2009
Line 10:		Line 10:

	In this case, the quadratic extension can be obtained by adjoining a polynomial of the form <math>x^2 - a</math> where <math>a</math> is a nonzero element of the field that is not a square. For prime fields, such an element is termed a quadratic nonresidue.		In this case, the quadratic extension can be obtained by adjoining a polynomial of the form <math>x^2 - a</math> where <math>a</math> is a nonzero element of the field that is not a square. For prime fields, such an element is termed a quadratic nonresidue.

			Since the [[multiplicative group of a finite field is cyclic]], the set of quadratic nonresidues is exactly half the number of nonzero elements (this can also be seen more directly, for instance, by noting that exactly half the numbers of squares because every number has two squareroots). Thus, exactly half the polynomials <math>x^2 - a</math>, for <math>a</math> nonzero, are irreducible.

	===Case where the field has characteristic two===		===Case where the field has characteristic two===

	This case is a little trickier, since no polynomial of the form <math>x^2 - a</math> is irreducible. Rather, an irreducible polynomial is of the form <math>x^2 + x + a</math>.		This case is a little trickier, since no polynomial of the form <math>x^2 - a</math> is irreducible. Rather, an irreducible polynomial is of the form <math>x^2 + x + a</math>.

			For instance, for the field of two elements, the polynomial <math>x^2 + x + 1</math> is irreducible.

Vipul at 21:35, 14 April 2009

2009-04-14T21:35:01Z

← Older revision		Revision as of 21:35, 14 April 2009
Line 10:		Line 10:

	In this case, the quadratic extension can be obtained by adjoining a polynomial of the form <math>x^2 - a</math> where <math>a</math> is a nonzero element of the field that is not a square. For prime fields, such an element is termed a quadratic nonresidue.		In this case, the quadratic extension can be obtained by adjoining a polynomial of the form <math>x^2 - a</math> where <math>a</math> is a nonzero element of the field that is not a square. For prime fields, such an element is termed a quadratic nonresidue.

			===Case where the field has characteristic two===

			This case is a little trickier, since no polynomial of the form <math>x^2 - a</math> is irreducible. Rather, an irreducible polynomial is of the form <math>x^2 + x + a</math>.

Vipul: Created page with '{{galois extensions|cyclic group:Z2}} Given a Galois extension of fields, the Galois group for the extension is the cyclic group of order two if and only if the field extension ...'

2009-04-14T18:14:00Z

Created page with '{{galois extensions|cyclic group:Z2}} Given a Galois extension of fields, the Galois group for the extension is the cyclic group of order two if and only if the field extension ...'

New page

{{galois extensions|cyclic group:Z2}}

Given a Galois extension of fields, the Galois group for the extension is the cyclic group of order two if and only if the field extension is a quadratic extension.

==Over a finite field==

Over a finite field, there is exactly one quadratic extension.

===Case where the field does not have characteristic two===

In this case, the quadratic extension can be obtained by adjoining a polynomial of the form <math>x^2 - a</math> where <math>a</math> is a nonzero element of the field that is not a square. For prime fields, such an element is termed a quadratic nonresidue.