블로그에서 사용한 용어들을 정리해둔 페이지입니다. 한글용어와 영문용어 중, 주로 사용할 것에 체크 (☑) 표시를 해 두었습니다.

A

영문 용어	한글 용어	정의	참고
abelian category ☑	아벨 카테고리	[범주론] §아벨 카테고리
abelian group ☑	가환군	[대수적 구조] §반군, 모노이드, 군 [선형대수학] §가환군과 체	Group
action ☑	작용	[스킴 이론] §대수적 군
acyclic sheaf ☑	비순환층	[대수기하학] §Sheaf Cohomology
additive category ☑	덧셈 카테고리	[범주론] §아벨 카테고리
additive functor ☑	덧셈함자	[범주론] §아벨 카테고리
adjunction ☑	수반쌍	[범주론] §수반함자
affine $n$-space ☑	$n$차원 아핀공간	[대수기하학] §아핀다양체 [스킴 이론] §스펙트럼
affine algebraic set ☑	아핀 대수적 집합	[대수기하학] §아핀다양체
affine cone ☑	아핀 뿔	[대수기하학] §사영다양체
affine open cover ☑	아핀 열린덮개	[대수기하학] §Sheaf Cohomology
affine scheme ☑	아핀스킴	[스킴 이론] §아핀스킴
affine toric variety ☑	아핀 토릭 다양체	[Toric 기하학] §아핀 토릭 다양체
affine variety ☑	아핀다양체	[대수기하학] §아핀다양체
algebraic ☑	대수적	[체론] §대수적 확장
algebraic extension ☑	대수적 확장	[체론] §대수적 확장
algebraic group ☑	대수적 군	[스킴 이론] §대수적 군
algebraic multiplicity	대수적 중복도 ☑	[선형대수학] §특성다항식
algebraic torus ☑	대수적 토러스	[스킴 이론] §대수적 군
algebraically closed field ☑	대수적으로 닫힌 체	[선형대수학] §특성다항식 [체론] §대수적 폐포
alternating ☑	교대적	[선형대수학] §쌍선형형식 [선형대수학] §행렬식
alternating multilinear map ☑	교대다중선형사상	[선형대수학] §행렬식
annihilator ☑	소멸자	[선형대수학] §쌍대공간 [가환대수학] §기본 개념들
anti-symmetric ☑	반대칭적	[집합론] §순서관계의 정의
antisymmetric ☑	반대칭적	[집합론] §순서관계의 정의	Relation, Order relation
antitone Galois connection ☑	쌍대 갈루아 연결	[집합론] §필터와 아이디얼, 갈루아 대응
apex	꼭짓점 ☑	[범주론] §극한
artinian ☑	아틴가군	[가환대수학] §기본 개념들
ascending chain condition ☑	오름사슬조건	[가환대수학] §기본 개념들
associated point ☑	동반점	[스킴 이론] §스킴의 대수구조
associated prime ideal ☑	동반소아이디얼	[가환대수학] §동반소아이디얼
associative	결합법칙을 만족한다 ☑	[대수적 구조] §대수적 구조
associative $A$-algebra ☑	결합 $A$-대수	[대수적 구조] §대수
associative law	결합법칙 ☑	[집합론] §합집합과 교집합 [선형대수학] §가환군과 체 [대수적 구조] §대수적 구조
associative magma	결합법칙을 만족하는 마그마 ☑	[대수적 구조] §대수적 구조
asymmetric ☑	비대칭적	[집합론] §순서관계의 정의	Order relation
atlas ☑	좌표첩	[미분다양체] §미분다양체
automorphism group ☑	자기동형사상 군	[범주론] §범주
axiom	공리 ☑	[집합론] §ZFC 공리계
axiom of choice	선택공리 ☑	[집합론] §선택공리	ZFC system
axiom of existence ☑	존재 공리	[집합론] §ZFC 공리계	ZFC system
axiom of extensionality ☑	외연 공리	[집합론] §ZFC 공리계	ZFC system
axiom of infinity ☑	무한 공리	[집합론] §서수와 정렬집합
axiom of pair ☑	짝 공리	[집합론] §ZFC 공리계	ZFC system
axiom of power set ☑	멱집합 공리	[집합론] §ZFC 공리계	ZFC system
axiom of union ☑	합집합 공리	[집합론] §ZFC 공리계	ZFC system
axiom schema of comprehension ☑	분류 공리꼴	[집합론] §ZFC 공리계	ZFC system
axiom schema of replacement ☑	치환 공리꼴	[집합론] §서수들 사이의 순서관계
axiomatic system	공리계 ☑	[집합론] §ZFC 공리계	ZFC system

B

영문 용어	한글 용어	정의	참고
base ☑	기저 (위상수학)	[위상수학] §위상공간의 기저
base space ☑	기저공간	[미분다양체] §접다발과 여접다발
basis ☑	기저 (선형대수학)	[선형대수학] §벡터공간의 기저 [다중선형대수학] §기저
bijective	전단사 ☑	[집합론] §함수들 사이의 연산	Function, Injective, Surjective
bilinear ☑	이중선형	[선형대수학] §쌍대공간 [대수적 구조] §가환군
bilinear form ☑	쌍선형형식	[선형대수학] §쌍대공간 [선형대수학] §쌍선형형식
bimorphism ☑	전단사사상	[범주론] §범주
binary operation	이항연산 ☑	[대수적 구조] §대수적 구조
binary relation	이항관계 ☑	[집합론] §이항관계
block matrix	블록행렬 ☑	[선형대수학] §행렬
blowup algebra ☑	부풀림 대수	[가환대수학] §부풀림 대수
Bott's formula ☑	보트 공식	[대수기하학] §사영공간의 코호몰로지
boundary ☑	경계	[위상수학] §집합의 내부, 폐포, 경계 [호몰로지 대수학] §호몰로지
bounded ☑	유계	[집합론] §순서집합의 원소들
bounded above ☑	위로 유계	[집합론] §순서집합의 원소들
bounded below ☑	아래로 유계	[집합론] §순서집합의 원소들
braided monoidal category ☑	매듭 모노이드 범주	[범주론] §모노이드 범주
bundle map ☑	벡터다발 준동형사상	[미분다양체] §접다발과 여접다발

C

