This is an 11-element subset of the cyclic group Z/23Z.
これは巡回群 Z/23Z の11要素の部分集合である。