つまり “代数”多様体 で “群” だから 代数群 ということやな