An interesting project could be built around Molien's Theorem in invariant theory, which is mentioned in §3 of Chapter 7. The algorithm given in STURMFELS (1991) could be implemented to find a set of generators for k[x\, ... ,Xn]^G. This could be applied to find the invariants of some larger groups, such as the rotation group of the cube in R^3. Molien's theorem is also discussed in Chapter 7 of BENSON and GROVE (1985).
Sounds interesting...
No comments:
Post a Comment