기본 링 특성 증명

Proofs of elementary ring properties

다음과 같은 기본 링 속성의 증거수학적 링을 정의하는 공리만 사용한다.

기본 사항

0에 의한 곱하기

정리:

(이 정리의 증거를 보려면 오른쪽의 "표시"를 클릭하고, 숨기려면 "숨기기"를 클릭하십시오.)

방정식의 양쪽에서 을(를) 빼서 원하는 결과를 얻는다. = 0이라는 증거는 유사하다.

이진 작업당 고유 ID 요소

정리:링의 2진법(추가 또는 곱하기)에 대한 ID 요소 e는 독특하다.

(이 정리의 증거를 보려면 오른쪽의 "표시"를 클릭하고, 숨기려면 "숨기기"를 클릭하십시오.)
If there is another identity element for the binary operation, then , and when , where is the binary operation on ring elements [\ b

고유첨가역원소

정리: - a에 대한 첨가물 역소자가 고유하기 때문에 a

(이 정리의 증거를 보려면 오른쪽의 "표시"를 클릭하고, 숨기려면 "숨기기"를 클릭하십시오.)
inverse 이(가 있는 경우- =- + =+ = - a - = - = -- = -{\0-a'=a'-a'-a

고유승수역원소

정리: a의 승수 역소자가 고유하기 때문에 a−1.

(이 정리의 증거를 보려면 오른쪽의 "표시"를 클릭하고, 숨기려면 "숨기기"를 클릭하십시오.)
If there is another inverse element for , then .

제로 링

정리:,+ ,) 은 0= 1 인 경우에만 0(즉, 정확히 하나의 요소로 구성됨)이다

(이 정리의 증거를 보려면 오른쪽의 "표시"를 클릭하고, 숨기려면 "숨기기"를 클릭하십시오.)
= 이라고 가정합시다 {\ a}을(를 R {\displaystyle R의 어떤 요소도 되도록 하고 = = = = {\ 0따라서( ,+ ,) 제로 링이다.반대로(,+ ,) (가) 제로 링이라면, 그 정의에 따라 정확히 하나의 요소를 포함해야 한다.따라서 는) 동일한 요소 = 1 }.

마이너스 1에 의한 곱하기

정리:

(이 정리의 증거를 보려면 오른쪽의 "표시"를 클릭하고, 숨기려면 "숨기기"를 클릭하십시오.)

Therefore .

가법 역행 곱하기

정리:

(이 정리의 증거를 보려면 오른쪽의 "표시"를 클릭하고, 숨기려면 "숨기기"를 클릭하십시오.)

To prove that the first expression equals the second one,

식이 세 번째 식과 같다는 것을 증명하기 위해(- )b=(-1 )b= (- ).

사이비 링은 반드시 승법적 정체성 요소를 가지고 있는 것은 아니다.첫 번째 식이 승법적 정체성의 존재를 가정하지 않고 세 번째 식과 같다는 것을 증명하기 위해, 우리는 (- ) 을(를) 더하는 결과를 더하는 것을 보여줌으로써 ( showing b )의 역행이라는 것을 보여준다.

)+(- ) b=( a- ) = = b b b