group G that has some finite generating set S so that every element of G can be written as the product of finitely many elements of the finite set S and of inverses of such element
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).