주 메뉴 열기

대수학에서, 형식적 멱급수(形式的冪級數, 영어: formal power series)는 수렴할 필요가 없는 멱급수이다.

정의편집

 에 대한 형식적 멱급수환  는 집합으로서  이다. 형식적 멱급수환에서, 원소

 

는 통상적으로

 

으로 쓴다.

  위에는 자연스러운 아벨 군 및 좌·우  -가군 구조가 존재한다. 또한, 다음과 같은 곱셈을 정의하여, 으로 만들 수 있다.

 

이에 따라  는 결합  -대수를 이룬다.

형식적 멱급수환의 원소를 형식적 멱급수라고 한다.   을 뜻한다.

미분편집

형식적 멱급수환 위에는 다음과 같은  -선형 연산

 
 

이 존재하며, 이를 미분이라고 한다.

합성편집

임의의  가 주어졌고,  이라고 하자 (즉,  ). 그렇다면   합성  은 다음과 같다.

 

성질편집

 에 대하여,

  • 만약  가환환이라면,   역시 가환환이다.
  • 만약  가환 뇌터 환이라면,   역시 가환 뇌터 환이다.
  • 만약  정역이라면,   역시 정역이다.
  • 만약  라면,  이산 값매김환이다.

형식적 멱급수환의 원소

 

에 대하여, 다음 두 조건이 서로 동치이다.

  •  가역원이다.
  •  가역원이다.

구체적으로,  의 역은 다음과 같이 재귀적으로 정의된다.

 
 

형식적 로랑 급수편집

 에 대하여, 형식적 로랑 급수체  은 형식적 멱급수환의 분수체이다.

 

정의에 따라, 이는 를 이룬다. 구체적으로,  

 

의 꼴로 전개할 수 있다 ( ). 즉, 유한 개의 음의 차수의 항을 가질 수 있다. 이는 (무한 개의 음의 차수의 항을 가질 수 있는) 복소해석학로랑 급수와 다르다.

다항식환, 유리 함수체, 형식적 멱급수환에서는

 
 
 

가 성립하지만,   는 서로 다른 체이다. 일반적으로,   의 부분환이며, 단사 준동형

 
 

이 존재한다. 예를 들어,

 
 

이다. 그러나   동형 사상이 아니다. 예를 들어,

 

이다.[1]

같이 보기편집

각주편집

외부 링크편집