topaz:property_types:topology:cyclegroup