대칭은 자연의 근본원리를 이해하는 가장 유용한 도구이다. 하지만 그 개념에 내포된 고도의 추상성으로 인해 전공자조차 이해하기 어려운 것이라 오인되어 왔다. 대칭이 거대한 중요성에 비해 현저히 적게 다뤄지는 현실 속에서 도서출판 승산은 그간 10여 권에 달하는 ‘대칭’에 관한 책들을 꾸준히 출간했다. 선진국에서는 자연의 근본원리인 ‘대칭’과, 대칭의 수학적 표현인 ‘군론’을 포함한 ‘추상 대수학’의 중요성이 점점 주목받고 있다. 미국과 프랑스 등에서는 대칭이 초등학교를 넘어 유치원까지 커리큘럼이 이전되는 등 그 중요성이 더욱더 증가되고(cf.『아주 특별한 수학 멘토링』) 있지만, 대한민국은 이에 대한 준비가 전혀 되어 있지 않다. 매우 우려스러운 일이다. 대학 수학의 다른 과목들은 중고등학교의 교과과정과의 연속성 속에 이해가능한 부분이 많다. 하지만 ‘추상 대수학’은 타과목에 비해 이질적이고 생소하여 처음 접하면 전공자들조차 당혹감을 느낀다. 온전한 이해를 위해 시중의 여러 책들을 찾아보지만 현재 출간되어 있는 추상 대수학 책들은 대부분 수식으로만 가득 차 있다. 익숙하지 않은 개념과 반복되는 수식들에 둘러싸여 질식하는 형국이 되는 것이다. 이에 도서출판 승산은 수식적 증명에 충실하면서도 자상한 설명을 덧붙여 추상 대수학이라는 거대한 산맥을 독자가 홀로 넘을 수 있게 돕는 찰스 핀터의 〈알기 쉬운 추상 대수학〉을 내놓는다. 중고등학교 수학교사나, 수학과 학생, 그리고 수학이나 물리에 관심 있는 모든 이들이 자연을 이해하는 가장 중요한 열쇠인 대칭(군론)을 혼자 힘으로도 쉽게 알 수 있게, 친절히 서술된 책이다. 저자의 꼼꼼하고 명확한 설명을 따라가다 보면 추상 대수학과 대칭을 이해하고 그로부터 자연에 대한 이해까지 가닿는 괄목할 지적 도약을 맛볼 수 있을 것이다.

저자 : 찰스 핀터 펜실베이니아주의 벅넬대학교(Bucknell University) 수학과 명예교수로 재직 중이다. 『집합론』(Set Theory)을 지었다. 역자 : 정경훈 서울대학교 수학과를 졸업하고, 동 대학원에서 박사학위를 받았다. 현재 서울대학교 기초교육원 강의교수로 재직 중이다. 옮긴 책으로는 『넘버스: 수학으로 범죄 해결하기』, 『프린스턴 수학 안내서 1, 2』(공역), 『프린스턴 응용수학안내서 1, 2』(공역), 『수학적으로 생각하는 법』, 『기하학과 상상력』, 『제타 함수의 비밀』 등이 있고, 저서로는 『한번 읽고 평생 써먹는 수학 상식 이야기』, 『오늘의 과학』(공저)이 있다.

1장 왜 추상 대수학인가? 2장 연산 3장 군의 정의 4장 군의 기본 성질 5장 부분군 6장 함수 7장 치환군 8장 유한집합의 치환 9장 동형사상 10장 원소의 위수 11장 순환군 12장 분할과 동치관계 13장 나머지류 세기 14장 준동형사상 15장 몫군 16장 준동형사상의 기본 정리 17장 환 : 정의와 기본 성질 18장 아이디얼과 준동형사상 19장 몫환 20장 정역 21장 정수 22장 소인수분해 23장 정수론 원론(선택사항) 24장 다항식환 25장 다항식의 인수분해 26장 다항식에 대입하기 27장 체의 확장 28장 벡터공간 29장 확대체의 차수 30장 자와 컴퍼스 31장 갈루아 이론 : 서론 32장 갈루아 이론 : 문제의 핵심 33장 거듭제곱근으로 방정식 풀기 부록A 집합론 다시 보기 부록B 정수 다시 보기 부록C 수학적 귀납법 다시 보기 선택된 연습문제에 대한 해답

p16 : 더 고급 수준의 대수학을 보통은 ‘현대 대수학’ 또는 ‘추상 대수학’이라 부른다. 사실 이 두 가지 표현은 부분적으로 오해의 소지가 있다. 오늘날 대수학의 초창기에 위대한 발견 중 몇 가지는 (예를 들어 갈루아 이론) 미국의 남북전쟁 이전부터 알려져 있었으며, 오늘날 대수학의 광대한 목적은 이미 17세기에 라이프니츠가 명백히 진술한 바 있기 때문이다. 따라서 ‘현대’ 대수학은 그다지 현대적이지 않다! 그렇다면 어느 정도로 ‘추상적’일까? 사실 추상성이라는 것은 상대적이어서, 어떤 사람에게는 추상적인 것도 다른 사람에게는 일상적인 식량일 수 있다. 수학에서의 추상화 경향은 어떻게 보면 도덕률이나 음악적 취향의 변화와 다소 비슷하다. 한 세대에게는 충격이었던 것이 다음 세대에는 일상적인 것으로 바뀌는 일은 수학 역사 내내 있어 왔다.