영문 용어	한글 용어	정의	참고
canonical bundle ☑	표준다발	[대수기하학] §Canonical Bundle
canonical decomposition ☑	표준분해	[집합론] §동치관계의 예시들 (함수)
canonical injection ☑	포함관계로부터 유도된 단사함수	[집합론] §함수들 사이의 연산	Function, Injective
canonical line bundle ☑	표준 선다발	[대수기하학] §표준선다발
canonical projection ☑	동치관계로부터 유도된 전사함수	[집합론] §동치관계
cardinal ☑	기수	[집합론] §기수
Cartan subalgebra ☑	카르탕 부분대수	[리 이론] §근계
Cartan-eilenberg resolution ☑	카르탕-아일렌베르크 분해	[대수기하학] §층 코호몰로지
cartesian product ☑	데카르트 곱	[집합론] §순서쌍
cartier divisor ☑	카르티에 인자	[가환대수학] §분수아이디얼
Castelnuovo-Mumford regularity ☑	정칙성	[대수기하학] §사영공간의 코호몰로지
category	카테고리 ☑	[범주론] §카테고리
cauchy sequence ☑	코시 수열	[가환대수학] §완비화
Čech cohomology ☑	체흐 코호몰로지	[대수기하학] §Čech Cohomology
Čech complex ☑	체흐 복합체	[대수기하학] §Čech Cohomology
center ☑	중심	[대수적 구조] §군의 작용
chain complex ☑	사슬복합체	[범주론] §아벨 카테고리
chain homotopy ☑	사슬 호모토피	[호몰로지 대수학] §긴 완전열
chain map ☑	사슬사상	[범주론] §아벨 카테고리 [호몰로지 대수학] §호몰로지
change-of-basis matrix	기저변환행렬 ☑	[선형대수학] §선형대수학의 기본정리 [다중선형대수학] §기저변환
character ☑	지표	[표현론] §표현의 지표 [스킴 이론] §대수적 군
characteristic ☑	표수	[선형대수학] §쌍선형형식
characteristic function	특성함수 ☑	[집합론] §자연수와 무한집합
characteristic polynomial	특성다항식 ☑	[선형대수학] §특성다항식 [다중선형대수학] §행렬식
choice function ☑	선택함수	[집합론] §선택공리
chow group ☑	저우 군	[가환대수학] §인자
Christoffel symbol ☑	크리스토펠 심볼	[미분기하학] §접속
class ☑	클래스	[범주론] §범주
class function ☑	유함수	[표현론] §표현의 지표
class group ☑	유군	[가환대수학] §인자
closed	닫힌 ☑	[집합론] §유향집합 (interval) [집합론] §필터와 아이디얼, 갈루아 대응 (lattice) [위상수학] §집합의 내부, 폐포, 경계
closed embedding ☑	닫힌 몰입	[스킴 이론] §닫힌 부분스킴
closed interval	닫힌구간 ☑	[집합론] §유향집합
closed mapping ☑	닫힌사상	[위상수학] §열린사상과 닫힌사상
closed point ☑	닫힌점	[스킴 이론] §스킴의 위상구조
closed set	닫힌집합 ☑	[위상수학] §집합의 내부, 폐포, 경계
closure ☑	폐포	[위상수학] §집합의 내부, 폐포, 경계
closure operator ☑	폐포 연산자	[집합론] §필터와 아이디얼, 갈루아 대응
coarser ☑	더 엉성한	[집합론] §집합의 합 (covering) [집합론] §동치관계 (동치관계)	Finer
coboundary map ☑	여경계 사상	[대수기하학] §Čech Cohomology
cochain complex ☑	사슬복합체	[범주론] §아벨 카테고리
cocomplete categoory ☑	여완비범주	[범주론] §극한
cocomplete category ☑	여완비범주	[범주론] §극한
cocycle ☑	쌍순환	[대수기하학] §Čech Cohomology
codimension ☑	여차원	[가환대수학] §차원 [스킴 이론] §차원
codomain	공역 ☑	[범주론] §범주
coextension of scalar ☑	스칼라의 쌍대확장	[대수적 구조] §스칼라의 변환
cofactor expansion ☑	여인자전개	[선형대수학] §행렬식의 존재성과 유일성
coherent module ☑	연접가군	[가환대수학] §기본 개념들
coherent sheaf ☑	연접층	[대수기하학] §Sheaf Cohomology [대수기하학] §표준선다발
cohomology group ☑	코호몰로지 군	[대수기하학] §Sheaf Cohomology
cokernel ☑	여핵	[범주론] §극한
commutative	교환법칙을 만족한다 ☑	[대수적 구조] §대수적 구조
commutative $A$-algebra ☑	가환 $A$-대수	[대수적 구조] §대수
commutative diagram ☑	가환그림	[집합론] §함수	Diagram
commutative group ☑	가환군	[대수적 구조] §반군, 모노이드, 군
commutative law	교환법칙 ☑	[선형대수학] §가환군과 체 [대수적 구조] §대수적 구조
commutative magma	교환법칙을 만족하는 마그마 ☑	[대수적 구조] §대수적 구조
commutator ☑	교환자	[대수적 구조] §가환군
commute ☑	가환	[집합론] §함수
comonoid ☑	쌍대모노이드	[범주론] §모노이드 대상
compact ☑	옹골	[위상수학] §옹골공간
comparable ☑	비교가능한	[집합론] §유향집합
compatible ☑	양립할 수 있는	[집합론] §함수 (함수) [집합론] §동치관계의 예시들 (동치관계) [대수적 구조] §대수적 구조 (이항연산)
complement set	여집합 ☑	[집합론] §ZFC 공리계
complete ☑	완전	[집합론] §유향집합 (lattice) [미분다양체] §벡터장 (벡터장) [Toric 기하학] §토릭 다양체의 정의
complete category ☑	완비범주	[범주론] §극한
complete local ring ☑	국소완비환	[가환대수학] §완비화
complete ring ☑	완비환	[가환대수학] §완비화
completely $t_2$-space ☑	완전 $T_2$-공간	[위상수학] §하우스도르프 공간
completely $t_3$-space ☑	완전 $T_3$-공간	[위상수학] §하우스도르프 공간
completely $t_4$-space ☑	완전 $T_4$-공간	[위상수학] §하우스도르프 공간
completely hausdorff space ☑	완전 하우스도르프 공간	[위상수학] §하우스도르프 공간
completely normal space ☑	완전정규공간	[위상수학] §하우스도르프 공간
completely regular hausdorff space ☑	완전 정칙 하우스도르프 공간	[위상수학] §하우스도르프 공간
completely regular space ☑	완전정칙공간	[위상수학] §하우스도르프 공간
completion ☑	완비화	[가환대수학] §완비화
composition	합성 ☑	[집합론] §이항관계들 사이의 연산 [범주론] §범주
composition series ☑	합성열	[가환대수학] §조르단-횔더 정리
comultiplication ☑	쌍대곱	[범주론] §모노이드 대상
connected component ☑	연결성분	[위상수학] §연결공간
connected space ☑	연결공간	[위상수학] §연결공간
connection ☑	접속	[미분기하학] §접속 [리만기하학] §접속
connection coefficient ☑	접속 계수	[리만기하학] §접속
constant	상수함수 ☑	[집합론] §함수
constant function	상수함수 ☑	[집합론] §함수	Function
constant sheaf ☑	상수층	[대수기하학] §Sheaf Cohomology
continuous	연속 ☑	[위상수학] §연속함수
continuous function	연속함수 ☑	[위상수학] §연속함수
continuum hypothesis	연속체가설 ☑	[집합론] §기수
contravariant functor ☑	반변함자	[범주론] §함자
converge	수렴 ☑	[위상수학] §하우스도르프 공간 [위상수학] §옹골성과 필터의 수렴
coordinate form ☑	좌표 형식	[다중선형대수학] §쌍대공간
coordinate representation in basis $\mathcal{B}$	basis $\mathcal{B}$에 대한 좌표 표현 ☑	[선형대수학] §벡터공간의 기저
coordinate ring ☑	좌표환	[대수기하학] §아핀다양체
coprimary submodule ☑	쌍대으뜸부분가군	[가환대수학] §으뜸분해
coset ☑	잉여류	[대수적 구조] §몫군
cotangent bundle ☑	여접다발	[미분다양체] §접다발과 여접다발 [대수기하학] §표준선다발
cotangent space ☑	여접공간	[미분다양체] §여접공간 [미분다양체] §미분사상의 예시들
counit ☑	쌍대단위원	[범주론] §모노이드 대상
countable ☑	가산	[집합론] §자연수와 무한집합
covariant derivative ☑	공변미분	[미분기하학] §접속
covariant functor ☑	공변함자	[범주론] §함자
covector ☑	여벡터	[미분다양체] §미분사상의 예시들
covering ☑	덮개	[집합론] §집합의 합 (집합)
covering space ☑	피복공간	[대수적 위상수학] §피복공간
crepant resolution ☑	크레펀트 분해	[Toric 기하학] §파노 다양체
cup product ☑	합곱	[대수적 위상수학] §합곱
cycle ☑	사이클	[호몰로지 대수학] §호몰로지

D

영문 용어	한글 용어	정의	참고
de Morgan's law	드 모르간 법칙 ☑	[집합론] §합집합과 교집합
de rham cohomology group ☑	드람 코호몰로지 군	[미분다양체] §미분형식
decreasing	감소 ☑	[집합론] §단조함수 (순서관계)
decreasing filtration ☑	감소 여과	[호몰로지 대수학] §스펙트럼 열
decreasing function	감소함수 ☑	[집합론] §단조함수
dedekind domain ☑	데데킨트 정역	[가환대수학] §인자
deformation retract ☑	변형 수축	[대수적 위상수학] §호모토피
deformation retraction ☑	변형 수축	[대수적 위상수학] §호모토피
degree ☑	차수	[대수기하학] §사영공간의 코호몰로지 [선형대수학] §부분공간 [체론] §대수적 확장
delta functor ☑	델타 함자	[호몰로지 대수학] §유도함자
dense ☑	조밀	[위상수학] §집합의 내부, 폐포, 경계
dense subset ☑	조밀 부분집합	[위상수학] §집합의 내부, 폐포, 경계
derived functor ☑	유도함자	[호몰로지 대수학] §Derived Functors
derived series ☑	유도열	[군론] §군의 열
descending chain condition ☑	내림사슬조건	[가환대수학] §기본 개념들
determinant	행렬식 ☑	[선형대수학] §행렬식 [다중선형대수학] §행렬식
diagonal ☑	대각집합	[집합론] §이항관계들 사이의 연산
diagonal matrix	대각행렬 ☑	[선형대수학] §행렬 [선형대수학] §행렬식의 존재성과 유일성
diagonal morphism ☑	대각사상	[스킴 이론] §값매김환
diagonalizable	대각화가능 ☑	[선형대수학] §대각화 [선형대수학] §고유공간분해
diagonalization	대각화 ☑	[선형대수학] §대각화
diagram ☑	그림	[집합론] §함수
diffeomorphic ☑	미분동형	[미분다양체] §미분사상
diffeomorphism ☑	미분동형사상	[미분다양체] §미분사상
differentiable manifold ☑	미분다양체	[미분다양체] §미분다양체
differentiable structure ☑	미분다양체	[미분다양체] §미분다양체
differential ☑	미분사상	[미분다양체] §미분사상
differential $k$-form ☑	$k$차 미분형식	[미분다양체] §미분형식
differential form ☑	미분형식	[미분다양체] §미분형식
differential ideal ☑	미분 아이디얼	[미분다양체] §미분 아이디얼
dimension	차원 ☑	[선형대수학] §벡터공간의 차원 [위상수학] §차원 [스킴 이론] §차원
direct limit (injective limit) ☑	직접극한 (귀납적극한)	[집합론] §극한
direct product ☑	직접곱	[대수적 구조] §군의 직접곱
direct sum ☑	직합	[선형대수학] §고유공간분해 [대수적 구조] §가환군
direct system ☑	유향체계	[집합론] §극한
directed ☑	유향	[집합론] §유향집합
discrete topology ☑	이산위상	[위상수학] §열린집합
discrete valuation ☑	이산값매김	[가환대수학] §정칙국소환
discrete valuation ring ☑	이산 valuation 환	[가환대수학] §인자 [가환대수학] §정칙국소환
disjoint ☑	서로소	[집합론] §집합의 합 [군론] §대칭군
disjoint union	분리합집합 ☑	[집합론] §집합의 합
distributive law	분배법칙 ☑	[집합론] §곱집합의 성질 [대수적 구조] §환의 정의
division ring ☑	나눗셈환	[대수적 구조] §분수체
divisor class group ☑	인자류군	[대수기하학] §인자
domain	정의역 ☑	[집합론] §함수 [범주론] §범주
double complex ☑	이중사슬복합체	[호몰로지 대수학] §호몰로지
double dual ☑	이중쌍대	[선형대수학] §쌍대공간
dual basis ☑	쌍대기저	[선형대수학] §쌍대공간 [다중선형대수학] §쌍대공간
dual bundle ☑	쌍대다발	[대수기하학] §선다발과 벡터다발
dual cone ☑	쌍대뿔	[Toric 기하학] §아핀 토릭 다양체
dual lattice ☑	쌍대 격자	[Toric 기하학] §아핀 토릭 다양체
dual map ☑	쌍대사상	[선형대수학] §쌍대공간
dual module ☑	쌍대가군	[다중선형대수학] §쌍대공간
dual pairing ☑	쌍대 페어링	[Toric 기하학] §아핀 토릭 다양체
dual space ☑	쌍대공간	[선형대수학] §선형사상들의 공간

