Valuare (algebră)

În algebră (în particular în geometria algebrică sau teoria algebrică a numerelor), o valuare[1] este o funcție definită pe un corp care oferă o măsură a mărimii sau a multiplicității elementelor corpului. Aceasta generalizează în algebra comutativă noțiunea de mărime inerentă considerării gradului unui pol sau multiplicității unui zero din analiza complexă, gradul de divizibilitate al unui număr cu un număr prim din teoria numerelor și conceptul geometric de contact dintre două varietăți algebrice sau analitice din geometria algebrică. Un corp înzestrat cu o valuare se numește corp valuat.

Definiție

Se începe cu următoarele obiecte:

Ordonarea și legea grupului din Γ sunt extinse la mulțimea Γ ∪ {∞}[a] prin următoarele reguli:

  • ∞ ≥ α, pentru orice αΓ,
  • ∞ + α = α + ∞ = ∞ + ∞ = ∞, pentru orice αΓ.

O valuare a lui K este orice funcție

v : K → Γ ∪ {∞}

care satisface următoarele proprietăți pentru orice elemente a și b din K:

  • v(a) = ∞ dacă și numai dacă a = 0,
  • v(ab) = v(a) + v(b),
  • v(a + b) ≥ min(v(a), v(b)), cu egalitate dacă v(a) ≠ v(b).

O valuare v este trivială dacă v(a) = 0 pentru orice a din K×, iar în caz contrar este netrivială.

A doua proprietate afirmă că orice valuare este un morfism de grupuri pe K×. A treia proprietate este o versiune a inegalității triunghiului pe spații metrice adaptată la un Γ arbitrar (a se vedea Notația multiplicativă de mai jos). Pentru valuările utilizate în aplicații geometrice, prima proprietate implică faptul că orice germen nevid al unei varietăți analitice în apropierea unui punct conține acel punct.

Valuarea poate fi interpretată ca ordinul termenului de ordin dominant.[b] A treia proprietate corespunde atunci ordinului unei sume, fiind ordinul termenului cel mai mare,[c] cu excepția cazului în care cei doi termeni au același ordin, caz în care se pot anula, iar suma ar avea un ordin mai mare.

În multe aplicații, Γ este un subgrup aditiv al numerelor reale [d], caz în care ∞ poate fi interpretat ca +∞ în mulțimea numerele reale extinse; se observă că pentru orice număr real a, și astfel +∞ este elementul neutru al legii de compoziție minimum. Numerele reale (extinse cu +∞) cu operațiile de minimum și adunare formează un semi-inel, numit semi-inelul tropical min,[e] și o valuare v este aproape un morfism de semi-inele de la K la semi-inelul tropical, cu excepția faptului că proprietatea de morfism nu este neapărat îndeplinită atunci când se adună două elemente cu aceeași valuare.

Notație multiplicativă și valori absolute

Conceptul a fost dezvoltat de Emil Artin în cartea sa Geometric Algebra scriind grupul în notație multiplicativă ca (Γ, ·, ≥):[2]

În loc de ∞, se adaugă în Γ un simbol formal O, cu ordonarea și legea de grup extinse prin următoarele reguli:

  • Oα, pentru orice αΓ,
  • O · α = α · O = O, pentru orice αΓ.

Atunci o valuare a lui K este orice funcție

| ⋅ |v : K → Γ ∪ {O}

care satisface următoarele proprietăți pentru orice a, bK:

  • |a|v = O dacă și numai dacă a = 0,
  • |ab|v = |a|v · |b|v,
  • |a+b|v ≤ max(|a|v, |b|v), cu egalitate dacă |a|v|b|v.

(De remarcat că direcțiile inegalităților sunt inversate față de cele din notația aditivă.)

Dacă Γ este un subgrup al numerelor reale pozitive cu operația de înmulțire, ultima condiție este inegalitatea ultrametrică, o formă mai puternică a inegalității triunghiului |a+b|v|a|v + |b|v, iar | ⋅ |v este o valoare absolută. În acest caz, se poate trece la notația aditivă cu grup de valori luând v+(a) = −log |a|v.

Fiecare valuare pe K definește o preordine liniară corespunzătoare: ab|a|v|b|v. Reciproc, fiind dată o relație „ ” care satisface proprietățile cerute, putem defini valuarea |a|v = {b: baab}, cu înmulțirea și ordonarea bazate pe K și .

Terminologie

