1. A number x _lacks_ a multiplicative inverse in mod m if gcd(x, m) != 1. In this case, numbers that are multiples of p do not have multiplicative inverses mod p^2. There are p of these numbers, so p^2 - p numbers do have multiplicative inverses. 2. Section 1.3.1 notes that this probability is about 1/n.