Algebra elemento: Malsamoj inter versioj

[nekontrolita versio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
e plibonigadeto per AWB
e aŭ '''algebraj elementoj'''; polurado
Linio 1:
[[Radiko (matematiko)|Radikoj]] de [[polinomo]]j estas en [[abstrakta algebro]] nomitajkaj kiel[[Korpa teorio (matematiko)|korpa teorio]] nomitaj '''algebraj eroj''' aŭ '''algebraj elementoj'''. Ili povas kreiĝi en pli grandan strukturon.
{{polurinda}}
ŭ
Radikoj de [[polinomo]]j estas en [[abstrakta algebro]] nomitaj kiel '''algebraj eroj'''. Ili povas kreiĝi en pli grandan strukturon.
Pli detale, se ''L'' estas [[kampakorpa vastigaĵo]] de ''K'' do ero ''A'' de ''L'' estas nomita kiel '''algebra ero''' super ''K'', aŭ '''algebra supero''' de ''K'', se tie ekzistas iu nenula [[polinomo]] ''g''(''x'') kun [[koeficiento]]j en ''K'' tia ke ''g''(''A'')=0. Eroj de ''L'', kiuj ne estas algebraj superoj de ''K'' estas nomitaj kiel '''transcendaj''' super ''K''.
 
Ĉi tiuj nocioj ĝeneraligas la [[Algebra nombro|algebrajn nombrojn]] kaj la [[Transcenda nombro|transcendajn nombrojn]] (se la kampakorpa vastigaĵo estas '''C'''/'''Q''', '''C''' estas la kampo[[korpo (algebro)|korpo]] de [[kompleksa nombro|kompleksaj nombroj]] kaj '''Q''' estas la kampo[[korpo (algebro)|korpo]] de [[racionala nombro|racionalaj nombroj, racionoj, racionaloj)]]).
Pli detale, se ''L'' estas [[kampa vastigaĵo]] de ''K'' do ero ''A'' de ''L'' estas nomita kiel '''algebra ero''' super ''K'', aŭ '''algebra supero''' de ''K'', se tie ekzistas iu nenula [[polinomo]] ''g''(''x'') kun [[koeficiento]]j en ''K'' tia ke ''g''(''A'')=0. Eroj de ''L'' kiuj ne estas algebraj superoj de ''K'' estas nomitaj kiel '''transcendaj''' super ''K''.
 
Ĉi tiuj nocioj ĝeneraligas la [[Algebra nombro|algebrajn nombrojn]] kaj la [[Transcenda nombro|transcendajn nombrojn]] (se la kampa vastigaĵo estas '''C'''/'''Q''', '''C''' estas la kampo de [[kompleksa nombro|kompleksaj nombroj]] kaj '''Q''' estas la kampo de [[racionala nombro|racionalaj nombroj, racionoj, racionaloj)]]).
 
== Ekzemploj ==
Linio 10 ⟶ 9:
* [[Pi (nombro)|Pi]] estas transcenda super '''Q''', sed algebra super la [[korpo (algebro)|korpo]] de [[Reela nombro|reelaj nombroj]] '''R'''.
 
== PropraĵojProprecoj ==
 
Jenaj kondiĉoj estas ekvivalento por ero ''A'' de ''L'':
* ''A'' estas algebra super ''K''
* la kampakorpa vastigaĵo ''K''(''A'')/''K'' havas finia grado, mit.e. la dimensio de ''K''(''A'') kiel ''K''-[[vektora spaco]] estas finia. (Ĉiĉi-tie ''K''(''A'') kaj signifas la plej minusklamalgrandan subkorposubkorpon de ''L'' enhavantaenhavantan ''K'' kaj ''A'').
* ''K''[''A''] = ''K''(''A''), kie ''K''[''A''] estas la aro de ĉiuj eroj de ''L'' (tiu, ke)kiu povas esti skribita en la formo ''g''(''A'') kun polinoma ''g'' kies koeficientoj (mensogi, kuŝi)aperas en ''K''.
 
Ĉi tiu karakterizado povas kutimiesti montriuzata (tiu,por montri ke) la sumo, diferenco, (produkto, produto) kaj rilatokvociento de algebraj eroj super ''K'' estas denove algebra super ''K''. La aro de ĉiuj eroj de ''L'', kiukiuj estas algebraalgebraj super ''K'', estas kampokorpo (tiu, ke) (sidas, kovas)kiu ensituas inter ''L'' kaj ''K''.
 
Se ''A'' estas algebra super ''K'', tiam estas multaj ne-nulaj polinomoj ''g''(''x'') kun koeficientoj en ''K'' tia (tiutiaj, ke)kia ''g''(''A'') = 0. Tamen estas unulitanur unu kun plej minusklamalgranda grado kaj kun kondukante koeficiento 1. Ĉi tiu estas la [[minimuma polinoma]] de ''A'' kaj ĝi kodasenkodas multajmultajn gravajgravajn propraĵojproprecojn de ''A''.
 
Kampoj (tiuKorpoj, ke) farikiuj ne permesipermesas ĉiujiujn algebrajajn erojalgebrajn erojn super ilinsi mem (esceptiescepte iliasiajn posediproprajn erojerojn) estas nomitanomitaj algebre fermitafermitaj. La kampokorpo de (kompleksaj nombroj, kompleksoj, imaginaroj) estas ekzemplo.
 
[[Kategorio:AlgebroAbstrakta algebro]]