E

영문 용어	한글 용어	정의	참고
effective ☑	유효	[대수기하학] §인자
eigenspace	고유공간 ☑	[선형대수학] §특성다항식
eigenvalue	고윳값 ☑	[선형대수학] §특성다항식
eigenvalue	고유벡터 ☑	[선형대수학] §특성다항식
elementary row operation	기본행연산 ☑	[선형대수학] §가우스 소거법
elementary row operation, ero	기본행연산 ☑	[선형대수학] §가우스 소거법
embedding ☑	매장	[미분다양체] §부분다양체와 역함수 정리
empty set	공집합 ☑	[집합론] §ZFC 공리계
endomorphism monoid ☑	자기준동형사상 모노이드	[범주론] §범주
epimorphism ☑		[[범주론] §쌍대성] [범주론] §범주
equipotent ☑	대등	[집합론] §기수
equivalence class ☑	동치류	[집합론] §동치관계	Partition
equivalence of category ☑	동등함자	[범주론] §자연변환
equivalence relation	동치관계 ☑	[집합론] §동치관계	Binary relation
equivalent ☑	동등	[범주론] §자연변환 [다중선형대수학] §기저변환 [가환대수학] §완비화 [군론] §군의 열
essentially surjective ☑	본질적 전사 함자	[범주론] §자연변환
euclidean domain ☑	유클리드 정역	[환론] §정역
Euclidean space	유클리드 공간 ☑	[선형대수학] §벡터공간
Euler characteristic ☑	오일러 지표	[대수기하학] §사영공간의 코호몰로지
evaluation map ☑	값매김사상	[선형대수학] §쌍대공간
evaluation map ☑	값매김사상	[대수기하학] §사영공간의 코호몰로지
even permutation ☑	짝치환	[선형대수학] §행렬식의 존재성과 유일성
evenly covered ☑	고르게 덮임	[대수적 위상수학] §피복공간
exact sequence ☑	완전열	[범주론] §아벨 카테고리
extended rees algebra ☑	확장된 리스 대수	[가환대수학] §평탄성과 국소화
extension ☑	확장	[집합론] §함수 [가환대수학] §정수적 확장 [군론] §군의 확장
extension of scalar ☑	스칼라의 확장	[대수적 구조] §스칼라의 변환
exterior ☑	외부	[위상수학] §집합의 내부, 폐포, 경계
exterior algebra ☑	대칭대수	[다중선형대수] §텐서대수
exterior bundle ☑	외다발	[미분다양체] §미분형식
exterior derivative ☑	외미분	[미분다양체] §미분형식

F

영문 용어	한글 용어	정의	참고
face ☑	면	[Toric 기하학] §아핀 토릭 다양체
faithful ☑	충실	[범주론] §함자
family of sets ☑	집합족	[집합론] §합집합과 교집합
fiber ☑	올	[스킴 이론] §올곱
fiber bundle ☑	올다발	[대수적 위상수학] §특성류
field ☑	체	[선형대수학] §가환군과 체 [대수적 구조] §분수체
field of fractions ☑	분수체	[대수적 구조] §분수체
filter ☑	필터	[집합론] §필터와 아이디얼, 갈루아 대응
final topology ☑	종 위상
finer ☑	더 섬세한	[집합론] §집합의 합 (covering) [집합론] §동치관계의 예시들	Coarser
finite	유한 ☑	[집합론] §자연수와 무한집합 [스킴 이론] §스킴 사상의 성질들
finite dimensional	유한차원 ☑	[위상수학] §차원
finite homomorphism ☑	유한 준동형사상	[가환대수학] §정수적 확장
finite support ☑	유한지지	[선형대수학] §부분공간
finite type homomorphism ☑	유한형 준동형사상	[가환대수학] §정수적 확장
finitely generated ☑	유한생성	[다중선형대수학] §완전열
finitely generated $A$-module ☑	유한생성 $A$-가군	[대수적 구조] §가군
finitely presented ☑	유한표시가군	[가환대수학] §기본 개념들
fixer ☑	고정자	[대수적 구조] §군의 작용
flag ☑	깃발	[대수기하학] §그라스만 다양체
flasque sheaf ☑	플라스크층	[대수기하학] §Sheaf Cohomology
flat module ☑	평탄가군	[다중선형대수학] §사영가군, 단사가군, 평탄가군
four fundamental subspaces	네 개의 기본공간들 ☑	[선형대수학] §쌍선형형식
fractional ideal ☑	분수아이디얼	[가환대수학] §분수아이디얼
frame ☑	틀	[미분다양체] §벡터장
fréchet space ☑	프레셰 공간	[위상수학] §하우스도르프 공간
free $A$-module ☑	자유 $A$-가군	[대수적 구조] §가군의 직접곱과 직합, 텐서곱
free abelian group ☑	자유아벨군	[범주론] §수반함자
free family ☑	자유족	[다중선형대수학] §기저
free group ☑	자유군	[대수적 구조] §자유곱 [범주론] §수반함자
Frobenius algebra ☑	프로베니우스 대수	[거울대칭] §프로베니우스 다양체
Frobenius manifold ☑	프로베니우스 다양체	[거울대칭] §프로베니우스 다양체
full ☑	충만	[범주론] §함자
full subcategory ☑	충만한 부분카테고리	[범주론] §자연변환
function	함수 ☑	[집합론] §함수
functional ☑	범함수	[선형대수학] §선형사상들의 공간 (linear functional)
functor ☑	함자	[범주론] §함자
functor category ☑	함자 카테고리	[범주론] §자연변환
fundamental class ☑	기본류	[대수적 위상수학] §푸앵카레 쌍대성
fundamental theorem of linear algebra	선형대수학의 기본정리 ☑	[선형대수학] §선형대수학의 기본정리

G

영문 용어	한글 용어	정의	참고
Galois ☑	갈루아	[체론] §갈루아 확장
Galois connection ☑	갈루아 연결	[집합론] §필터와 아이디얼, 갈루아 대응
Galois correspondence ☑	갈루아 대응	[집합론] §필터와 아이디얼, 갈루아 대응
Galois group ☑	갈루아 군	[체론] §갈루아 확장
Gaussian elimination	가우스 소거법 ☑	[선형대수학] §가우스 소거법
general linear group ☑	일반선형군	[선형대수학] §행렬
generate ☑	생성	[대수적 구조] §가군 [다중선형대수학] §기저
generating set	생성집합 ☑	[다중선형대수학] §완전열
generic point ☑	일반점	[대수기하학] §접공간과 매끄러움 [스킴 이론] §스킴의 위상구조
geometric multiplicity	기하적 중복도 ☑	[선형대수학] §특성다항식
germ ☑	싹	[위상수학] §준층
global orientation ☑	전역 방향	[대수적 위상수학] §푸앵카레 쌍대성
global section ☑	대역 단면	[대수기하학] §Sheaf Cohomology
graded homomorphism ☑	등급준동형사상	[대수적 구조] §등급환
graded ideal ☑	등급 아이디얼	[대수적 구조] §등급환
graded ring ☑	등급환	[대수적 구조] §등급환
graded submodule ☑	등급부분가군	[대수적 구조] §등급가군
Gram matrix ☑	그람 행렬	[선형대수학] §쌍선형형식
Gram-Schmidt process	Gram-Schmidt 과정 ☑	[선형대수학] §내적공간
graph	그래프 ☑
grassmannian ☑	그라스만다양체	[대수기하학] §그라스만 다양체
greatest ☑	최대	[집합론] §순서집합의 원소들
greatest common divisor	최대공약수 ☑	[환론] §정역
greatest element ☑	최대원소	[집합론] §순서집합의 원소들
greatest lower bound ☑	최대하계	[집합론] §순서집합의 원소들
Grothendieck group ☑	그로텐디크 군	[대수적 구조] §Grothendieck 군
group ☑	군	[대수적 구조] §반군, 모노이드, 군 [선형대수학] §가환군과 체
group algebra ☑	군대수	[대수적 구조] §대수
group object ☑	군 대상	[범주론] §모노이드 대상
group ring ☑	군환	[대수적 구조] §대수
groupoid ☑	준군	[범주론] §범주