În acest articol folosim termenii definiți mai sus în notația aditivă. Cu toate acestea, unii autori folosesc termeni alternativi:

  • „valuarea” noastră (care satisface inegalitatea ultrametrică) se numește „valuare exponențială” sau „valoare absolută nearhimediană” sau „valoare absolută ultrametrică”;
  • „valoarea absolută” a noastră (care satisface inegalitatea triunghiului) se numește „valuare” sau „valoare absolută arhimediană”.

Obiecte asociate

Există mai multe obiecte definite pe baza unei valuări date v : K → Γ ∪ {∞};

  • grupul de valori sau grupul de valuare Γv = v(K×), un subgrup al lui Γ (deși v este de obicei surjectivă, astfel că Γv = Γ);
  • inelul de valuare Rv este mulțimea elementelor aK cu v(a) ≥ 0,
  • idealul prim mv este mulțimea elementelor aK cu v(a) > 0 (este de fapt un ideal maximal al lui Rv),
  • corpul de reziduuri kv = Rv/mv,
  • locul lui K asociat lui v, clasa lui v în raport cu relația de echivalență definită mai jos.

Proprietăți de bază

Echivalența valuărilor

Două valuări v1 și v2 ale lui K cu grupurile de valuare Γ1, respectiv Γ2, se spune că sunt echivalente dacă există un izomorfism de grupuri φ : Γ1 → Γ2 care păstrează ordonarea astfel încât v2(a) = φ(v1(a)) pentru orice a din K×. Aceasta este o relație de echivalență.

Două valuări ale lui K sunt echivalente dacă și numai dacă au același inel de valuare.

O clasă de echivalență de valuări ale unui corp se numește loc. Teorema lui Ostrowski oferă o clasificare completă a locurilor corpului de numere raționale acestea sunt exact clasele de echivalență ale valuărilor completărilor p-adice ale lui

Extinderea valuărilor

Fie v o valuare a lui K și fie L o extindere a corpului K. O extindere a lui v (la L) este o valuare w a lui L cu proprietatea că restricția lui w la K este v. Mulțimea tuturor acestor extinderi este studiată în teoria ramificației valuărilor.

Fie L/K o extindere finită și fie w o extindere a lui v la L. Indicele lui Γv în Γw, e(w/v) = [Γw : Γv], se numește indice de ramificare redus al lui w peste v. Acesta satisface inegalitatea e(w/v) ≤ [L : K] (gradul extinderii L/K). Gradul relativ al lui w peste v este definit ca fiind f(w/v) = [Rw/mw : Rv/mv] (gradul extinderii de corpuri de reziduuri). Este, de asemenea, mai mic sau egal cu gradul extinderii L/K. Când extinderea L/K este separabilă, indicele de ramificare a lui w peste v este definit ca fiind e(w/v)pi, unde pi este gradul de inseparabilitate al extinderii Rw/mw peste Rv/mv.

Corpuri valuate complete

Când grupul abelian ordonat Γ este grupul aditiv al numerelor întregi, valuarea asociată este echivalentă cu o valoare absolută și, prin urmare, induce o metrică pe corpul K. Dacă K este complet în raport cu această metrică, atunci se numește corp valuat complet. Dacă K nu este complet, se poate folosi valuarea pentru a construi completarea acestuia, ca în exemplele de mai jos, iar valuări diferite pot defini completări de corpuri diferite.

În general, o valuare induce o structură uniformă pe K, iar K se numește corp valuat complet dacă este complet ca spațiu uniform. Există o proprietate înrudită cunoscută sub numele de completitudine sferică: este echivalentă cu completitudinea dacă dar mai puternică în general.

Exemple

Valuarea p-adică

Cel mai de bază exemplu este valuarea p-adică νp asociată unui număr prim p, pe numerele raționale cu inelul de valuare unde este localizarea lui la idealul prim . Grupul de valuare este grupul aditiv al numerelor întregi Pentru un număr întreg valuarea νp(a) măsoară divizibilitatea lui a prin puterile lui p:

iar pentru o fracție, νp(a/b) = νp(a) − νp(b).

Scriind acest lucru în notație multiplicativă, se obține valoarea absolută p-adică, care în mod convențional are ca bază , deci .

Completarea lui în raport cu νp este corpul al numerelor p-adice.

Ordinul de anulare

Fie K = F(x), funcțiile raționale pe dreapta afină X = F1, și un punct a ∈ X. Pentru un polinom cu , se definește va(f) = k, ordinul de anulare în x = a; și va(f /g) = va(f) − va(g). Atunci inelul de valuare R este format din funcții raționale fără pol în x = a, iar completarea este inelul de serii Laurent formale F((xa)). Acest lucru poate fi generalizat la corpul seriilor Puiseux K{{t}} (puteri fracționare), corpul Levi-Civita (completarea Cauchy a sa) și corpul seriilor Hahn, cu valuarea în toate cazurile returnând cel mai mic exponent al lui t care apare în serie.

