산재군
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
산재군은 유한 단순군으로, 1860년대에 에밀 레오나르 마티외가 5개를 처음 발견했고, 1965년에서 1975년 사이에 나머지 21개가 발견되어 총 26개의 군으로 구성된다. 산재군은 마티외 군, 얀코 군, 콘웨이 군, 피셔 군, 히그먼-심스 군, 맥러플린 군, 헬트 군, 루드발리스 군, 스즈키 군, 오난 군, 하라다-노턴 군, 리옹스 군, 톰슨 군, 베이비 몬스터 군, 괴물군 등으로 분류되며, 이들은 몬스터 군의 부분군 또는 몫군으로 나타낼 수 있는 '행복한 가족'과 몬스터 군의 부분군이나 몫군으로 나타낼 수 없는 '패리아'로 나뉜다. 산재군은 차수, 발견자, 생성, 최소 충실 브라우어 문자의 차수 등의 특징을 가지며, 몬스터 군은 가장 큰 차수를 갖는다.
더 읽어볼만한 페이지
산재군 | |
---|---|
개요 | |
![]() | |
분류 | 유한 단순군 |
위수 | 80,801,742,479,451,287,588,645,990,496,171,075,700,575,436,800,000,000 |
군 | 26개 |
발견 | 1960년대 ~ 1980년대 |
성질 | 대부분 수학자의 이름에서 유래 대칭군, 교대군, 리 형 군에 속하지 않음 |
목록 | |
마티외 군 | M11 M12 M22 M23 M24 |
얀코 군 | J1 J2 J3 J4 |
콘웨이 군 | Co1 Co2 Co3 |
피셔 군 | Fi22 Fi23 Fi24' |
히그먼-심스 군 | HS |
맥러플린 군 | McL |
헬트-심스 군 | He |
루드발리스-심스 군 | Ru |
스즈키 군 | Suz |
오난-심스 군 | O'N |
라이언스 군 | Ly |
톰슨 군 | Th |
부흐슈타버 군 | B |
몬스터 군 | M |
아기 몬스터 군 | Baby Monster |
추가 정보 | |
완전한 목록 | 유한 단순군의 분류의 일부 |
중요성 | 군론에서 중요한 역할 수행 |
2. 산재군 목록
산재군은 총 26개가 있으며, 대부분 발견자의 이름을 따서 붙여졌다. 1860년대에 에밀 마티외가 5개를 발견했고, 나머지 21개는 1965년에서 1975년 사이에 발견되었다. 이 군들 중 일부는 구성되기 전에 존재가 예측되기도 했다.[1][3][4]
산재군 목록은 다음과 같다.
발견자 | 군 이름 | 기호 |
---|---|---|
에밀 마티외 | 마티외 군 | M11 |
마티외 군 | M12 | |
마티외 군 | M22 | |
마티외 군 | M23 | |
마티외 군 | M24 | |
즈보니미르 얀코 | 얀코 군 | J1 |
얀코 군 | J2 또는 HJ | |
얀코 군 | J3 또는 HJM | |
얀코 군 | J4 | |
존 호턴 콘웨이 | 콘웨이 군 | Co1 |
콘웨이 군 | Co2 | |
콘웨이 군 | Co3 | |
베른트 피셔 | 피셔 군 | Fi22 |
피셔 군 | Fi23 | |
피셔 군 | Fi24′ 또는 F3+ | |
도널드 히그먼과 찰스 심스 | 히그먼-심스 군 | HS |
잭 매클로플린 | 맥러플린 군 | McL |
디터 헬트 | 헬트 군 | He 또는 F7+ 또는 F7 |
아루나스 루드발리스 | 루드발리스 군 | Ru |
스즈키 미치오 | 스즈키 산재군 | Suz 또는 F3− |
마이클 오낸 | 오낸 군 | 'ON 또는 ON'' |
하라다 고이치로와 사이먼 필립스 노턴 | 하라다-노턴 군 | HN 또는 F5+ 또는 F5 |
리처드 라이언스 | 라이언스 군 | Ly |
존 그리그스 톰프슨 | 톰프슨 군 | 3>3 또는 F3 |
베이비 몬스터 군 | B 또는 F2+ 또는 F2 | |
피셔-그리스 몬스터 군 | M 또는 F1 |
유한 단순군 분류에서 리 타입 군[5] 또는 산재 군으로 간주되는 또 다른 예외적인 대상으로 티츠 군(Tits group) ''T''가 있다. 일부 자료에서는 티츠 군을 포함하여 산재 군의 수를 27개로 표기하기도 한다.[7][8]
2. 1. 마티외 군 (Mathieu group)
에밀 레오나르 마티외가 발견한 5개의 군으로, ''M''11, ''M''12, ''M''22, ''M''23, ''M''24가 있다.[1][3][4]2. 2. 얀코 군 (Janko group)
즈보니미르 얀코가 발견한 4개의 군이다. 여기에는 ''J''1, ''J''2 (또는 ''HJ''), ''J''3 (또는 ''HJM''), ''J''4가 있다.2. 3. 콘웨이 군 (Conway group)
존 호턴 콘웨이가 발견한 3개의 군이다. ''Co''1, ''Co''2, ''Co''3로 구성되어 있다.[1][3][4]이 군들은 리치 격자(Leech lattice)라고 불리는 24차원 격자의 자기 동형 군의 부분 몫으로 설명할 수 있다.[12]
- ''Co''1은 자기 동형 군을 중심 {±1}로 나눈 몫이다.
- ''Co''2는 유형 2(길이 2) 벡터의 안정자이다.
- ''Co''3는 유형 3(길이 }) 벡터의 안정자이다.
2. 4. 피셔 군 (Fischer group)
베른트 피셔(Bernd Fischer)가 발견한 3개의 군으로, ''Fi''22, ''Fi''23, ''Fi''24′가 있다.2. 5. 기타 산재군
히그먼-심스 군(Higman-Sims group) ''HS''는 도널드 히그먼(Donald G. Higman)과 찰스 심스(Charles Sims)가 발견하였다.[1][3][4]맥러플린 군(McLaughlin group) ''McL''은 잭 매클로플린(Jack McLaughlin영어)이 발견하였다.[1][3][4]
헬트 군(Held group) ''He'' (''F''7+ 또는 ''F''7)는 디터 헬트(Dieter Held)가 발견하였다.[1][3][4]
루드발리스 군(Rudvalis group) ''Ru''는 아루나스 루드발리스(Arūnas Rudvalis)가 발견하였다.[1][3][4]
스즈키 산재군 ''Suz'' (''F''3−)는 스즈키 미치오가 발견하였다. Suzuki groups와는 다르다.[1][3][4]
오낸 군(O'Nan group) ''O'N'' (ON)은 마이클 오낸(Michael O’Nan)이 발견하였다.[1][3][4]
하라다-노턴 군(Harada-Norton group) ''HN'' (''F''5+ 또는 ''F''5)는 하라다 고이치로(原田 耕一郎)와 사이먼 필립스 노턴이 발견하였다.[1][3][4]
라이언스 군(Lyons group) ''Ly''는 리처드 라이언스(Richard Lyons)가 발견하였다.[1][3][4]
톰슨 군(Thompson group) ''Th'' (''F''3|3 또는 ''F''3)는 존 그리그스 톰프슨이 발견하였다.[1][3][4]
베이비 몬스터 군(Baby Monster group) ''B'' (''F''2+ 또는 ''F''2)[1][3][4]
피셔-그리스 몬스터 군(Monster group) ''M'' (''F''1)[1][3][4]
3. 산재군의 분류
에밀 마티외가 1860년대에 5개의 산재군을 발견했고, 나머지 21개는 1965년에서 1975년 사이에 발견되었다. 이 군들 중 일부는 구성되기 전에 존재가 예측되기도 했다. 대부분의 군은 그 존재를 처음 예측한 수학자(들)의 이름을 따서 명명되었다.[1][3][4]
산재군은 몬스터 군과의 관계에 따라 로버트 그리에스가 명명한 '행복한 가족'과 '패리아' 그룹으로 분류할 수 있다. 행복한 가족은 다시 세 개의 세대로 나뉜다.
산재군은 다음과 같다.
- 마티외 군(Mathieu group): ''M''11, ''M''12, ''M''22, ''M''23, ''M''24
- 얀코 군(Janko group): ''J''1, ''J''2 (''HJ''), ''J''3 (''HJM''), ''J''4
- 콘웨이 군(Conway group): ''Co''1, ''Co''2, ''Co''3
- 피셔 군(Fischer group): ''Fi''22, ''Fi''23, ''Fi''24′ (''F''3+)
- 히그만-심스 군(Higman-Sims group): ''HS''
- 맥러플린 군(McLaughlin group): ''McL''
- 헬드 군(Held group): ''He'' (''F''7+ 또는 ''F''7)
- 루드발리스 군(Rudvalis group): ''Ru''
- 스즈키 군(Suzuki group): ''Suz'' (''F''3−)
- 오난 군(O'Nan group): ''O'N'' (ON)
- 하라다-노턴 군(Harada-Norton group): ''HN'' (''F''5+ 또는 ''F''5)
- 리옹스 군(Lyons group): ''Ly''
- 톰슨 군(Thompson group): ''Th'' (''F''3|3 또는 ''F''3)
- 베이비 몬스터 군(Baby Monster group): ''B'' (''F''2+ 또는 ''F''2)
- 피셔-그리스 몬스터 군(Monster group): ''M'' (''F''1)
유한 단순군 분류에서 또 다른 예외적인 대상은 티츠 군(Tits group) ''T''이다. 티츠 군은 리 타입 군[5]에 가깝지만 엄격하게는 리 타입 군은 아니며[6], 일부 자료에서는 산재 군의 수를 26개가 아닌 27개로 표기하기도 한다.[7][8]
"산재 군"이라는 용어는 1911년 번사이드의 저서에서 처음 사용되었으며, 그는 마티외 군에 대해 "이러한 겉보기 산재 단순군은 지금까지 받은 것보다 더 면밀한 검토를 받을 가치가 있을 것이다."라고 언급했다.
3. 1. 행복한 가족 (Happy Family)
몬스터군의 부분군 또는 부분군의 몫(단면)으로 나타낼 수 있는 20개의 산재군을 로버트 그리에스가 ''행복한 가족''이라고 명명했다.[10] 이들은 세 개의 세대로 구성될 수 있다.3. 1. 1. 1세대: 마티외 군
마티외 군은 24개의 점에 대한 순열군인 M24의 부분군이다.[10]3. 2. 패리아 (Pariahs)
여섯 가지 예외는 ''J''1, ''J''3, ''J''4, ''O'N'', ''Ru'', ''Ly''이며, 때로는 패리아라고도 한다.4. 산재군 차수표 (티츠 군 포함)
그룹 | 발견자 | 연도[16] | 차수[1][4][17] | 최소 충실 Brauer 문자의 차수[18] | [19][20] | 반-프레젠테이션[20] | |
---|---|---|---|---|---|---|---|
M 또는 F1 | 피셔, 그리이스 | 1973 | = 246·320·59·76·112·133·17·19·23·29·31·41·47·59·71 ≈ 8 | 196883 | 2A, 3B, 29 | ||
B 또는 F2 | 피셔 | 1973 | = 241·313·56·72·11·13·17·19·23·31·47 ≈ 4 | 4371 | 2C, 3A, 55 | ||
Fi24 또는 F3+ | 피셔 | 1971 | = 221·316·52·73·11·13·17·23·29 ≈ 1 | 8671 | 2A, 3E, 29 | ||
Fi23 | 피셔 | 1971 | = 218·313·52·7·11·13·17·23 ≈ 4 | 782 | 2B, 3D, 28 | ||
Fi22 | 피셔 | 1971 | = 217·39·52·7·11·13 ≈ 6 | 78 | 2A, 13, 11 | ||
Th 또는 F3 | 톰슨 | 1976 | = 215·310·53·72·13·19·31 ≈ 9 | 248 | 2, 3A, 19 | ||
Ly | 리옹스 | 1972 | = 28·37·56·7·11·31·37·67 ≈ 5 | 2480 | 2, 5A, 14 | ||
HN 또는 F5 | 하라다, 노턴 | 1976 | = 214·36·56·7·11·19 ≈ 3 | 133 | 2A, 3B, 22 | ||
Co1 | 콘웨이 | 1969 | = 221·39·54·72·11·13·23 ≈ 4 | 276 | 2B, 3C, 40 | ||
Co2 | 콘웨이 | 1969 | = 218·36·53·7·11·23 ≈ 4 | 23 | 2A, 5A, 28 | ||
Co3 | 콘웨이 | 1969 | = 210·37·53·7·11·23 ≈ 5 | 23 | 2A, 7C, 17 | ||
ON 또는 'ON'' | 오난 | 1976 | = 29·34·5·73·11·19·31 ≈ 5 | 10944 | 2A, 4A, 11 | ||
Suz | 스즈키 | 1969 | = 213·37·52·7·11·13 ≈ 4 | 143 | 2B, 3B, 13 | ||
Ru | 루드발리스 | 1972 | = 214·33·53·7·13·29 ≈ 1 | 378 | 2B, 4A, 13 | ||
He 또는 F7 | 헬드 | 1969 | = 210·33·52·73·17 ≈ 4 | 51 | 2A, 7C, 17 | ||
McL | 맥러플린 | 1969 | = 27·36·53·7·11 ≈ 9 | 22 | 2A, 5A, 11 | ||
HS | 히그먼, 심스 | 1967 | = 29·32·53·7·11 ≈ 4 | 22 | 2A, 5A, 11 | ||
J4 | 얀코 | 1976 | = 221·33·5·7·113·23·29·31·37·43 ≈ 9 | 1333 | 2A, 4A, 37 | ||
J3 또는 HJM | 얀코 | 1968 | = 27·35·5·17·19 ≈ 5 | 85 | 2A, 3A, 19 | ||
J2 또는 HJ | 얀코 | 1968 | = 27·33·52·7 ≈ 6 | 14 | 2B, 3B, 7 | ||
J1 | 얀코 | 1965 | = 23·3·5·7·11·19 ≈ 2 | 56 | 2, 3, 7 | ||
M24 | 마티외 | 1861 | = 210·33·5·7·11·23 ≈ 2 | 23 | 2B, 3A, 23 | ||
M23 | 마티외 | 1861 | = 27·32·5·7·11·23 ≈ 1 | 22 | 2, 4, 23 | ||
M22 | 마티외 | 1861 | = 27·32·5·7·11 ≈ 4 | 21 | 2A, 4A, 11 | ||
M12 | 마티외 | 1861 | = 26·33·5·11 ≈ 1 | 11 | 2B, 3B, 11 | ||
M11 | 마티외 | 1861 | = 24·32·5·11 ≈ 8 | 10 | 2, 4, 11 | ||
T 또는 | 티츠 | 1964 | = 211·33·52·13 ≈ 2 | 104[21] | 2A, 3, 13 |
참조
[1]
harvtxt
[2]
harvtxt
[3]
harvtxt
[4]
harvtxt
[5]
harvtxt
[6]
harvtxt
[7]
harvtxt
[8]
harvtxt
[9]
harvtxt
[10]
harvtxt
[11]
harvtxt
[12]
harvtxt
[13]
harvtxt
[14]
harvtxt
[15]
harvtxt
[16]
harvtxt
[17]
harvtxt
[18]
harvtxt
[19]
harvtxt
[20]
harvtxt
[21]
harvtxt
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com