H

영문 용어	한글 용어	정의	참고
hamiltonian ☑	해밀토니안	[심플렉틱 기하학] §고전역학
hausdorff space ☑	하우스도르프 공간	[위상수학] §하우스도르프 공간
Hessian ☑	헤시안	[미분기하학] §접속
homeomorphism ☑	위상동형사상	[위상수학] §연속함수
homogeneous ☑	동차	[가환대수학] §차원
homogeneous coordinates ☑	동차좌표	[대수기하학] §사영다양체
homogeneous element ☑	동차원소	[대수적 구조] §등급환
homogeneous ideal ☑	동차 아이디얼	[대수적 구조] §등급환
homogeneous localization ☑	동차국소화	[가환대수학] §등급환의 국소화
homogeneous of degree $d$ ☑	$d$차 동차다항식	[대수기하학] §사영다양체
homogeneous polynomial ☑	동차다항식	[환론] §다항식환
homology ☑	호몰로지	[호몰로지 대수학] §호몰로지
homomorphism ☑	준동형사상	[대수적 구조] §대수적 구조
homotopic ☑	호모토픽	[대수적 위상수학] §호모토피
homotopically equivalent ☑	호모토피 동형	[대수적 위상수학] §호모토피
homotopy ☑	호모토피	[대수적 위상수학] §호모토피
homotopy equivalence ☑	호모토피 동형사상	[대수적 위상수학] §호모토피
hopf monoid ☑	호프 모노이드	[범주론] §모노이드 대상
hyperelliptic curve ☑	초타원곡선	[대수기하학] §곡선에서의 리만-로흐 정리
hyperplane ☑	초평면	[대수기하학] §사영공간의 코호몰로지
hypersurface	초곡면 ☑	[대수기하학] §아핀다양체

I

영문 용어	한글 용어	정의	참고
ideal ☑	아이디얼	[집합론] §필터와 아이디얼, 갈루아 대응 (lattice) [대수적 구조] §환의 정의 (Ring)
ideal quotient ☑	아이디얼 몫	[가환대수학] §기본 개념들 [가환대수학] §등급환의 국소화
identity element	항등원 ☑	[대수적 구조] §반군, 모노이드, 군
identity function	항등함수 ☑	[집합론] §이항관계들 사이의 연산	Function
image ☑	상	[집합론] §이항관계 (함수) [선형대수학] §선형사상 (linear map)
immersion ☑	몰입	[미분다양체] §부분다양체와 역함수 정리
imperfect field ☑	불완전체	[체론] §체
increasing	증가 ☑	[집합론] §단조함수 (순서관계)
increasing function	증가함수 ☑	[집합론] §단조함수
index ☑	인덱스	[대수적 구조] §몫군
index set ☑	첨수집합	[집합론] §함수	Function, Family of sets
infimum (greatest lower bound) ☑	하한 (최대하계)	[집합론] §순서집합의 원소들
infinite	무한 ☑	[집합론] §자연수와 무한집합
initial object ☑	시작 대상	[범주론] §표현가능한 함자
initial ordinal ☑	정초서수	[집합론] §서수들 사이의 순서관계
initial topology ☑	정초위상	[위상수학] §Initial topology와 final topology
injective	단사 ☑	[집합론] §함수들 사이의 연산 [선형대수학] §선형사상	Function
injective limit ☑	귀납적 극한	[집합론] §극한
injective module ☑	단사가군	[다중선형대수학] §사영가군, 단사가군, 평탄가군
injective object ☑	단사 대상	[대수기하학] §Sheaf Cohomology [호몰로지 대수학] §분해
injective resolution ☑	단사 분해	[대수기하학] §Sheaf Cohomology [호몰로지 대수학] §분해
inner automorphism ☑	내부자기동형사상	[대수적 구조] §군의 작용
inner product	내적 ☑	[선형대수학] §쌍선형형식 [선형대수학] §내적공간
inner product space	내적공간 ☑	[선형대수학] §쌍선형형식 [선형대수학] §내적공간
integral ☑	정수적	[가환대수학] §정수적 확장 [스킴 이론] §스킴의 대수구조 [스킴 이론] §스킴 사상의 성질들 [Toric 기하학] §토러스 인자와 선다발
integral domain ☑	정역	[대수적 구조] §분수체
integral extension ☑	정수적 확장	[가환대수학] §정수적 확장
integral flow ☑	적분곡선	[미분다양체] §벡터장
integral homomorphism ☑	정수적 준동형사상	[가환대수학] §정수적 확장
interior ☑	내부	[위상수학] §집합의 내부, 폐포, 경계
interior multiplication ☑	내부곱	[미분다양체] §미분형식
intersection	교집합 ☑	[집합론] §ZFC 공리계 [집합론] §합집합과 교집합
intersection multiplicity ☑	교차 중복도	[대수기하학] §교차곱
intersection number ☑	교차수	[대수기하학] §곡면에서의 리만-로흐 정리
interval	구간 ☑	[집합론] §유향집합
invariant basis number property ☑	불변 기저수 성질	[다중선형대수학] §기저
inverse	역 ☑	[집합론] §이항관계들 사이의 연산 (이항관계) [집합론] §함수들 사이의 연산 (함수) [대수적 구조] §반군, 모노이드, 군 [대수적 구조] §대수적 구조 [범주론] §범주
inverse element	역원 ☑	[선형대수학] §가환군과 체
inverse limit (projective limit)☑	역극한 (사영극한)	[집합론] §극한
inverse matrix	역행렬 ☑	[선형대수학] §역행렬 [선형대수학] §행렬
inverse system ☑	역향체계	[집합론] §극한
invertible	가역 ☑	[선형대수학] §행렬 [대수적 구조] §반군, 모노이드, 군 [가환대수학] §분수아이디얼
invertible matrix	가역행렬 ☑	[선형대수학] §행렬
irreducible ☑	기약	[가환대수학] §으뜸분해 [위상수학] §차원 [환론] §정역
irreducible decomposition ☑	기약분해	[가환대수학] §으뜸분해
irreducible representation ☑	기약표현	[표현론] §유한군의 표현론
isolated point ☑	고립점	[위상수학] §집합의 내부, 폐포, 경계
isomorphic ☑	동형	[대수적 구조] §대수적 구조 [선형대수학] §동형사상 [범주론] §범주
isomorphism ☑	동형사상

J

영문 용어	한글 용어	정의	참고
jacobson radical ☑	제이콥슨 근기	[가환대수학] §정수적 확장
jacobson ring ☑	제이콥슨 환	[가환대수학] §영점정리
join ☑	이음	[집합론] §유향집합
jordan canonical form ☑	조르당 표준형	[선형대수학] §조르당 표준형

K

영문 용어	한글 용어	정의	참고
Kähler differential module ☑	캘러 미분가군	[가환대수학] §미분
kernel ☑	핵	[선형대수학] §선형사상 [범주론] §극한 [대수적 구조] §군 준동형사상
Kodaira dimension ☑	고다이라 차원	[대수기하학] §고다이라 소멸정리
kolmogorov space ☑	콜모고로프 공간	[위상수학] §하우스도르프 공간
Kronecker pairing ☑	크로네커 쌍	[다중선형대수학] §쌍대공간
krull dimension ☑	크룰 차원	[위상수학] §차원 [가환대수학] §차원

L

