このとき、単純 "a"-加群の同型類が "p" 個存在する。