抽象代数：全体不等于0的有理数对于普通乘法来说作成一个群,则这个群的单位元是（1）,元a的逆元是（1/a）