40:
431:
531:
316:
837:. There are quantitative forms of this, stating more precisely bounds (depending on degree) on the largest absolute value of a conjugate that imply that an algebraic integer is a root of unity.
288:
57:
448:
104:
76:
426:{\displaystyle {\sqrt{1}}={\begin{cases}1\\-{\frac {1}{2}}+{\frac {\sqrt {3}}{2}}i\\-{\frac {1}{2}}-{\frac {\sqrt {3}}{2}}i\end{cases}}}
83:
90:
72:
688:
180:
123:
17:
340:
61:
97:
889:
28:
546:
141:
271:
50:
27:
This article is about the conjugation between the roots of a polynomial. For other uses, see
8:
265:
865:
246:
176:
862:
814:
806:
153:
598:
569:
163:
826:
822:
291:
798:). The number of repeats in that list of each element is the separable degree
883:
834:
711:) by irreducibility of the minimal polynomial, and any isomorphism of fields
258:
661:
621:
526:{\displaystyle \left(x+{\frac {1}{2}}\right)^{2}+{\frac {3}{4}}=x^{2}+x+1.}
307:
257:. The equivalence of the two definitions is one of the starting points of
560:
is specified, one can take the conjugates in some relatively small field
137:
870:
39:
609:, then by definition it already contains such a splitting field.
733:
can be extended to an isomorphism of the splitting fields of
860:
419:
451:
319:
274:
224:
itself is included in the set of conjugates of
218:in contexts where this is not ambiguous. Normally
64:. Unsourced material may be challenged and removed.
525:
425:
282:
881:
436:The latter two roots are conjugate elements in
552:, then the conjugates can be taken inside
276:
214:. Conjugate elements are commonly called
124:Learn how and when to remove this message
14:
882:
758:In summary, the conjugate elements of
268:, since the algebraic conjugates over
861:
73:"Conjugate element" field theory
62:adding citations to reliable sources
33:
846:David S. Dummit, Richard M. Foote,
762:are found, in any normal extension
691:on the conjugates. This follows as
564:. The smallest possible choice for
24:
25:
901:
854:
821:and all of its conjugates in the
683:is of this form: in other words,
253:that leave fixed the elements of
233:Equivalently, the conjugates of
38:
49:needs additional citations for
612:Given then a normal extension
294:are the number itself and its
13:
1:
840:
536:
306:The cube roots of the number
283:{\displaystyle \mathbb {R} }
264:The concept generalizes the
7:
675:. Conversely any conjugate
10:
906:
778:), as the set of elements
547:algebraically closed field
301:
26:
442:with minimal polynomial
850:, 3rd ed., Wiley, 2004.
656:will be a conjugate of
527:
427:
284:
722:that maps polynomial
528:
428:
285:
866:"Conjugate Elements"
449:
317:
272:
150:algebraic conjugates
58:improve this article
890:Field (mathematics)
545:is given inside an
266:complex conjugation
247:field automorphisms
863:Weisstein, Eric W.
622:automorphism group
589:, containing
523:
423:
418:
280:
239:are the images of
181:minimal polynomial
146:conjugate elements
815:algebraic integer
636:, and containing
496:
472:
411:
407:
396:
376:
372:
361:
330:
296:complex conjugate
154:algebraic element
134:
133:
126:
108:
16:(Redirected from
897:
876:
875:
848:Abstract algebra
829:at most 1, then
755:, respectively.
753:
746:
731:
720:
605:containing
599:normal extension
532:
530:
529:
524:
510:
509:
497:
489:
484:
483:
478:
474:
473:
465:
441:
432:
430:
429:
424:
422:
421:
412:
403:
402:
397:
389:
377:
368:
367:
362:
354:
331:
329:
321:
289:
287:
286:
281:
279:
256:
252:
244:
238:
229:
223:
213:
207:
201:
174:
161:
140:, in particular
129:
122:
118:
115:
109:
107:
66:
42:
34:
21:
18:Galois conjugate
905:
904:
900:
899:
898:
896:
895:
894:
880:
879:
857:
843:
823:complex numbers
809:states that if
801:
751:
744:
729:
718:
703:-isomorphic to
667:sends roots of
588:
570:splitting field
539:
505:
501:
488:
479:
464:
457:
453:
452:
450:
447:
446:
437:
417:
416:
401:
388:
382:
381:
366:
353:
347:
346:
336:
335:
325:
320:
318:
315:
314:
304:
275:
273:
270:
269:
254:
250:
240:
234:
225:
219:
209:
203:
195:
183:
166:
164:field extension
157:
130:
119:
113:
110:
67:
65:
55:
43:
32:
23:
22:
15:
12:
11:
5:
903:
893:
892:
878:
877:
856:
855:External links
853:
852:
851:
842:
839:
827:absolute value
799:
770:that contains
640:, any element
580:
538:
535:
534:
533:
522:
519:
516:
513:
508:
504:
500:
495:
492:
487:
482:
477:
471:
468:
463:
460:
456:
434:
433:
420:
415:
410:
406:
400:
395:
392:
387:
384:
383:
380:
375:
371:
365:
360:
357:
352:
349:
348:
345:
342:
341:
339:
334:
328:
324:
303:
300:
292:complex number
278:
187:
132:
131:
46:
44:
37:
9:
6:
4:
3:
2:
902:
891:
888:
887:
885:
873:
872:
867:
864:
859:
858:
849:
845:
844:
838:
836:
835:root of unity
832:
828:
824:
820:
816:
813:is a nonzero
812:
808:
805:A theorem of
803:
797:
793:
789:
785:
781:
777:
773:
769:
765:
761:
756:
754:
747:
740:
736:
732:
725:
721:
714:
710:
706:
702:
698:
694:
690:
686:
682:
678:
674:
670:
666:
663:
659:
655:
651:
647:
643:
639:
635:
631:
627:
623:
619:
615:
610:
608:
604:
600:
596:
592:
587:
583:
579:
575:
571:
568:is to take a
567:
563:
559:
556:. If no such
555:
551:
548:
544:
520:
517:
514:
511:
506:
502:
498:
493:
490:
485:
480:
475:
469:
466:
461:
458:
454:
445:
444:
443:
440:
413:
408:
404:
398:
393:
390:
385:
378:
373:
369:
363:
358:
355:
350:
343:
337:
332:
326:
322:
313:
312:
311:
309:
299:
297:
293:
267:
262:
260:
259:Galois theory
248:
243:
237:
231:
228:
222:
217:
212:
206:
199:
194:
190:
186:
182:
178:
173:
169:
165:
160:
155:
151:
147:
143:
139:
128:
125:
117:
114:December 2010
106:
103:
99:
96:
92:
89:
85:
82:
78:
75: –
74:
70:
69:Find sources:
63:
59:
53:
52:
47:This article
45:
41:
36:
35:
30:
19:
869:
847:
830:
818:
810:
804:
795:
791:
787:
783:
779:
775:
771:
767:
763:
759:
757:
749:
742:
738:
734:
727:
723:
716:
712:
708:
704:
700:
696:
692:
689:transitively
684:
680:
676:
672:
671:to roots of
668:
664:
662:automorphism
660:, since the
657:
653:
649:
645:
641:
637:
633:
629:
625:
617:
613:
611:
606:
602:
594:
590:
585:
581:
577:
573:
565:
561:
557:
553:
549:
542:
540:
438:
435:
305:
295:
263:
241:
235:
232:
226:
220:
215:
210:
204:
197:
192:
188:
184:
171:
167:
158:
149:
145:
142:field theory
135:
120:
111:
101:
94:
87:
80:
68:
56:Please help
51:verification
48:
138:mathematics
29:Conjugation
841:References
817:such that
537:Properties
245:under the
216:conjugates
175:, are the
84:newspapers
871:MathWorld
807:Kronecker
399:−
386:−
351:−
162:, over a
884:Category
790:in Aut(
620:, with
597:is any
302:Example
179:of the
98:scholar
786:) for
648:) for
156:
152:of an
144:, the
100:
93:
86:
79:
71:
833:is a
825:have
752:'
748:over
745:'
737:over
730:'
719:'
699:) is
687:acts
593:. If
572:over
310:are:
290:of a
208:over
177:roots
105:JSTOR
91:books
741:and
715:and
632:) =
624:Aut(
77:news
800:sep
766:of
726:to
679:of
652:in
616:of
601:of
576:of
541:If
308:one
249:of
202:of
148:or
136:In
60:by
886::
868:.
802:.
521:1.
298:.
261:.
230:.
874:.
831:α
819:α
811:α
796:K
794:/
792:L
788:g
784:α
782:(
780:g
776:α
774:(
772:K
768:K
764:L
760:α
750:F
743:p
739:F
735:p
728:p
724:p
717:F
713:F
709:β
707:(
705:K
701:K
697:α
695:(
693:K
685:G
681:α
677:β
673:p
669:p
665:g
658:α
654:G
650:g
646:α
644:(
642:g
638:α
634:G
630:K
628:/
626:L
618:K
614:L
607:α
603:K
595:L
591:α
586:α
584:,
582:K
578:p
574:K
566:L
562:L
558:C
554:C
550:C
543:K
518:+
515:x
512:+
507:2
503:x
499:=
494:4
491:3
486:+
481:2
476:)
470:2
467:1
462:+
459:x
455:(
439:Q
414:i
409:2
405:3
394:2
391:1
379:i
374:2
370:3
364:+
359:2
356:1
344:1
338:{
333:=
327:3
323:1
277:R
255:K
251:L
242:α
236:α
227:α
221:α
211:K
205:α
200:)
198:x
196:(
193:α
191:,
189:K
185:p
172:K
170:/
168:L
159:α
127:)
121:(
116:)
112:(
102:·
95:·
88:·
81:·
54:.
31:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.