자유 가군: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
6번째 줄:
=== 기저 ===
[[환 (수학)|환]] <math>R</math> 위의 [[왼쪽 가군]] <math>M</math>의 '''기저'''({{llang|en|basis}}) 또는 '''하멜 기저'''({{llang|en|Hamel basis}})는 다음 두 조건을 만족시키는 [[부분 집합]] <math>B\subseteq M</math>이다.
* (선형 생성) 임의의 가군 원소 <math>m\in M</math>에 대하여, <math>m=r_1b_1+r_2b_2+\cdots+r_nb_n</math>인 유한 개의 기저 원소 <math>b_1,b_2,\dots,b_n\in B</math> 및 <math>r_1,r_2,\dots,r_n\in R</math>가 존재한다.
* (선형 독립) 임의의 유한 개의 기저 원소 <math>b_1,b_2,\dots,b_n\in B</math> 및 <math>r_1,r_2,\dots,r_n\in R</math>에 대하여, 만약 <math>0=r_1b_1+r_2b_2+\cdots+r_nb_n</math>이라면, <math>0=r_1=r_2=\cdots=r_n</math>이다.
25번째 줄:
=== 자유 가군 ===
(곱셈 항등원을 갖춘) [[환 (수학)|환]] <math>R</math>
== 성질 ==
| |||