Valuarea π-adică

Generalizând exemplele anterioare, fie R un domeniu cu ideale principale, K corpul său de fracții iar π un element ireductibil al lui R. Deoarece fiecare domeniu cu ideale principale este un inel factorial, fiecare element nenul a al lui R poate fi scris (esențialmente) în mod unic ca

unde e-urile sunt numere naturale și pi -urile sunt elemente ireductibile ale lui R care nu sunt asociate cu π. În particular, numărul ea este unic determinat de a.

Valuarea π-adică a lui K este dată de

Dacă π' este un alt element ireductibil al lui R astfel încât (π') = (π) (adică generează același ideal în R), atunci valuarea π-adică și valuarea π'-adică sunt egale. Astfel, valuarea π-adică poate fi numită valuarea P-adică, unde P = (π).

Valuare p-adică pe un domeniu Dedekind

Exemplul anterior poate fi generalizat la domenii Dedekind. Fie R un domeniu Dedekind, K corpul său de fracții și fie P un ideal prim nenul al lui R. Atunci, localizarea lui R la P, notată RP, este un domeniu cu ideale principale al cărui corp de fracții este K. Construcția din secțiunea anterioară aplicată idealului prim PRP al lui RP conduce la valuarea P-adică a lui K.

Spații vectoriale peste corpuri de valuare

Presupunem că Γ ∪ {0} este mulțimea numerelor reale nenegative cu operația de înmulțire. Spunem că valuarea este nediscretă dacă imaginea sa (grupul de valuare) este infinită (și, prin urmare, are un punct de acumulare în 0).

Presupunem că X este un spațiu vectorial peste K și că A și B sunt submulțimi ale lui X. Atunci spunem că A absoarbe B dacă există un αK astfel încât λK și |λ| ≥ |α| implică B ⊆ λ A. A se numește radial sau absorbant dacă absoarbe fiecare submulțime finită a lui X. Submulțimile radiale ale lui X sunt invariante la intersecții finite. De asemenea, A se numește încercuit dacă λ în K și |λ| ≥ |α| implică λ A ⊆ A. Mulțimea de submulțimi încercuite ale lui L este invariantă în raport cu intersecțiile arbitrare. Învelișul încercuit al lui A este intersecția tuturor submulțimilor încercuite ale lui X care conțin A.

Presupunem că X și Y sunt spații vectoriale peste un corp valuat nediscret K, fie A ⊆ X, B ⊆ Y și fie f : X → Y o aplicație liniară. Dacă B este încercuit sau radial, atunci este la fel. Dacă A este încercuit, atunci f(A) este la fel, dar dacă A este radial, atunci f(A) va fi radial cu condiția suplimentară că f este surjectivă.

Note

  1. ^ Simbolul ∞ desemnează un element care nu se află în Γ, fără altă semnificație. Proprietățile sale sunt definite de axiomele date.
  2. ^ Cu convenția min aici, valuarea este mai degrabă interpretată ca opusul ordinului termenului de ordin dominant, dar cu convenția max poate fi interpretată ca ordin.
  3. ^ Din nou, inversate deoarece se folosește convenția cu minimum.
  4. ^ Orice grup arhimedian este izomorf cu un subgrup al numerelor reale în raport cu adunarea, dar există și grupuri ordonate nearhimediene, cum ar fi grupul aditiv al unui corp ordonat nearhimedian.
  5. ^ În semi-inelul tropical, minimumul și adunarea numerelor reale sunt considerate adunare tropicală și înmulțire tropicală; acestea sunt operațiile semi-inelului.

Bibliografie

  1. ^ Ion D. Ion, Nicolae Radu (). Algebră (ed. 4). Editura didactică și pedagogică. p. 408. 
  2. ^ Emil Artin Geometric Algebra, paginile 47-49, via Internet Archive

Legături externe

Read other articles:

ЛюсіLucy   Країна  Франція Регіон Гранд-Ест  Департамент Мозель  Округ Саррбур-Шато-Сален Кантон Дельм Код INSEE 57424 Поштові індекси 57590 Координати 48°56′33″ пн. ш. 6°28′15″ сх. д.H G O Висота 228 - 315 м.н.р.м. Площа 7,36 км² Населення 235 (01-2020[1]) Густота 28,4 ос./км² Розмі

 

 

