National Repository of Grey Literature 3 records found  Search took 0.01 seconds. 
Automorphisms of Weil algebras
Osička, Jakub ; Doupovec, Miroslav (referee) ; Kureš, Miroslav (advisor)
This bachelor thesis deals with Weil algebras and their automorphism groups. First we introduce underlying definitions and concepts from commutative algebra, topology and differential geometry. Next, we define Weil algebra and provide some examples. In following chapters we summarize known results about group of automorphisms of Weil algebras and illustrate them on specific examples. The conclusion is devoted to newly obtained results.
Determining primeness of an ideal?
Stejskal, Adam ; Šťovíček, Jan (advisor) ; Šaroch, Jan (referee)
We present an algorithm for determining whether an ideal in a polynomial ring is prime or not. We use the Gröbner bases as a main tool for operations with ideals. We show an analogue of Buchberger's algorithm for computing a Gröbner basis for an ideal in polynomials over a ring, which not need to be a field. We also show a relation between prime ideals in polyno- mials over a ring R and prime ideals in polynomials over a quotient ring of R modulo a prime ideal. We are primarilly discussing the issues of theoretical corectness, but we also present the conditions of actual computability. 1
Determining primeness of an ideal?
Stejskal, Adam ; Šťovíček, Jan (advisor) ; Šaroch, Jan (referee)
We present an algorithm for determining whether an ideal in a polynomial ring is prime or not. We use the Gröbner bases as a main tool for operations with ideals. We show an analogue of Buchberger's algorithm for computing a Gröbner basis for an ideal in polynomials over a ring, which not need to be a field. We also show a relation between prime ideals in polyno- mials over a ring R and prime ideals in polynomials over a quotient ring of R modulo a prime ideal. We are primarilly discussing the issues of theoretical corectness, but we also present the conditions of actual computability. 1

Interested in being notified about new results for this query?
Subscribe to the RSS feed.