홈 > 강의소개
현대대수학 통합과정
김은정 교수
부산대학교 대학원 수학과 석사과정
부산대학교 대학원 수학과 박사졸업
부산대학교 대학원 수학과 석사과정
부산대학교 대학원 수학과 박사졸업
부산대학교
경남대학교
현) 유니와이즈 전임교수
AI가 이끄는 스마트한 학습 경험, AI 튜터와 함께 더 빠르고, 더 깊게 학습하세요.
긴 강의 내용을 AI가 핵심만 요약하여 복습 시간을 단축시킵니다.
강의에서 가장 중요한 키워드와 개념을 자동으로 추출해 제공합니다.
학습한 내용을 바탕으로 AI가 생성한 퀴즈를 풀며 이해도를 점검합니다.
모르는 부분을 24시간 언제든 AI 튜터에게 질문하고 답변을 받습니다.
총 3개 챕터, 57강으로 구성되어 있습니다.
| 제목 | 강의시간 | 상세내용 |
|---|---|---|
| 군론 | ||
|
[1강] 정수론 (1)
|
0:
53:
37
|
|
|
현대대수학 정수론 기초 개념
• 정수론 기초 개념: 정렬성 원리, 약수·배수·소수 정의 및 나눗셈정리 존재성·유일성 증명을 통한 정수 구조의 기본 원리 확립 • 최대공약수(GCD) 정의: 베주 항등식을 통한 일차결합 표현 원리 및 유클리드 호제법으로 GCD 계산 절차와 표현 방식 학습 • 산술의 기본 정리: 소수의 핵심 성질과 소인수분해 유일성 증명을 통해 1보다 큰 자연수의 근본적인 구조 분석 |
||
|
[2강] 정수론 (2)
|
0:
54:
06
|
|
|
정수론의 합동, 동치 관계 및 모듈로 연산
• 합동: $a \equiv b \pmod n$ 정의, 성질 및 합동 방정식의 해법 분석 • 동치 관계 및 합동류: 반사적, 대칭적, 추이적 성질로 합동의 동치 관계 정의 및 정수 분할 • 합동류 집합 $\mathbb{Z}_n$: 덧셈·곱셈 연산 정의와 닫힘, 항등원, 역원, 분배법칙 등 대수적 구조 |
||
|
[3강] 군의 정의와 예제
|
1:
09:
50
|
|
|
현대대수학 개념완성: 군의 정의와 예제
* 군 정의: 이항연산이 결합법칙, 항등원, 역원 조건을 만족하는 대수적 구조의 핵심 원리 파악. * 군의 위수 및 아벨군/비가환군: 분류 기준과 정수, 행렬, 치환군, 정이면체군 등 핵심 군 구조 이해. * 군의 성질: 항등원·역원의 유일성, 소거법칙, 반군이 군이 될 필요충분조건 등 근본적인 정리 분석. |
||
|
[4강] 부분군
|
1:
23:
22
|
|
|
부분군 개념 및 판정법
* 부분군 정의 및 판정법: 군의 부분집합이 스스로 군을 이루는 개념과 1단계, 2단계, 유한 부분집합 판정법으로 부분군 여부 판단. * 중심화 부분군 및 중심: 특정 원소 또는 모든 원소와 교환 가능한 원소들의 집합으로, 군의 가환성 구조를 분석. * 생성 부분군 및 집합 연산: 주어진 원소로부터 가장 작은 부분군을 생성하는 원리 및 부분군들의 교집합/합집합 성질. |
||
|
[5강] 순환군
|
1:
11:
42
|
|
|
현대대수학 순환군 개념완성
* **순환군 기본 개념**: 특정 원소로 생성되는 군의 정의, 오일러 $\phi$-함수를 활용한 생성원 개수 산정 원리 및 유한 군 판정 조건 이해. * **원소의 위수**: 군 원소의 위수 정의, 위수와 생성 부분군의 관계 및 $\text{U}(n)$군 특징을 통한 순환군 생성원 도출. * **순환군 부분군 구조**: 모든 부분군이 순환군임을 증명하고, 위수가 특정 약수인 부분군의 유일성 및 해당 위수 원소 개수 산출. |
||
|
[6강] 치환군
|
1:
06:
08
|
|
|
치환군 개념 및 대칭군, 순환치환, 교대군 이해
• 치환군 및 대칭군: 집합의 일대일 대응 함수 집합인 치환군과 유한 집합에 대한 대칭군 $S_n$을 정의하고, 순환치환 및 호환으로 그 구조를 구성. • 치환의 위수와 서로소 순환치환: 임의 치환을 서로소 순환치환의 곱으로 분해하며 위수는 각 순환치환 길이의 최소공배수로 계산. • 우치환, 기치환 및 교대군: 호환 곱의 개수로 우치환과 기치환을 분류하며, 우치환 집합은 대칭군 $S_n$의 부분군인 교대군 $A_n$을 형성. |
||
|
[7강] 잉여류와 라그랑지 정리 (1)
|
1:
05:
35
|
|
|
현대대수학: 잉여류의 정의, 성질 및 라그랑지 정리
* 합동 및 잉여류 개념: 군 G와 부분군 H에서 합동 정의, 잉여류의 동치관계 및 구조 이해 * 부분군 지수 및 라그랑지 정리: 잉여류 개수 기반 지수 정의, 유한군에서 부분군 위수가 군 위수를 나눈다는 핵심 정리 학습 * 부분군의 곱: 두 부분군 곱집합 HK 정의 및 HK가 부분군이 될 필요충분조건(HK=KH) 분석 |
||
|
[8강] 잉여류와 라그랑지 정리 (2)
|
1:
00:
05
|
|
|
군-08강. 잉여류와 라그랑지 정리(2)
• 라그랑지 정리: 유한군의 위수와 부분군 위수 관계를 정의, 유한 부분군 연산 및 군 구조 분석의 핵심 원리 제시. • 오일러 정리 및 페르마 소정리: 라그랑지 정리 응용을 통해 정수론적 합동 관계 및 소수 성질을 규명. • 궤도-안정화 부분군 정리: 치환군 내 안정화 부분군 및 궤도 개념을 정의하고, 군의 위수를 궤도 크기와 안정화 부분군 크기의 곱으로 분석. |
||
|
[9강] 준동형사상 (1)
|
0:
52:
33
|
|
|
준동형사상 개념 및 케일리 정리
• 준동형사상 정의: 두 군 간 대수 구조 보존 함수; 단사, 전사, 동형, 자기준동형/동형사상으로 유형 분류. • 케일리 정리: 모든 군이 치환군의 부분군과 동형임을 규명, 유한 위수 군의 대칭군 부분군 포함 관계 정의. • 준동형사상 기본 성질: 항등원, 역원, 거듭제곱 관계를 보존하는 원리 제시. |
||
|
[10강] 준동형사상 (2)
|
1:
04:
58
|
|
|
군 준동형사상의 성질 및 응용
• 군 준동형사상: 핵, 상, 역상 정의 및 부분군/정규부분군 관계, 단사성 판별 조건 이해 • 동형사상: 두 군의 대수적 구조적 동치성, 위수 보존 및 순환군의 준동형상 성질 분석 • $\mathbb{Z}_n$의 자기동형군: $U(n)$과의 동형성($\text{Aut}(\mathbb{Z}_n) \cong U(n)$) 증명을 통한 군 구조 분류 |
||
|
[11강] 정규부분군과 인자군 (1)
|
0:
39:
35
|
|
|
정규부분군과 인자군의 개념 및 성질
* 정규부분군 정의: 좌잉여류와 우잉여류 일치 ($gN=Ng$) 및 $gNg^{-1} \subset N$ 조건, 지수 2 부분군 또는 가환군의 모든 부분군에 적용되는 판별 원리. * 인자군 구조: 정규부분군 $N$을 이용해 잉여류 집합 $G/N$에 연산 $NaNb=Nab$를 정의하여 형성되는 군의 구조와 성질 이해. * 정사영 관계: 군 $G$에서 인자군 $G/N$으로의 전사 준동형 사상 $\pi(g)=Ng$를 통한 본질적 연결성 및 그 핵이 $N$인 중요 성질 분석. |
||
|
[12강] 정규부분군과 인자군 (2)
|
0:
49:
41
|
|
|
정규부분군과 인자군의 심화 정리
• 유한군 인자군 위수: $|G/N| = |G|/|N|$로 계산하며, 우잉여류 위수는 집합 및 원소의 개념으로 구분. • Lagrange 정리의 역 불성립: 교대군 $A_4$는 위수 6 부분군이 없어, 정리의 역에 대한 대표적 반례. • 중심 인자군 및 코시 정리: $G/Z(G)$ 순환군은 $G$ 가환군 조건이며 $Inn(G)$와 동형이고, 코시의 정리는 소수 위수 원소의 존재성 보장. |
||
|
[13강] 동형정리
|
1:
09:
33
|
|
|
군의 동형사상정리
• 제1동형정리: 준동형사상의 핵(Kernel)을 통해 군의 인자군과 치역 간의 동형 관계를 정의하고 분석. • 제2동형정리: 두 부분군 $K, N$의 교집합과 $NK$를 활용하여 $K/(K \cap N) \cong NK/N$ 관계를 확립하고, 정규화/중심화부분군으로 군 구조를 심층 분석. • 제3동형정리: 인자군의 인자군 구조를 $(G/K)/(N/K) \cong G/N$ 형태로 단순화하고, 대응 정리를 통해 군과 인자군 간의 부분군 계층 관계를 명확히 함. |
||
|
[14강] 직적 (1)
|
0:
50:
07
|
|
|
군의 직적 (External Direct Product)
• 군의 직적(Direct Product): 여러 군을 순서쌍으로 결합, 성분별 연산으로 정의되는 새로운 군 형성 원리. • 직적 원소의 위수: 각 성분 원소 위수의 최소공배수로 계산되어, 군 원소의 대수적 특성 분석. • 직적군의 순환성 및 U(n) 분해: 위수들의 서로소 조건을 통한 순환군 판별 및 U(n)의 구조적 특성 이해. |
||
|
[15강] 직적 (2)
|
0:
41:
16
|
|
|
현대대수학: 직적(2)
* U-군 직적 표현: 원소의 위수 및 개수 계산과 모듈러 연산에 적용되는 군 구조 분석 방법론. * 외적직적 및 내적직적: 정규부분군 조건 하에 원소의 유일한 표현 및 교환법칙을 갖는 군의 직적 구조 정의. * 직적 동형 정리: 정규부분군 조건이 충족될 때 내적직적과 외적직적 간의 동형 관계가 성립하는 핵심 원리. |
||
|
[16강] 코시의 정리
|
1:
07:
54
|
|
|
코시의 정리
• **코시의 정리:** 유한군 $G$에서 소수 $p$가 위수 $|G|$를 나누면 위수가 $p$인 원소가 반드시 존재함을 증명, 라그랑지 정리의 역관계 제시. • **부분군 및 원소 분석:** 치환의 궤도 위수 개념을 활용한 코시 정리 증명, 위수 $pq$인 군의 정규부분군 조건과 서로소 위수를 갖는 교환 가능한 원소의 위수 판별. • **순환군 조건:** 위수 $pq$인 군 ($p,q$ 소수, $p>q$)이 $q \nmid p-1$ 조건 만족 시 순환군이 됨을 입증하여 군의 구조적 특성 규명. |
||
|
[17강] 유한아벨군
|
1:
03:
32
|
|
|
유한 아벨군의 기본 정리와 구조
• **유한 아벨군** 기본 정리: **순환군**의 **직적**으로 유일하게 분해되는 **구조**와 **표준 형태** 분석 • **정수의 분할**: **동형류** 개수 결정 및 **원소의 위수**, **elementary divisor**를 활용한 **직적 분해** 절차 학습 • **라그랑주 정리의 역**: **유한 아벨군**에서 위수의 약수에 해당하는 **부분군**의 존재성 확인 |
||
|
[18강] 켤레류와 실로우정리 (1)
|
0:
52:
36
|
|
|
켤레류와 실로우정리 (1)
• 켤레류 및 중심화부분군: 군 원소의 켤레 관계와 가환 부분군 개념을 정의하고 군 구조를 분석 • 류등식: 유한군의 위수를 서로 다른 켤레류 크기 또는 중심화부분군 지수의 합으로 표현하는 핵심 정리 • p-군 특성: 류등식으로 p-군의 비자명한 중심 존재성을 증명하며, 위수 $p^2$인 군의 가환성 도출 |
||
|
[19강] 켤레류와 실로우정리 (2)
|
0:
56:
57
|
|
|
현대대수학: 실로우 정리
• P-군 정의 및 성질: 군의 위수 $p^n$ 판별과 정규부분군 존재성 이해 • 실로우 정리 (제1, 2, 3): P-부분군 존재성, 켤레 관계, 개수 계산을 통한 유한군 구조 분석 • 실로우 P-부분군 활용: 최대 P-부분군 정의 및 단순군 여부 판별에의 응용 |
||
| 환론 | ||
|
[20강] 환의 정의와 예제
|
0:
55:
27
|
|
|
환의 정의와 예제
• 환의 정의: 덧셈과 곱셈 연산에 대한 가환군, 결합 및 분배법칙을 만족하는 대수적 구조의 기본 개념 • 환의 분류: 가환성, 항등원 존재, 영인자 및 가역원 유무에 따라 환의 특성 및 심화 구조를 규정 • 정역·나눗셈환·체: 영인자 부재, 비영원소 가역성, 가환성 기반의 핵심 대수 구조로, 체는 가환 나눗셈환이자 정역 |
||
|
[21강] 환의 성질
|
1:
05:
17
|
|
|
환의 기본 성질 및 부분환
• 환의 기본 성질 및 불환: 0과의 곱셈, 음수 원소 처리 등 환의 연산 규칙 분석, $x^2=x$를 만족하는 불환의 가환환 특성. • 유한정역과 체: 모든 유한정역이 체라는 핵심 정리, 환의 표수 정의 및 정역의 표수가 0 또는 소수라는 성질. • 부분환: 환의 연산에 닫힌 부분집합 정의, $a-b \in S, ab \in S$ 판정법 및 부분환 교집합 성질. |
||
|
[22강] 준동형사상. 아이디얼. 상환 (1)
|
1:
01:
20
|
|
|
환 준동형사상과 아이디얼의 기초
• 환 준동형사상: 덧셈과 곱셈 연산 구조를 보존하는 함수로, 단사·전사·전단사 유형 및 항등원 보존 특성을 가짐. • 준동형사상의 핵(Kernel): 환 준동형사상의 핵은 항상 아이디얼을 형성하며, 상(Image)은 부분환이나 아이디얼은 아님. • 아이디얼: 환의 좌측·우측·양측 부분환 정의 및 진 아이디얼 조건, 아이디얼들의 교집합은 아이디얼을 이룸. |
||
|
[23강] 준동형사상. 아이디얼. 상환 (2)
|
0:
53:
26
|
|
|
아이디얼 생성 및 상환의 성질
* **아이디얼 생성 및 분류**: 유한생성 아이디얼, 주아이디얼 정의 및 주아이디얼환, 주아이디얼정역(PID)의 개념과 특성 이해. * **아이디얼 연산 및 구조**: 주아이디얼 원소 형태 분석, 아이디얼 간 합·곱 연산 정의 및 그 결과가 아이디얼임을 확인. * **상환 및 준동형사상**: 아이디얼 기반 상환(Quotient Ring) 구성 원리, 성질 분석 및 준동형사상 핵·상과의 관계 규명. |
||
|
[24강] 준동형사상. 아이디얼. 상환 (3)
|
0:
47:
18
|
|
|
환 준동형 사상과 상환의 동형 정리
• 환 동형 정리: 환 준동형 사상, 핵, 상, 아이디얼, 상환의 구조적 관계 정의 및 증명 • 제1, 제2, 제3 동형 정리: 상환의 동형성 및 아이디얼 간의 관계 분석 원리 제시 • 동형 사상 증명: well-defined, 준동형, 단사(핵), 전사 조건 활용, 환 구조 유사성 확립 |
||
|
[25강] 소아이디얼과 극대아이디얼 (1)
|
0:
56:
26
|
|
|
소아이디얼과 극대아이디얼 (1)
* 소아이디얼 정의: 가환환에서 $ab \in P \implies a \in P$ 또는 $b \in P$를 만족하며, 몫환 $R/P$가 정역이 되는 아이디얼 특성. * 극대아이디얼 정의: $M \neq R$이며, $M \subsetneq N \subsetneq R$인 아이디얼 $N$이 존재하지 않는 가장 큰 아이디얼. * 극대아이디얼과 소아이디얼 관계: 가환환에서 극대아이디얼은 항상 소아이디얼이나, 소아이디얼이 극대아이디얼인 역은 성립하지 않음. |
||
|
[26강] 소아이디얼과 극대아이디얼 (2)
|
0:
37:
50
|
|
|
소아이디얼과 극대아이디얼 (2)
• 극대아이디얼: 가환환의 상환이 체가 되는 필요충분조건으로, 소아이디얼 성질을 갖는 핵심 아이디얼 정의 및 특성 학습 • 체 동치 조건: 항등원을 가진 가환환이 체가 될 필요충분조건과 그에 따른 환의 구조적 특성 분석 • 극대아이디얼 판별: 정수환과 가우스 정수환 등 특정 환에서 극대아이디얼의 존재 및 판별 원리 이해 |
||
|
[27강] 다항식환 (1)
|
1:
08:
50
|
|
|
다항식환의 정의와 성질, 나눗셈 정리
• 다항식환 $R[x]$ 정의: 환 $R$의 원소를 계수로 하는 다항식들의 집합과 그 대수적 구조, 성질 전이 조건. • 다항식 용어 정의: 선도계수, 차수, 모닉 다항식 등 다항식의 핵심 구성 요소 및 특성 규정. • 다항식 나눗셈 정리: 제수의 선도계수가 단원일 때 몫과 나머지의 존재성과 유일성을 보장하는 핵심 원리. |
||
|
[28강] 다항식환 (2)
|
0:
51:
03
|
|
|
다항식환의 나머지정리, 주아이디얼정역, 차수 및 최대공약수
* 나머지정리: 가환환에서 다항식을 1차식으로 나눌 때 나머지를 특정 원소의 값으로 계산하는 원리. * 주아이디얼정역 (PID): 체 위의 다항식환 $F[x]$가 모든 아이디얼을 단일 원소로 생성하는 구조적 특성. * 다항식 차수 및 최대공약수: 정역에서의 다항식 곱의 차수 법칙, 다항식 나눗셈과 인자 정의, 모닉 다항식으로 규정되는 최대공약수 개념. |
||
|
[29강] 다항식환 (3)
|
0:
46:
23
|
|
|
다항식환의 최대공약수와 근
* 다항식 최대공약수: 체 $F[x]$에서 monic 조건과 최대성으로 정의되는 유일성, 베주 항등식 표현 및 유클리드 호제법을 이용한 계산 절차. * 다항식 근: $f(a)=0$ 만족 여부로 정의되는 근의 개념과 $x-a$가 인수가 되는 조건인 인수 정리의 원리. * 다항식 근의 개수: 체 $F$ 위에서 $n$차 다항식이 갖는 최대 $n$개 근의 정리 및 계수환이 체가 아닐 경우의 예외. |
||
|
[30강] 기약다항식 (1)
|
1:
07:
47
|
|
|
기약다항식과 근의 판정
• 기약다항식 정의: 체 $F$ 위에서 단원 및 동반원을 이용한 최소 분해 단위 규명 • 기약다항식 판정: 차수 2, 3의 다항식은 체 $F$에서 근이 없으면 기약하며, 곱셈에 대한 동치 조건 활용 • 유리수근 판정법: 정수 계수 다항식의 유리수 근 후보를 효율적으로 찾아 기약성 및 인수분해에 적용 |
||
|
[31강] 기약다항식 (2)
|
1:
03:
39
|
|
|
대학 전공 강의 요약 (기약다항식 (2))
* **다항식 기약성 기초**: 정수/유리수 계수 다항식의 인수분해 관계 및 기약성 판정을 위한 기본 원리 이해. * **아이젠슈타인 판정법**: 특정 소수 조건을 활용하여 유리수 계수 다항식의 기약성을 직접 판별하는 절차 학습. * **모듈러 판정법**: 계수를 $\mathbb{Z}_p[x]$로 변환하여 다항식의 유리수 계수 위에서의 기약성 검증 방법론 적용. |
||
|
[32강] 유클리드 정역 (1)
|
0:
52:
02
|
|
|
유클리드 정역 및 기약 원소 (1)
• 기약 원소: 정역 내 단원이 아닌 원소로, 곱셈 분해 시 한 원소가 반드시 단원이어야 하는 개념 및 판별 조건 • 유클리드 정역: 델타 함수를 활용한 나눗셈 정리 구조를 만족하는 정역으로, 다항식환 $F[x]$, 정수환 $\mathbb{Z}$, 가우스 정수환 $\mathbb{Z}[i]$가 해당함 • 유클리드 정역 내 단원: 델타 함수 값(δ(u)=δ(1_R)) 및 특정 원소와의 곱셈 관계(δ(c)=δ(uc))와 동치인 성질 |
||
|
[33강] 유클리드 정역 (2)
|
0:
53:
52
|
|
|
유클리드정역의 최대공약수와 그 성질
• 유클리드정역 최대공약수 정의: 델타 함수 최댓값과 나눔 관계로 정의되며, 서로 동반원 관계를 이룸. • 최대공약수 일차결합: 베주 항등식을 통해 표현 가능하며, 유클리드 호제법으로 계산. • 기약원소 성질: 소수와 유사하게 곱을 나누면 각 인자를 나눔. |
||
|
[34강] 주아이디얼 정역
|
0:
56:
26
|
|
|
주아이디얼정역과 소원소, 기약원소의 관계
• 주아이디얼정역(PID): 모든 아이디얼이 단일 원소로 생성되는 정역으로, 모든 유클리드정역이 이에 포함되는 구조를 가짐. • 소원소와 기약원소: 정역 내에서 원소의 분해 불가능성 및 나눗셈 성질을 정의하며, 일반 정역에서 소원소는 기약원소임을 함의하나 역은 불성립. • 주아이디얼정역(PID)의 특성: 소원소와 기약원소의 정의가 완전히 동치임을 증명하며, 아이디얼 포함 관계와 나눗셈의 관계를 분석. |
||
|
[35강] 유일인수분해 정역
|
0:
44:
49
|
|
|
유일인수분해정역
• 유일인수분해정역 (UFD): 단원이 아닌 원소가 단원과 기약원소의 곱으로 유일하게 분해되는 정역의 정의와 기본 특성 파악. • UFD 계층 관계: 유클리드정역 및 주아이디얼정역이 UFD임을 확인하고, 소원소와 기약원소의 동치성 분석. • UFD 내 원소 분해: 기약원소 거듭제곱을 통한 유일 분해 방식 및 최대공약수의 존재성, 계산 원리 학습. |
||
|
[36강] N-함수
|
0:
53:
19
|
|
|
N-함수와 유일인수분해정역
• N-함수 정의: $s^2-dt^2$ 형태의 함수로, 단원 및 기약원소 판별의 핵심 원리. • 단원 및 기약원소: 정수 $d$ 값에 따른 단원 개수 구분 및 N-함수 활용 기약원소 판별법. • 유일인수분해정역: 모든 비단원 원소의 기약원소 곱 표현 가능성 및 $\mathbb{Z}[\sqrt{-5}]$가 UFD가 아님을 N-함수로 증명. |
||
|
[37강] 다항식환에서의 합동류 (1)
|
0:
56:
28
|
|
|
다항식환에서의 합동류의 정의와 성질
• 다항식환 합동관계: 정수론의 합동 개념을 $F[x]$로 확장 정의하며, 반사성·대칭성·추이성을 만족하는 동치관계를 이룸. • 다항식 합동류: 법 $p(x)$의 차수 $n$에 따라 $n$보다 낮은 차수의 다항식으로 표현되는 유일한 대표원소를 가짐. • 합동류 연산: 덧셈과 곱셈이 잘 정의되어 대수적 구조인 $F[x]/\langle p(x) \rangle$를 형성함. |
||
|
[38강] 다항식환에서의 합동류 (2)
|
0:
53:
41
|
|
|
다항식환에서의 합동류의 구조와 성질 (2)
• 다항식환 $F[x]/\langle p(x) \rangle$의 구조: 항등원을 가진 가환환이며, $p(x)$가 기약다항식일 때 체이자 정역으로 기능. • $F[x]/\langle p(x) \rangle$의 단원: $p(x)$와 서로소인 다항식의 잉여류이며, 역원은 유클리드 호제법으로 계산. • 확대체 및 근의 존재성: $F[x]/\langle p(x) \rangle$는 기약다항식 $p(x)$의 근을 포함하는 $F$의 확대체로서 모든 다항식의 근 존재를 보장. |
||
| 체론 | ||
|
[39강] 정역의 분수체
|
1:
16:
57
|
|
|
정역의 분수체 구성 및 특성 분석
• 정역 분수체 구성: 정역의 순서쌍에 동치관계와 동치류를 정의하고, 덧셈 및 곱셈 연산을 통해 체 구조를 확립. • 분수체 대수적 특성: 정의된 연산의 잘 정의됨을 증명하고, 체의 11가지 공리(항등원, 역원 포함)를 만족함을 증명. • 정역-분수체 관계: 분수체는 정역과 동형인 부분환을 포함하며, 정역을 담는 가장 작은 체로서의 성질 분석. |
||
|
[40강] 벡터공간 (1)
|
1:
03:
32
|
|
|
현대대수학 벡터공간의 정의 및 주요 개념
* **벡터공간 정의:** 덧셈가환군 및 스칼라 곱셈 5가지 조건을 충족하는 추상적 대수 구조와 기본 성질 이해. * **일차결합, 생성, 일차독립, 기저:** 벡터들의 선형 조합, 공간 생성 집합, 선형 관계 여부, 벡터공간의 최소 생성 집합 정의 및 기능 분석. * **차원과 집합 관계:** 기저의 원소 개수인 차원 정의, 일차종속-일차결합 관계 및 생성집합-일차독립 집합 간 원소 개수 비교 원리 학습. |
||
|
[41강] 벡터공간 (2)
|
0:
54:
48
|
|
|
현대대수학: 벡터공간 기저와 차원
• 벡터공간 기저와 차원: 유한차원 공간의 기저 원소 개수 일치 정리 및 차원 개념 정의. • 확대체 차원 곱셈 법칙: 체 확대 $F \subseteq K \subseteq L$에서 차원의 곱셈 관계 $\left[L:F\right] = \left[L:K\right]\left[K:F\right]$ 분석. • 동형 확대체 차원 일치: 동일 체 $F$ 위에서 동형인 확대체 $K, L$의 차원 $\left[K:F\right] = \left[L:F\right]$ 원리 규명. |
||
|
[42강] 단순확대체 (1)
|
0:
57:
25
|
|
|
단순 확대체, 대수적/초월적 원소 및 최소다항식
* 단순확대체: 주어진 체 $F$와 원소 $u$를 포함하는 가장 작은 체 $F(u)$의 개념과 구성 원리. * 대수적/초월적 원소: $F$ 위에서 $u$가 0이 아닌 다항식의 근인지에 따라 원소를 분류하는 기준 제시. * 최소다항식: 대수적 원소 $u$에 대해 유일하게 존재하는 기약, monic, 최소차수 다항식의 정의, 존재성 및 유일성 증명. |
||
|
[43강] 단순확대체 (2)
|
1:
00:
19
|
|
|
단순 확대체의 동형사상과 기저
• 단순 확대체: 대수적 원소의 최소다항식 차수에 따라 확대체의 차원과 기저가 결정되는 체의 확장 개념. • 체 동형사상 확장: 체 동형사상을 다항식 환 및 단순 확대체로 확장하여, 동일 최소다항식을 갖는 확대체 간의 동형 관계를 확립. |
||
|
[44강] 대수적 확대체 (1)
|
0:
48:
51
|
|
|
대수적 확대체 (1)
* 대수적 확대체 정의: 확대체 K의 모든 원소가 기저 체 F 위에서 대수적인 체이며, 초월적 원소는 무한 차원 확대체를 형성함. * 유한차원 확대체 특성: 항상 대수적 확대체이자 유한생성 확대체이며, 이들의 상호 관계를 규명함. * 유한생성 확대체 차원 계산: 생성원이 대수적일 경우 유한차원 대수적 확대체가 되며, 타워 법칙과 최소다항식을 활용하여 차원을 계산함. |
||
|
[45강] 대수적 확대체 (2)
|
0:
54:
37
|
|
|
대수적 확대체 (2)
• 대수적 확대체의 추이성: 연쇄적 대수적 확대의 성질 유지 및 대수적 원소 집합이 부분체를 형성하는 구조 분석 • 최소다항식 및 아이젠슈타인 판정법: 대수적 수 집합의 무한차원성 증명과 확대체 차원 부등식의 원리 이해 • 대수적 확대체 내 환의 체 형성: 대수적 원소의 역원 존재 증명; 유리수체 위 제곱근 확대체의 차원 계산 및 소수 영향 분석 |
||
|
[46강] 분해체 (1)
|
1:
00:
20
|
|
|
분해체의 개념, 존재성 및 유일성
• 분해체 개념: 체 $F$의 다항식 $f(x)$의 모든 근을 포함하며 $F$와 모든 근으로 생성되는 최소 확대체 • 분해체의 존재성: 모든 다항식에 대해 분해체는 항상 존재하며, 확대 차원 $[K:F]$는 다항식 차수 $n$에 대해 $n!$ 이하를 만족 • 분해체의 유일성: 체 동형사상에 의해 분해체는 서로 동형(isomorphic) 관계를 가지며, 이는 대수적 구조의 유일성을 보장 |
||
|
[47강] 분해체 (2)
|
0:
43:
33
|
|
|
현대대수학: 분해체 (2) - 정규 확대체 및 대수적 폐포
• 정규 확대체 개념: 기약다항식의 모든 근을 포함하는 확대체이며, 다항식의 분해체는 유한차원 정규 확대체와 동치. • 대수적 폐체/폐포 정의: 모든 다항식이 분해되는 체가 대수적 폐체이고, 그 대수적 확대체가 대수적 폐포. • 유한체 특성: 특정한 다항식이 근을 가지지 않아 대수적 폐체가 될 수 없음. |
||
|
[48강] 분리확대체
|
0:
57:
15
|
|
|
분리 확대체 개념
* **분리 확대체 개념**: 분리다항식, 분리원소, 분리 확대체 정의 및 중근 없는 다항식의 조건 분석. * **다항식 분리성 판별**: $\text{gcd}(f(x), f'(x))=1$을 통한 다항식의 분리성 판별 원리 이해. * **체 표수 및 원시원소 정리**: 표수 0인 체에서의 분리 확대체 특징과 유한 생성 분리 확대체가 단순 확대체로 표현되는 원리. |
||
|
[49강] 유한체 (1)
|
0:
53:
35
|
|
|
유한체의 특성과 구조
* 유한체 표수: 유한체의 표수는 항상 소수 $p$이며, 소부분체는 $\mathbb{Z}_p$와 동형으로 모든 부분체의 교집합을 이룸. * 유한체 위수: 유한체의 위수는 표수 $p$와 소부분체 위에서의 차원 $n$에 따라 $p^n$ 형태로 결정되는 대수적 구조를 가짐. * 신입생의 꿈: 표수 $p$인 가환환에서 $(a+b)^{p^n} = a^{p^n} + b^{p^n}$ 항등식이 성립하며, 프로베니우스 동형사상 $f(a)=a^p$은 유한체 구조 분석의 핵심 도구로 활용됨. |
||
|
[50강] 유한체 (2)
|
0:
44:
45
|
|
|
유한체 성질 및 갈로아체
* 유한체 성질: 위수 $p^n$ 형태와 다항식 $x^{p^n}-x$의 분해체 동치성, 해당 다항식의 분리다항식 특성. * 유한체 존재성 및 유일성: 위수 $p^n$인 체는 항상 존재하며, 동형적으로 유일한 갈로아체로 정의. * 유한체 구조: 비영원소 곱셈군의 순환성, 단순확대체 표현, $\mathbb{Z}_p[x]$ 상의 특정 차수 기약다항식 존재. |
||
|
[51강] 갈로아군 (1)
|
0:
57:
16
|
|
|
현대대수학 갈로아군 (1) 개념 및 성질
* 갈로아군 정의: 체 $K$의 F-자기동형사상 집합으로, 함수의 합성 연산에 대해 군 구조를 이룸. * 갈로아 자기동형사상 기능: 다항식의 근을 다른 근으로 보존하며, 동일 최소다항식을 갖는 근 사이에 대응 관계를 확립. * 갈로아군 분석: 유한 생성 확대체에서 생성원들의 상에 의해 자기동형사상이 결정되며, 이를 통해 갈로아군의 구체적인 구조를 파악. |
||
|
[52강] 갈로아군 (2)
|
0:
48:
11
|
|
|
갈로아군: 치환군과의 관계, 중간체 및 불변체
• 갈로아군: 분리가능 다항식의 분해체 갈로아군이 치환군 $S_n$의 부분군과 동형 관계를 분석 • 중간체: 체 $F \subseteq E \subseteq K$ 관계의 중간체 정의와 갈로아군 $\text{Gal}_E(K) \subseteq \text{Gal}_F(K)$ 포함 관계 정리 • 불변체: 갈로아군 부분군 $H$의 원소에 의해 고정되는 불변체 $E_H$의 정의와 이것이 중간체임을 증명 |
||
|
[53강] 갈로아이론 (1)
|
0:
53:
23
|
|
|
갈로아 이론(1)
• 갈로아 대응: 체의 중간체와 갈로아 군 부분군 간의 일대일 대응 관계 확립. • 정리 33.1 (확대체 성질): 유한차원 확대체의 불변체 $E$에 대해 $K:E$가 분리, 단순, 정규 확대체임을 증명. • 정리 33.2 (갈로아 군-차원 관계): 불변체 $E$에 대해 $H = Gal_E(K)$ 및 $|H| = [K:E]$ 성립을 통해 갈로아 대응의 완전성을 규명. |
||
|
[54강] 갈로아이론 (2)
|
1:
04:
23
|
|
|
갈로아 이론의 기본 정리
• 갈로아 확대체: 유한차원·정규·분리 확대체의 정의 및 불변체 조건으로의 동치성 이해 • 갈로아 대응: 중간체와 갈로아군 부분군 간의 일대일 대응 관계 및 확대 차원과 부분군 위수 관계 확립 • 정규 확대체: 갈로아군 정규부분군과의 동치성 및 상군 동형 관계를 통한 대수적 구조 분석 |
||
|
[55강] 가해군
|
0:
57:
53
|
|
|
가해군의 정의 및 주요 성질
• 가해군 정의: 부분군 수열의 상군이 아벨군인 군으로, 방정식의 근의 공식 존재 여부와 연결되는 대수적 구조. • Radical Extension 및 가해다항식: 근호 확대를 통해 해가 표현 가능한 다항식의 특성 및 관련 확대체 정의. • 가해군의 성질: 아벨군, $S_3$는 가해군이나, $n \ge 5$인 $S_n$은 3-순환치환으로 비가해군이며, 가해군의 준동형상은 가해군을 보존함. |
||
|
[56강] 갈로아판정법 (1)
|
0:
52:
30
|
|
|
갈로아 판정법 (1) 및 $n$제곱근의 성질
• 갈로아 판정법: 다항식의 가해성 여부를 갈로아군의 가해성으로 결정하는 핵심 원리. • $n$제곱근 및 원시 $n$제곱근: $x^n-1$의 근 정의, 순환 부분군 형성 및 체 포함 성질. • 확대체 갈로아군: 표수 0 체 위 원시 $n$제곱근 또는 $x^n-c$ 근 생성 확대체의 정규성 및 아벨성 특성. |
||
|
[57강] 갈로아판정법 (2)
|
0:
43:
11
|
|
|
갈로아 판정법 증명 (가해다항식 $\Rightarrow$ 가해군)
• 갈로아 판정법: 가해다항식의 분해체 갈로아군이 가해군임을 증명하는 원리 (체 표수 0 전제). • 가해다항식의 분해체: 정리 35.9를 통해 정규 Radical 확대체에 포함되는 구조 및 성질 분석. • 정규 Radical 확대체의 갈로아군: 정리 35.10으로 정규 확대체의 갈로아군이 가해군임을 증명하여 판정법 완성. |
||
김은정 교수님
현대대수학 통합과정
