이렇게 있을 때,
b * a = e 이면, b는 a의 left inverse.
a * b = e 이면, b는 a의 right inverse.
b가 a의 left inverse이면서 right inverse이면, b는 a의 two-sided inverse.
그리고 만일 *가 associative binary operation이라면 당근 left inverse와 right inverse는 equal. ....(
결합법칙,associativity)
2023-01-11 // moved from 역함수. TOMERGE
역원, 역원소
inverse element, simply inverse
좌역원 left inverse element
덧셈의 역원 additive_inverse 덧셈에 대한 역원 - 보통 minus
부호,sign를 붙이는데(negative).. 정의 방식은, b의 additive inverse를 -b라 하고, a-b를 a+(-b)로 정의함. 즉
뺄셈,subtraction을 덧셈 역원을 더하는 것으로 정의.
곱셈에 대한 역원 multiplicative_inverse
곱셈역원,multiplicative_inverse이 최적의 pagename같음. 2023-12-07
가역원 가역원소 (invertible_element, unit) - 역원을 갖는 원소
가역원군(unit group) - 모노이드 M의 가역원들의 부분집합은 부분모노이드를 이루며, 또한 군을 이루는데 이걸 M의 가역원군 Unit(M)이라 한다