en>The Bushranger: added Category:Ship measurements using HotCat

2014-02-10T05:31:49Z

added Category:Ship measurements using HotCat

← Older revision		Revision as of 07:31, 10 February 2014
Line 1:		Line 1:
	In [[mathematics]], more specifically in [[field theory (mathematics)\|field theory]], a '''simple extension''' is a [[field extension]] which is generated by the [[adjunction (field theory)\|adjunction]] of a single element. Simple extensions are well understood and can be completely classified.		The name of the author is Nestor. He currently life in Arizona and his parents live nearby. The job he's been occupying for years is a messenger. The preferred pastime for my kids and me is dancing and now I'm attempting to make money with it.<br><br>Here is my page [http://childsearchandrescue.org/node/601730 http://childsearchandrescue.org/]

	The ~~[[primitive element theorem]] provides a characterization~~ of the ~~[[finite extension\|finite]] extensions which are simple~~.

	~~== Definition ==~~
	~~A field extension ''L''/''K'' is called a '''simple extension''' if there exists an element θ~~ in ~~''L'' with~~
	~~:<math>L = K(\theta)~~.~~</math>~~

	The ~~element θ is called a~~ '~~''primitive element''', or '''generating element''',~~ for ~~the extension; we also say that ''L'' is '''generated over''' ''K'' by θ.~~

	~~Every [[finite field]]~~ is a ~~simple extension of the [[prime field]] of the same [[characteristic (algebra)\|characteristic]]~~. More precisely, if ''p'' is a prime number and <math>q=p^d</math> the field <math>\mathbb{F}_{q}</math> of ''q'' elements is a simple extension of degree ''d'' of <math>\mathbb{F}_{p}.</math> This means that it is generated by an element θ which is a root of an irreducible polynomial of degree ''d''. However, in this case, θ is normally not referred to as a ''primitive element''.

	In fact, a [[primitive element (finite field)\|primitive element]] of a [[finite field]] is usually defined as a [[generating set of a group\|generator]] of the field's [[group of units\|multiplicative group]]. More precisely, by [[little Fermat theorem]], the nonzero elements of <math>\mathbb{F}_{q}</math> (i.e. its multiplicative [[group (mathematics)\|group]]) are the roots of the equation
	~~:<math>x^{q-1}-1=0,</math>~~
	that is the (''q''-1)-th [[roots of unity]]. Therefore, in this context, a '''primitive element''' is a [[primitive root of unity\|primitive (''q''-1)-th root of unity]], that is a [[generating set of a group\|generator]] of the multiplicative group of the nonzero elements of the field. Clearly, a group primitive element is a field primitive element, but the contrary is false.

	Thus the general definition requires that every element of the field may be expressed as a polynomial in the generator, while, in the realm of finite fields, every nonzero element of the field is a pure power of the primitive element. To distinguish these meanings one may use '''field primitive element''' of L over K for ~~the general notion,~~ and ~~'''group primitive element''' for the finite field notion.<ref>{{harv\|Roman \| 1995}}</ref>~~

	~~== Structure of simple extensions ==~~
	~~If ''L''~~ is ~~a simple extension of ''K'' generated by θ, it is the only field contained in ''L'' which contains both ''K''~~ and ~~θ. This means that every element of~~ '~~'L'' can be obtained from the elements of ''K'' and θ by finitely many field operations (addition, subtraction, multiplication and division).~~

	~~Let us consider the [[polynomial ring]] ''K''[''X'']. One of its main properties is that there exists a unique [[ring homomorphism]]~~
	~~:<math>~~
	~~\begin{align}~~
	~~\varphi: K[X] &\rightarrow L\\~~
	~~p(X) &\mapsto p(\theta)\,.~~
	~~\end{align}~~
	~~</math>~~
	~~Two cases may occur.~~

	~~If <math>\varphi</math> is [[injective]],~~ it ~~may be extended to the [[field of fractions]] ''K''(''X'') of ''K''[''X'']~~. ~~As we have supposed that ''L'' is generated by θ, this implies that~~ <~~math~~>~~\varphi~~<~~/math~~> is ~~an isomorphism from ''K''(''X'') onto ''L''. This implies that every element of ''L'' is equal to an~~ [[irreducible fraction]] of polynomials in θ, and that two such irreducible fractions are equal if and only if one may pass from one to the other by multiplying the numerator and the denominator by the same non zero element of ''K''.

	If <math>\varphi</math> is not injective, let ''p''(X) be a generator of its [[Kernel (algebra)#Ring homomorphisms\|kernel]], which is thus the [[minimal polynomial (field theory)\|minimal polynomial]] of θ. The image of <math>\varphi</math> is a subring of ''L'', and thus an [[integral domain]]. This implies that ''p'' is an irreducible polynomial, and thus that the [[quotient ring]] <math>K[X]/~~\langle p \rangle<~~/~~math> is a field~~. ~~As ''L'' is generated by θ, <math>\varphi<~~/~~math> is surjective, and <math>\varphi<~~/~~math> induces an isomorphism from <math>K[X]~~/~~\langle p \rangle<~~/~~math> onto ''L''. This implies that every element of ''L'' is equal to a unique polynomial in θ, of degree lower than the degree of the extension~~.

	~~== Examples ==~~
	* '''C''':'''R''' (generated by ''i'')
	* '''Q'''(√2):'''Q''' (generated by √2), more generally any [[number field]] (i.e., a finite extension of '''Q''') is a simple extension '''Q'''(α) for some α. For example, <math>\mathbf{Q}(\sqrt{3}, \sqrt{7})</math> is generated by <math>\sqrt{3} + \sqrt{7}</~~math>.~~
	* ''F''(''X''):''F'' (generated by ''X'').

	~~==References==~~
	~~{{reflist}}~~
	*{{cite book \| last = Roman \| first = Steven \| authorlink=Steven Roman \| title = Field Theory \| series=[[Graduate Texts in Mathematics]] \| volume=158 \| publisher = [[Springer-Verlag]] \| place = New York \| year = 1995 \| isbn = 0-387-94408-7 \| zbl=0816.12001 }}

	~~[[Category:Field extensions]~~]

en>Timtrent: Reverted good faith edits by Bruce89 (talk): See talk page. (TW)

2013-09-13T14:16:46Z

Reverted good faith edits by Bruce89 (talk): See talk page. (TW)

Show changes

en>Cydebot: Robot - Speedily moving category Sailing rules & handicapping to :Category:Sailing rules and handicapping per CFDS.

2012-02-19T16:06:44Z

Robot - Speedily moving category Sailing rules & handicapping to Category:Sailing rules and handicapping per CFDS.

Show changes

Thames Measurement - Revision history

en>The Bushranger: added Category:Ship measurements using HotCat

en>Timtrent: Reverted good faith edits by Bruce89 (talk): See talk page. (TW)

en>Cydebot: Robot - Speedily moving category Sailing rules & handicapping to :Category:Sailing rules and handicapping per CFDS.