Z9*是一个循环群。