로딩
요청 처리 중입니다...

Section 4. Groups

Section 4. Groups

Group(군) - binary structure 가 아래 3가지 axiom을 만족한다면 는 group(군)이다. A1) 모든 a,b,c ∈ G에 대해 (a*b)*c = a*(b*c)여야 한다.

(associativity of *) A2) 항등원 e가 존재해야 한다. 즉, 모든 x에 대해 x*e = e*x = x 여야 한다.

(identity element e for *) A3) 모든 a∈G에 대해 a*a' = a'*a = e를 만족하는 역원 a' ∈ G가 존재해야 한다.(inverse a' of a) 이때 A1만 만족 시 semigroup(반군), A1, A2만 만족 시 monoid(모노이드)라 한다. ex) 는 항등원이 없으므로 군이 아니다. ex) 는 항등원 1이 존재하지만 역원이 존재하지 않으므로 군이 아니다. ex) 는 determinant가 0인 invertible matrix만 역원이 존재하므로 A3를 ...

# Abelian # 일반선형군 # 역원 # 아벨군 # 반군 # 모노이드 # 군 # semigroup # monoid # Group # 항등원

원문 링크 : Section 4. Groups

등록된 다른 글

리스트 자료형
리스트 자료형
리스트에 사용 가능한 함수들
리스트에 사용 가능한 함수들
백준 2941번: 크로아티아 알파벳 파이썬 풀이
백준 2941번: 크로아티아 알파벳 파이썬 풀이
백준 2830번: 설탕 배달 파이썬 풀이
백준 2830번: 설탕 배달 파이썬 풀이
불 자료형
불 자료형
Section 2. Binary Operation
Section 2. Binary Operation