In addition to the operators described in Operations for Groups the following operator can be used for ag groups.
G mod H
mod returns a record representing an factor group argument, which can
Factor Groups of Ag Groups and FactorArg for details.
GAP 3.4.4