Teoría de grupos: grupos finitos e infinitos con sus propiedades
La teoría de grupos es el lenguaje matemático de la simetría. Un grupo es un conjunto con una operación cerrada, asociativa, con neutro e inversos: desde los cíclicos y diédricos hasta los cuaternios o los productos directos, y las estructuras infinitas (, , , , ).
El explorador calcula el orden, los subgrupos cíclicos (con su grafo de ciclos), si el grupo es abeliano y su estructura, con los ejemplos computados de verdad.