p21 : 그러므로 1824년 닐스 아벨(Niels Abel)이라는 젊은 노르웨이인 천재의 연구가 빛을 보면서 수학자들이 대단히 놀란 것은 당연했다. 아벨은 자신의 연구에서 차수가 5 이상인 대수방정식의 근을 찾는 (우리가 보통 생각하는 의미로) ‘공식은 존재하지 않는다’는 것을 보였다. 경천동지할 이 발견과 함께 고전적 대수학 시대는 끝이 났다. 이 시기 동안 대수학은 방정식을 푸는 과학으로 여겨졌지만, 이제는 이러한 탐구가 한계에 도달했음이 명백해졌기 때문이다. 이후 대수학은 새로운 방향으로 독립하였다.

p35 : 1832년 5월 30일 겨우 20세였던 때 갈루아는 새벽에 권총 결투를 하게 된다. 어떤 다
툼이 있어 결투를 하였는지는 명백하지 않다. 누군가는 정치적 이유 때문이라고 말하고, 어떤 이들은 바람둥이 여성의 갈팡질팡하는 사랑을 두고 다툰 결투였다고 주장한다. 진실은 결코 알려지지 않을 수도 있겠지만, 파란만장하고 뛰어났고 이상적이었던 갈루아는 권총 결투로 상처를 입고 사망한다. 결투 전날 갈루아가 자신의 주요 수학적 결과를 적어 친구에게 맡겼다는 것이 수학을 위해서는 다행스러웠다. 이번에는 원고들이 분실되지는 않았지만, 그가 사망한 지 15년 후에야 출간되었다. 그전까지 수학계는 아직 받아들일 준비가 돼 있지 않았던 것이다!

