<p
<>a idX80A8E676814A19FD="X80A8E676814A19FDcript type=textjavascriptoverwriteStyle(;<cript
f"> ="X80A8E676814A19FDnameX80A8E676814A19FD<a</>
<div class="ContSect"
</span class"chlinktop">< href.#X80A8E676814A19FD> span=""Fields <span>
< class" ent"htmlcharset=- /
<span class>br>ink relstylesheet=text"<pan>
r />span"">nbsp;/> =chap58X7A5AE30E7C0F457C58.2IsFielda<span
<n="ContSS"><r/ class>;/an=chap58X871AA7D58263E9AC>1Field/>
<span class classContSS /< <head
<spanclass class"br>< =nocss>nbspnbsp<panahref=chap58.#X871AA7D58263E9AC13 Field//<span
<span classjava.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 7
< class"br =" bsp<>a=hap58#X7AA715317A81261B"581-GeneratorsOfField<a>/span>
<span java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<spanspanclass="<br ><<spanspanclassnocssnbsp<spanclass class=ContSS"</>nocss;&<pan=.#X7F2CAA9E7A16913D IsDivisionRingspan div =ContSS< =ContSS > class=nocss nbsp/><href.#X871AA7D58263E9AC>1</>>
<div class/></div
</span
<iv="ContSSBlock">
<pan class=ContSSbr/< =nocssp><id"80A8E676814A19FD" namespan
<span=span=<br /<panclass"" bsp/span =.#X7AA715317A81261B">8.7 </<span>
<span class=span="ContSS>br >spanclass""&;nbsp</span<a href=<v class"ChapSects> href.#X80A8E676814A19FD58 <<spanclassContSSbr> class=nbspbspspana =.html"582-Subfield/>/spanjava.lang.StringIndexOutOfBoundsException: Index 132 out of bounds for length 132
<ass"&;/span>href"chap58#X7DD27F927BD57FDE">82- PrimeField<a>></span>
<span classdiv/>
<spanclass"ContSSbr ><span class=nocss>nbsp />hrefpanclass"ontSS< /span"&&;<span>a =chap58htmlX86DB31B57FB4F570">58.-PrimitiveElementa>>
<spanclassContSSspanjava.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7 spanContSS >=";&;spanhref=.#582 RootOfDefiningPolynomial<spanjava.lang.StringIndexOutOfBoundsException: Index 148 out of bounds for length 148
<class</ class>nbsp> =hap58#FE1FA217A08DCE5>-1Subfield<a>java.lang.StringIndexOutOfBoundsException: Index 132 out of bounds for length 132
<spanclassContSS"< ><classnocss>>nbspnbsp/>a href"chap58">8.-10Subfields/a/span>
<> class""br / class" &;spana "hap58#X8173DA4982DB1E8A58.-8 RootOfDefiningPolynomial/a>span
<div"nocss>nbsp;nbsp;span> =hap58tml#X86DB31B57FB4F57058.2-3PrimitiveElement/<>
</span ="ContSS>br /class"">&span class""</< class"";;/spana10</>
<div="">
<span=""><r/pan"ContSS">br/classdiv/>
< ="">bspnbspspan=.tml"583- /><
<span class="ContSS"span
<="br>panclassnocss>nbsp&;span< ="chap58X838515278587FF0134Norm/
<< =ContSSr <classnocssnbsp&;/spana=chap58#X82718B3B818DC699"582-FieldExtension/a<span
</span>
<span class/iv</ classntSS/spanclassnocssbsp;> =.#83490">8210Subfields/>span>
<span class="ContSS"><br /><span class="nocss"> <ContSS /< class"nocss>nbsp; </span><a href="chap58/>
<>diviv
</div
<h3>58 <span=ContSS<br></java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
<p>A <em>division ring</em> is a ring (see Chapter;</span< href=.html#X838515278587FF01>.34 <a>/>pan"ontSS>< />spanclass"nocssnbsp&;/>ahref"hap58.tml#"8.class"></>span classnocss"&sp;> =chap58"3<<java.lang.StringIndexOutOfBoundsException: Index 134 out of bounds for length 134
<<>strongpkgGAPtrong fields see ahref#X7893ABF67A028802<classRefLink>/>/a) and classContSS</> classocss&;nbsp;/>href.#8236>3NormalBase/>
</>
<p>afield class"F<var
<pIf
<p>a
<h4>58.< class
<p>java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<h5<span
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p><>division</>in strong"<strong is anontrivial associativealgebra< class=ArgloisGroup/a></span
<p>The field of coefficients is stored as the value of
<p><a id< java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<div"ision> em> ring</>in strong=pkgGAP/strong>is anontrivial associative algebravar=Arg>D<ar> amultiplicative inverseforeachnonzeroelementIn strong classclass=kg></trong everydivision is a ringpossibly itself. beingadivision thus a that isusually avectorspacepjava.lang.StringIndexOutOfBoundsException: Index 440 out of bounds for length 440
and"IsCommutative<> <ahref".X830A4A4C795FBC2D class"35-<span<a)<pjava.lang.StringIndexOutOfBoundsException: Index 310 out of bounds for length 310
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
true
<spanh5IsFieldjava.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
true
<spanem></
<> describes
falsedivclassGAPpromptgap&;/an>java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
true
<pan> spanspan=""gap;pan span="q: QuaternionAlgebra(); noncommutativedivision <span>
false
<pre>
<p><apan="ap;/>pan class
<5java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
false
< class>< class=func=100%>tr class"gapgt/>< =">( algebra constructed division/pan
<div="<=">gap</ < class":=[[ 11]]; aa (, ] ;;<spanjava.lang.StringIndexOutOfBoundsException: Index 123 out of bounds for length 123
<e=func<codereturnsthesmallestspanclass=SimpleMathK/ allelements=SimpleMathvar"<>./> "span contains list ""<>If class">/is,<span class=SimpleMath>K/an isconstructedas overitself . the left domain<classSimpleMath/ class=SimpleMath><span Calledwithafield<var class"Arg</ andlist ""listvarcode class""Field> the <classrgvarelements < classArg<vara space <varclass""F<var.<>
<p><a
<h5581-DefaultField</5>
<span class>code=func><code returns smallest fieldspan="K/span#8227 Field/ode> arclass=Arg"<var <var="</var )</<dclass="(nbsp /></tr></iv
<div classjava.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4
<>ode=>DefaultField afieldclass"K<>that the <span =SimpleMath< class"</>.<>or span"SimpleMathK</ that elementsin listlist<arclassArglist/ar<java.lang.StringIndexOutOfBoundsException: Index 302 out of bounds for length 302
<p>This class< classfunc
<div classdiv"func">tablediv="func<table class"" width"100"tdclassleftcode class">;DefaultField</code(< class=""><var )>tdclass"(bspnbsp/d>tr><>
<class""&;/> span=GAPinputZ) Field[)( ;# fields>
GF
GF/pre>
<pan="">&;</> class=GAPinputFieldE( ) Field( CFjava.lang.StringIndexOutOfBoundsException: Index 89 out of bounds for length 0
CF
AsField
GF2^)
NFGF^div="<classfunc="100%tr> classtdleftcode"func>8227Field/de(var"rgFvar] =Arg<>)>classtdright;bsp/>/><
CF(< classspan<=GAPpromptgap</span <class"ield9) Field ( E()]) numberfields/spanjava.lang.StringIndexOutOfBoundsException: Index 134 out of bounds for length 134
<span class"GAPprompt"> class class=""&t<span>spanclass=GAPinput: Field) f2=(())
false
true
</pre"GAPprompt">spanclass"f1=f2 IsSubset ,f1)/an
<java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
<h5>58.1-6 java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
divh5.1 GeneratorsOfDivisionRing5
<
<p>java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<h5>58.1-
<
<>generators
<p><<58.-5 DefaultFieldByGenerators>
<h5> withrespecttoaddition, and inversesThis isthe ascode class=funcjava.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
< "
<div class=func>table=funcwidth%>tr class<v>58.18 DivisionRingByGenerators</>
<Called a fieldvar="<p> withrespect addition,multiplicationand . attribute ascode ="GeneratorsOfDivisionRing =".#< =RefLink58-/>a)<java.lang.StringIndexOutOfBoundsException: Index 244 out of bounds for length 244
<> with varArg> and
<pdiv=div=java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p><a idjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<h4>58.2 <span class="Heading">Subfields of Fields</span
<p><a idjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<<4java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
<<iv>58h558.2-1 <h5
<>fthecollection classrgCvar regarded divisionthen="">AsDivisionRing<varclass="Arg<var/ isdivision consiststheof=Arg<var as spaceover primeotherwise< class">fail/>isreturned.<</p>
<p>Constructs the <iv"func> class=func =100%java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<>ajava.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 0
<
<div="unc class="func<>hisisneededtheofclass=funcField/><href.htmlX871AA7D58263E9AC>span=">58-3</pana> codeclass"">FieldByGenerators/code ( =chap58htmlX8641861A8550F8BE"span="RefLink>.8span>a> without given, in to constructleftleftacting domain sucha ./p>
< theofcode=func
<classable>of="varthat < =""< asaring with leftacting<java.lang.StringIndexOutOfBoundsException: Index 145 out of bounds for length 145
<>san of class"<> that <ar =""D<var> a the leftacting ./p>
<
<h5java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<divjava.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 0
<Theprimefieldem ringvar"ArgD<var>issmallestfieldwhich contained in class=ArgD</var..orexampletheprime any zeroisisomorphic to of numbers<p>
<p><a id="X84B6F1E67AD0E33D
<h5>58.2-5 >ivclassjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<div class="func">java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p><a idjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<h5
div="func"<table" java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
ps of fieldclassArgar prime< =>/".html#"""2-/>/>.p
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code classjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p> the of allsubfields the
<><aid"="X7D9A02B07D08FA40
<h4>58 that
<p>p>he ></>>
<ppjava.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 0
<> < class""α elementsspanSimpleMath< set of field =ArgF/.java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<> <em>or finite
< span=>gtspan
<pjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p><a id=p>Note that <ode class"codeMinimalPolynomial <var="">F</var> <ar =Arg"></var<code a <>Note field extensionspan =SimpleMath=rg>/>gtK<span <><> aGaloisextension<p>
<h5>
<div class="funcspan class="GAPprompt"gapgt;<span <spanclass"GAPinput> g ); IsCyclicg )</span
<p>>hem> <>of field<var class"">F/varisthe ofallfieldautomorphisms var classArg><>thatfixthesubfieldpan="> span> class"">LeftActingDomain varclass=g""F<var </code> pointwise/p>
Argvargt<> <em<m>ea .p
<divpre/java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
<span class="">gap;<5583 MinimalPolynomialh5>
piv<func<able=unc width100%trtd="< =unc&8227;MinimalPolynomialcode><var class"">F/><varclass"Arg">z<>[ varclassArg>ind<var]</d>tdd =">nbspoperation;</d<tr/tablediv> 6
true
<span class<p>returnsjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<span class="GAPprompt">gap&java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4 6
true
</pre>/div
x_1+(E(>< id =GAPpromptgap;>< =GAPinput>inimalPolynomial (),E</pan
<p>returnsrejava.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
<aid"name"X80FE7E017C2D255C><>>
<span
x_1divclassfunc<> span polynomialis of=">X c)span where spanclass="impleMath><> runsthe ofr =">z/var> in extensionclass"Arg over =Arg<varTheis a univariate polynomial <var">/> indeterminatenumber varclassArg>inum/>defaulting to )/>
x_1pThis sometimes called> </ of>the theproduct=> c> < ="pan over ="> the class/over"> a over varclass">Kvar indeterminatenumbervar">inum<var> to)/
<span classjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
x_1+E()span="GAPprompt>gapgt<span> spanclassGAPinput"TracePolynomial(8 RationalsE(x_1^+-E4)
</pre><
<px_12*x_1+1
<
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p>
<< classjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<panGAPpromptap;java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
x_1 span class
x_1java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p><a assclass""table=""width%>>d=""<ode=func;
<h558.3="func>Trace/ode returns the trace theelementvar =Argz<>/>f fields <=Arg>Lvar>and <var class"Arg>K<var the computed. extensionspan="impleMath<=Arg"L/art varclassArg><var<span if onefield classArg><>isgiven <odeclass"( varclassArg>/>)code default <class"<>andfield thencodevar=>>)code takendefault<ArgL/>.p>
<div p
<p><code class=
<pjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<h5>58.3-5 <span class="Heading">
<
<table==%rtd>583-5< ="HeadingTraces
func/codereturnstraceof thefield var=></.If two < classArgL/ andvar"Arg>K given then is computed wrt.the fieldextension< class""><lass="/> gt<class"Arg"K</>/>, onefieldvarclassArgL<>isthencode"code" arArg><var/codeistaken defaultthe varclass""<var>,andnofield given<odeclass="code>DefaultField< class="z<code takendefaultforvar="rg"Lvar.<p
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
<divspanclassclass"GAPprompt"gapgt<span<pan=GAPinput(E8) ) TraceCF CF) E());/>
<8 1 1
< class"gapgt;/><span class="GAPinput>(CF) CF,E())<>
-E(4)span="GAPprompt">gap&t;/panspan classGAPinputConjugates CF() CF4) E8))<span
<span="GAPprompt"gap&java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 12
-(java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
<span="">&;<(,E8^ E8)-(^ 8) E(^, -() (8)] 0
E(8)
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
[ E(8),E8)^3, E8) -E(8) E(^3, -8)>a ==X8236A8B47E6AAD93"A8B47E6AAD93<a>/>
<java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
[E)-(8)]
<span class="GAPprompt<a idpjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
[java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
</pre>div <iv ="<var> bea field is extension subfieldcode =code(<var="Arg<var<code> codeclass""<>returns elementsvarclass"F</var a normalbasisofvar="/>,is vectorspacethatis theaction Galoisgroup( codeclass"func>aloisGroupcode> ==chap58.tml#CAA5BA82F09ED2><span =RefLink"581<span>/>)of<var=="></r>>
<p>fa second argument< class="Arg">elmvar given it used a hint thealgorithm findpanclass(^)2Z) ((3618(3)54,, Z3^,,3)^ java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 68
6 > span""gap<>span=GAPinput(5)java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
[,-java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<ass
[ /2-1/2*(4< ="chlinkbot
< class
[ Z(3^6)^2, Z(3^6)^6,<div class=chlinkprevnextbot& span>
[ Z(2^6), Z(2^6)^8 ]
</re</v>
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.9Bemerkung:
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.