Ein FW3/22 Pillbox-Bunker nahe dem Kennet-und-Avon-Kanal Die General Headquarters Line (auch als GHQ Line bezeichnet) war eine britische, während des Zweiten Weltkrieges angelegte Verteidigungslinie. Diese als Hauptverteidigungsstellung angelegte Linie sollte den Großraum London und das mittelenglische Industriegebiet schützen. Dieses Verteidigungssystem beginnt am Nordende der Taunton Stop Line nahe dem Ort Highbridge in Somerset, verläuft dann längs des Flusses Brue und des Kennet-und-...

 

 

A variation of Cartoon Network's current logo, which resembles the network's original logo, used since 2010. This is a list of television programs currently or formerly broadcast by Cartoon Network in the United States. The network was launched on October 1, 1992, and airs mainly animated programming, ranging from action to animated comedy. In its early years, Cartoon Network's programming was predominantly made up of reruns of Looney Tunes, Tom and Jerry, and Hanna-Barbera shows (most notabl...

1985 studio album by StarshipKnee Deep in the HooplaStudio album by StarshipReleasedSeptember 10, 1985Recorded1984−1985Studio Record Plant, Sausalito Music Grinder, Los Angeles GenreAOR, pop rockLength40:28LabelGrunt/RCAProducer Peter Wolf Jeremy Smith Dennis Lambert (executive producer) Starship chronology Knee Deep in the Hoopla(1985) No Protection(1987) Singles from Knee Deep in the Hoopla We Built This CityReleased: August 1985 (US)[1] SaraReleased: December 1985 Tomorro...

 

 

2022 Indian crime thriller web series A major contributor to this article appears to have a close connection with its subject. It may require cleanup to comply with Wikipedia's content policies, particularly neutral point of view. Please discuss further on the talk page. (July 2022) (Learn how and when to remove this template message) Cyber Vaar – Har Screen Crime Scene is and Indian crime thriller web series directed by Ankush Bhatt. Produced by Tanveer Bookwala under the banner of Ding En...

 

 