영문 용어	한글 용어	정의	참고
landau-ginzburg model ☑	란다우-긴즈부르크 모델	[거울대칭] §거울대칭 개요
lattice ☑	격자	[집합론] §유향집합 [Toric 기하학] §아핀 토릭 다양체
Laurent series ☑	로랑 급수	[대수기하학] §사영공간의 코호몰로지
leading coefficient	선행계수 ☑	[선형대수학] §가우스 소거법
leading term	최고차항 ☑	[선형대수학] §부분공간
least ☑	최소	[집합론] §순서집합의 원소들
least element ☑	최소원소	[집합론] §순서집합의 원소들
least squares method	최소제곱법 ☑	[선형대수학] §최소제곱법
least upper bound ☑	최소상계	[집합론] §순서집합의 원소들
left $A$-module ☑	왼쪽 $A$-가군	[대수적 구조] §가군
left action ☑	왼쪽 작용	[대수적 구조] §군의 작용
left adjoint ☑	왼쪽 수반함자	[범주론] §수반함자
left coset ☑	왼쪽 잉여류	[대수적 구조] §몫군
left derived functor ☑	왼쪽 유도함자	[호몰로지 대수학] §유도함자
left directed ☑	왼쪽으로 유향	[집합론] §유향집합
left ideal ☑	왼쪽 아이디얼	[대수적 구조] §환의 정의 [대수적 구조] §대수
left inverse	왼쪽 역원 ☑	[대수적 구조] §반군, 모노이드, 군
left resolution ☑	왼쪽 분해	[호몰로지 대수학] §분해
leg ☑	다리	[범주론] §극한
length	길이 ☑	[리만기하학] §리만 계량 [가환대수학] §조르단-횔더 정리 [위상수학] §차원 [군론] §군의 열
Leray theorem ☑	르레 정리	[대수기하학] §Sheaf Cohomology
Lie algebra ☑	리 대수	[리 이론] §리 군
Lie bracket ☑	리 브라켓	[미분다양체] §리 미분 [리 이론] §리 군
Lie derivative ☑	리 미분	[미분다양체] §리 미분
Lie group ☑	리 군	[리 이론] §리 군
limit ☑	극한	[범주론] §극한
limit ordinal ☑	극한서수	[집합론] §정렬집합의 성질들
limit point ☑	극한점	[위상수학] §집합의 내부, 폐포, 경계 [위상수학] §옹골성과 필터의 수렴
line bundle ☑	선다발	[대수기하학] §선다발과 벡터다발			[선형대수학] §동형사상 [대수적 구조] §대수적 구조
linear combination	일차결합 ☑	[선형대수학] §부분공간 [대수적 구조] §가군
linear map ☑	선형사상	[선형대수학] §선형사상
linear operator ☑	선형연산자	[선형대수학] §선형사상 [선형대수학] §가우스 소거법
linearly dependent	일차독립 ☑	[선형대수학] §벡터공간의 기저 [다중선형대수학] §기저
linearly equivalent ☑	선형동치	[대수기하학] §인자
linearly independent	일차종속 ☑	[선형대수학] §벡터공간의 기저 [미분다양체] §벡터장
local base ☑	국소기저	[위상수학] §위상공간의 기저
local basis ☑	국소기저	[위상수학] §위상공간의 기저
local orientation ☑	국소 방향	[대수적 위상수학] §푸앵카레 쌍대성
local ring ☑	국소환	[가환대수학] §국소화
local trivialization ☑	국소적 자명화	[미분다양체] §접다발과 여접다발
localization ☑	국소화	[대수적 구조] §분수체 [가환대수학] §국소화
locally closed ☑	국소적으로 닫힌	[위상수학] §몫공간
locally compact ☑	국소적으로 옹골	[위상수학] §옹골성
locally compact space ☑	국소적 옹골공간	[위상수학] §옹골성
locally connected ☑	국소연결	[위상수학] §연결공간
locally finite ☑	국소적으로 유한	[위상수학] §집합의 내부, 폐포, 경계
locally free sheaf ☑	국소 자유층	[대수기하학] §선다발과 벡터다발
locally noetherian scheme ☑	국소뇌터스킴	[스킴 이론] §스킴의 위상구조
locally of finite presentation ☑	국소유한표시사상	[스킴 이론] §스킴 사상의 성질들
locally of finite type ☑	국소적으로 유한형	[스킴 이론] §스킴 사상의 성질들
locally ringed space ☑	국소적 환 달린 공간	[스킴 이론] §아핀스킴
locally small category	국소적으로 작은 카테고리 ☑	[범주론] §카테고리
long exact sequence ☑	긴 완전열	[호몰로지 대수학] §호몰로지
lower bound ☑	하계	[집합론] §순서집합의 원소들
lower central series ☑	내림중심열	[군론] §군의 열
lower set ☑	하집합	[집합론] §필터와 아이디얼, 갈루아 대응
lower triangular matrix	하삼각행렬 ☑	[선형대수학] §행렬식의 존재성과 유일성

M

영문 용어	한글 용어	정의	참고
magma	마그마 ☑	[대수적 구조] §대수적 구조
magma homomorphism ☑	마그마 준동형사상	[대수적 구조] §대수적 구조
mapping cone ☑		[호몰로지 대수학] §긴 완전열
matrix	행렬 ☑	[선형대수학] §행렬
maximal ☑	극대	[집합론] §순서집합의 원소들
maximal element ☑	극대원소	[집합론] §순서집합의 원소들
maximal ideal ☑	극대 아이디얼	[대수적 구조] §환의 정의
meet ☑	만남	[집합론] §유향집합
minimal ☑	극소	[집합론] §순서집합의 원소들
minimal element ☑	극소원소	[집합론] §순서집합의 원소들
minimal polynomial ☑	최소다항식	[체론] §대수적 확장
minimum-norm solution	최소노름해 ☑	[선형대수학] §최소제곱법
monogenous ☑	단일생성	[다중선형대수학] §기저
monoid ☑	모노이드	[대수적 구조] §반군, 모노이드, 군 [범주론] §모노이드 범주
monoid homomorphism ☑	모노이드 준동형사상	[대수적 구조] §반군, 모노이드, 군
monoid object ☑	모노이드 대상	[범주론] §모노이드 대상
monoidal category ☑	모노이드 범주	[범주론] §모노이드 범주
monomorphism ☑		[[범주론] §쌍대성] [범주론] §범주
monotone	단조 ☑	[집합론] §단조함수
monotone function	단조함수 ☑	[집합론] §단조함수
monotone Galois connection ☑	갈루아 연결	[집합론] §필터와 아이디얼, 갈루아 대응
moore-penrose pseudoinverse	유사역행렬 ☑	[선형대수학] §최소제곱법
morphism ☑	사상	[범주론] §카테고리 [대수기하학] §아핀다양체 [대수기하학] §사영다양체 [대수기하학] §준사영다양체
morphism of finite presentation ☑	유한표시사상	[스킴 이론] §스킴 사상의 성질들
morphism of finite type ☑	유한형사상	[스킴 이론] §스킴 사상의 성질들
multilinear map ☑	다중선형사상	[선형대수학] §행렬식
multiplicatively closed ☑	곱셈에 대하여 닫혀있다	[가환대수학] §국소화
multiplicity	중복도 ☑	[선형대수학] §특성다항식
musical isomorphism ☑	음악 동형사상	[미분기하학] §리만 계량
mutually disjoint ☑	쌍마다 서로소	[집합론] §집합의 합	Disjoint

N

영문 용어	한글 용어	정의	참고
natural isomorphism ☑	자연동형변환	[범주론] §자연변환
natural number	자연수 ☑	[집합론] §자연수와 무한집합
natural transformation ☑	자연변환	[범주론] §자연변환
naturally equivalent ☑	자연변환에 대해 동등	[범주론] §자연변환
neighborhood	근방 ☑	[위상수학] §열린집합
neighborhood filter	근방필터 ☑	[위상수학] §위상공간의 다른 정의들
nilpotent ☑	멱영	[대수적 구조] §분수체 [선형대수학] §조르당 표준형
nilpotent group ☑	멱영군	[군론] §군의 열
nilradical ☑	영근기	[가환대수학] §정수적 확장
noetherian ☑	뇌터가군	[가환대수학] §기본 개념들 [위상수학] §차원
noetherian scheme ☑	뇌터스킴	[스킴 이론] §스킴의 위상구조
non-degenerate bilinear form ☑	비퇴화 쌍선형형식	[선형대수학] §쌍선형형식
nondegenerate ☑	비퇴화	[선형대수학] §쌍대공간 (pairing) [선형대수학] §쌍선형형식 (bilinear form)
norm ☑	노름	[선형대수학] §내적공간 [환론] §정역
normal ☑	정규스킴	[스킴 이론] §스킴의 대수구조
normal bundle ☑	법다발	[미분기하학] §리만계량
normal domain ☑	정규정역	[가환대수학] §정수적 확장
normal extension ☑	정규확대	[체론] §갈루아 확장
normal hausdorff space ☑	정규 하우스도르프 공간	[위상수학] §하우스도르프 공간
normal regular space ☑	정규정칙공간	[위상수학] §하우스도르프 공간
normal ring ☑	정규환	[가환대수학] §인자 [가환대수학] §정칙국소환
normal space ☑	정규공간	[위상수학] §하우스도르프 공간
normal subgroup ☑	정규부분군	[대수적 구조] §몫군
normalization ☑	정규화	[가환대수학] §인자 [가환대수학] §정칙국소환
null-homotopic ☑	영호모토픽	[대수적 위상수학] §호모토피
nullity ☑	영공간의 차원	[선형대수학] §동형사상
numerically equivalent ☑	수치적으로 동치	[대수기하학] §곡면에서의 리만-로흐 정리

O

