Ⅰ 1镐庢牱涓0镓╁紶
1. 镐庢牱涓0锅氭墿寮狅细
缁0锅氭墿寮狅纴涔熷氨鏄灏嗘暣鏁伴泦镓╁𪾢涓哄寘钖0镄勬暣鏁伴泦锛岃颁綔$\mathbb{Z}[0]$銆备互涓嬫槸杩涜岃繖绉嶆墿寮犵殑鏂规硶锛
- 瀹氢箟锷犳硶鍗曚綅鍏冿细$0+a=a+0=a$锛屽嵆0涓庝换浣曟暣鏁扮浉锷犵粨鏋滀负铡熸暟銆
- 瀹氢箟鍑忔硶鍗曚綅鍏冿细$a-a=0$锛屽嵆浠讳綍鏁存暟鍑忓幓镊韬寰楀埌0銆
- 瀹氢箟涔樻硶鍗曚綅鍏冿细$0\times a=a\times 0=0$锛屽嵆0涓庝换浣曟暣鏁扮浉涔樼粨鏋滀负0銆
- 瀹氢箟鐩稿弽鍏幂礌锛氩逛簬浠绘剰鏁存暟$a$锛屽叾鐩稿弽鍏幂礌涓$-a$锛屾弧瓒$a+(-a)=(-a)+a=0$銆
阃氲繃杩欎簺瀹氢箟锛屾暣鏁伴泦鍙浠ユ墿寮犱负鍖呭惈0镄勯泦钖$\mathbb{Z}[0]$锛屽叾涓0鏄锷犳硶銆佸噺娉曞拰涔樻硶镄勫崟浣嶅厓銆
2. 瑙ｅ喅缁濆瑰奸梾棰桡细
缁濆瑰奸梾棰樼殑瑙ｅ喅鍖呮嫭鍖栫亩銆佹眰鍊笺佽В鏂圭▼銆佽В涓岖瓑寮忋佸嚱鏁扮瓑棰樼洰銆傚熀链绛栫暐鏄灏嗗惈链夌粷瀵瑰肩殑闂棰樿浆鎹涓轰笉钖缁濆瑰肩殑闂棰樸傚父瑙佺殑杞鎹㈡柟娉曞寘𨰾锛
- 鍒嗙被璁ㄨ烘硶锛氭牴鎹缁濆瑰煎唴镄勬ｃ侀浂銆佽礋𨱍呭喌鍒嗗埆澶勭悊銆
- 闆剁偣鍒嗘佃ㄨ烘硶锛氶傜敤浜庢秹鍙娄竴涓鍙橀噺镄勫氢釜缁濆瑰肩殑𨱍呭喌銆
- 涓よ竟骞虫柟娉曪细阃傜敤浜庝袱杈归潪璐熺殑鏂圭▼鎴栦笉绛夊纺銆
- 鍑犱綍镒忎箟娉曪细阃傜敤浜庨梾棰樻湁鏄庣‘镄勫嚑浣曟剰涔夈
3. 浠ｆ暟寮忔眰鍊硷细
浠ｆ暟寮忔眰鍊肩殑鏂规硶鍖呮嫭鐩存帴浠ｅ叆娉曘佸寲绠浠ｅ叆娉曘侀傚綋鍙桦舰娉曪纸鍜岀Н浠ｅ叆娉曪级銆傛敞镒忥细褰撴眰鍊肩殑浠ｆ暟寮忔槸瀛楁瘝镄勨滃圭О寮忊濇椂锛岄氩父鍙浠ュ寲涓哄瓧姣嵝滃拰涓庣Н钬濈殑褰㈠纺锛屼粠钥屼娇鐢ㄢ滃拰绉浠ｅ叆娉曗濇眰鍊笺
4. 瑙ｅ惈鍙傛柟绋嬶细
钖鍙傛柟绋嬫槸鎸囬櫎浜嗘湭鐭ユ暟浠ュ栵纴杩桦惈链夊叾浠栧瓧姣岖殑鏂圭▼銆傝В杩欑被鏂圭▼阃氩父闇瑕佷娇鐢ㄥ垎绫昏ㄨ烘硶锛屽师鍒欐槸锛氩厛鎸夌被鍨嬫眰瑙ｏ纴铹跺悗镙规嵁闇瑕佽ㄨ猴纴链钖庡垎绫诲啓鍑虹粨璁恒
5. 涓鍏冧簩娆′笉绛夊纺镄勮В娉曪细
涓鍏冧簩娆′笉绛夊纺镄勮В娉曞彲浠ヨ浆鍖栦负浜屽厓涓娆′笉绛夊纺缁勬潵瑙ｏ纴浣呜繖绉嶆柟娉曡缉涓哄嶆潅銆傛洿瀹炵敤镄勮В娉曟槸镙规嵁钬滀笁涓浜屾♀濅箣闂寸殑鍏崇郴锛屽埄鐢ㄤ簩娆″嚱鏁扮殑锲惧儚𨱒ヨВ銆傚叿浣撴ラや负锛氩皢浜屾′笉绛夊纺鍖栦负姝ｃ佹眰鍑哄垽鍒寮忓苟姹傛牴銆佺粯鍒跺浘镀忋佺‘瀹氲В闆嗗湪妯杞翠笂镄勪綅缃銆
Ⅱ 1镐庢牱涓0镓╁紶
濡备綍镓╁𪾢0鍒版暣鏁伴泦锛
鍦ㄦ暟瀛︿腑锛屽皢鏁存暟闆$\mathbb{Z}$镓╁𪾢鍒板寘钖0镄勬暣鏁伴泦锛岃颁綔$\mathbb{Z}[0]$锛屽彲浠ラ氲繃浠ヤ笅瑙勫垯瀹炵幇锛氶栧厛锛屽畾涔0浣滀负锷犳硶镄勫崟浣嶅厓锛屽嵆$0+a=a+0=a$銆傚叾娆★纴鍑忔硶镄勫崟浣嶅厓鏄浠讳綍鏁板噺铡昏嚜韬閮界瓑浜0锛屽嵆$a-a=0$銆备箻娉曟柟闱锛0涓庝换浣曟暣鏁扮浉涔樻绘槸0锛屽嵆$0\times a=a\times 0=0$銆傛ゅ栵纴瀵逛簬浠绘剰鏁存暟$a$锛屽叾鐩稿弽鍏幂礌$-a$婊¤冻$a+(-a)=(-a)+a=0$銆傝繖浜涘畾涔変娇鏁存暟闆嗗炴坊浜0杩欎釜鐗规畩镄勫厓绱狅纴鏋勬垚浜$\mathbb{Z}[0]$闆嗗悎锛屽叾涓0鍦ㄥ姞銆佸噺銆佷箻杩愮畻涓镓婕旂潃涓蹇冭掕壊銆
澶勭悊缁濆瑰奸梾棰樼殑绛栫暐锛
瑙ｅ喅娑夊强缁濆瑰肩殑闂棰樻椂锛屼竴鑸闇瑕佸皢鍏惰浆鎹涓轰笉钖缁濆瑰肩殑褰㈠纺銆傝繖鍙浠ラ氲繃鍒嗙被璁ㄨ猴纸姝ｃ侀浂銆佽礋锛夈侀浂镣瑰垎娈佃ㄨ恒佷袱杈瑰钩鏂逛互鍙婂埄鐢ㄥ嚑浣曟剰涔夌瓑鏂规硶𨱒ュ疄鐜般傛疮绉嶆柟娉曟牴鎹闂棰樼殑鍏蜂綋𨱍呭喌阃夋嫨链阃傚疁镄勯斿缎銆
浠ｆ暟寮忔眰鍊肩殑鏂规硶涓庡惈鍙傛柟绋嬬殑瑙ｆ硶锛
瀵逛簬浠ｆ暟寮忥纴甯哥敤镄勬柟娉曟湁鐩存帴浠ｅ叆銆佸寲绠浠ｅ叆鍜岄傚綋鍙桦舰锛埚傚拰绉浠ｅ叆娉曪纴阃傜敤浜庘滃圭О寮忊濓级銆傚惈鍙傛柟绋嬭В娉曚腑锛岄栧厛瑕佸垎绫昏ㄨ猴纴镙规嵁鏂圭▼绫诲瀷杩涜屾眰瑙ｏ纴铹跺悗镙规嵁鍙傛暟镄勪笉钖屾儏鍐佃ㄨ哄彲鑳界殑瑙ｏ纴链钖庢暣鐞嗗嚭鍏ㄩ溃镄勭粨璁恒
涓鍏冧簩娆′笉绛夊纺镄勮В娉曪细
瑙ｄ竴鍏冧簩娆′笉绛夊纺阃氩父阃氲繃杞鍖栦负浜屽厓涓娆′笉绛夊纺缁勶纴浣呜繖涓杩囩▼鍙鑳藉嶆潅銆傛洿涓虹洿瑙傜殑鏂规硶鏄鍒╃敤浜屾″嚱鏁扮殑锲惧儚锛岄栧厛灏嗕笉绛夊纺鍖栫亩銆佹眰鍑哄垽鍒寮忥纴铹跺悗镙规嵁锲惧儚纭瀹氲В闆嗗湪x杞翠笂镄勪綅缃銆傝繖绉嶆柟娉曟洿鍏风洿瑙傛э纴渚夸簬蹇阃熸眰瑙ｃ