{{위키데이터 속성 추적}}
[[파일:Magma to group4.svg|thumb]]
'''추상대수학'''(抽象代數學, {{llang|en|abstract algebra}})은 [[대수 구조]]를 다루는 여러 [[수학|수학적]] 대상을 연구하는 분야이다. 이들 대수 구조들로는 [[군 (수학)|군]], [[환 (수학)|환]], [[체 (수학)|체]]가 있으며, 이들 대상을 다루는 각 영역에는 가환대수와 호몰로지대수가 포함된다. 또 [[선형대수]]와 기초 [[수론]]을 추상대수학에 포함시키기도 한다. 추상대수학은 군, 환, 체, [[가군]], [[벡터 공간]], 그리고 [[대수학]]에 대해서 공부한다. "추상대수학"이란 이름은 [[20세기]]에 처음 만들어졌다. 그 이전까지 추상대수학과 [[사칙연산]], [[방정식]] 풀기, 그리고 [[실수]], [[복소수]] 계산을 다루는 "기초대수학"은 함께 뭉뚱그려서 대수학이라 불렀다. 이에 수학을 전공하지 않은 사람들이 대수학에 대해 일반적으로 떠올리는 기초대수학과 추상대수학이 다루는 분야는 다르다는 사실을 확실히 하기 위하여, 새로이 추상대수학이라는 용어를 만들었다. 그러나 최근의 저작물에서는 그 구분이 다시 모호해지고 있다.

역사적으로 볼 때, 대수 구조는 처음에는 수학의 몇몇 다른 영역에서 생겨난 것으로, [[공리|공리적]]으로 상술된 후에서야 추상대수학에서 제자리를 찾아 연구되기 시작하였다. 이 때문에 추상대수학은 수학의 다른 모든 분야와 수많은 관련성을 낳게 되었다.

== 분류 ==
추상대수학은 다루어지는 [[대수 구조]]에 따라 분류된다.
* '''[[군론]]'''은 [[군 (수학)|군]]을 연구한다.
* '''반군론'''은 군보다 더 약한 성질을 갖는, [[반군]]이나  [[모노이드]] 등을 연구한다.
* '''[[가환대수학]]'''은 [[가환환]]과 그 위의 [[가군]]에 대하여 연구한다.
** [[선형대수학]]은 [[체 (수학)|체]] 위의 가군에 대한, 가환대수학의 특수한 경우이다.
** 가환대수학은 [[대수기하학]]과 밀접한 관련이 있다.
* '''[[환론]]'''은 (일반적으로 가환하지 않는) [[환 (수학)|환]] 및 [[유사환]]과 그 위의 [[가군]]에 대하여 연구한다.
* '''격자론'''에서는 각종 [[격자 (순서론)|격자]] 및 [[헤이팅 대수]], [[불 대수]]를 연구한다.
* '''[[체론]]'''에서는 [[체 (수학)|체]]를 연구한다. 이 분야는 [[수론]]과 겹치는 부분이 많다.

이런 모든 [[대수 구조]]에 공통되는 특성은 '''[[보편대수학]]'''({{llang|en|universal algebra}}) 및 '''[[범주론]]'''에서 연구된다. 범주론은 서로 다른 대수 구조들을 비교하고 둘 사이의 대응 관계를 연구할 수 있는 형식적 수단을 제공한다.

==역사==
다른 수학 분야와 마찬가지로, 추상대수학 역시 구체적인 문제와 예시를 통해 발전해왔다. 19세기 말엽까지는 대수 방정식의 이론에 관련된 문제들이 주류를 이뤘다. 몇 가지 예를 아래에 적는다.

* 연립 선형 방정식의 해법에 대한 연구는 행렬과 판별식의 개념을 만들어내고, 이어서 선형대수학이라는 학문의 성립에 기여했다.
* n차 다항식의 근을 구하는 일반적인 공식을 만들려는 시도들은 군을 대칭의 대수적 표현으로 재발견하게 했다.
* 4차 혹은 그 이상의 차수의 [[디오판토스 방정식]]의 산술적 연구는 환과 아이디얼의 개념을 낳았다.

추상대수학을 가르치는 다수의 교과서들은 다양한 [[대수 구조]]에 대한 [[공리]]들을 소개하면서 시작한다. 공리들을 다 나열하고 나서야 각 대수 구조의 성질에 대해 논하기 시작한다. 이는 각 대수 구조들은 공리가 먼저 성립되고 난 후, 연구가 지속됨에 따라 성질들이 차례차례 발견되어 나아갔다는 잘못된 인상을 주기 쉽다. 사실 역사적으로 대수 구조의 발전 과정은 대다수의 교과서 진행구조와 상반되게 진행되어 왔다. 현재 대수학의 일부라고 여겨지는 대다수의 학문들은 여러 다른 수학 분야의 서로 공통점이 없어 보이던 개념들을 조합한 후, 각 개념들이 가지는 공통적인 부분들을 체계화하는 과정에서 탄생했다. 대표적인 예로는 [[군론]]을 들 수 있다.

== 응용 ==
현대수학과 [[수리물리학]]에서 추상대수학의 개념을 특히 많이 차용한다. 예를 들어, [[이론물리학]]에서는 추상대수학의 한 분야인 [[리 대수]]를 깊이 사용한다. [[대수적 수론]], [[대수적 위상수학]], 그리고 [[대수기하학]]을 통해 여러 다른 수학 분야에 대수학을 접목시키기도 한다. [[표현론]](Representation theory)은 추상대수학에서 다루는 [[대수 구조]]와 [[벡터 공간]] 위의 [[선형 변환]]들의 관계를 연구하는 분야이다.

== 같이 보기 ==
* [[부호 이론]]
* [[군론]]
== 참고 문헌 ==
* {{서적 인용|제목=抽象代數學|판=2판|저자=김응태|공저자=박승안|출판사=경문사|날짜=1998|isbn=897282043-1|언어=ko}}
* {{서적 인용|제목=간추린 현대대수학|저자=김주필|출판사=교우사|날짜=2013|isbn=9788981729943|언어=ko}}
* {{서적 인용|제목=교사를 위한 추상대수학|저자=신현용|출판사=교우사|날짜=2007|isbn=9788981726751|언어=ko}}
* {{서적 인용|제목=대수학|저자=이인석|출판사=서울대학교 출판부|날짜=2008|isbn=9788952109033|언어=ko}}
* {{서적 인용|이름=David S.|성=Dummit|공저자=Richard M. Foote|날짜=2004|제목=Abstract algebra|판=3|출판사=Wiley|isbn=978-0-471-43334-7|zbl=1037.00003|mr=2286236 |url=http://www.wiley.com/WileyCDA/WileyTitle/productCd-0471433349.html|언어=en}}
* {{서적 인용|저자링크=서지 랭|이름=Serge|성=Lang|제목=Algebra|판=3|총서=Graduate Texts in Mathematics|issn=0072-5285|권=211|출판사=Springer|zbl=0984.00001|mr=1878556|날짜=2002|doi=10.1007/978-1-4613-0041-0|isbn=978-1-4612-6551-1|언어=en}}
* {{서적 인용|제목=Abstract algebra|날짜=2007|성=Grillet|이름=Pierre Antoine|isbn= 978-0-387-71567-4|총서=Graduate Texts in Mathematics|권=242|출판사=Springer|doi=10.1007/978-0-387-71568-1|issn=0072-5285|언어=en}}
* {{서적 인용
  | 성 = Hungerford
  | 이름 = Thomas W.
  | 제목 = Algebra
  | 판=5
  | 출판사 = Springer
  | 날짜 = 1989
  | isbn = 978-0-387-90518-1
  | 언어=en
}}

== 외부 링크 ==
{{위키책|en:Abstract algebra|추상대수학}}
{{위키공용분류}}
* {{매스월드|id=AbstractAlgebra|title=Abstract algebra}}
* {{매스월드|id=classroom/classes/AbstractAlgebra|title=Topics in an abstract algebra course}}

{{수학 분야}}

{{전거 통제}}

[[분류:추상대수학| ]]