GSOC grup theory project

[carlos raso alonso]

Hello! 

I am in the fifth year of a joint degree of mathematics and computer science and I would like to contribute with sympy. 

I find group theory very interestin and I have just finished the last algebra subject of my degree, algebraic equations. I would like to make a proposal about group theory tools in sympy. Some of the funcionalities  written in the GSOC contributor guide that I could work on are:

• Computation of various subgroups of infinite finitely presented groups
• Computation of Galois groups for a given polynomial
• Quotient groups

Which are the main implementations that have to be made on quotients groups? Would any of the three topics be enough for a proposal or should I combine some of them?

Thank you in advance,

Carlos