디시인사이드 갤러리

갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

Field의 characteristic은 0 또는 소수이다.앱에서 작성

박쥐옵갤로그로 이동합니다. 2024.03.28 19:02:53
조회 24 추천 0 댓글 0
														

28b9d932da836efe3fed86e447887c6a9927649aeeeca268caec8846a6f14d64b6

2fbcc46bb7826af23eec84ed5b81776959ed61fd7688d81db468b07b4568278d3a7dd041492f7fc7c81fc4cec4

Field F에 대하여, multiplicative identity를 1_F,
additive identity를 0_F라 하자. Field의 정의에 의하여
1_F와 0_F는 서로 다르다.

이때 1_F를 p번 더하여 0_F가 되게하는 자연수 p가
존재한다면,가능한 p의 최솟값을 F의 Characteristc이라 정의한다.

만약 그런 자연수 p가 존재하지않는다면, F의 Characteristic은 0으로 정의한다.

<Claim> 1_F를 p번 더하여 0_F가 되게하는 자연수 p가 존재한다면, F의 Characteristic은 항상 소수이다.

<Proof>
Assume tuat F has characteristic p&p is not prime.
then p is not 1 since 1_F and 0_F are distinct by Field axiom.

thus, p>1.

p is not prime by assumption,
there is m,nㅌN s.t m>1,n>1, p=m*n

p=m*n= m+m+..+m (n - times)


Let

a = (1_F+1_F+..+1_F) (m - times)
b = (1_F+1_F+..+1_F) (n - times)
c = (a+a+..+a) (n- times)

then c=ab=0_F by assumption

However,

a#0_F since m&n<p=m*n

Then
there is a multiplication inverse (1/a)

therefore,

c=ab=0 => (1/a)*(ab)=(1/a)*0_F=0_F by field axiom

=> b=0_F

it means, 1_F+..+1_F (n - times) =0_F

it is contradiction since p=m*n is "Characteristic of F"

thus k<p => 1_F+..+1_F (k - times) is not 0_F.

By proof by contradiction ,
Characteristic of F is 1 or prime p.

- dc official App

