The knowledge behind the computer algebra GAP (Computational Group Theory); see www.GAP-system.org. This theory graph will be used to make the various systems in the OpenDreamKit project interoperable.