Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This work is a survey of algorithms for computing special examples in the study of Grothendieck groups, quadratic forms and derived categories of finite-dimensional algebras. Open questions including Lie algebras, Bruhat orders and Coxeter groups are investigated with the aid of computer algebras.
Part 1 Introductory articles: classification problems in the representation theory of finite-dimensional algebras; noncommutative Grobner bases, and projective resolutions; construction of finite matrix groups. Part 2 Keynote articles: derived tubularity - a computational approach; problems in the calculation of group cohomology; on a tensor category for the exceptional Lie groups; non-commutative Grobner bases and Anick's resolution; a new existence proof of Janko's simple group "J4"; the normalization - a new algorithm, implementation and comparisons; a computer algebra approach to sheaves over weighted projective lines; open problems in the theory of Kazhdan-Lusztig polynomials; relative trace ideals and Cohen Macaulay quotients; on Sims' presentation of Lyons' simple group; a presentation for the Lyons simple group; reduction of weakly definite unit forms; decision problems in finitely presented groups; some algorithms in invariant theory of finite groups; coxeter transformations associated with finite dimensional algebras; the 2-modular decomposition numbers of "CO2"; bimodule and matrix problems.