x ⋅ y ≡ 1 (mod 23).In other words, x ⋅ y % 23 = 1. Then, x and y are called inverses modulo 23.
The Extended Euclid's Algorithm is in Chapter 8 of Epp 4/e and Chapter 10 of Epp 3/e. See also Notes on the Extended Euclid's Algorithm.
to Spring 2016 CMSC 203-06 Homepage