数环

青青子衿

所有形式为\(a+b\sqrt{2}(a,b\in\mathbb{z})\)数的构成一个数环

realnumber

符合环的定义就成．
1．加法+符合阿贝尔群2．乘法×满足结合律3．乘法×对加法+满足分配律．
逐条证明，就是罗嗦．

caijinzhi

由Q单代数扩张？可以的。