영문 용어	한글 용어	정의	참고
object	대상 ☑	[범주론] §카테고리
odd permutation ☑	홀치환	[선형대수학] §행렬식의 존재성과 유일성
one-parameter group ☑	단일매개변수군	[미분다양체] §벡터장
open cover ☑	열린덮개	[대수기하학] §Sheaf Cohomology
open covering ☑	열린덮개	[위상수학] §위상공간의 기저
open interval	열린구간 ☑	[집합론] §유향집합
open mapping ☑	열린사상	[위상수학] §열린사상과 닫힌사상
open neighborhood	열린근방 ☑	[위상수학] §열린집합
open set	열린집합 ☑	[위상수학] §열린집합
open subscheme ☑	열린 부분스킴	[스킴 이론] §스킴
opposite category ☑	반대 카테고리	[[범주론] §쌍대성] [범주론] §함자
opposite magma ☑	반대 마그마	[대수적 구조] §군의 작용
order isomorphism☑	순서동형사상	[집합론] §순서관계의 정의
order relation ☑	순서관계	[집합론] §순서관계의 정의	Relation, Order relation
ordered pair	순서쌍 ☑	[집합론] §순서쌍
ordered set ☑	순서집합	[집합론] §순서관계의 정의
ordinal ☑	서수	[집합론] §정렬집합의 성질들
orientable ☑	가향	[대수적 위상수학] §푸앵카레 쌍대성
orientation double cover ☑	방향 이중덮개	[대수적 위상수학] §푸앵카레 쌍대성
orientation sheaf ☑	방향층	[대수적 위상수학] §푸앵카레 쌍대성
orientation-generator sheaf ☑	방향생성자층	[대수적 위상수학] §푸앵카레 쌍대성
orthogonal ☑	작교	[다중선형대수학] §쌍대공간
orthogonal basis ☑	직교기저	[선형대수학] §내적공간
orthogonal basis ☑	직교행렬	[선형대수학] §내적공간
orthogonal complement ☑	직교여공간	[선형대수학] §쌍대공간 [선형대수학] §쌍선형형식
orthonormal basis ☑	정규직교기저	[선형대수학] §내적공간

P

영문 용어	한글 용어	정의	참고
pairing ☑	쌍	[선형대수학] §쌍대공간
pairwise disjoint	쌍마다 서로소 ☑	[집합론] §집합의 합
parallelizable ☑	평행적	[미분다양체] §접다발과 여접다발
parallelogram law	평행사변형 법칙 ☑	[선형대수학] §내적공간
partial product	부분곱 ☑	[집합론] §곱집합의 성질
partition	분할 ☑	[집합론] §집합의 합 [대수기하학] §그라스만 다양체
partition of unity ☑	단위분할	[미분다양체] §미분다양체 [위상수학] §옹골성
Peano axiom	페아노 공리 ☑	[집합론] §서수와 정렬집합
perfect field ☑	완전체	[체론] §체
perfect set ☑	완전집합	[위상수학] §집합의 내부, 폐포, 경계
permutation ☑	치환	[선형대수학] §행렬식의 존재성과 유일성
phase space ☑	위상공간	[심플렉틱 기하학] §고전역학
Picard group ☑	피카르 군	[대수기하학] §Picard Group [가환대수학] §분수아이디얼
piecewise linear function ☑	조각별 선형 함수	[Toric 기하학] §토러스 인자와 선다발
point	점 ☑	[위상수학] §열린집합 [대수기하학] §아핀다양체 [스킴 이론] §스펙트럼
power set	멱집합 ☑	[집합론] §ZFC 공리계
precisely separated by continuous functions	연속함수로 정확히 분리가능 ☑	[위상수학] §하우스도르프 공간
preimage ☑	역상	[집합론] §이항관계들 사이의 연산 [집합론] §동치관계의 예시들 (동치관계)
preorder relation ☑	원순서관계	[집합론] §순서관계의 정의	Order relation
presheaf ☑	준층	[위상수학] §준층
presheaf kernel ☑	핵 준층	[위상수학] §준층
presheaf morphism ☑	준층 사상	[위상수학] §준층
primary decomposition ☑	으뜸분해	[가환대수학] §으뜸분해
primary submodule ☑	으뜸부분가군	[가환대수학] §으뜸분해
prime field ☑	소체	[체론] §체
prime ideal ☑	소아이디얼	[대수적 구조] §분수체
principal divisor ☑	주인자	[가환대수학] §인자 [대수기하학] §인자
principal ideal domain ☑	주아이디얼정역	[환론] §정역
product	곱 ☑	[집합론] §집합의 곱 (집합) [집합론] §곱집합의 성질 (함수) [집합론] §동치관계의 예시들 (동치관계) [집합론] §단조함수 (순서관계) [집합론] §기수들 사이의 연산 (cardinal) [미분다양체] §미분다양체의 예시들 (manifold) [위상수학] §곱공간 [대수적 구조] §대수적 구조 [범주론] §극한 [환론] §중국인의 나머지정리
product category ☑	곱 카테고리	[범주론] §범주
product magma	곱 ☑	[대수적 구조] §대수적 구조
projection ☑	사영	[집합론] §순서쌍 (순서쌍) [집합론] §집합의 곱 (집합) [선형대수학] §내적공간
projection theorem ☑	사영정리	[선형대수학] §내적공간
projective $n$-space ☑	$n$차원 사영공간	[대수기하학] §사영다양체
projective algebraic set ☑	사영 대수적 집합	[대수기하학] §사영다양체
projective limit ☑	사영극한	[집합론] §극한
projective module ☑	사영가군	[다중선형대수학] §사영가군, 단사가군, 평탄가군
projective object ☑	사영 대상	[호몰로지 대수학] §분해
projective resolution ☑	사영분해	[호몰로지 대수학] §분해
projective variety ☑	사영다양체	[대수기하학] §사영다양체
proper map ☑	고유함수	[위상수학] §고유함수
proper morphism ☑	고유사상	[스킴 이론] §값매김환
pseudo-riemannian metric ☑	준-리만 계량	[리만기하학] §리만 계량
pseudoinverse ☑	유사역행렬	[선형대수학] §최소제곱법
pullback ☑	당김	[미분다양체] §미분형식
pushforward ☑	밂	[위상수학] §준층

Q

영문 용어	한글 용어	정의	참고
quasi-coherent sheaf ☑	준연속층	[대수기하학] §Sheaf Cohomology [대수기하학] §표준선다발
quasi-compact ☑	준옹골	[스킴 이론] §스킴 사상의 성질들 [스킴 이론] §스펙트럼
quasi-finite ☑	준유한	[스킴 이론] §스킴 사상의 성질들
quasi-Galois extension ☑	준갈루아확대	[체론] §갈루아 확장
quasi-isomorphic ☑	유사동형	[호몰로지 대수학] §긴 완전열
quasi-isomorphism ☑		[호몰로지 대수학] §긴 완전열
quasi-projective variety ☑	준사영다양체	[대수기하학] §준사영다양체
quasi-separated ☑	준분리	[스킴 이론] §스킴 사상의 성질들
quotient ☑	몫	[집합론] §동치관계의 예시들 (동치관계) [환론] §정역
quotient algebra ☑	몫대수	[대수적 구조] §대수
quotient group ☑	몫군	[대수적 구조] §몫군
quotient magma ☑	몫마그마	[대수적 구조] §대수적 구조
quotient module ☑	몫가군	[대수적 구조] §가군
quotient set ☑	몫집합	[집합론] §동치관계	Equivalence class
quotient space ☑	몫공간	[위상수학] §몫공간

R

영문 용어	한글 용어	정의	참고
radical ☑	근기	[가환대수학] §국소화의 성질들
radical ideal ☑	근기아이디얼	[가환대수학] §영점정리
rank ☑	랭크	[선형대수학] §동형사상 (linear map) [미분다양체] §접다발과 여접다발 (vector bundle) [다중선형대수학] §기저
rational function ☑	유리함수	[대수기하학] §유리사상 [스킴 이론] §스킴의 대수구조
rational map ☑	유리사상	[대수기하학] §유리사상
recursion theorem ☑	재귀정리	[집합론] §서수와 정렬집합
reduced ☑	기약	[대수적 구조] §분수체
reduced row échelon matrix	기약행사다리꼴행렬 ☑	[선형대수학] §가우스 소거법
reduced row échelon matrix, rref	기약행사다리꼴행렬 ☑	[선형대수학] §가우스 소거법
reduced scheme ☑	축소스킴	[스킴 이론] §스킴의 대수구조
rees algebra ☑	리스 대수	[가환대수학] §평탄성과 국소화
refinement ☑	세분화	[대수기하학] §Čech Cohomology
reflexive ☑	반사적	[집합론] §동치관계	Binary relation
reflexive polytope ☑	반사 다면체	[Toric 기하학] §파노 다양체
regular ☑	정칙	[대수기하학] §준사영다양체
regular function ☑	정칙함수	[대수기하학] §아핀다양체
regular hausdorff space ☑	정칙 하우스도르프 공간	[위상수학] §하우스도르프 공간
regular local ring ☑	정칙국소환	[가환대수학] §차원
regular map ☑	정칙사상	[대수기하학] §아핀다양체 [대수기하학] §준사영다양체
regular space ☑	정칙공간	[위상수학] §하우스도르프 공간
relation	관계 ☑	[집합론] §이항관계
relatively algebraically closed field ☑	상대적으로 대수적으로 닫힌 체	[체론] §대수적 폐포
remainder	나머지 ☑	[환론] §정역
representable functor ☑	표현 가능한 함자	[범주론] §표현가능한 함자
representation ☑	표현	[범주론] §표현가능한 함자 [표현론] §유한군의 표현론 [리 이론] §원환면의 작용 [스킴 이론] §대수적 군
residue field ☑	잉여류체	[가환대수학] §국소화 [스킴 이론] §스킴
restriction ☑	제한	[집합론] §함수 (함수) [집합론] §단조함수 (순서관계)
restriction of scalar ☑	스칼라의 제한	[대수적 구조] §스칼라의 변환
retract ☑	수축	[대수적 위상수학] §호모토피
retraction ☑	수축	[집합론] §Retraction과 section [대수적 위상수학] §호모토피	Section
Riemannian metric ☑	리만 계량	[미분기하학] §리만 계량 [리만기하학] §리만 계량
right $A$-module ☑	오른쪽 $A$-가군	[대수적 구조] §가군
right action ☑	오른쪽 작용	[대수적 구조] §군의 작용
right adjoint ☑	오른쪽 수반함자	[범주론] §수반함자
right coset ☑	오른쪽 잉여류	[대수적 구조] §몫군
right derived functor ☑	오른쪽 유도함자	[호몰로지 대수학] §유도함자
right directed ☑	오른쪽으로 유향	[집합론] §유향집합
right ideal ☑	오른쪽 아이디얼	[대수적 구조] §환의 정의 [대수적 구조] §대수
right inverse	오른쪽 역원 ☑	[대수적 구조] §반군, 모노이드, 군
right resolution ☑	오른쪽 분해	[호몰로지 대수학] §분해
ring ☑	환	[대수적 구조] §환의 정의
ring homomorphism ☑	환 준동형사상	[대수적 구조] §환의 정의
ring of fractions ☑	분수환	[대수적 구조] §분수체
ringed space ☑	환 달린 공간	[대수기하학] §아핀 스킴
row échelon matrix	행사다리꼴행렬 ☑	[선형대수학] §가우스 소거법
row échelon matrix, ref	행사다리꼴행렬 ☑	[선형대수학] §가우스 소거법
Russell's paradox	러셀의 역설 ☑	[집합론] §ZFC 공리계

