Template:GAP code for group property