Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Web Analytics
Cookie Policy Terms and Conditions Extensão algébrica - Wikipédia

Extensão algébrica

Origem: Wikipédia, a enciclopédia livre.

Uma extensão algébrica F\,\! de um corpo E\,\! é um corpo que é contra-domínio de um homomorfismo injetivo \phi : E \rightarrow F \,\!, em todo elemento de F é algébrico em E, ou seja, todo elemento \alpha \in F é raiz de um polinômio cujos coeficientes são elementos de E. Esta definição é amplamente utilizada nos estudos de polinômios, notavelmente para a teoria de Galois. Note que a imagem de um polinômio por homomorfismo será um polinômio de mesmo grau; seus coeficientes serão imagem dos coeficientes do polinômio inicial:

\phi (a_{0} + a_{1} x + ... + a_{n} x^{n}) = \phi (a_{0}) +\phi (a_{1}) \phi (x) +...+\phi (a_{n}) \phi (x^{n}) = \phi (a_{0}) +...+\phi (a_{n}) \phi (x)^{n} \,\!

Em particular, se \alpha\,\! é raiz deste polinômio - sabendo-se que um homomorfismo leva o elemento neutro da soma de um corpo no elemento neutro da soma do outro - logo \phi ( \alpha )\,\! será raiz do polinômio \phi (a_{0}) +\phi (a_{1}) X +...+\phi (a_{n}) X^{n}\,\!.

[editar] Exemplos

  • A definição de extensão algébrica é, propositalmente, genérica para permitir construções de extensões. Um caso particular é quando E \subset F\,, a função

\phi\, é a função inclusão, E é um sub-corpo de F, e todo elemento de F é algébrico em E.

  • O conjunto \mathbb{Q} [i] = \{ a+bi | a,b \in \mathbb{Q} \}\,\! munido das aplicações usuais de soma e de multiplicação usuais dos números complexos é um corpo. A aplicação \phi : \mathbb{Q} \rightarrow \mathbb{Q} [i]\,\! é dada por \phi (a) = a+0i = a \,\!. Assim, o corpo \mathbb{Q} [i]\,\! é uma extensão algébrica de \mathbb{Q}\,\!
  • O conjunto dos números algébricos é uma extensão algébrica do conjuntos dos números racionais.
  • O corpo \mathbb{Q}(\pi), formado pelos números reais da forma \frac {f(\pi)} {g(\pi)}, sendo f e g polinômios com coeficientes inteiros, não é uma extensão algébrica de \mathbb{Q}, porque π não é algébrico em \mathbb{Q}. Esse é um exemplo de uma extensão transcendente.
  • O corpo \mathbb{Q}(\sqrt \pi), formado pelos números reais da forma \frac {f(\sqrt \pi)} {g(\sqrt \pi)}, sendo f e g polinômios com coeficientes inteiros, é uma extensão algébrica de \mathbb{Q}(\pi).

[editar] Extensão algébrica finita

Uma extensão algébrica finita F\,\! de um corpo E\,\! é um corpo que é contra-domínio de um homomorfismo injetivo \phi : E \rightarrow F \,\! onde o espaço vetorial F\,\! associado ao corpo \phi (E) \,\! é de dimensão finita.

[editar] Construção

Um dos teoremas mais poderosos da álgebra é aquele que diz, essencialmente, que todo polinômio tem uma raiz. A forma precisa deste teorema é:

Seja E um corpo, p(x) um polinômio com coeficientes em E. Então existe uma extensão algébrica F de E tal que p(x) tem (pelo menos) uma raiz em F.

A forma de construir este corpo F, no caso de p(x) ser um polinômio irreducível, é construir o anel E[x] de polinômios, definir o sub-anel < p(x) > em E[x], usar a irreducibilidade de p(x) para provar que o anel quociente F = \frac {E[x]} { <  p(x) > } é um corpo e que a função φ(e) = e + < p(x) > é um homomorfismo injetivo, e provar que, em F, x + < p(x) > é uma raiz de p(x).

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu