|
|
Operadic resolutions of diagrams
Doubek, Martin ; Markl, Martin (advisor) ; Somberg, Petr (referee) ; Čadek, Martin (referee)
of the Doctoral Thesis Operadic Resolutions of Diagrams by Martin Doubek We study resolutions of the operad AC describing diagrams of a given shape C in the category of algebras of a given type A. We prove the conjecture by Markl on constructing the resolution out of resolutions of A and C, at least in a certain restricted setting. For associative algebras, we make explicit the cohomology theory for the diagrams and recover Gerstenhaber-Schack diagram cohomology. In general, we show that the operadic cohomology is Ext in the category of operadic modules. 1
|
|
|
Algorithms for the computation of Galois groups
Kubát, David ; Žemlička, Jan (advisor) ; Růžička, Pavel (referee)
This thesis covers the topic of the computation of Galois groups over the rationals. Beginning with the classic algorithm by R. Stauduhar, we then review the theory necessary to explain the modular algorithm by K. Yokoyama. More precisely, we discuss the notion of the universal splitting ring of a polynomial. For a separable polynomial, we then study idempotents in the universal splitting ring. The modular algorithm involves computations in the ring of p-adic integers. Examples are given for polynomials of degree 3 and 4.
|
|
|
Operadic resolutions of diagrams
Doubek, Martin ; Markl, Martin (advisor) ; Somberg, Petr (referee) ; Čadek, Martin (referee)
of the Doctoral Thesis Operadic Resolutions of Diagrams by Martin Doubek We study resolutions of the operad AC describing diagrams of a given shape C in the category of algebras of a given type A. We prove the conjecture by Markl on constructing the resolution out of resolutions of A and C, at least in a certain restricted setting. For associative algebras, we make explicit the cohomology theory for the diagrams and recover Gerstenhaber-Schack diagram cohomology. In general, we show that the operadic cohomology is Ext in the category of operadic modules. 1
|
guest ::