수학의 추상성 수학은 흔히 추상적인 것이며, 현실과 무관한 어떤 것이라 여겨진다. 사칙연산 정도의 기본적인 산수를 제외하고는 수학이 우리가 딛고 있는 이곳과는 동떨어진 고독한 섬에 속해있다 믿는 이들이 많다. 이 말들은 반은 맞고 반은 틀렸다. 먼저 ‘수학은 추상적이다’라는 말은 맞다. 하나, 둘, 셋... 우리의 신체인 손가락으로 직접 감각할 수 있는 수체계인 ‘자연수’조차 추상적이(었)다. 양 세 마리, 사과 세 개, 남자 세 명으로부터 3이라는 공통적 특성을 추출해내는 게 바로 추상이다. 지금은 숨쉬는 것처럼 자연스럽게 느껴지지만, 이것 자체가 인간 지성이 분투하여 이뤄낸 추상화의 결과이다. 그러므로 수학은 ‘현실과 무관한 어떤 것’이란 말은 틀렸다. 어떤 추상성은 너무도 자연스럽게, 우리의 삶 속에 이미 스며있다. 그리고 지금 우리의 감각에 있어 ‘추상적이라 어렵다’ 느껴지는 것조차 어느 순간 자연스럽고, 구체적인 감각으로 우리의 삶에 존재할 것이다. 이렇듯 수학의 ‘추상성’은 상대적 개념이다. 지금의 우리에게 고도의 추상성이라 느껴지는 것이 미래의 우리에겐 ‘구체성’으로 다가올 수 있으며, 지금 일반대중에게 지나친 추상성으로 이해하기 어려운 것이, 관련한 개념들에 익숙한 이들에겐 이미 매일의 식사만큼 자연스러울 수 있다. 위대한 수학자 디오판토스는 ‘음수’를 황당한 수라 여겼다. 21세기의 초등학생이 구체적으로 이해하는 음수를 포함한 계수체계가 10세기 최고 식자층에게는 지나치게 추상적이었던 것이다. 다른 수많은 수학적 개념들 역시 유사한 경로를 밟아왔다. 복소수는 수백 년 동안 수학자들에게 거부당했지만, 지금은 물리학의 기본도구가 되었다. “현대 대수학(추상 대수학)이 추상화한 많은 것들을 이미 과학자, 공학자, 컴퓨터 전문가들이 날마다 업무에 이용하고 있다. 이들은 머지않아 일상적인 것, 상대적으로 ‘구체적인 것’이 될 것이며, 그때쯤에는 새로운 것이 ‘추상화’될 것이다.(『알기 쉬운 추상 대수학』, 「1장」)” 대수학 대수(algebra)의 개념은 고정되지 않고 계속하여 변화해왔다. 9세기 바그다드에서 수학을 가르치던 알 콰리즈미가 이 용어를 처음 사용하였는데, 방정식을 풀기 위해 항을 모았던 그의 기법을 묘사한 것으로, ‘재조합’ 정도의 뜻으로 번역할 수 있다. 당대의 수학자 오마르 하이얌이 대수학을 ‘방정식을 푸는 과학’으로 명명했던 것을 보면 초기 대수학, 즉 고전 대수학은 방정식을 풀이하는 것이 학문의 중심이었다. 방정식을 풀기 위해 ‘미지수’를 찾는 노력들은 수세기 동안 계속되었고, 16세기 괄목할 변화가 나타난다. 카르다노, 타르탈리아, 그리고 페라리 16세기, 르네상스의 축복은 수학에도 쏟아졌다. 수많은 천재들이 수학의 한계를 알기 위해 노력하고, 경쟁했다. 때로는 서로의 재능을 독려하는 선의의 경쟁으로, 때로는 상대를 완전히 파괴하려는 더러운 정치적 암투들로 점철된 이 시기는 정말 흥미롭다. 당시는 지금처럼 수학적 지식을 동료 연구자나 대중에게 공표하던 때가 아니었고, 연구자가 수학적 발견을 하게 되면 본인이 발견한 바를 홀로 간직했다. ‘타르탈리아’라는 인물 역시 3차 방정식의 일반해법을 발견하는 위대한 성취를 이뤘으나, 이를 혼자만 알고 있었다. 이때 ‘지를라모 카르다노’라는 이가 타르탈리아에게 접근한다. 카르다노는 타르탈리아의 관심사를 꿰고 있었고, 그를 속여 ‘3차 방정식’의 일반해법을 알아낸 후 먼저 출판한다. 분노한 타르탈리아는 카르다노와 반목하나 돌이킬 수 있는 것은 아무것도 없었다. 그리고 이후 카르다노의 제자 ‘페라리’가 ‘4차 방정식’의 일반해법을 발견한다. 닐스 아벨과 고전 대수학의 종언 4차 방정식의 해법이 발견된 이후 5차 이상의 해법을 발견하는 것은 정해진 수순이라 여겨졌고, 수많은 수학자들이 확실해 보이는 영광을 위해 도전했다. 하지만 200여 년간 그 누구도 성공하지 못했다. 계속되는 도전의 종지부는 1824년이 되어서야 찍혔다. 노르웨이의 젊은 천재 ‘닐스 아벨’은 본인의 연구를 통해 ‘차수가 5 이상인 대수방정식의 근을 찾는 공식은 존재하지 않는다’는 것을 보였다. 이 발견이 고전 대수학 시대를 끝냈다. 이때까지 대수학은 방정식을 푸는 과학이었지만, 이제는 이러한 탐구가 한계에 도달했음이 증명되었다. 대수학은 새로운 방향으로 나아간다. 추상 대수학의 시대가 활짝 열린 것이다. 에바리스트 갈루아와 추상 대수학 수학의 역사에는 수많은 천재들이 존재한다. 하지만 별 중에서도 특히 밝은 별이 있는 법이다. ‘에바리스트 갈루아’는 수학의 역사 속에 가장 반짝이는 별이다. 갈루아는 14세에 수학을 배우기 시작하여 불과 3년 후인 17세에 추상대수학의 핵심인 ‘갈루아 이론’의 기초를 완성했다. 갈루아 이론은 수학뿐만 아니라 물리학의 수많은 영역을 불가역적으로 뒤바꾼 혁명적 이론이다. 갈루아의 ‘군론’은 자연을 설명하는 유력한 개념인 ‘대칭’을 만들어냈고, 대칭은 물리학자 머리 겔만이 기본입자인 ‘쿼크’를 발견하는 것부터, 로버트 랭글랜즈가 수학의 대통일 이론 ‘랭글랜즈 프로그램’을 발명하는 것, 그리고 앤드루 와일즈가 전설적인 수학의 난제 ‘페르마의 마지막 정리’를 푸는 데까지 결정적인 역할을 하며, 그 광범위한 유효성을 입증했다. 현대 물리학과 수학을 이해하는 데에 있어 ‘대칭’은 가장 중요한 열쇳말이다. 대칭 노벨 물리학상을 수상한 중국의 물리학자 양전닝은 이렇게 말했다. “자연은 대칭을 서술하는 간단한 수학적 표현을 선호하는 것 같다. 아름답고 완벽한 수학 논리와 복잡하고 심오한 물리적 결과를 비교할 때마다 새로운 대칭이 등장하여 문제를 해결해왔다”. 자연의 작동원리 이면에 수학이 존재한다는 사실, 특히 대칭의 원리가 스며있다는 사실은 정말 놀랍다. 대칭은 물질의 구조라는 내적 세계부터 우주라는 외적 세계까지, 내외와 대소를 불문하고 존재한다. 대칭은 모든 과학(물리학, 화학, 생물학, 생리학, 천문학 등)에서 중요한 지위를 차지하고, 꽃잎, 조개껍데기, 달걀, 눈송이 같은 자연환경뿐만 아니라, 바흐의 장엄한 선율 안에까지 자리 잡고 있다. 대칭은 모든 곳에 있다. 대칭을 모른다면 아무것도 모르는 것과 같다.