Assertion: root's number | /r/HasProperty | congruent
Facets:
Source sentences:
text: In modular arithmetic, a branch of number theory, a number g is a primitive root modulo n if every number a coprime to n is congruent to a power of g modulo n.