연산 (수학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 →관계 |
잔글편집 요약 없음 |
||
3번째 줄:
== 정의 ==
집합 <math>S</math>와 음이 아닌 정수 <math>n\in\mathbb Z_{\ge0}</math>이 주어졌다고 하자.
:<math>F\colon S^{\times n}\to S</math>
즉, 이는 임의의 <math>S</math> 위의 <math>n</math>조 <math>\vec s\in S^{\times n}</math>를 유일한 <math>S</math>의 원소 <math>F(\vec s)\in S</math>에 대응시킨다. 특히, <math>S</math> 위의 '''영항 연산'''(零項演算, {{llang|en|0-ary operation}})은 <math>S</math>의 원소 <math>s\in S</math>이다. <math>S</math> 위의 '''일항 연산'''(一項演算, {{llang|en|unary operation}}) 또는 '''단항 연산'''(單項演算)은 <math>S</math> 위의 함수 <math>S\to S</math>이다. <math>S</math> 위의 '''이항 연산'''(二項演算, {{llang|en|binary operation}})은 <math>S</math>의 두 원소로부터 <math>S</math>의 한 원소를 얻는 함수 <math>S\times S\to S</math>이다. 편의상 이항 연산을 '''덧셈''' 또는 '''곱셈'''이라고 하기도 한다. 이항 연산을 갖춘 집합을 '''[[마그마 (수학)|마그마]]'''라고 한다. <math>S</math> 위의 '''삼항 연산'''(三項演算, {{llang|en|ternary operation}})은 <math>S</math>의 세 원소로부터 <math>S</math>의 한 원소를 얻는 함수 <math>S\times S\times S\to S</math>이다.
| |||