Gröbnerbas
Gröbnerbaser är ett verktyg för att lösa icke linjära ekvationssystem bestående av polynom. Det kan ses som en generalisering av en polynomring över en kropp .

Att räkna med gröbnerbaser kan ses som att göra gausselimination eller att hitta minsta gemensamma delaren på hos två polynom som inte är linjära

Begreppet Gröbnerbas introducerades 1965 av matematikern Bruno Buchberger i hans doktoravhandling där han använde dem för att bevisa sin tes. Buchberger döpte baserna efter sin rådgivare Wolfgang Gröbner.

Bakgrund

Gröbnerbaser är först och främst definierat för en ideella (icke tomma) polynomringar R=  över en kropp K. För alla former av kroppen K gäller teorin bakom gröbnerbaser men oftast så kroppar bestående av antingen rationella nummer eller integraler.

En polynom ring i en variabel kan ses som en summa av polynom 

där  
är ett element skilt från noll och n är ett heltal. Polynomringar är även definierade i flera variabler men eftersom notationen är omständlig så tänker jag lämna att förklara det.

Vid användning av gröbnerbaser så bör den bas för de polynom man använder vara i skrivna i linjär ordning (dvs en mängd där elementen är ordnade i stigande ordning) . Den bas som det är skrivna i brukar betecknas som monom, där en monom är den enklaste formen av ett polynom. Det kan innefatta en variabel eller fler variabler med både exponenter och konstanter framför sig.

Ett till viktigt begrepp kopplat till gröbnerbaser är division med flera variabler också kallat reduktion. När man pratar om division med flera variabler så använder du termen ledande monom, det vill säga det monomet i polynmet som har högst gradtal. Till exempel så lm(x^3+y)=x^3.

Om man har två polynom f och g så säger man att reducerbart om något monom m i f är en multipel av det ledande monomet i g, m=lm(g).

Definition
Låt gröbnerbasen G tillhör den ideal (ideal betyder att de additativa lagarna multiativa lagarna gäller, dvs om x,y tillhör I och a,b är reella tal så tillhör ax+by också I) delmängd I tillpo lynom ringen R i en kropp. G är då en gröbner bas om kroppen R har dessa egenskaper.

•	De ideala som ges av polynomen som är bas för I kan beskrivas som bas för G 
•	Polynomen i I är delbar med något av de polynom som är bas för G
•	Division av flera variabler av något polynom i polynom ringen R med G ger en unik rest
•	Division av flera variabler med något polynom i I med G ger resten 0

Sedan tänkte jag också beskriva definitionen på ett mer matematiskt sätt vilket beskriv i boken ”An Intuduction to Gröbner Bases” av Ralf Fröberg.

Sats
Låt ] tillhöra ] sen låter du resten du får om du dividerar f med G då, G=[g1, ..,gs] om resten då blir noll kommer f tillhöra G.

Vi vill sedan hitta ett G=[g1, ..,gs]  för a= [g1, ..,gs] så att divisionen mellan f1 och f2 med G' är lika så länge f1 och f2 tillhör a.

Definition
Låt a vara en ideal i mängden ]. Då kallas ett visst [g1, ..,gs] element i a med egenskapen att oavsett vilket element ut kroppen k dividerat med dessa uppsättningar med g är identiska för en gröbner bas till a.

Sats
Om [g1, ..,gs] är en gröbnerbas till a spänner [g1, ..,gs] upp hela a.

