で積を定めると群となる。