MathDB
Set closed under multiplication and reflection mod p

Source: ICMC 2022 Round 1 P4

December 4, 2021
reflectionGroupsnumber theorymod pcollege contestsICMC

Problem Statement

Let pp be a prime number. Find all subsets SZ/pZS\subseteq\mathbb Z/p\mathbb Z such that 1. if a,bSa,b\in S, then abSab\in S, and 2. there exists an rSr\in S such that for all aSa\in S, we have raS{0}r-a\in S\cup\{0\}.
Proposed by Harun Khan