Bevis
Man kan se att [g1, ..,gs] tillhör a eftersom gi tillhör a för alla i. Låt oss säga att f tillhör a. Man kan då säga att lm(f) tillhör (lm(g1),..,lm(gs)), för  något gk och något n kommer lm(f-ngk)= lm(f). Eftersom f - f-ngk tillhör a''' får vi att f kommer att tillhöra [g1, ..,g''s].

Källor

Algebraisk geometri
Vetenskapliga principer uppkallade efter personer
Invariantteori
Kommutativ algebra
Gröbnerbaser är ett verktyg för att lösa icke linjära ekvationssystem bestående av polynom . Det kan ses som en generalisering av en polynomring över en kropp \ . Att räkna med gröbnerbaser kan ses som att göra gausselimination eller att hitta minsta gemensamma delaren på hos två polynom som inte är linjära Begreppet Gröbnerbas introduceradesav matematikern Bruno Buchberger i hans doktoravhandling där han använde dem för att bevisa sin tes . Buchberger döpte baserna efter sin rådgivare Wolfgang Gröbner . Bakgrund Gröbnerbaser är först och främst definierat för en ideella ( icke tomma ) polynomringar R= över en kropp K. För alla former av kroppen K gäller teorin bakom gröbnerbaser men oftast så kroppar bestående av antingen rationella nummer eller integraler . En polynom ring i en variabel kan ses som en summa av polynom där är ett element skilt från noll och n är ett heltal . Polynomringar är även definierade i flera variabler men eftersom notationen är omständlig så tänker jag lämna att förklara det . Vid användning av gröbnerbaser så bör den bas för de polynom man använder vara i skrivna i linjär ordning ( dvs en mängd där elementen är ordnade i stigande ordning ) \ . Den bas som det är skrivna i brukar betecknas som monom , där en monom är den enklaste formen av ett polynom . Det kan innefatta en variabel eller fler variabler med både exponenter och konstanter framför sig . Ett till viktigt begrepp kopplat till gröbnerbaser är division med flera variabler också kallat reduktion . När man pratar om division med flera variabler så använder du termen ledande monom , det vill säga det monomet i polynmet som har högst gradtal . Till exempel så lm( x^3+y) =x^3 . Om man har två polynom f och g så säger man att reducerbart om något monom m i f är en multipel av det ledande monomet i g , m=lm( g ) . Definition Låt gröbnerbasen G tillhör den ideal ( ideal betyder att de additativa lagarna multiativa lagarna gäller , dvs om x,y tillhör I och a,b är reella tal så tillhör ax+by också I ) delmängd I tillpo lynom ringen R i en kropp . G är då en gröbner bas om kroppen R har dessa egenskaper . • De ideala som ges av polynomen som är bas för I kan beskrivas som bas för G • Polynomen i I är delbar med något av de polynom som är bas för G • Division av flera variabler av något polynom i polynom ringen R med G ger en unik rest • Division av flera variabler med något polynom i I med G ger resten 0 Sedan tänkte jag också beskriva definitionen på ett mer matematiskt sätt vilket beskriv i boken ”An Intuduction to Gröbner Bases” av Ralf Fröberg . Sats Låt ] tillhöra ] sen låter du resten du får om du dividerar f med G då , G=[ g1 ,\..,gs ] om resten då blir noll kommer f tillhöra G . Vi vill sedan hitta ett G=[ g1 ,\..,gs ] för a= [ g1 , \..,gs ] så att divisionen mellan f1 och f2 med G ' är lika så länge f1 och f2 tillhör a . Definition Låt a vara en ideal i mängden ] . Då kallas ett visst [ g1 , \..,gs ] element i a med egenskapen att oavsett vilket element ut kroppen k dividerat med dessa uppsättningar med g är identiska för en gröbner bas till a . Sats Om [ g1 , \..,gs ] är en gröbnerbas till a spänner [ g1 ,\..,gs ] upp hela a. Bevis Man kan se att [ g1 , \..,gs ] tillhör a eftersom gi tillhör a för alla i . Låt oss säga att f tillhör a . Man kan då säga att lm(f ) tillhör ( lm( g1 ) ,..,lm( gs ) ) , för något gk och något n kommer lm( f-ngk ) = lm( f ) . Eftersom f - f-ngk tillhör a ' ' ' får vi att f kommer att tillhöra [ g1,\..,g ' ' s ] . Källor Algebraisk geometri Vetenskapliga principer uppkallade efter personer Invariantteori Kommutativ algebra