추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
등록순정렬 기준선택
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 연인과 헤어지고 뒤끝 작렬할 것 같은 스타는? 운영자 24/04/22 - -
AD 보험상담은 디시공식설계사에게 받으세요! 운영자 24/02/28 - -
공지 LGBT 갤러리 이용 안내 [661/125] 운영자 14.10.06 232887 226
7834017 어머 그친퀴들 끼워팔기 퀸❤+ ㅇㅇ(124.5) 21:18 4 0
7834016 뉴트남이 진짜 독기였군아 ㅇㅇ(118.235) 21:18 2 0
7834015 전립선 커지면 오줌 잘 못 눈다며 ㅜㅜ L갤러(59.14) 21:18 2 0
7834014 쭈옵..ㅠ [2] L갤러(180.69) 21:18 10 1
7834013 탑이 중간에 콘돔을 뺏어... ㅇㅇ(223.39) 21:18 8 1
7834012 그날 향기로운 보랏빛의 단..... [2] 석쿠갤로그로 이동합니다. 21:17 5 0
7834011 오늘밤 당신의 전립선을 가져가겠습니다 베어버려내빛의검갤로그로 이동합니다. 21:17 5 0
7834010 이거 개꼴릴듯 ㅇㅇ(218.38) 21:17 24 0
7834009 라면유튜버하고싶다.... [8] ㅜㅅㅜ갤로그로 이동합니다. 21:16 23 0
7834008 오늘은 드디어 밤에 잘수있겠다 [6] 석쿠갤로그로 이동합니다. 21:15 23 0
7834007 어머 오엠쥐 역주행ㅋㅋㅋㅋㅋㅋ [1] ㅇㅇ(124.5) 21:15 30 3
7834006 아 술처먹고 택시탔더니 뒤질거같아 [2] Kouske갤로그로 이동합니다. 21:15 9 0
7834004 ㅇㅈ [8] 민민(221.138) 21:14 42 0
7834003 감히 저에게 수제 잼을 선물해주시다니 ㅉ Kouske갤로그로 이동합니다. 21:13 11 0
7834002 단 노뿐이야❤+ [2] 이태빈갤로그로 이동합니다. 21:13 16 0
7834001 이쪽 사진사기꾼 왤캐많냐? [1] ㅇㅇ갤로그로 이동합니다. 21:13 22 1
7834000 나 념글 추천 안 눌렀는데 못끼 같은 사람 만날 수 있는거야? ㅇㅇ(115.144) 21:12 10 0
7833999 나무위키 단월드는 왜 뜬거? ㅇㅇ(211.209) 21:12 12 0
7833998 못끼인데 제발 념글좀 지워주세요 [1] ㅇㅇ(121.189) 21:12 24 0
7833997 찰리푸스 왤케 꼴리게 생겼지 L갤러(121.176) 21:12 5 0
7833996 눈여 막방이에요 사이쿠다갤로그로 이동합니다. 21:11 9 0
7833995 경찰이랑 들들박박 할사람? [2] L갤러(118.235) 21:11 68 2
7833994 이또한 지나가리 멍멍탕갤로그로 이동합니다. 21:10 8 0
7833993 눈풀면전처럼돌아올까 [2] 렉카페(112.154) 21:09 25 0
7833992 미니진이 쏘아올린 ,,,,, [2] ㅇㅇ(121.171) 21:09 37 2
7833991 눈풀어야겧머 [1] 렉카페(112.154) 21:09 9 0
7833990 내일수술합니다 [3] 멍멍탕갤로그로 이동합니다. 21:09 26 0
7833989 못생겨서힘드네 멍멍탕갤로그로 이동합니다. 21:09 15 0
7833988 달콤한 끼텀아래.. 한녀들의 밤이와‼+‼+ ㅇㅇ갤로그로 이동합니다. 21:08 14 0
7833987 담주에가서당장풀어달라할래 렉카페(112.154) 21:07 10 0
7833986 언니들 이런 몸 어때? [2] ㅇㅇ(106.101) 21:07 67 0
7833985 렠카페야 할말이 있어 L갤러(58.237) 21:06 34 7
7833984 다이어트해서 병역기피 했던 썰 병역기피자갤로그로 이동합니다. 21:06 18 0
7833983 눈다시풀어야겠다 [1] 렉카페(112.154) 21:06 20 0
7833982 륶괴 입양 고민하다가 [5] 나름친절함갤로그로 이동합니다. 21:05 35 0
7833981 형아! 좋아해! [1] ㅇㅇ(175.120) 21:05 15 0
7833980 뉴트남 omg 근황 ㅇㅇ(211.234) 21:04 57 4
7833979 눈병신됐어 [1] 렉카페(112.154) 21:04 28 0
7833978 온리미 같은 하이브퀴 때문에 ㅇㅇ(117.111) 21:04 26 7
7833977 싸움 시작됐노 ㅇㅇ(115.144) 21:04 10 0
7833976 미친눈괜히건드려서 렉카페(112.154) 21:03 23 1
7833975 하..포카 보내러가야지... 온리미갤로그로 이동합니다. 21:02 22 0
7833974 이옵 ㅁㅌㅊ [3] L갤러(222.236) 21:02 89 0
7833973 본인 얼평좀 [1] L갤러(121.153) 21:02 70 0
7833972 친분 구하려면 틴더로 해야해? 정야갤로그로 이동합니다. 21:02 14 0
7833971 그 회사 기레기 500들여서 매수 ㅋㅋㅋ [4] 나름친절함갤로그로 이동합니다. 20:59 64 1
7833969 침대에 누워 박수쳐주면 걸그룹딴스춰주는 바텀 [6] 2024으쌰햄씨뺏갤로그로 이동합니다. 20:59 41 0
7833968 시발 진짜 간다 하 [2] ㅇㅇ갤로그로 이동합니다. 20:59 35 0
7833967 단월드 교주 사진 [2] ㅇㅇ(106.101) 20:57 150 9
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2