군G의 Nonempty finite subset H 질문 - 수학 잘하는 법 마이너 갤러리

수학 잘하는 법 갤러리
마이너

수학 잘하는 법에 대한 갤러리입니다.

매니저

부재중입니다.(probaroque)

부매니저

부재중입니다.(borwein) 카카오M(kakaothh) 흑화뉴비(coderhs)

개설일

2018-07-23

[대학교이상] 군G의 Nonempty finite subset H 질문모바일에서 작성

수갤러(155.230) 2024.04.04 20:52:51

조회 149 추천 0 댓글 4

G의 연산에 대해 닫혀있는 서브셋 H가

부분군인거 증명인데

e가 존재하는거는 증명했음

역원있는걸 증명해야하는데

H={a1~an}

H의원소 중 a_i를 가져와서

가정 a_i*y=e인 H의원소 y는 존재하지 않는다
함수 f(x)=h*a_i x는 h는 H의원소

여기서 이 함수가 단사여야만할거 같은데

그 이유는 H위에서는 cancellation이 안되지만

오퍼레이션을 물려받았기 때문에

단사가 아니면 G위에서

h1*a=h2*a => h1=h2 가 되어버림

이러면 모순
그래서 결국 f는 injective인데
가정의 결과로 비둘기집원리때문에 a_i*x= a_i*y 인 서로다른 x,y<H 가존재

그래서 단사가아님 그래서 가정이 모순이다
이거 맞음?

고정닉 0

전체 댓글 0개

등록순

본문 보기

타인의 권리를 침해하거나 명예를 훼손하는 댓글은 운영원칙 및 관련 법률에 제재를 받을 수 있습니다.
Shift+Enter 키를 동시에 누르면 줄바꿈이 됩니다.

