Bulletin of the
Korean Mathematical Society BKMS

We give a formula for the sizes of the dual groups. It is obtained by generalizing a size estimation of certain algebraic structure that lies in the heart of the proof of the celebrated primality test by Agrawal, Kayal and Saxena. In turn, by using our formula, we are able to give a streamlined survey of the AKS test.

Keywords: primality testing, AKS algorithm, dual groups

MSC numbers: 11A51, 11Y11, 11Y16