群的概念由法国天才数学家伽罗瓦（1811-1832）在19世纪30年代开创，群论虽起源于对代数多项式方程的研究，但在量子力学､晶体结构学等其他学科中也有十分广泛的应用.设是一个非空集合，“”是一个适用于中元素的运算，若同时满足以下四个条件，则称对“”构成一个群：（1）封闭性，即若，则存在唯一确定的，使得；（2）结合律成立，即对中任意元素都有；（3）单位元存在，即存在，对任意，满足，则称为单位元；（4）逆元存在，即任意，存在，使得，则称与互为逆元，记作.一般地，可简记作可简记作可简记作，以此类推.正八边形的中心为.以表示恒等变换，即不对正八边形作任何变换；以表示以点为中心，将正八边形逆时针旋转的旋转变换；以表示以所在直线为轴，将正八边形进行轴对称变换.定义运算“”表示复合变换，即表示将正八边形先进行变换再进行变换的变换.以形如，并规定的变换为元素，可组成集合，则对运算“”可构成群，称之为“正八边形的对称变换群”，记作.则以下关于及其元素的说法中，正确的有（       ）

A．，且

B．与互为逆元

C．中有无穷多个元素

D．中至少存在三个不同的元素，它们的逆元都是其本身