Computation of Invariant Rings of Finite Groups Using Canonical Bases
I denna avhandling diskuterar vi två kraftfulla verktyg inom matematiken – SAGBI-baser och Gröbner-baser – samt deras samspel med invariantteori. Dessa baser används främst för att effektivt hantera system av polynom. För att illustrera deras tillämpningar inom invariantteori och närliggande områden presenterar vi olika algoritmer genom hela avhandlingen. Invariantteori är studiet av matematiska This thesis investigates the computation of SAGBI-Gröbner bases for ideals in invariant polynomial rings under non-modular permutation group actions. We extend Buchberger's Algorithm for ideals in polynomial rings to ideals in invariant polynomial rings. By introducing a suitable degree bound, we construct a partial invariant Gröbner basis for an ideal in an invariant ring, from which minimal