S

영문 용어	한글 용어	정의	참고
saturated ☑	포화된	[집합론] §동치관계의 예시들 (동치관계)
saturation ☑	포화	[집합론] §동치관계의 예시들
scalar	스칼라 ☑	[선형대수학] §벡터공간
scheme ☑	스킴	[스킴 이론] §스킴
Schubert variety ☑	슈베르트 다양체	[대수기하학] §그라스만 다양체
second covariant derivative ☑	이계 공변미분	[리만기하학] §접속
section ☑	단면	[집합론] §이항관계 [집합론] §Retraction과 section [미분다양체] §벡터장	Retraction
segment ☑	절편	[집합론] §서수와 정렬집합
semi-direct product ☑	반직접곱	[군론] §군의 확장
semigroup ☑	반군	[대수적 구조] §반군, 모노이드, 군
semilocal ring ☑	반국소환	[가환대수학] §정수적 확장
separable algebraic closure ☑	분리가능폐포	[체론] §분리가능차수
separable degree ☑	분리가능차수	[체론] §에탈대수
separable extension ☑	분해가능확대	[체론] §분리가능확대체
separably closed ☑	분리가능닫힘	[체론] §분리가능차수
separated	분리가능 ☑	[위상수학] §하우스도르프 공간 [스킴 이론] §값매김환
separated by closed neighborhoods	닫힌근방으로 분리가능 ☑	[위상수학] §하우스도르프 공간
separated by continuous functions	연속함수로 분리가능 ☑	[위상수학] §하우스도르프 공간
separated by neighborhoods	근방으로 분리가능 ☑	[위상수학] §하우스도르프 공간
separation axiom ☑	분리공리	[위상수학] §하우스도르프 공간
sequence	점열 ☑	[위상수학] §하우스도르프 공간
Serre duality ☑	세르 쌍대성	[대수기하학] §Serre Duality
set difference	차집합 ☑	[집합론] §ZFC 공리계
sheaf ☑	층	[위상수학] §층
sheaf cohomology ☑	층 코호몰로지	[대수기하학] §Sheaf Cohomology
sheafification ☑	층화	[위상수학] §층
short exact sequence ☑	짧은 완전열	[대수기하학] §Sheaf Cohomology [범주론] §아벨 카테고리
similar ☑	닮은 행렬	[다중선형대수학] §기저변환
similar matrix	닮은 행렬 ☑	[선형대수학] §기저변환 [선형대수학] §선형대수학의 기본정리
simple ☑	단순	[가환대수학] §조르단-횔더 정리 [리 이론] §근계
simply connected space ☑	단순연결공간	[대수적 위상수학] §피복공간
simultaneously diagonalizable ☑	동시대각화가능	[선형대수학] §고유공간분해
singular $k$-simplex ☑	특이 $k$-심플렉스	[대수적 위상수학] §호몰로지
singular matrix ☑	특이행렬	[선형대수학] §행렬
singular point ☑	특이점	[대수기하학] §접공간과 매끄러움
skeletal category ☑	뼈대 카테고리	[범주론] §자연변환
skeleton ☑	뼈대	[범주론] §자연변환
slice ☑	조각	[미분다양체] §음함수 정리
slice category over A ☑	A 위에서의 조각 범주	[범주론] §범주
slice category under A ☑	A 위에서의 쌍대 조각 범주	[범주론] §범주
small category	작은 카테고리 ☑	[범주론] §카테고리
smooth ☑	매끄러운	[Toric 기하학] §아핀 토릭 다양체
smooth differentiable manifold ☑	매끄러운 미분다양체	[미분다양체] §미분다양체
smooth functor ☑	매끄러운 함자	[미분다양체] §접다발과 여접다발
smooth point ☑	매끄러운 점	[대수기하학] §접공간과 매끄러움
snake lemma ☑	뱀 보조정리	[호몰로지 대수학] §Diagram chasing
solvable ☑	가해	[군론] §군의 열
source ☑	소스	[집합론] §이항관계
span ☑	생성	[선형대수학] §벡터공간의 기저 [미분다양체] §벡터장
spanning set ☑	생성집합	[선형대수학] §벡터공간의 기저
spectral sequence ☑	분광열	[호몰로지 대수학] §분광열
spectrum ☑	스펙트럼	[선형대수학] §특성다항식 [스킴 이론] §스펙트럼
split ☑	분해	[다중선형대수학] §완전열
splitting extension ☑	분해확대체	[체론] §대수적 폐포
square matrix	정사각행렬 ☑	[다중선형대수학] §기저변환
stabilizer ☑	안정자	[대수적 구조] §군의 작용
stalk ☑	줄기	[위상수학] §준층
Stiefel-whitney class ☑	슈티펠-휘트니 특성류	[대수적 위상수학] §특성류
strict ordering ☑	강한 순서관계	[집합론] §순서관계의 정의	Order relation
strict stabilizer ☑	강한 안정자	[대수적 구조] §군의 작용
strictly convex ☑	엄격볼록	[Toric 기하학] §토러스 인자와 선다발
strictly decreasing	순감소 ☑	[집합론] §단조함수 (순서관계)
strictly decreasing function	순감소함수 ☑	[집합론] §단조함수
strictly increasing	순증가 ☑	[집합론] §단조함수 (순서관계)
strictly increasing function	순증가함수 ☑	[집합론] §단조함수
strictly monotone	순단조 ☑	[집합론] §단조함수 (순서관계)
strictly monotone function	순단조함수 ☑	[집합론] §단조함수
stronger topology	강한 위상 ☑	[위상수학] §열린집합
strongly convex rational polyhedral cone ☑	강하게 볼록한 유리 다각형뿔	[Toric 기하학] §아핀 토릭 다양체
structure constant ☑	구조상수	[다중선형대수학] §기저
subalgebra ☑	부분대수	[대수적 구조] §대수
subbase ☑	부분기저	[위상수학] §위상공간의 기저
subcategory	부분카테고리 ☑	[범주론] §카테고리
subgroup ☑	부분군	[대수적 구조] §반군, 모노이드, 군
submagma	부분마그마 ☑	[대수적 구조] §대수적 구조
submanifold ☑	부분다양체	[미분다양체] §미분다양체의 예시들 [미분다양체] §부분다양체와 역함수 정리
submersion ☑	침몰	[미분다양체] §부분다양체와 역함수 정리
submodule ☑	부분가군	[대수적 구조] §가군
submonoid ☑	부분모노이드	[대수적 구조] §반군, 모노이드, 군
subnormal series ☑	부분정규열	[군론] §군의 열
subrepresentation ☑	부분표현	[표현론] §유한군의 표현론
subring ☑	부분환	[대수적 구조] §환의 정의
subspace	부분공간 ☑	[선형대수학] §부분공간 [위상수학] §부분공간
subspace topology	A 위에 정의된 부분위상 ☑	[위상수학] §부분공간
successor ☑	따름	[집합론] §서수와 정렬집합
successor ordinal ☑	따름서수	[집합론] §정렬집합의 성질들
sum	합 ☑	[집합론] §집합의 합 (집합) [집합론] §기수들 사이의 연산 [대수적 구조] §환의 정의
supplementary submodule ☑	보조부분가군	[다중선형대수학] §완전열
support ☑	지지집합	[선형대수학] §부분공간 [대수적 구조] §가환군 [스킴 이론] §스킴
supremum (least upper bound) ☑	상한 (최소상계)	[집합론] §순서집합의 원소들
surjective	전사 ☑	[집합론] §함수들 사이의 연산 [선형대수학] §선형사상	Function
sylow $p$-subgroup ☑	실로우 $p$-부분군	[군론] §실로우 정리
symmetric ☑	대칭적	[집합론] §동치관계 (관계) [선형대수학] §쌍선형형식 (bilinear form) [집합론] §이항관계들 사이의 연산
symmetric algebra ☑	대칭대수	[다중선형대수] §텐서대수
symmetric group ☑	대칭군
symmetric monoidal category ☑	대칭 모노이드 범주	[범주론] §모노이드 범주
symmetric tensor ☑	대칭텐서	[다중선형대수학] §대칭텐서
symplectic form ☑	사교형식	[심플렉틱 기하학] §사교다양체
symplectic manifold ☑	사교다양체	[심플렉틱 기하학] §사교다양체
system of parameters ☑	매개계	[가환대수학] §매개계

