주 메뉴 열기

추상대수학범주론에서, 마그마(영어: magma)는 집합과 그 위의 이항 연산 외에 아무런 추가 조건도 없는 대수 구조이다. 준군(영어: groupoid)은 이와 다른 개념이나, 마그마를 가리키는 데 사용되는 용어이기도 한다.

정의편집

마그마  는 이항 연산을 갖춘 집합이다. 즉, 임의의 원소쌍  에 유일한 원소  를 대응시키는 함수가 주어진 집합이다.

준동형편집

두 마그마   사이의 준동형  은 다음 조건을 만족시키는 함수이다.

  • 임의의  에 대하여,  

종류편집

역사편집

‘마그마’(프랑스어: magma)는 니콜라 부르바키가 도입한 용어로, 프랑스어로 ‘잡동사니’라는 뜻이 있다.

외부 링크편집