Guiseppe Peano, who devised an efficient symbolic language and sought to provide, with his 'Formulario Mathematico' wrote an encyclopedia of all known formulas and theorems of mathematics.
Is there a book/document/paper that contains all (or important) known formulas,theorems (compilation of statements of theorem without proof, derivation ) in Group theory ?
Thanks.
On
Nicolas Bourbaki is the collective pseudonym under which a group of (mainly French) 20th-century mathematicians, with the aim of reformulating mathematics on an extremely abstract and formal but self-contained basis, wrote a series of books beginning in 1935. With the goal of grounding all of mathematics on set theory, the group strove for rigour and generality. Their work led to the discovery of several concepts and terminologies still used, and influenced modern branches of mathematics.
While there is no one person named Nicolas Bourbaki, the Bourbaki group, officially known as the Association des collaborateurs de Nicolas Bourbaki (Association of Collaborators of Nicolas Bourbaki), has an office at the École Normale Supérieure in Paris.
See for example http://www.cmat.edu.uy/~marclan/TM/Algebra%20i%20-%20Bourbaki.pdf
It seems like what you're asking for (an encyclopedic reference) is basically what the Handbook of Algebra series provides. They cover group theory.
It is probably the largest collection of interesting theorems in one place, though I doubt any such collection could be totally comprehensive. That sounds like an impossible task.
Otherwise I think you're stuck doing what everyone else does: read textbooks and stitch together an atlas of results that are useful for you to use.