토이다의 추측

Toida's conjecture

조합수학에서 1977년 토이다 슈니치로 인한 토이다의 추측은 1967년부터 반증된 아힘의 추측을 정교하게 다듬은 것이다.[1]

성명서

두 추측 모두 순환 그래프에 관한 것이다.이러한 그래프는 의 정수 n{\ 양의 S {\에서 정의한 그래프 입니다.이들의 정점은 0부터 n-까지의 숫자로 식별할 수 있으며 정점 및 j (는) 차이 n}이(가) 세트 S {\\displaystytyleS}에 속할 때마다 에지로 연결된다modulo -vertex 순환 그래프에 이 발생하며, Ahdamm은 이러한 그래프가 순환 그래프에서 유일한 대칭이라고 추측했다(잘못됨).

그러나, Ahdam의 추측에 대한 알려진 대칭은 과(와 일부 원소가 비경쟁적 분열을 하는 S {\displaystyle 을(를) 포함한다 토이다의 추측에 따르면, 의 모든 구성원이 상대적으로 prim을(를)할 때 순환의 유일한 대칭이 된다. 에 대한 ulant graph는 기본 주기 그룹에서 나오는 대칭이다.

교정쇄

이러한 추측은 1978년 클린과 포셀,[2] 1984년 골프랜드, 나즈마크, 포셀에 의해 n이 주력이 되는 특수한 경우에서 증명되었다.[3]

그 후 이 추측은 2001년 슈르 대수학을 이용하여 무지추크, 클린, 포셀에 의해 충분히 증명되었고,[4] 2002년에는 돕슨과 모리스에 의해 유한 단순 집단의 분류를 이용하여 동시에 증명되었다.[5]

메모들

  1. ^ S. 토이다: 1977년 10월 12월, "아담의 추측에 관한 노트" , 결합 이론 저널 (B), 페이지 239–246
  2. ^ 클린, M.H., R.포셀:코니그 문제, 순환 그래프의 이형성 문제, 슈르 링의 방법, 그래프 이론의 대수적 방법, Vol.I, II, Szeged, 1978, 페이지 405–434.
  3. ^ 골프랜드, JJ, N.L Najmark, R.포셀:Z2m 위의 S링 구조, 프리프린트(1984)
  4. ^ 클린, M.H., M. 무주크, R.포셀:Schur ring 이론, Code and Association Scheme, American Math를 통한 순환 그래프에 대한 이형성 문제.사회, 2001.
  5. ^ Dobson, Edward; Morris, Joy (2002), "Toida's conjecture is true", Electronic Journal of Combinatorics, 9 (1): R35:1–R35:14, MR 1928787