T

영문 용어	한글 용어	정의	참고
tangent bundle ☑	접다발	[미분다양체] §접다발과 여접다발
tangent space ☑	접공간	[미분다양체] §접공간
tangent vector ☑	접벡터	[미분다양체] §접공간
target ☑	타겟	[집합론] §이항관계
tensor algebra ☑	텐서대수	[다중선형대수] §텐서대수
tensor bundle ☑	텐서다발	[미분다양체] §미분형식
tensor field ☑	텐서장	[미분다양체] §미분형식
tensor product ☑	텐서곱	[다중선형대수] §텐서대수 [대수적 구조] §가환군
terminal object ☑	끝 대상	[범주론] §표현가능한 함자
topological space	위상공간 ☑	[위상수학] §열린집합
topologically distinguishable	위상적으로 구별가능 ☑	[위상수학] §열린집합 [위상수학] §하우스도르프 공간
topologically indistinguishable	위상적으로 구별불가능 ☑	[위상수학] §열린집합
topology	위상 ☑	[위상수학] §열린집합
toric variety ☑	토릭 다양체	[Toric 기하학] §토릭 다양체의 정의
torus-invariant prime divisor ☑	토러스 불변 소인자	[Toric 기하학] §토러스 인자와 선다발
total space ☑	전체공간	[미분다양체] §접다발과 여접다발
totally ordered set ☑	전순서집합	[집합론] §유향집합
trace ☑	대각합	[선형대수학] §행렬
transcendental ☑	초월적	[체론] §대수적 확장
transcendental extension ☑	초월적 확장	[체론] §대수적 확장
transition function ☑	전이함수	[대수기하학] §선다발과 벡터다발
transition map ☑	좌표변환사상	[미분다양체] §미분다양체
transition matrix	기저변환행렬 ☑	[선형대수학] §기저변환
transitive ☑	추이적	[집합론] §동치관계	Binary relation
transpose	전치행렬 ☑	[선형대수학] §행렬 [다중선형대수학] §쌍대공간 [다중선형대수학] §행렬
transpose matrix	전치행렬 ☑	[선형대수학] §행렬
transposition ☑	호환
triangular matrix	삼각행렬 ☑	[선형대수학] §행렬식의 존재성과 유일성
trivial topology ☑	자명한 위상	[위상수학] §열린집합
trivial vector space ☑	자명한 벡터공간	[선형대수학] §벡터공간
two-sided ideal ☑	양쪽 아이디얼	[대수적 구조] §환의 정의 [대수적 구조] §대수
tychonoff space ☑	티코노프 공간	[위상수학] §하우스도르프 공간

U

영문 용어	한글 용어	정의	참고
ultrafilter ☑	울트라필터	[집합론] §필터와 아이디얼, 갈루아 대응
unary relation	단항관계 ☑	[집합론] §동치관계의 예시들
uniformizer ☑	균등화원	[가환대수학] §인자
union	합집합 ☑	[집합론] §ZFC 공리계 [집합론] §합집합과 교집합	Intersection
unique factorization domain ☑	단일인수분해정역	[환론] §정역
unique up to	...에 대하여 유일하다 ☑	[집합론] §집합의 합 (전단사함수)
unique up to bijection	전단사함수에 대하여 유일하다 ☑	[집합론] §집합의 합
unital $A$-algebra ☑	단위 $A$-대수	[대수적 구조] §대수
universal property ☑	보편성질 ☑	[집합론] §집합의 합
universally closed ☑	보편닫힌사상	[위상수학] §고유함수
upper bound ☑	상계	[집합론] §순서집합의 원소들
upper set ☑	상집합	[집합론] §필터와 아이디얼, 갈루아 대응
upper triangular matrix	상삼각행렬 ☑	[선형대수학] §행렬식의 존재성과 유일성
urysohn space ☑	유리손 공간	[위상수학] §하우스도르프 공간

V

영문 용어	한글 용어	정의	참고
valuation ☑	값매김	[가환대수학] §정칙국소환
valuation ring ☑	valuation 환	[가환대수학] §인자 [가환대수학] §정칙국소환
variety ☑	다양체	[대수기하학] §아핀다양체
vector	벡터 ☑	[선형대수학] §벡터공간
vector bundle ☑	벡터다발	[미분다양체] §접다발과 여접다발
vector field	벡터장 ☑	[미분다양체] §벡터장
vector space	벡터공간 ☑	[선형대수학] §벡터공간
vector space over $\mathbb{K}$	$\mathbb{K}$에 대한 벡터공간 ☑	[선형대수학] §벡터공간
velocity vector	속도벡터 ☑	[미분다양체] §미분사상의 예시들

W

영문 용어	한글 용어	정의	참고
weaker topology	약한 위상 ☑	[위상수학] §열린집합
Weil divisor ☑	베유 인자	[가환대수학] §인자 [대수기하학] §인자
well-ordering ☑	정렬순서	[집합론] §서수와 정렬집합
Weyl group ☑	바일 군	[리 이론] §원환면의 작용

X

| 영문 용어 | 한글 용어 | 정의 | 참고 | | — | — | — | — |

Y

| 영문 용어 | 한글 용어 | 정의 | 참고 | | — | — | — | — |

Z

영문 용어	한글 용어	정의	참고
$\mathfrak{a}$-adic completion ☑	$\mathfrak{a}$진 완비화	[가환대수학] §완비화
$\mathfrak{a}$-adic topology ☑	$\mathfrak{a}$진 위상	[가환대수학] §완비화
$\mathfrak{a}$-filtration ☑	$I$-여과	[가환대수학] §부풀림 대수
$\mathfrak{a}$-stable ☑	$I$-안정적 여과	[가환대수학] §부풀림 대수
$g$-invariant ☑	$G$-불변공간	[표현론] §유한군의 표현론
$i$-th coordinate	$i$번째 좌표 ☑	[스킴 이론] §스펙트럼
$r_0$-space ☑	$R_0$-공간	[위상수학] §하우스도르프 공간
$r_1$-space ☑	$R_1$-공간	[위상수학] §하우스도르프 공간
$t_0$-space ☑	$T_0$-공간	[위상수학] §하우스도르프 공간
$t_1$-space ☑	$T_1$-공간	[위상수학] §하우스도르프 공간
$t_2$-space ☑	$T_2$-공간	[위상수학] §하우스도르프 공간
$t_3$-space ☑	$T_3$-공간	[위상수학] §하우스도르프 공간
$t_4$-space ☑	$T_4$-공간	[위상수학] §하우스도르프 공간
$t_{2\frac{1}{2}}$-space ☑	$T_{2\frac{1}{2}}$-공간	[위상수학] §하우스도르프 공간
$(a, \varepsilon)$-derivation ☑	$(A,\varepsilon)$-미분	[다중선형대수학] §미분
$\mathbb{K}$-vector space	$\mathbb{K}$-벡터공간 ☑	[선형대수학] §벡터공간
$A$-algebra ☑	$A$-대수	[대수적 구조] §대수
$A$-algebra homomorphism ☑	$A$-대수 준동형사상	[대수적 구조] §대수
$C^k$-differentiable manifold ☑	k급 미분다양체	[미분다양체] §미분다양체
$C^k$-differentiable structure ☑	k급 미분구조	[미분다양체] §미분다양체
$I$-graded left $A$-module ☑	$I$-등급 왼쪽 $A$-가군	[대수적 구조] §등급가군
$i$th row vector	$i$번째 행벡터 ☑	[다중선형대수학] §행렬
$j$th column vector	$j$번째 열벡터 ☑	[다중선형대수학] §행렬
$k$-simplex ☑	$k$-심플렉스, $k$-단체	[대수적 위상수학] §호몰로지
$n$-th homology	$n$번째 호몰로지 ☑	[호몰로지 대수학] §호몰로지
(nilpotency) index ☑	멱영지수	[선형대수학] §조르당 표준형
Čech cohomology ☑	체흐 코호몰로지	[대수기하학] §층 코호몰로지
Čech complex ☑	체흐 복합체	[대수기하학] §층 코호몰로지
Zariski tangent space ☑	Zariski 접공간	[대수기하학] §접공간과 매끄러움
Zariski topology ☑	자리스키 위상	[대수기하학] §아핀다양체 [스킴 이론] §스펙트럼
zero map ☑	영사상	[범주론] §아벨 카테고리
zerodivisor ☑	영인자	[대수적 구조] §분수체
ZFC system	ZFC 공리계 ☑	§ZFC 공리계
Zorn's lemma ☑	초른의 보조정리	[집합론] §선택공리