[일반] 조건 다 안쓰고도 증명가능해서.(대수학 체론)

[핑크베리(61.4)]

틀린것 같은데 왜틀린건지 모르겠담

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[핑크베리(61.4)]

왜?? 원래 증명에선 그게 쓰였지만 위에 쓴 거에선 안쓰였는데?

[핑크베리(61.4)]

finite field 란 조건 없어~ 캐리터리스틱 유한해도 무한인 필드일 수도 있지

[익명(1.177)]

f(x)가 separable <=> f랑 f'가 서로소라는거 쓰려면 char F 조건이 들어감

[익명(106.102)]

오빵

[핑크베리(61.4)]

그건 아는데 위에 증명에선 안쓰고도 보였자나...

[익명(1.177)]

F=F_p(t)[x]/(x^p-t)같은거면 저 증명이 안통할텐데

[핑크베리(61.4)]

Field Z_p(x^p) 확대체 Z_p(x)던가. 그게 분리가 안되는 예로 알고있는데. 흠... 어떤방식으로 반례를 찾아야 할 지 모르겠다 저 처음으로 적은 증명에 어디가 틀린 건지 도저히 모르겠@.@

[익명(1.177)]

아 a^n=1이구나 그럼 아마 저 조건 없어도 될것 같네

[핑크베리(61.4)]

헐 진짜?? 프렐라이연습문제라던데 왜저뤱

[익명(218.235)]

위에 증명 읽어보진 않아서 뭔진 모르겠는데 빼먹은 조건이 있으면 더 쉽게 풀리는 명제였던걸 일반화된 명제로 바꿔서 푼거일 수도 있지.