The multiplicative semigroup of integers modulo<i>m</i>

Abstract

provided that n is sufRciently large; here {h, m) -1. From 2.1 we infer that Xj = 0 or a 3 (j = 1, , r). Since [x] e Z7 c , 2.3 now implies that