『聖カタリナの神秘の結婚』英語: Mystic Marriage of St. Catherine作者ハンス・メムリンク製作年1480年代初期寸法67 cm × 72.1 cm (26 in × 28.4 in)所蔵メトロポリタン美術館、ニューヨークウェブサイトハンス・メムリンク『聖カタリナの神秘の結婚』 (英語) 『聖カタリナの神秘の結婚』(せいカタリナのしんぴのけっこん、英: Mystic Marriage of St. Cath...

Carthusian monastery in Galluzzo, Florence Florence Charterhouse church The courtyard of the monastery Florence Charterhouse (Certosa di Firenze or Certosa del Galluzzo) is a charterhouse, or Carthusian monastery, located in the Florence suburb of Galluzzo, in central Italy. The building is a walled complex located on Monte Acuto, at the point of confluence of the Ema and Greve rivers. The charterhouse was founded in 1341 by the Florentine noble Niccolò Acciaioli, Grand Seneschal of the King...

 

 

Protein-coding gene in the species Homo sapiens FOXK2Available structuresPDBOrtholog search: PDBe RCSB List of PDB id codes1JXS, 2C6YIdentifiersAliasesFOXK2, ILF, ILF-1, ILF1, forkhead box K2, nGTBPExternal IDsOMIM: 147685 MGI: 1916087 HomoloGene: 18748 GeneCards: FOXK2 Gene location (Human)Chr.Chromosome 17 (human)[1]Band17q25.3Start82,519,713 bp[1]End82,644,662 bp[1]Gene location (Mouse)Chr.Chromosome 11 (mouse)[2]Band11|11 E2Start121,259,990 bp[2 ...

 

 

American judge Denning's portrait at the Illinois Supreme Court. William A. Denning (1817 – September 4, 1856) was an American jurist and politician. Born in Kentucky, Denning moved to Frankfort, Illinois to practiced law. He then moved to Benton, Illinois when the county seat for Franklin County, Illinois was relocated from Frankfort to Benton. From 1844 to 1847, Denning served in the Illinois House of Representatives and was a Democrat. From 1847 to 1848, Denning served on the Illinoi...

このページのノートに、このページに関する注意があります。(2021年10月)注意の要約:過去の報道について この記事の主題はウィキペディアにおける独立記事作成の目安を満たしていないおそれがあります。目安に適合することを証明するために、記事の主題についての信頼できる二次資料を求めています。なお、適合することが証明できない場合には、記事は統合...

 

 

Non-profit civil rights organization This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) A major contributor to this article appears to have a close connection with its subject. It may require cleanup to comply with Wikipedia's content policies, particularly neutral point of view. Please discuss further on the talk page. (May 2020) (Learn how and when to remove this template message) This art...

 

 

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (فبراير 2019) ديك يونغ معلومات شخصية تاريخ الميلاد 16 سبتمبر 1885  تاريخ الوفاة 1 يوليو 1968 (82 سنة)   الجنسية المملكة المتحدة المملكة المتحدة لبريطانيا العظمى وأيرلندا (–...

Device inserted into the vagina for medical purposes This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Pessary – news · newspapers · books · scholar · JSTOR (May 2008) (Learn how and when to remove this template message) Gold-plated stem pessary (intrauterine device) from 1920 A pessary is a prosthetic device ...

 

 

South Korean actor and singer For the football player, see Lee Jun-ki. In this Korean name, the family name is Lee. Lee Joon-giLee in 2022Born (1982-04-17) 17 April 1982 (age 41)Busan, South KoreaEducationSeoul Arts CollegeOccupationsActorsingerdancermodelYears active2001–presentAgentNamoo Actors[1]Korean nameHangul이준기Hanja李準基Revised RomanizationI Jun-giMcCune–ReischauerYi Chungi Websitewww.leejoongi.co.kr Lee Joon-gi (born 17 April 1982)[2] is a Sout...

 

 

The Lion Arts Centre in Adelaide's West End at night. The venue has hosted live music since 1986. Music of Adelaide includes music relating to the city of Adelaide, South Australia. It includes all genres of both live and recorded music by artists born or living in the city, live music events happening in the city, and other aspects of the music industry relating to Adelaide. Adelaide is a UNESCO City of Music. It enjoys several annual music festivals and awards, and possibly has more live mu...

У этого термина существуют и другие значения, см. Дом Союзов (значения). ДостопримечательностьДом Союзов Фасад со стороны Охотного Ряда 55°45′31″ с. ш. 37°36′59″ в. д.HGЯO Страна  Россия Город Москва, ЦАО, Тверской район, ул. Большая Дмитровка, д. 1 Архитектурный стил...

 

 

Chemical compound PrulifloxacinClinical dataTrade namesQuisnon, Unidrox, Prixina, GlimbaxAHFS/Drugs.comInternational Drug NamesRoutes ofadministrationOralATC codeJ01MA17 (WHO) Legal statusLegal status Rx-only (Japan, Italy, Austria) Pharmacokinetic dataMetabolismBy esterases, to ulifloxacinElimination half-life7.7 to 8.9 hoursExcretionRenal and fecalIdentifiers IUPAC name (RS)-6-Fluoro-1-methyl-7-[4-(5-methyl-2-oxo-1,3-dioxolen-4-yl)methyl-1-piperazinyl]-4-oxo-4H-[1,3]thiazeto[3,2-a...

 

 

Stefanía Serie de televisiónGénero TelenovelaCreado por Alfredo LimaBasado en My Cousin Rachelde Daphne du Maurier.Guion por Historia OriginalAlfredo LimaAdaptaciónGerardo GalvánDirigido por Martha RegueraProtagonistas Silvia MontanariAlberto MartínJorge BarreiroCristina TejedorTema principal Mi gran necesidad(interpretado por María Celeste)Ambientación Mar del Plata, 1981País de origen ArgentinaIdioma(s) original(es) EspañolN.º de episodios 129LanzamientoMedio de difusión Canal 1...

Ned BeattyDate personaleNăscut6 iulie 1937[1][2][3][4] Louisville, Kentucky, SUA[5] Decedat13 iunie 2021 (83 de ani)[6][7] Los Angeles, California, SUA[6][7] Cauza decesuluicauze naturale[6][7] Număr de copii8 Cetățenie Statele Unite ale Americii Ocupațieumoristactor de filmactor de televiziune[*]​actor de voce[*]​actor de teatru[*]​actor Limbi vorbitelimba engleză[8] A...

 

 

Cees Heerschop Personlig informationFulde navn Cees HeerschopFødt 14. februar 1935(1935-02-14) Hilversum, HollandDød 24. juli 2014 (79 år)Eindhoven, TysklandHøjde 178 cm.Position ForsvarerSeniorkarriere*År Hold Kampe† (Mål)†1956–1964 PSV 191 (1)1964–1965 NEC 10 (1) * Seniorklubkampe og -mål tælles kun for den hjemlige liga. † Kampe (mål). Cees Heerschop (14. februar 1935 - 24. juli 2014) var en hollandsk fodboldspiller (forsvarer). Han spillede i Æresdivisionen f...

 

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!