나무모에 미러 (일반/어두운 화면)
최근 수정 시각 : 2023-12-31 17:27:25

교환법칙

[[대수학|대수학
Algebra
]]
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"		 이론
기본 대상 연산 · 항등식(가비의 이 · 곱셈 공식(통분 · 약분) · 인수분해) · 부등식(절대부등식) · 방정식(풀이 · 근(무연근 · 허근 · 비에트의 정리(근과 계수의 관계) · 제곱근(이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술(시계 산술)
수 체계 자연수(소수) · 정수(음수) · 유리수 · 실수(무리수(초월수) · 초실수) · 복소수(허수) · 사원수 · 대수적 수 · 벡터 공간
다루는 대상과 주요 토픽
대수적 구조
군(group) 대칭군 · 기본군 · 자유군 · 리 군 · 괴물군 · 점군 · 순환군 · 군의 작용 · 동형 정리 · 실로우 정리
환(ring) 아이디얼
체(field) 갈루아 이론 · 분해체
대수 가환대수 · 리 대수 · 불 대수(크로네커 델타)
마그마·반군·모노이드 자유 모노이드 · 가환 모노이드
선형대수학 벡터 · 행렬 · 텐서(텐서곱) · 벡터 공간(선형사상) · 가군(module) · 내적 공간(그람-슈미트 과정 · 수반 연산자)
정리·추측
대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결
관련 하위 분야
범주론 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 · 층 이론(층들) · 토포스 이론 · 타입 이론
대수기하학 대수다양체 · 스킴 · 사슬 복합체(에탈 코호몰로지) · 모티브
대수적 정수론 타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리
가환대수학 스펙트럼 정리
표현론 실베스터 행렬
기타 및 관련 문서
수학 관련 정보 · 추상화 · 1학년의 꿈 · 노름 · 혼합계산 · 분배법칙 · 교환법칙 · 결합법칙 · 교재 }}}}}}}}}

수와 연산
Numbers and Operations
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"		<colbgcolor=#765432> 수 체계 자연수 (홀수 · 짝수 · 소수 · 합성수) · 정수 · 유리수 (정수가 아닌 유리수) · 실수 (무리수 · 초월수) · 복소수 (허수) · 사원수
표현 숫자 (아라비아 숫자 · 로마 숫자 · 그리스 숫자) · 기수법(과학적 기수법 · E 표기법 · 커누스 윗화살표 표기법 · 콘웨이 연쇄 화살표 표기법 ·BEAF· 버드 표기법) · 진법 (십진법 · 이진법 · 8진법 · 12진법 · 16진법 · 60진법) · 분수 (분모 · 분자 · 기약분수 · 번분수 · 연분수 · 통분 · 약분) · 소수 {유한소수 · 무한소수 (순환소수 · 비순환소수)} · 환원 불능 · 미지수 · 변수 · 상수
연산 사칙연산 (덧셈 · 뺄셈 · 곱셈 구구단 · 나눗셈) · 역수 · 절댓값 · 제곱근 (이중근호) · 거듭제곱 · 로그 (상용로그 · 자연로그 · 이진로그) · 검산 · 연산자 · 교환자
방식 암산 · 세로셈법 · 주판 · 산가지 · 네이피어 계산봉 · 계산기 · 계산자
용어 이항연산(표기법) · 항등원과 역원 · 교환법칙 · 결합법칙 · 분배법칙
기타 수에 관련된 사항 (0과 1 사이의 수 · 음수 · 작은 수 · 큰 수) · 혼합 계산 (48÷2(9+3) · 111+1×2=224 · 2+2×2) · 0으로 나누기(바퀴 이론) · 0의 0제곱 }}}}}}}}}

1. 개요2. 교환법칙이 일반적으로 성립하는 연산3. 교환법칙이 일반적으로 성립하지 않는 연산4. 예5. 같이 보기

1. 개요

交換法則 / commutativity

원소 [math(a)], [math(b)]를 포함한 집합 [math(S)]와 연산 [math(*)] 가 정의되어 있을 때, [math(a*b=b*a)] 가 성립하면 집합 [math(S)]에서 연산 [math(*)] 에 대해 교환법칙이 성립한다고 한다.

반대로 [math(a*b\neq b*a)] 가 되는 반례가 하나라도 나온다면 교환법칙은 일반적으로 성립하지 않는다.

2. 교환법칙이 일반적으로 성립하는 연산

특별한 언급이 없는 한 연산을 다루는 집합 S는 복소수 범위이다.

3. 교환법칙이 일반적으로 성립하지 않는 연산

특별한 언급이 없는 한 연산을 다루는 집합 S는 복소수 범위이다.

4. 예

[math(\begin{aligned}1+2&=2+1\quad(3-1=2,&3-2=1)\\1+3&=3+1\quad(4-1=3,&4-3=1)\\1+4&=4+1\quad(5-1=4,&5-4=1)\\1+5&=5+1\quad(6-1=5,&6-5=1)\\1+6&=6+1\quad(7-1=6,&7-6=1)\\1+7&=7+1\quad(8-1=7,&8-7=1)\\1+8&=8+1\quad(9-1=8,&9-8=1)\\1+9&=9+1\quad(10-1=9,&10-9=1)\\2+3&=3+2\quad(5-2=3,&5-3=2)\\2+4&=4+2\quad(6-2=4,&6-4=2)\\2+6&=6+2\quad(8-2=6,&8-6=2)\\3+4&=4+3\quad(7-3=4,&7-4=3)\\3+6&=6+3\quad(9-3=6,&9-6=3)\\4+5&=5+4\quad(9-4=5,&9-5=4)\\2\times3&=3\times2\quad(6\div2=3,&6\div3=2)\\3\times6&=6\times3\quad(18\div3=6,&18\div6=3)\\\end{aligned})]

5. 같이 보기


[증명1] 반례를 이용한 증명) [math(2^3=8)], [math(3^2=9)]로, [math(2^3\neq3^2)]이다. 반례가 하나 이상 존재하므로, 제곱에 대해서는 교환법칙이 성립하지 않는다.[증명2] 반례를 이용한 증명) [math(ij=k)], [math(ji=-k)]로, [math(ij\neq ji)]이다. 반례가 하나 이상 존재하므로, 사원수의 곱셈에 대해서는 교환법칙이 성립하지 않는다.

분류