체론 에서 형식적 실체 (形式的實體, 영어 : formally real field )는 순서체 로 만들 수 있는 체 이다.
체
K
{\displaystyle K}
의 수준 (水準, 독일어 : Stufe 슈투페[* ] )
Stufe
K
{\displaystyle \operatorname {Stufe} K}
은
−
1
{\displaystyle -1}
을 제곱수들의 합으로 나타내었을 때 필요한 항들의 수의 최솟값이다. 만약
−
1
{\displaystyle -1}
을 제곱수들의 합으로 나타낼 수 없는 경우, 수준은
∞
{\displaystyle \infty }
이다.
Stufe
K
=
min
{
|
S
|
:
∑
s
∈
S
s
2
=
−
1
,
S
⊆
K
,
|
S
|
<
ℵ
0
}
∈
Z
+
∪
{
∞
}
{\displaystyle \operatorname {Stufe} K=\min \left\{|S|\colon \sum _{s\in S}s^{2}=-1,\;S\subseteq K,|S|<\aleph _{0}\right\}\in \mathbb {Z} ^{+}\cup \{\infty \}}
체
K
{\displaystyle K}
에 대하여 다음 조건들이 서로 동치 이며, 이를 만족시키는 체를 형식적 실체 (영어 : formally real field )라고 한다.
수준이 무한대이다.
Stufe
K
=
∞
{\displaystyle \operatorname {Stufe} K=\infty }
피타고라스 수 가 무한대이며 (즉, 제곱수의 합이 아닌 원소가 존재하며), 표수 가 2가 아니다.
K
{\displaystyle K}
의 원소들로 구성된 임의의 유한 중복집합
S
{\displaystyle S}
에 대하여, 만약
∑
s
∈
S
s
2
=
0
{\displaystyle \textstyle \sum _{s\in S}s^{2}=0}
이라면
S
{\displaystyle S}
의 모든 원소들은 0이다.
K
{\displaystyle K}
의 원소들로 구성된 임의의 유한 중복집합
S
{\displaystyle S}
에 대하여, 만약
∑
s
∈
S
s
2
=
0
{\displaystyle \textstyle \sum _{s\in S}s^{2}=0}
이라면
S
{\displaystyle S}
의 모든 원소들은 0이다.
K
{\displaystyle K}
는 순서체 가 될 수 있다. 즉,
K
{\displaystyle K}
를 순서체로 만드는 전순서 가 존재한다.
모든 체의 수준은 항상 무한대이거나 아니면 2의 거듭제곱 이다.
Stufe
K
∈
{
∞
,
1
,
2
,
4
,
8
,
…
}
{\displaystyle \operatorname {Stufe} K\in \{\infty ,1,2,4,8,\dots \}}
만약
K
{\displaystyle K}
의 표수 가 2라면, 그 수준은 항상 1이다.
char
K
=
2
⟹
Stufe
K
=
1
{\displaystyle \operatorname {char} K=2\implies \operatorname {Stufe} K=1}
만약
K
{\displaystyle K}
의 표수 가 양수라면, 그 수준은 항상 1 또는 2이다.
char
K
>
0
⟹
Stufe
K
∈
{
1
,
2
}
{\displaystyle \operatorname {char} K>0\implies \operatorname {Stufe} K\in \{1,2\}}
만약
K
{\displaystyle K}
에서 모든 원소가 제곱근을 갖는다면,
K
{\displaystyle K}
의 수준은 항상 1이다.
(
∀
a
∈
K
∃
b
∈
K
:
b
2
=
a
)
⟹
Stufe
K
=
1
{\displaystyle \left(\forall a\in K\exists b\in K\colon b^{2}=a\right)\implies \operatorname {Stufe} K=1}
지겔 정리 (영어 : Siegel’s theorem )에 따르면, 대수적 수체 의 수준은 1, 2, 4, 또는 ∞이다.
K
{\displaystyle K}
의 준위는 피타고라스 수
Pyth
K
{\displaystyle \operatorname {Pyth} K}
와 다음과 같은 부등식을 만족시킨다.
Pyth
K
≤
Stufe
K
+
1
{\displaystyle \operatorname {Pyth} K\leq \operatorname {Stufe} K+1}
형식적 실수가 아닌 체의 경우, 다음이 성립한다.
Stufe
K
<
∞
⟹
Stufe
K
≤
Pyth
K
≤
Stufe
K
+
1
{\displaystyle \operatorname {Stufe} K<\infty \implies \operatorname {Stufe} K\leq \operatorname {Pyth} K\leq \operatorname {Stufe} K+1}
모든 형식적 실체는 (순서체 로 만들 수 있으므로) 표수가 0이다. 모든 실폐체 는 형식적 실체이다. 형식적 실폐
K
{\displaystyle K}
의 대수적 폐포
K
¯
{\displaystyle {\bar {K}}}
가 주어졌을 때,
K
{\displaystyle K}
를 포함하는
K
¯
{\displaystyle {\bar {K}}}
속의 유일한 실폐체
K
re
{\displaystyle K^{\operatorname {re} }}
가 존재하며, 이를
K
{\displaystyle K}
의 실폐포 (영어 : real closure )라고 한다.
대표적인 체의 수준은 다음과 같다.
체
수준
대수적으로 닫힌 체
1
실폐체
∞
유리수체
Q
{\displaystyle \mathbb {Q} }
∞
유한체
F
q
{\displaystyle \mathbb {F} _{q}}
,
q
≡
3
(
mod
4
)
{\displaystyle q\equiv 3{\pmod {4}}}
2
유한체
F
q
{\displaystyle \mathbb {F} _{q}}
,
q
≢
3
(
mod
4
)
{\displaystyle q\not \equiv 3{\pmod {4}}}
1
비아르키메데스 국소체
K
{\displaystyle K}
, 이산 값매김환
O
K
{\displaystyle {\mathcal {O}}_{K}}
의 잉여류체
F
p
n
{\displaystyle \mathbb {F} _{p^{n}}}
의 표수 가 홀수인 경우
p
{\displaystyle p}
2진수체
Q
2
{\displaystyle \mathbb {Q} _{2}}
4
가우스 유리수
Q
(
−
1
)
{\displaystyle \mathbb {Q} ({\sqrt {-1}})}
1
이차 수체
Q
(
−
2
)
{\displaystyle \mathbb {Q} ({\sqrt {-2}})}
2
이차 수체
Q
(
−
7
)
{\displaystyle \mathbb {Q} ({\sqrt {-7}})}
4
참고 문헌 [ 편집 ]
외부 링크 [ 편집 ]
같이 보기 [ 편집 ]