갤러리 리스트
번호	말머리	제목	글쓴이	작성일	조회	추천
2860	설문	경제관념 부족해서 돈 막 쓸 것 같은 스타는?	운영자	24/05/13	-	-
56777	일반	이거 봤는데 푸리에 변환 적분 구간이 왜 무한대임? [4]	ㅇㅇ	04.18	258	0
56775	대학교 대학교이상	n차원상에서 벡터가 직선의 형태인지 아닌지 어떻게 앎? [40]	ㅇㅇ(211.36)	04.18	422	0
56774	대학교 대학교이상	미분적분학 회전체 부피 [2]	vip1607	04.18	193	0
56773	대학교 대학교이상	집합론 연습문젠데 어케 푸는지 알려주실분.... [2]	JBJ	04.18	272	0
56772	일반	요즘 의문이 하나 있는데 [5]	수갤러(118.235)	04.18	270	0
56768	일반	벡터칼큘 ㅈㄴ어렵노	수갤러(118.235)	04.18	144	0
56763	대학교 대학교이상	선대 이거 감점당했는데 어떻게 서술해야맞나요 [8]	ㅇㅇ(118.235)	04.18	398	0
56761	일반	지금 순수수학 공부하는 놈들은 진짜 부끄러운줄 알아라 [10]	ㅇㅇ	04.18	792	7
56759	일반	이산기하 듣고 싶은데 [1]	유해환경	04.18	158	0
56758	대학교 대학교이상	밑이 음수인 로그함수 [1]	수갤러(222.234)	04.18	226	0
56757	일반	심한슬럼프 공황장애가옴 [1]	수갤러(217.155)	04.18	136	0
56756	대학교 대학교이상	혹시 해석학 문제 하나 질문 가능?? [19]	ㅇㅇ	04.18	372	0
56755	일반	일본은 이런 문제도 냈었네 본고사에 ㅋㅋ [4]	ㅇㅇ(220.121)	04.18	541	0
56754	일반	0은 발명한거임 발견한거임? [1]	부엉이부엉	04.18	233	0
56753	일반	수학 << 우월감에 의존하는 학문 [10]	수갤러(106.102)	04.18	535	3
56752	대학교 대학교이상	님두라 수렴하는수열의 상극한, 하극한이 같은건 어케증명함?? [5]	JBJ	04.17	161	0
56751	일반	무선 제본기를 하나 사볼까	수갤러(61.105)	04.17	101	0
56750	일반	그래도 한 50년 수학하면	ㅇㅇ	04.17	189	3
56747	일반	힘숨찐 수학자가 되는 로망	수갤러(155.230)	04.17	155	1
56746	일반	조합론시험은	패션수학도패션이다(155.230)	04.17	128	0
56745	일반	루딘이 연습문제 한문제가 한문제가아니네 사실상	ㅇㅇ(118.235)	04.17	212	0
56744	일반	카이가 뭐임? [4]	탐스런.	04.17	405	0
56743	일반	이거 중간에 갑자기 왜 R이 t에 대한 함수인데 [2]	탈조선	04.17	209	0
56742	일반	대학원 입학 연구계획서 분량 어느 정도로 씀? [1]	수갤러(58.141)	04.17	175	0
56741	일반	리만스틸제스 적분은 뭐하는데씀? [1]	수갤러(61.105)	04.17	223	0
56739	일반	제본도 예술적으로 하면 나름 소장욕생기고 이쁘네 [4]	수갤러(61.105)	04.17	266	1
56737	일반	liminf (a_(n+1)/a_n) 이 무한대면 [2]	수갤러(119.193)	04.17	169	0
56735	일반	여기 왜 코드 걸렸냐?	수갤러(125.182)	04.17	88	0
56734	일반	수학은 형식과학 아니었나 [3]	ㅇㅇ(221.165)	04.17	380	0
56733	일반	세미나 수업 제외하고는 [2]	ㅇㅇ(211.234)	04.17	181	0
56731	일반	수학을 잘하는법	패션수학도패션이다(118.235)	04.17	153	1
56730	일반	초한재귀를 이용한 존스렘마 증명 재밌네 [1]	ㅇㅇ	04.17	196	0
56728	일반	순수 재미로 따지면 위상이냐 대수냐 [2]	살인장이탕(27.35)	04.17	326	0
56727	일반	일변수 함수를 색을 써서 시각화하고 싶은데 도구 없나? [1]	수갤러(118.47)	04.17	141	0
56726	일반	ㅅㅂ 자꾸 스칼라를 벡터로 미분한다길래 뭔소린가 했는데 [5]	살인장이탕(27.35)	04.17	305	0
56725	일반	근데 솔까 교수놈 강의력 진짜 너무하네 [6]	수갤러(61.105)	04.16	504	1
56724	대학교 대학교이상	테일러급수 근사< 이거 그냥 자기맘대로 해도 되나요? [10]	알코올의존증	04.16	325	0
56723	일반	선대 이거 무한차원에서도 성립하나요 [3]	ㅇㅇ(163.152)	04.16	266	0
56722	일반	형들 극한 질문하나만 [8]	Zinnia	04.16	228	1
56721	대학교 대학교이상	미분적분학 간단한 질문좀 받아주실 수 있나요 [2]	수갤러(118.235)	04.16	125	0
56720	중고딩 중고딩문제	이거 왜 틀렸는지 이유를 알고싶어요 !! [3]	<^오^>☆	04.16	231	0
56719	대학교 대학교이상	적분 개념관련 도와줄사람 [1]	수갤러(211.36)	04.16	120	0
56718	일반	f(x)f(-x) = f'(x) 만족시키는 함수 찾을수있는사람 [6]	ㅇㅇ(118.235)	04.16	352	0
56717	일반	다들 복전이나 부전하는거있음? [1]	수갤러(218.238)	04.16	175	0
56714	일반	설카대학원 후기 쓴애들 있냐 [3]	수갤러(218.232)	04.16	383	0
56713	일반	집합의 기수랑 조밀함이랑 상관관계가 있음? [2]	수갤러(203.248)	04.16	161	1
56712	일반	솔직히 ai가 지능이 있다고 생각되지 않던데 [1]	수갤러(61.105)	04.16	180	0
56711	대학교 대학교이상	chat gpt한테 해석개론 과제 물어봤는데 [8]	ㅇㅇ(114.71)	04.16	323	0
56710	일반	좀더 추상적인 해석학은 없음? [3]	수갤러(61.105)	04.16	286	0
56709	일반	계승혁 강의다들음	수갤러(61.105)	04.16	130	0