Warning: mysqli_query(): (HY000/1712): Index szlgt_options is corrupted in /var/www/html/jp/wiki2/wp-includes/wp-db.php on line 1924
[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/jp\/wiki2\/archives\/3320#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/jp\/wiki2\/archives\/3320","headline":"\u6307\u6a19\u7406\u8ad6 – Wikipedia","name":"\u6307\u6a19\u7406\u8ad6 – Wikipedia","description":"\u6570\u5b66\u3001\u7279\u306b\u7fa4\u8ad6\u306b\u304a\u3044\u3066\u3001\u7fa4\u306e\u8868\u73fe\u306e\u6307\u6a19\uff08\u3057\u3072\u3087\u3046\u3001\u82f1: character\uff09\u306f\u3001\u7fa4\u306e\u5404\u5143\u306b\u5bfe\u5fdc\u3059\u308b\u884c\u5217\u306e\u30c8\u30ec\u30fc\u30b9\u3092\u5bfe\u5fdc\u3055\u305b\u308b\u5199\u50cf\u3067\u3042\u308b\u3002\u6307\u6a19\u306f\u8868\u73fe\u306e\u672c\u8cea\u7684\u306a\u60c5\u5831\u3092\u3088\u308a\u51dd\u7e2e\u3055\u308c\u305f\u5f62\u3067\u6301\u3063\u3066\u3044\u308b\u3002\u30b2\u30aa\u30eb\u30af\u30fb\u30d5\u30ed\u30d9\u30cb\u30a6\u30b9\u306f\u6700\u521d\u306b\u3001\u6307\u6a19\u306e\u307f\u306b\u57fa\u3065\u3044\u3066\u3001\u8868\u73fe\u306e\u660e\u793a\u7684\u306a\u884c\u5217\u8868\u793a\u306f\u7528\u3044\u305a\u306b\u3001\u6709\u9650\u7fa4\u306e\u8868\u73fe\u8ad6\uff08\u82f1\u8a9e\u7248\uff09\u3092\u767a\u5c55\u3055\u305b\u305f\u3002\u3053\u308c\u306f\u6709\u9650\u7fa4\u306e\u8907\u7d20\u8868\u73fe\u306f\u305d\u306e\u6307\u6a19\u306b\u3088\u3063\u3066\uff08\u540c\u578b\u3092\u9664\u3044\u3066\uff09\u6c7a\u5b9a\u3055\u308c\u308b\u304b\u3089\u53ef\u80fd\u3067\u3042\u308b\u3002\u6b63\u6a19\u6570\u306e\u4f53\u4e0a\u306e\u8868\u73fe\u3001\u3044\u308f\u3086\u308b\u300c\u30e2\u30b8\u30e5\u30e9\u30fc\u8868\u73fe\u300d\u306e\u5834\u5408\u306b\u306f\u3001\u72b6\u6cc1\u306f\u3088\u308a\u7e4a\u7d30\u3067\u3042\u308b\u304c\u3001\u30ea\u30c1\u30e3\u30fc\u30c9\u30fb\u30d6\u30e9\u30a6\u30a2\u30fc\uff08\u82f1\u8a9e\u7248\uff09\u306f\u3053\u306e\u5834\u5408\u306b\u3082\u6307\u6a19\u306e\u5f37\u529b\u306a\u7406\u8ad6\u3092\u767a\u5c55\u3055\u305b\u305f\u3002\u6709\u9650\u7fa4\u306e\u69cb\u9020\u306b\u95a2\u3059\u308b\u591a\u304f\u306e\u6df1\u3044\u5b9a\u7406\u306f\u30e2\u30b8\u30e5\u30e9\u30fc\u8868\u73fe\u306e\u6307\u6a19\u3092\u7528\u3044\u308b\u3002 \u65e2\u7d04\u8868\u73fe\u306e\u6307\u6a19\u306b\u306f\u7fa4\u306e\u591a\u304f\u306e\u91cd\u8981\u306a\u6027\u8cea\u304c\u53cd\u6620\u3055\u308c\u3066\u304a\u308a\u3001\u3057\u305f\u304c\u3063\u3066\u305d\u306e\u69cb\u9020\u306e\u7814\u7a76\u306b\u7528\u3044\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002\u6307\u6a19\u7406\u8ad6\u306f\u6709\u9650\u5358\u7d14\u7fa4\u306e\u5206\u985e\u306b\u304a\u3044\u3066\u672c\u8cea\u7684\u306a\u9053\u5177\u3067\u3042\u308b\u3002Feit\u2013Thompson \u306e\u5b9a\u7406\uff08\u82f1\u8a9e\u7248\uff09\u306e\u534a\u5206\u8fd1\u304f\u306f\u6307\u6a19\u306e\u5024\u306e\u5165\u308a\u7d44\u3093\u3060\u8a08\u7b97\u3092\u4f34\u3046\u3002\u6307\u6a19\u7406\u8ad6\u3092\u4f7f\u3046\u3001\u3088\u308a\u5bb9\u6613\u3060\u304c\u306a\u304a\u672c\u8cea\u7684\u306a\u7d50\u679c\u306f\u3001\u30d0\u30fc\u30f3\u30b5\u30a4\u30c9\u306e\u5b9a\u7406\uff08\u7d14\u7c8b\u306b\u7fa4\u8ad6\u7684\u306a\u8a3c\u660e\u306f\u898b\u3064\u304b\u3063\u3066\u3044\u308b\u304c\u3001\u30d0\u30fc\u30f3\u30b5\u30a4\u30c9\u306e\u3082\u3068\u3082\u3068\u306e\u8a3c\u660e\u306e\u3042\u3068\u534a\u4e16\u7d00\u4ee5\u4e0a\u7d4c\u3063\u3066\u304b\u3089\u3067\u3042\u308b\uff09\u3084\u3001\u6709\u9650\u5358\u7d14\u7fa4\u306f\u30b7\u30ed\u30fc 2-\u90e8\u5206\u7fa4\u3068\u3057\u3066\u4e00\u822c\u56db\u5143\u6570\u7fa4\u3092\u6301\u3064\u3053\u3068\u306f\u3067\u304d\u306a\u3044\u3068\u3044\u3046\u30d6\u30e9\u30a6\u30a2\u30fc\u30fb\u9234\u6728\u306e\u5b9a\u7406\u3067\u3042\u308b\u3002 V \u3092\u4f53 F \u4e0a\u306e\u6709\u9650\u6b21\u5143\u30d9\u30af\u30c8\u30eb\u7a7a\u9593\u3068\u3057\u3001\u03c1: G \u2192 GL(V) \u3092\u7fa4 G \u306e V \u4e0a\u306e\u8868\u73fe\u3068\u3059\u308b\u3002\u03c1 \u306e\u6307\u6a19 (character) \u3068\u306f\u95a2\u6570","datePublished":"2020-01-23","dateModified":"2020-01-23","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/jp\/wiki2\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/jp\/wiki2\/archives\/author\/lordneo","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/11\/book.png","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/11\/book.png","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/d60fc24ef916382d4b7a3ba1076961f740127793","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/d60fc24ef916382d4b7a3ba1076961f740127793","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/jp\/wiki2\/archives\/3320","about":["Wiki"],"wordCount":8980,"articleBody":"\u6570\u5b66\u3001\u7279\u306b\u7fa4\u8ad6\u306b\u304a\u3044\u3066\u3001\u7fa4\u306e\u8868\u73fe\u306e\u6307\u6a19\uff08\u3057\u3072\u3087\u3046\u3001\u82f1: character\uff09\u306f\u3001\u7fa4\u306e\u5404\u5143\u306b\u5bfe\u5fdc\u3059\u308b\u884c\u5217\u306e\u30c8\u30ec\u30fc\u30b9\u3092\u5bfe\u5fdc\u3055\u305b\u308b\u5199\u50cf\u3067\u3042\u308b\u3002\u6307\u6a19\u306f\u8868\u73fe\u306e\u672c\u8cea\u7684\u306a\u60c5\u5831\u3092\u3088\u308a\u51dd\u7e2e\u3055\u308c\u305f\u5f62\u3067\u6301\u3063\u3066\u3044\u308b\u3002\u30b2\u30aa\u30eb\u30af\u30fb\u30d5\u30ed\u30d9\u30cb\u30a6\u30b9\u306f\u6700\u521d\u306b\u3001\u6307\u6a19\u306e\u307f\u306b\u57fa\u3065\u3044\u3066\u3001\u8868\u73fe\u306e\u660e\u793a\u7684\u306a\u884c\u5217\u8868\u793a\u306f\u7528\u3044\u305a\u306b\u3001\u6709\u9650\u7fa4\u306e\u8868\u73fe\u8ad6\uff08\u82f1\u8a9e\u7248\uff09\u3092\u767a\u5c55\u3055\u305b\u305f\u3002\u3053\u308c\u306f\u6709\u9650\u7fa4\u306e\u8907\u7d20\u8868\u73fe\u306f\u305d\u306e\u6307\u6a19\u306b\u3088\u3063\u3066\uff08\u540c\u578b\u3092\u9664\u3044\u3066\uff09\u6c7a\u5b9a\u3055\u308c\u308b\u304b\u3089\u53ef\u80fd\u3067\u3042\u308b\u3002\u6b63\u6a19\u6570\u306e\u4f53\u4e0a\u306e\u8868\u73fe\u3001\u3044\u308f\u3086\u308b\u300c\u30e2\u30b8\u30e5\u30e9\u30fc\u8868\u73fe\u300d\u306e\u5834\u5408\u306b\u306f\u3001\u72b6\u6cc1\u306f\u3088\u308a\u7e4a\u7d30\u3067\u3042\u308b\u304c\u3001\u30ea\u30c1\u30e3\u30fc\u30c9\u30fb\u30d6\u30e9\u30a6\u30a2\u30fc\uff08\u82f1\u8a9e\u7248\uff09\u306f\u3053\u306e\u5834\u5408\u306b\u3082\u6307\u6a19\u306e\u5f37\u529b\u306a\u7406\u8ad6\u3092\u767a\u5c55\u3055\u305b\u305f\u3002\u6709\u9650\u7fa4\u306e\u69cb\u9020\u306b\u95a2\u3059\u308b\u591a\u304f\u306e\u6df1\u3044\u5b9a\u7406\u306f\u30e2\u30b8\u30e5\u30e9\u30fc\u8868\u73fe\u306e\u6307\u6a19\u3092\u7528\u3044\u308b\u3002\u65e2\u7d04\u8868\u73fe\u306e\u6307\u6a19\u306b\u306f\u7fa4\u306e\u591a\u304f\u306e\u91cd\u8981\u306a\u6027\u8cea\u304c\u53cd\u6620\u3055\u308c\u3066\u304a\u308a\u3001\u3057\u305f\u304c\u3063\u3066\u305d\u306e\u69cb\u9020\u306e\u7814\u7a76\u306b\u7528\u3044\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002\u6307\u6a19\u7406\u8ad6\u306f\u6709\u9650\u5358\u7d14\u7fa4\u306e\u5206\u985e\u306b\u304a\u3044\u3066\u672c\u8cea\u7684\u306a\u9053\u5177\u3067\u3042\u308b\u3002Feit\u2013Thompson \u306e\u5b9a\u7406\uff08\u82f1\u8a9e\u7248\uff09\u306e\u534a\u5206\u8fd1\u304f\u306f\u6307\u6a19\u306e\u5024\u306e\u5165\u308a\u7d44\u3093\u3060\u8a08\u7b97\u3092\u4f34\u3046\u3002\u6307\u6a19\u7406\u8ad6\u3092\u4f7f\u3046\u3001\u3088\u308a\u5bb9\u6613\u3060\u304c\u306a\u304a\u672c\u8cea\u7684\u306a\u7d50\u679c\u306f\u3001\u30d0\u30fc\u30f3\u30b5\u30a4\u30c9\u306e\u5b9a\u7406\uff08\u7d14\u7c8b\u306b\u7fa4\u8ad6\u7684\u306a\u8a3c\u660e\u306f\u898b\u3064\u304b\u3063\u3066\u3044\u308b\u304c\u3001\u30d0\u30fc\u30f3\u30b5\u30a4\u30c9\u306e\u3082\u3068\u3082\u3068\u306e\u8a3c\u660e\u306e\u3042\u3068\u534a\u4e16\u7d00\u4ee5\u4e0a\u7d4c\u3063\u3066\u304b\u3089\u3067\u3042\u308b\uff09\u3084\u3001\u6709\u9650\u5358\u7d14\u7fa4\u306f\u30b7\u30ed\u30fc 2-\u90e8\u5206\u7fa4\u3068\u3057\u3066\u4e00\u822c\u56db\u5143\u6570\u7fa4\u3092\u6301\u3064\u3053\u3068\u306f\u3067\u304d\u306a\u3044\u3068\u3044\u3046\u30d6\u30e9\u30a6\u30a2\u30fc\u30fb\u9234\u6728\u306e\u5b9a\u7406\u3067\u3042\u308b\u3002V \u3092\u4f53 F \u4e0a\u306e\u6709\u9650\u6b21\u5143\u30d9\u30af\u30c8\u30eb\u7a7a\u9593\u3068\u3057\u3001\u03c1: G \u2192 GL(V) \u3092\u7fa4 G \u306e V \u4e0a\u306e\u8868\u73fe\u3068\u3059\u308b\u3002\u03c1 \u306e\u6307\u6a19 (character) \u3068\u306f\u95a2\u6570\u03c7\u03c1:G\u2192F;\u03c7\u03c1(g)=Tr(\u03c1(g)){displaystyle chi _{rho }colon Gto F;;chi _{rho }(g)=mathrm {Tr} (rho (g))}\u3067\u3042\u308b\u3001\u305f\u3060\u3057 Tr \u306f\u30c8\u30ec\u30fc\u30b9\u3067\u3042\u308b\u3002\u6307\u6a19 \u03c7\u03c1 \u304c\u65e2\u7d04 (irreducible) \u3042\u308b\u3044\u306f\u5358\u7d14 (simple) \u3068\u306f\u3001\u03c1 \u304c\u65e2\u7d04\u8868\u73fe\u3067\u3042\u308b\u3053\u3068\u3092\u3044\u3046\u3002\u6307\u6a19 \u03c7 \u306e\u6b21\u6570 (degree) \u306f \u03c1 \u306e\u6b21\u5143\u3067\u3042\u308b\uff1b\u6a19\u6570 0 \u3067\u306f\u3053\u308c\u306f\u5024 \u03c7(1) \u306b\u7b49\u3057\u3044\u3002\u6b21\u6570 1 \u306e\u6307\u6a19\u306f\u7dda\u578b (linear) \u3068\u547c\u3070\u308c\u308b\u3002G \u304c\u6709\u9650\u3067 F \u304c\u6a19\u6570 0 \u306e\u3068\u304d\u3001\u6307\u6a19 \u03c7\u03c1 \u306e\u6838 (kernel) \u306f\u6b63\u898f\u90e8\u5206\u7fa4ker\u2061\u03c7\u03c1:={g\u2208G\u2223\u03c7\u03c1(g)=\u03c7\u03c1(1)}{displaystyle ker chi _{rho }:=leftlbrace gin Gmid chi _{rho }(g)=chi _{rho }(1)rightrbrace }\u3067\u3042\u308a\u3001\u3053\u308c\u306f\u3061\u3087\u3046\u3069\u8868\u73fe \u03c1 \u306e\u6838\u3067\u3042\u308b\u3002\u6307\u6a19\u306f\u985e\u95a2\u6570\u3067\u3042\u308b\u3001\u3064\u307e\u308a\u3001\u5404\u5171\u5f79\u985e\u4e0a\u3067\u4e00\u5b9a\u306e\u5024\u3092\u53d6\u308b\u3002\u3088\u308a\u7cbe\u5bc6\u306b\u306f\u3001\u4e0e\u3048\u3089\u308c\u305f\u7fa4 G \u306e\u4f53 K \u3078\u306e\u65e2\u7d04\u6307\u6a19\u306e\u96c6\u5408\u306f\u3059\u3079\u3066\u306e\u985e\u95a2\u6570 G \u2192 K \u306e\u306a\u3059 K\u00a0\u30d9\u30af\u30c8\u30eb\u7a7a\u9593\u306e\u57fa\u5e95\u3092\u306a\u3059\u3002\u540c\u578b\u306a\u8868\u73fe\u306f\u540c\u3058\u6307\u6a19\u3092\u6301\u3064\u3002\u6a19\u6570 0 \u306e\u4ee3\u6570\u9589\u4f53\u4e0a\u3067\u306f\u3001\u534a\u5358\u7d14\u8868\u73fe\u304c\u540c\u578b\u3067\u3042\u308b\u3053\u3068\u3068\u540c\u3058\u6307\u6a19\u3092\u6301\u3064\u3053\u3068\u306f\u540c\u5024\u3067\u3042\u308b\u3002\u8868\u73fe\u304c\u90e8\u5206\u8868\u73fe\u306e\u76f4\u548c\u306a\u3089\u3070\u3001\u5bfe\u5fdc\u3059\u308b\u6307\u6a19\u306f\u305d\u308c\u3089\u90e8\u5206\u8868\u73fe\u306e\u6307\u6a19\u306e\u548c\u3067\u3042\u308b\u3002\u6709\u9650\u7fa4 G \u306e\u6307\u6a19\u3092\u90e8\u5206\u7fa4 H \u306b\u5236\u9650\u3057\u305f\u3082\u306e\u306f\u3001H \u306e\u6307\u6a19\u3067\u3042\u308b\u3002\u4efb\u610f\u306e\u6307\u6a19\u306e\u5024 \u03c7(g) \u306f n \u500b\u306e 1 \u306e m\u00a0\u4e57\u6839\u306e\u548c\u3067\u3042\u308b\u3001\u305f\u3060\u3057 n \u306f\u6307\u6a19 \u03c7 \u3092\u6301\u3064\u8868\u73fe\u306e\u6b21\u6570\uff08\u3064\u307e\u308a\u4ed8\u968f\u3059\u308b\u30d9\u30af\u30c8\u30eb\u7a7a\u9593\u306e\u6b21\u5143\uff09\u3067\u3042\u308a\u3001m \u306f g \u306e\u4f4d\u6570\u3067\u3042\u308b\u3002\u7279\u306b\u3001F = C \u306e\u3068\u304d\u3001\u6307\u6a19\u306e\u5024\u306f\u4ee3\u6570\u7684\u6574\u6570\u3067\u3042\u308b\u3002F = C \u3067 \u03c7 \u304c\u65e2\u7d04\u306e\u3068\u304d\u3001[G:CG(x)]\u03c7(x)\u03c7(1){displaystyle [G:C_{G}(x)]{frac {chi (x)}{chi (1)}}}\u306f\u3059\u3079\u3066\u306e x \u2208 G \u306b\u5bfe\u3057\u3066\u4ee3\u6570\u7684\u6574\u6570\u3067\u3042\u308b\u3002F \u304c\u4ee3\u6570\u9589\u4f53\u3067\u6a19\u6570 char(F) \u304c G \u306e\u4f4d\u6570\u3092\u5272\u308a\u5207\u3089\u306a\u3044\u3068\u304d\u3001G \u306e\u65e2\u7d04\u6307\u6a19\u306e\u500b\u6570\u306f G \u306e\u5171\u5f79\u985e\u306e\u500b\u6570\u306b\u7b49\u3057\u3044\u3002\u3055\u3089\u306b\u3001\u3053\u306e\u5834\u5408\u3001\u65e2\u7d04\u6307\u6a19\u306e\u6b21\u6570\u306f G \u306e\u4f4d\u6570\u306e\u7d04\u6570\u3067\u3042\u308b\uff08F = C \u306a\u3089\u3055\u3089\u306b [G\u00a0: Z(G)] \u3092\u3082\u5272\u308b\uff09\u3002Table of Contents\u7b97\u8853\u7684\u6027\u8cea[\u7de8\u96c6]\u76f4\u4ea4\u95a2\u4fc2\u5f0f[\u7de8\u96c6]\u6307\u6a19\u8868\u306e\u6027\u8cea[\u7de8\u96c6]\u8a98\u5c0e\u6307\u6a19\u3068\u30d5\u30ed\u30d9\u30cb\u30a6\u30b9\u76f8\u4e92\u5f8b[\u7de8\u96c6]\u30de\u30c3\u30ad\u30fc\u5206\u89e3[\u7de8\u96c6]\u201c\u6369\u308c\u201d\u6b21\u5143[\u7de8\u96c6]\u30ea\u30fc\u7fa4\u3068\u30ea\u30fc\u74b0\u306e\u6307\u6a19[\u7de8\u96c6]\u95a2\u9023\u9805\u76ee[\u7de8\u96c6]\u53c2\u8003\u6587\u732e[\u7de8\u96c6]\u5916\u90e8\u30ea\u30f3\u30af[\u7de8\u96c6]\u7b97\u8853\u7684\u6027\u8cea[\u7de8\u96c6]\u03c1 \u3068 \u03c3 \u3092 G \u306e\u8868\u73fe\u3068\u3059\u308b\u3002\u3053\u306e\u3068\u304d\u4ee5\u4e0b\u306e\u7b49\u5f0f\u304c\u6210\u308a\u7acb\u3064\uff1a\u03c7\u03c1\u2295\u03c3=\u03c7\u03c1+\u03c7\u03c3{displaystyle chi _{rho oplus sigma }=chi _{rho }+chi _{sigma }} \u03c7\u03c1\u2297\u03c3=\u03c7\u03c1\u22c5\u03c7\u03c3{displaystyle chi _{rho otimes sigma }=chi _{rho }cdot chi _{sigma }}\u03c7\u03c1\u2217=\u03c7\u03c1\u00af{displaystyle chi _{rho ^{*}}={overline {chi _{rho }}}} \u03c7Alt2\u03c1(g)=12[(\u03c7\u03c1(g))2\u2212\u03c7\u03c1(g2)]{displaystyle chi _{{scriptscriptstyle {rm {{Alt}^{2}}}}rho }(g)={tfrac {1}{2}}left[left(chi _{rho }(g)right)^{2}-chi _{rho }(g^{2})right]}\u03c7Sym2\u03c1(g)=12[(\u03c7\u03c1(g))2+\u03c7\u03c1(g2)]{displaystyle chi _{{scriptscriptstyle {rm {{Sym}^{2}}}}rho }(g)={tfrac {1}{2}}left[left(chi _{rho }(g)right)^{2}+chi _{rho }(g^{2})right]}\u3053\u3053\u3067\u3001\u03c1 \u2295 \u03c3 \u306f\u76f4\u548c\u3067\u3001\u03c1 \u2297 \u03c3 \u306f\u30c6\u30f3\u30bd\u30eb\u7a4d\u3067\u3001\u03c1\u2217 \u306f \u03c1 \u306e\u5171\u5f79\u8ee2\u7f6e\u3092\u8868\u3057\u3001Alt2 \u306f\u4ea4\u4ee3\u7a4d Alt2\u03c1 = \u03c1 \u2227 \u03c1 \u3067\u3042\u308a\u3001Sym2 \u306f\u5bfe\u79f0\u5e73\u65b9\u3067\u6b21\u3067\u6c7a\u5b9a\u3055\u308c\u308b\uff1a\u03c1\u2297\u03c1=(\u03c1\u2227\u03c1)\u2295Sym2\u2061\u03c1.{displaystyle rho otimes rho =left(rho wedge rho right)oplus operatorname {Sym} ^{2}rho .}\u6709\u9650\u7fa4\u306e\u65e2\u7d04\u8907\u7d20\u6307\u6a19\u306f\u7fa4 G \u306b\u3064\u3044\u3066\u306e\u591a\u304f\u306e\u6709\u7528\u306a\u60c5\u5831\u3092\u51dd\u7e2e\u3055\u308c\u305f\u5f62\u3067\u8868\u73fe\u3059\u308b\u6307\u6a19\u8868\u3092\u306a\u3059\u3002\u5404\u884c\u306f\u65e2\u7d04\u8868\u73fe\u306b\u3088\u3063\u3066\u30e9\u30d9\u30eb\u3065\u3051\u3089\u308c\u3001\u884c\u306e\u6210\u5206\u306f G \u306e\u305d\u308c\u305e\u308c\u306e\u5171\u5f79\u985e\u4e0a\u306e\u8868\u73fe\u306e\u6307\u6a19\u3067\u3042\u308b\u3002\u5217\u306f G \u306e\u5171\u5f79\u985e\uff08\u306e\u4ee3\u8868\u5143\uff09\u306b\u3088\u3063\u3066\u30e9\u30d9\u30eb\u4ed8\u3051\u3089\u308c\u308b\u3002\u7b2c\u4e00\u884c\u3092\u81ea\u660e\u6307\u6a19\u3067\u30e9\u30d9\u30eb\u4ed8\u3051\u3001\u7b2c\u4e00\u5217\u3092\u5358\u4f4d\u5143\uff08\u306e\u5171\u5f79\u985e\uff09\u3067\u30e9\u30d9\u30eb\u4ed8\u3051\u308b\u306e\u304c\u901a\u4f8b\u3067\u3042\u308b\u3002\u7b2c\u4e00\u5217\u306e\u6210\u5206\u306f\u5358\u4f4d\u5143\u306b\u304a\u3051\u308b\u65e2\u7d04\u6307\u6a19\u306e\u5024\u3001\u65e2\u7d04\u6307\u6a19\u306e\u6b21\u6570\u3067\u3042\u308b\u3002 \u3053\u3053\u306b u \u3092\u751f\u6210\u5143\u3068\u3059\u308b\u4f4d\u65703\u306e\u5de1\u56de\u7fa4C3=\u27e8u\u2223u3=1\u27e9,{displaystyle C_{3}=langle umid u^{3}=1rangle ,}\u306e\u6307\u6a19\u8868\u3092\u66f8\u304f\u3002\u00a0(1)(u)(u2)1111\u03c711\u03c9\u03c92\u03c721\u03c92\u03c9\u305f\u3060\u3057 \u03c9 \u306f 1 \u306e\u539f\u59cb3\u4e57\u6839\u3067\u3042\u308b\u3002\u6307\u6a19\u8868\u306f\u6b63\u65b9\u5f62\u3067\u3042\u308b\u3001\u306a\u305c\u306a\u3089\u3070\u65e2\u7d04\u8868\u73fe\u306e\u540c\u578b\u985e\u306e\u500b\u6570\u306f\u5171\u5f79\u985e\u306e\u500b\u6570\u306b\u7b49\u3057\u3044\u304b\u3089\u3067\u3042\u308b\u3002\u6307\u6a19\u8868\u306e\u7b2c\u4e00\u884c\u306f\uff08\u4e0a\u8ff0\u306e\u901a\u4f8b\u306b\u3088\u308a\uff09 1 \u305f\u3061\u304b\u3089\u306a\u308a\u3001\u81ea\u660e\u8868\u73fe\uff08\u6210\u5206\u304c 1 \u306e 1 \u00d7 1 \u884c\u5217\u304b\u3089\u306a\u308b 1 \u6b21\u5143\u8868\u73fe\uff09\u306b\u5bfe\u5fdc\u3059\u308b\u3002\u76f4\u4ea4\u95a2\u4fc2\u5f0f[\u7de8\u96c6]\u6709\u9650\u7fa4 G \u306e\u8907\u7d20\u6570\u5024\u985e\u95a2\u6570\u306e\u7a7a\u9593\u306f\u81ea\u7136\u306a\u5185\u7a4d\u3092\u6301\u3064\uff1a\u27e8\u03b1,\u03b2\u27e9:=1|G|\u2211g\u2208G\u03b1(g)\u03b2(g)\u00af{displaystyle leftlangle alpha ,beta rightrangle :={frac {1}{|G|}}sum _{gin G}alpha (g){overline {beta (g)}}}\u305f\u3060\u3057 \u03b2(g) \u306f \u03b2(g) \u306e\u8907\u7d20\u5171\u5f79\u3067\u3042\u308b\u3002\u3053\u306e\u5185\u7a4d\u306b\u95a2\u3057\u3066\u3001\u65e2\u7d04\u6307\u6a19\u306f\u985e\u95a2\u6570\u306e\u7a7a\u9593\u306e\u6b63\u898f\u76f4\u4ea4\u57fa\u5e95\u3092\u306a\u3057\u3001\u3053\u308c\u306f\u6307\u6a19\u8868\u306e\u884c\u306e\u76f4\u4ea4\u95a2\u4fc2\u3092\u751f\u3080\uff1a\u27e8\u03c7i,\u03c7j\u27e9={0\u00a0if\u00a0i\u2260j,1\u00a0if\u00a0i=j.{displaystyle leftlangle chi _{i},chi _{j}rightrangle ={begin{cases}0&{text{ if }}ineq j,1&{text{ if }}i=j.end{cases}}}G \u306e\u5143 g, h \u306b\u5bfe\u3057\u3066\u3001\u5217\u306e\u76f4\u4ea4\u95a2\u4fc2\u306f\u6b21\u306e\u3088\u3046\u3067\u3042\u308b\uff1a\u2211\u03c7i\u03c7i(g)\u03c7i(h)\u00af={|CG(g)|,\u00a0if\u00a0g,h\u00a0are conjugate\u00a00\u00a0otherwise.{displaystyle sum _{chi _{i}}chi _{i}(g){overline {chi _{i}(h)}}={begin{cases}left|C_{G}(g)right|,&{text{ if }}g,h{text{ are conjugate }}&{text{ otherwise.}}end{cases}}}\u305f\u3060\u3057\u548c\u306f G \u306e\u65e2\u7d04\u6307\u6a19 \u03c7i \u5168\u4f53\u3092\u6e21\u308a\u3001\u8a18\u53f7 |CG(g)| \u306f g \u306e\u4e2d\u5fc3\u5316\u7fa4\u306e\u4f4d\u6570\u3092\u8868\u3059\u3002\u76f4\u4ea4\u95a2\u4fc2\u5f0f\u306f\u4ee5\u4e0b\u3092\u542b\u3080\u591a\u304f\u306e\u8a08\u7b97\u306e\u52a9\u3051\u3068\u306a\u308b\uff1a\u672a\u77e5\u306e\u6307\u6a19\u3092\u65e2\u7d04\u6307\u6a19\u306e\u7dda\u578b\u7d50\u5408\u3068\u3057\u3066\u5206\u89e3\u3059\u308b\u3002\u65e2\u7d04\u6307\u6a19\u306e\u3044\u304f\u3064\u304b\u3057\u304b\u5206\u304b\u3063\u3066\u3044\u306a\u3044\u3068\u304d\u306b\u5b8c\u5168\u306a\u6307\u6a19\u8868\u3092\u3064\u304f\u308b\u3002\u7fa4\u306e\u5171\u5f79\u985e\u306e\u4ee3\u8868\u5143\u306e\u4e2d\u5fc3\u5316\u7fa4\u306e\u4f4d\u6570\u3092\u6c42\u3081\u308b\u3002\u7fa4\u306e\u4f4d\u6570\u3092\u6c42\u3081\u308b\u3002\u6307\u6a19\u8868\u306e\u6027\u8cea[\u7de8\u96c6]\u7fa4 G \u306e\u3042\u308b\u6027\u8cea\u306f\u305d\u306e\u6307\u6a19\u8868\u304b\u3089\u7d50\u8ad6\u3067\u304d\u308b\uff1aG \u306e\u4f4d\u6570\u306f\u7b2c\u4e00\u5217\u306e\u6210\u5206\uff08\u65e2\u7d04\u6307\u6a19\u306e\u6b21\u6570\uff09\u306e\u5e73\u65b9\u548c\u306b\u3088\u3063\u3066\u4e0e\u3048\u3089\u308c\u308b\u3002\uff08\u6709\u9650\u7fa4\u306e\u8868\u73fe\u8ad6#\u30b7\u30e5\u30fc\u30a2\u306e\u88dc\u984c\u306e\u9069\u7528\uff08\u82f1\u8a9e\u7248\uff09\u3092\u53c2\u7167\u3002\uff09\u3088\u308a\u4e00\u822c\u306b\u3001\u4efb\u610f\u306e\u5217\u306e\u6210\u5206\u306e\u7d76\u5bfe\u5024\u306e\u5e73\u65b9\u548c\u306f\u5bfe\u5fdc\u3059\u308b\u5171\u5f79\u985e\u306e\u5143\u306e\u4e2d\u5fc3\u5316\u7fa4\u306e\u4f4d\u6570\u3092\u4e0e\u3048\u308b\u3002G \u306e\u3059\u3079\u3066\u306e\u6b63\u898f\u90e8\u5206\u7fa4\uff08\u3057\u305f\u304c\u3063\u3066 G \u304c\u5358\u7d14\u304b\u5426\u304b\uff09\u306f\u305d\u306e\u6307\u6a19\u8868\u304b\u3089\u5206\u304b\u308b\u3002\u6307\u6a19 \u03c7 \u306e\u6838\u306f \u03c7(g) = \u03c7(1) \u306a\u308b G \u306e\u5143 g \u306e\u96c6\u5408\u3067\u3042\u308b\uff1b\u3053\u308c\u306f G \u306e\u6b63\u898f\u90e8\u5206\u7fa4\u3067\u3042\u308b\u3002G \u306e\u5404\u6b63\u898f\u90e8\u5206\u7fa4\u306f G \u306e\u3044\u304f\u3064\u304b\u306e\u65e2\u7d04\u6307\u6a19\u306e\u6838\u306e\u5171\u901a\u90e8\u5206\u3067\u3042\u308b\u3002G \u306e\u5c0e\u6765\u90e8\u5206\u7fa4\u306f G \u306e\u7dda\u578b\u6307\u6a19\u306e\u6838\u5168\u4f53\u306e\u5171\u901a\u90e8\u5206\u3067\u3042\u308b\u3002\u7279\u306b\u3001G \u304c\u53ef\u63db\u3067\u3042\u308b\u3053\u3068\u3068\u3059\u3079\u3066\u306e\u65e2\u7d04\u6307\u6a19\u304c\u7dda\u578b\u3067\u3042\u308b\u3053\u3068\u306f\u540c\u5024\u3067\u3042\u308b\u3002\u30ea\u30c1\u30e3\u30fc\u30c9\u30fb\u30d6\u30e9\u30a6\u30a2\u30fc\uff08\u82f1\u8a9e\u7248\uff09\u306e\u30e2\u30b8\u30e5\u30e9\u30fc\u8868\u73fe\u8ad6\u304b\u3089\u306e\u3044\u304f\u3064\u304b\u306e\u7d50\u679c\u3092\u7528\u3044\u3066\u3001\u6709\u9650\u7fa4\u306e\u5404\u5171\u5f79\u985e\u306e\u5143\u306e\u4f4d\u6570\u306e\u7d20\u56e0\u5b50\u306f\u305d\u306e\u6307\u6a19\u8868\u304b\u3089\u5206\u304b\u308b\u3053\u3068\u304c\u5206\u304b\u308b\uff08\u30b0\u30e9\u30cf\u30e0\u30fb\u30d2\u30b0\u30de\u30f3\uff08\u82f1\u8a9e\u7248\uff09\u306b\u3088\u308b\uff09\u3002\u6307\u6a19\u8868\u306f\u4e00\u822c\u306b\u306f\u7fa4\u3092\u540c\u578b\u306e\u9055\u3044\u3092\u9664\u3044\u3066\u6c7a\u5b9a\u3057\u306a\u3044\uff1a\u4f8b\u3048\u3070\u3001\u56db\u5143\u6570\u7fa4 Q \u3068\u4f4d\u6570 8 \u306e\u4e8c\u9762\u4f53\u7fa4 D4 \u306f\u540c\u3058\u6307\u6a19\u8868\u3092\u6301\u3064\u3002\u30d6\u30e9\u30a6\u30a2\u30fc\u306f\u6307\u6a19\u8868\u3092\u5171\u5f79\u985e\u306e\u5143\u306e\u51aa\u304c\u3069\u306e\u3088\u3046\u306b\u5206\u5e03\u3057\u3066\u3044\u308b\u304b\u306e\u77e5\u8b58\u3068\u5408\u308f\u305b\u3066\u6709\u9650\u7fa4\u3092\u540c\u578b\u3092\u9664\u3044\u3066\u6c7a\u5b9a\u3067\u304d\u308b\u304b\u3069\u3046\u304b\u3092\u554f\u3046\u305f\u30021964\u5e74\u3001\u3053\u308c\u306f E. C. Dade\uff08\u82f1\u8a9e\u7248\uff09 \u306b\u3088\u3063\u3066\u5426\u5b9a\u7684\u306b\u89e3\u304b\u308c\u305f\u3002\u7dda\u578b\u6307\u6a19\u305f\u3061\u306f\u6307\u6a19\u7fa4\u3092\u306a\u3057\u3001\u3053\u308c\u306f\u6570\u8ad6\u3068\u91cd\u8981\u306a\u95a2\u4fc2\u304c\u3042\u308b[\u3069\u308c?]\u3002\u8a98\u5c0e\u6307\u6a19\u3068\u30d5\u30ed\u30d9\u30cb\u30a6\u30b9\u76f8\u4e92\u5f8b[\u7de8\u96c6]\u3053\u306e\u7bc0\u3067\u8b70\u8ad6\u3055\u308c\u308b\u6307\u6a19\u306f\u8907\u7d20\u6570\u5024\u3067\u3042\u308b\u3068\u4eee\u5b9a\u3059\u308b\u3002H \u3092\u6709\u9650\u7fa4 G \u306e\u90e8\u5206\u7fa4\u3068\u3059\u308b\u3002G \u306e\u6307\u6a19 \u03c7 \u304c\u4e0e\u3048\u3089\u308c\u305f\u3068\u304d\u3001\u03c7H \u3067\u305d\u306e H \u3078\u306e\u5236\u9650\u3092\u8868\u3059\u3002\u03b8 \u3092 H \u306e\u6307\u6a19\u3068\u3059\u308b\u3002\u30d5\u30a1\u30eb\u30c7\u30a3\u30ca\u30f3\u30c9\u30fb\u30b2\u30aa\u30eb\u30b0\u30fb\u30d5\u30ed\u30d9\u30cb\u30a6\u30b9\u306f\u4eca\u3067\u306f\u30d5\u30ed\u30d9\u30cb\u30a6\u30b9\u306e\u76f8\u4e92\u5f8b\uff08\u82f1\u8a9e\u7248\uff09\u3068\u547c\u3070\u308c\u308b\u3082\u306e\u3092\u7528\u3044\u3066 \u03b8 \u304b\u3089 G \u306e\u6307\u6a19\u3092\u69cb\u6210\u3059\u308b\u65b9\u6cd5\u3092\u793a\u3057\u305f\u3002G \u306e\u65e2\u7d04\u6307\u6a19\u305f\u3061\u306f G \u306e\u8907\u7d20\u6570\u5024\u985e\u95a2\u6570\u306e\u7a7a\u9593\u306e\u6b63\u898f\u76f4\u4ea4\u57fa\u5e95\u3092\u306a\u3059\u304b\u3089\u3001\u6b21\u306e\u6027\u8cea\u3092\u6301\u3064 G \u306e\u985e\u95a2\u6570 \u03b8G \u304c\u4e00\u610f\u7684\u306b\u5b58\u5728\u3059\u308b\uff1aG \u306e\u5404\u65e2\u7d04\u6307\u6a19 \u03c7 \u306b\u5bfe\u3057\u3066\u27e8\u03b8G,\u03c7\u27e9G=\u27e8\u03b8,\u03c7H\u27e9H{displaystyle langle theta ^{G},chi rangle _{G}=langle theta ,chi _{H}rangle _{H}}\uff08\u5de6\u8fba\u306e\u5185\u7a4d\u306f G \u306e\u985e\u95a2\u6570\u306b\u5bfe\u3059\u308b\u3082\u306e\u3067\u3001\u53f3\u8fba\u306e\u5185\u7a4d\u306f H \u306e\u985e\u95a2\u6570\u306b\u5bfe\u3059\u308b\u3082\u306e\u3067\u3042\u308b\uff09\u3002G \u306e\u6307\u6a19\u306e\u90e8\u5206\u7fa4 H \u3078\u306e\u5236\u9650\u306f\u518d\u3073 H \u306e\u6307\u6a19\u3067\u3042\u308b\u304b\u3089\u3001\u3053\u306e\u5b9a\u7fa9\u306f \u03b8G \u304c G \u306e\u65e2\u7d04\u6307\u6a19\u306e\u975e\u8ca0\u7dda\u578b\u7d50\u5408\u3067\u3042\u308a\u3057\u305f\u304c\u3063\u3066\u5b9f\u969b G \u306e\u6307\u6a19\u3067\u3042\u308b\u3053\u3068\u3092\u660e\u3089\u304b\u306b\u3059\u308b\u3002\u305d\u308c\u306f \u03b8 \u304b\u3089\u8a98\u5c0e\u3055\u308c\u308b G \u306e\u6307\u6a19\u3068\u547c\u3070\u308c\u308b\u3002\u30d5\u30ed\u30d9\u30cb\u30a6\u30b9\u76f8\u4e92\u5f8b\u306e\u5b9a\u7fa9\u5f0f\u306f\u4e00\u822c\u306e\u8907\u7d20\u6570\u5024\u985e\u95a2\u6570\u306b\u62e1\u5f35\u3067\u304d\u308b\u3002H \u306e\u884c\u5217\u8868\u793a \u03c1 \u304c\u4e0e\u3048\u3089\u308c\u305f\u3068\u304d\u3001\u30d5\u30ed\u30d9\u30cb\u30a6\u30b9\u306f\u5f8c\u306b G \u306e\u884c\u5217\u8868\u73fe\u3092\u69cb\u6210\u3059\u308b\u660e\u793a\u7684\u306a\u65b9\u6cd5\u3092\u4e0e\u3048\u3001\u03c1 \u304b\u3089\u8a98\u5c0e\u3055\u308c\u308b\uff08\u82f1\u8a9e\u7248\uff09\u8868\u73fe\u3068\u547c\u3070\u308c\u3001\u540c\u69d8\u306b \u03c1G \u3068\u66f8\u304b\u308c\u308b\u3002\u3053\u308c\u306f\u8a98\u5c0e\u6307\u6a19 \u03b8G \u306e\u5225\u306e\u8a18\u8ff0\u3092\u5c0e\u3044\u305f\u3002\u3053\u306e\u8a98\u5c0e\u6307\u6a19\u306f H \u306e\u3069\u3093\u306a\u5143\u3068\u3082\u5171\u8edb\u3067\u306a\u3044 G \u306e\u3059\u3079\u3066\u306e\u5143\u4e0a\u6d88\u3048\u308b\u3002\u8a98\u5c0e\u6307\u6a19\u306f G \u306e\u985e\u95a2\u6570\u3067\u3042\u308b\u304b\u3089\u3001H \u306e\u5143\u3067\u306e\u5024\u306e\u8a18\u8ff0\u3060\u3051\u304c\u5fc5\u8981\u3067\u3042\u308b\u3002G \u3092 H \u306e\u53f3\u5270\u4f59\u985e\u306e\u76f4\u548c\u3068\u3057\u3066G=Ht1\u222a\u22ef\u222aHtn{displaystyle G=Ht_{1}cup dotsb cup Ht_{n}}\u3068\u66f8\u3051\u3070\u3001\u5143 h \u2208 H \u304c\u4e0e\u3048\u3089\u308c\u308b\u3068\u3001\u03b8G(h)=\u22111\u2264i\u2264n,\u00a0tihti\u22121\u2208H\u03b8(tihti\u22121){displaystyle theta ^{G}(h)=sum _{1leq ileq n, t_{i}ht_{i}^{-1}in H}theta left(t_{i}ht_{i}^{-1}right)}\u3068\u306a\u308b\u3002\u03b8 \u306f H \u306e\u985e\u95a2\u6570\u3060\u304b\u3089\u3001\u3053\u306e\u5024\u306f\u5270\u4f59\u985e\u306e\u4ee3\u8868\u5143\u306e\u9078\u3073\u65b9\u306b\u4f9d\u5b58\u3057\u306a\u3044\u3002\u8a98\u5c0e\u6307\u6a19\u306e\u3053\u306e\u5225\u306e\u8a18\u8ff0\u306b\u3088\u308a H \u306e G \u3078\u306e\u57cb\u3081\u8fbc\u307f\u306b\u3064\u3044\u3066\u306e\u6bd4\u8f03\u7684\u5c0f\u3055\u3044\u60c5\u5831\u304b\u3089\u660e\u793a\u7684\u306a\u8a08\u7b97\u304c\u3067\u304d\u308b\u3053\u3068\u304c\u3042\u308a\u3001\u7279\u5b9a\u306e\u6307\u6a19\u8868\u306e\u8a08\u7b97\u306b\u3057\u3070\u3057\u3070\u6709\u7528\u3067\u3042\u308b\u3002\u03b8 \u304c H \u306e\u81ea\u660e\u6307\u6a19\u3067\u3042\u308b\u3068\u304d\u3001\u5f97\u3089\u308c\u308b\u8a98\u5c0e\u6307\u6a19\u306f\uff08H \u306e\u5270\u4f59\u985e\u4e0a\u306e\uff09G \u306e\u7f6e\u63db\u6307\u6a19 (permutation character) \u3068\u547c\u3070\u308c\u308b\u3002\u6307\u6a19\u306e\u8a98\u5c0e\u306e\u4e00\u822c\u7684\u306a\u6280\u8853\u3068\u5f8c\u306e\u7cbe\u5bc6\u5316\u306f\u6709\u9650\u7fa4\u8ad6\u3068\u6570\u5b66\u306e\u3044\u305f\u308b\u3068\u3053\u308d\u306b\u591a\u6570\u306e\u5fdc\u7528\u304c\u3042\u308a\u3001\u30d5\u30ed\u30d9\u30cb\u30a6\u30b9\u306e\u5f8c\u306b\u3082\u30a8\u30df\u30fc\u30eb\u30fb\u30a2\u30eb\u30c6\u30a3\u30f3\u3001\u30ea\u30c1\u30e3\u30fc\u30c9\u30fb\u30d6\u30e9\u30a6\u30a2\u30fc\u3001Walter Feit\uff08\u82f1\u8a9e\u7248\uff09, \u9234\u6728\u901a\u592b\u306e\u3088\u3046\u306a\u6570\u5b66\u8005\u306b\u3088\u3063\u3066\u306a\u3055\u308c\u305f\u3002\u30de\u30c3\u30ad\u30fc\u5206\u89e3[\u7de8\u96c6]\u30de\u30c3\u30ad\u30fc\u5206\u89e3\u306f\u30ea\u30fc\u7fa4\u306e\u6587\u8108\u3067\u30b8\u30e7\u30fc\u30b8\u30fb\u30de\u30c3\u30ad\u30fc\uff08\u82f1\u8a9e\u7248\uff09 (George Mackey) \u306b\u3088\u3063\u3066\u5b9a\u7fa9\u3055\u308c\u7814\u7a76\u3055\u308c\u305f\u304c\u3001\u6709\u9650\u7fa4\u306e\u6307\u6a19\u7406\u8ad6\u3084\u8868\u73fe\u8ad6\u306b\u304a\u3044\u3066\u5f37\u529b\u306a\u9053\u5177\u3067\u3042\u308b\u3002\u305d\u306e\u57fa\u672c\u7684\u306a\u5f62\u306f\u3001\u6709\u9650\u7fa4 G \u306e\u90e8\u5206\u7fa4 H \u304b\u3089\u8a98\u5c0e\u3055\u308c\u305f\u6307\u6a19\uff08\u3042\u308b\u3044\u306f\u52a0\u7fa4\uff09\u304c G \u306e\uff08\u7570\u306a\u3063\u3066\u3082\u3088\u3044\uff09\u90e8\u5206\u7fa4 K \u306b\u518d\u3073\u5236\u9650\u3057\u305f\u3068\u304d\u306b\u3069\u306e\u3088\u3046\u306b\u632f\u308b\u821e\u3046\u304b\u3092\u8003\u3048\u3001G \u306e (H, K)-\u4e21\u5074\u5270\u4f59\u985e \u3078\u306e\u5206\u89e3\u3092\u7528\u3044\u308b\u3002G=\u22c3t\u2208THtK{displaystyle G=bigcup _{tin T}HtK}\u304c\u975e\u4ea4\u53c9\u548c\u3067\u3001\u03b8 \u304c H \u306e\u8907\u7d20\u985e\u95a2\u6570\u306a\u3089\u3070\u3001\u30de\u30c3\u30ad\u30fc\u306e\u516c\u5f0f\u306f(\u03b8G)K=\u2211t\u2208T([\u03b8t]t\u22121Ht\u2229K)K{displaystyle left(theta ^{G}right)_{K}=sum _{tin T}left(left[theta ^{t}right]_{t^{-1}Htcap K}right)^{K}}\u3067\u3042\u308b\u3001\u305f\u3060\u3057 \u03b8t \u306f\u3059\u3079\u3066\u306e h \u2208 H \u306b\u5bfe\u3057\u3066 \u03b8\u2009t(t\u22121ht) = \u03b8(h) \u306b\u3088\u3063\u3066\u5b9a\u7fa9\u3055\u308c\u308b t\u22121Ht \u306e\u985e\u95a2\u6570\u3067\u3042\u308b\u3002\u8a98\u5c0e\u52a0\u7fa4\u306e\u90e8\u5206\u7fa4\u3078\u306e\u5236\u9650\u306b\u5bfe\u3059\u308b\u985e\u4f3c\u306e\u516c\u5f0f\u3082\u3042\u308a\u3001\u4efb\u610f\u306e\u74b0\u4e0a\u306e\u8868\u73fe\u306b\u5bfe\u3057\u3066\u6210\u308a\u7acb\u3061\u3001\u4ee3\u6570\u3068\u30c8\u30dd\u30ed\u30b8\u30fc\u306e\u5e83\u7bc4\u306a\u6587\u8108\u3067\u5fdc\u7528\u304c\u3042\u308b\u3002\u30de\u30c3\u30ad\u30fc\u5206\u89e3\u306f\u3001\u30d5\u30ed\u30d9\u30cb\u30a6\u30b9\u306e\u76f8\u4e92\u5f8b\u3068\u3042\u308f\u305b\u3066\u3001\u90e8\u5206\u7fa4 H \u3068 K \u304b\u3089\u8a98\u5c0e\u3055\u308c\u305f2\u3064\u306e\u985e\u95a2\u6570 \u03b8 \u3068 \u03c8 \u306e\u5185\u7a4d\u306b\u5bfe\u3059\u308b\u6709\u540d\u3067\u6709\u7528\u306a\u516c\u5f0f\u3092\u751f\u3080\u3002\u305d\u306e\u6709\u7528\u6027\u306f H \u3068 K \u306e\u5171\u5f79\u304c\u304a\u4e92\u3044\u306b\u3069\u306e\u3088\u3046\u306b\u4ea4\u308f\u308b\u304b\u306e\u307f\u306b\u4f9d\u308b\u3068\u3044\u3046\u4e8b\u5b9f\u306b\u3042\u308b\u3002\uff08\u5c0e\u51fa\u3068\u3068\u3082\u306b\uff09\u516c\u5f0f\u306f\uff1a\u27e8\u03b8G,\u03c8G\u27e9=\u27e8(\u03b8G)K,\u03c8\u27e9=\u2211t\u2208T\u27e8([\u03b8t]t\u22121Ht\u2229K)K,\u03c8\u27e9=\u2211t\u2208T\u27e8(\u03b8t)t\u22121Ht\u2229K,\u03c8t\u22121Ht\u2229K\u27e9,{displaystyle {begin{aligned}leftlangle theta ^{G},psi ^{G}rightrangle &=leftlangle left(theta ^{G}right)_{K},psi rightrangle &=sum _{tin T}leftlangle left(left[theta ^{t}right]_{t^{-1}Htcap K}right)^{K},psi rightrangle &=sum _{tin T}leftlangle left(theta ^{t}right)_{t^{-1}Htcap K},psi _{t^{-1}Htcap K}rightrangle ,end{aligned}}}\uff08\u305f\u3060\u3057 T \u306f\u524d\u306e\u3088\u3046\u306b (H, K)-\u4e21\u5074\u5270\u4f59\u985e\u306e\u5b8c\u5168\u4ee3\u8868\u7cfb\uff09\u3002\u3053\u306e\u516c\u5f0f\u306f \u03b8 \u3068 \u03c8 \u304c\u7dda\u578b\u6307\u6a19\u3067\u3042\u308b\u3068\u304d\u306b\u3057\u3070\u3057\u3070\u7528\u3044\u3089\u308c\u3001\u3053\u306e\u3068\u304d\u53f3\u8fba\u306e\u548c\u306b\u73fe\u308c\u308b\u3059\u3079\u3066\u306e\u5185\u7a4d\u306f 1 \u304b 0 \u3067\u3001\u7dda\u578b\u6307\u6a19 \u03b8\u2009t \u3068 \u03c8 \u304c t\u22121Ht \u2229 K \u3078\u306e\u5236\u9650\u3067\u540c\u3058\u306b\u306a\u308b\u304b\u5426\u304b\u306b\u5bfe\u5fdc\u3059\u308b\u3002\u03b8 \u3068 \u03c8 \u304c\u3068\u3082\u306b\u81ea\u660e\u6307\u6a19\u306a\u3089\u3070\u3001\u5185\u7a4d\u306f\u5358\u306b |T\u2009| \u3068\u306a\u308b\u3002\u201c\u6369\u308c\u201d\u6b21\u5143[\u7de8\u96c6]\u8868\u73fe\u306e\u6307\u6a19\u3092\u30d9\u30af\u30c8\u30eb\u7a7a\u9593\u306e\u300c\u6369\u308c\u300d\u6b21\u5143\u3068\u89e3\u91c8\u3067\u304d\u308b[3]\u3002\u6307\u6a19\u3092\u7fa4\u306e\u5143\u306e\u95a2\u6570 \u03c7(g) \u3068\u6271\u3046\u3053\u3068\u3067\u3001\u305d\u306e\u5358\u4f4d\u5143\u3067\u306e\u5024\u306f\u7a7a\u9593\u306e\u6b21\u5143\u3067\u3042\u308b\u3001\u306a\u305c\u306a\u3089\u3070 \u03c7(1) = Tr(\u03c1(1)) = Tr(IV) = dim(V) \u3060\u304b\u3089\u3067\u3042\u308b\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u6307\u6a19\u306e\u4ed6\u306e\u5024\u3092\u300c\u6369\u308c\u300d\u6b21\u5143\u3068\u898b\u308b\u3053\u3068\u304c\u3067\u304d\u308b[\u8981\u8aac\u660e]\u3002\u6b21\u5143\u306b\u3064\u3044\u3066\u306e\u4e3b\u5f35\u306e\u6307\u6a19\u3084\u8868\u73fe\u306b\u3064\u3044\u3066\u306e\u4e3b\u5f35\u3078\u306e\u985e\u4f3c\u3084\u4e00\u822c\u5316\u3092\u898b\u3064\u3051\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002\u3053\u308c\u306e\u6d17\u7df4\u3055\u308c\u305f\u4f8b\u306f\u30e2\u30f3\u30b9\u30c8\u30e9\u30b9\u30fb\u30e0\u30fc\u30f3\u30b7\u30e3\u30a4\u30f3\u306e\u7406\u8ad6\u306b\u304a\u3044\u3066\u73fe\u308c\u308b\uff1aj \u4e0d\u5909\u91cf\u306f\u30e2\u30f3\u30b9\u30bf\u30fc\u7fa4\u306e\u7121\u9650\u6b21\u5143\u6b21\u6570\u4ed8\u304d\u8868\u73fe\u306e\u6b21\u6570\u4ed8\u304d\u6b21\u5143\uff08\u82f1\u8a9e\u7248\uff09\u3067\u3042\u308a\u3001\u6b21\u5143\u3092\u6307\u6a19\u3067\u7f6e\u304d\u63db\u3048\u308b\u3053\u3068\u3067\u30e2\u30f3\u30b9\u30bf\u30fc\u7fa4\u306e\u5404\u5143\u306b\u5bfe\u3057\u3066\u30de\u30c3\u30ad\u30fc\u30fb\u30c8\u30f3\u30d7\u30bd\u30f3\u5217\uff08\u82f1\u8a9e\u7248\uff09\u3092\u5f97\u308b[3]\u3002\u30ea\u30fc\u7fa4\u3068\u30ea\u30fc\u74b0\u306e\u6307\u6a19[\u7de8\u96c6]G \u3092\u30ea\u30fc\u7fa4\u3001g{displaystyle {mathfrak {g}}} \u3092\u305d\u306e\u30ea\u30fc\u74b0\u3068\u3057\u3001H \u3068 h{displaystyle {mathfrak {h}}} \u3092\u305d\u308c\u305e\u308c\u30ab\u30eb\u30bf\u30f3\u90e8\u5206\u7fa4\u3001\u30ab\u30eb\u30bf\u30f3\u90e8\u5206\u74b0\u3068\u3059\u308b\u3002V \u3092 G \u306e\u8868\u73fe\u3068\u3059\u308b\u3002V \u306e\u30a6\u30a7\u30a4\u30c8\u7a7a\u9593\u3092 V\u03bb\u3068\u66f8\u3044\u3066\u3001\u30ea\u30fc\u7fa4\u3068\u30ea\u30fc\u74b0\u306e\u5f62\u5f0f\u6307\u6a19\u3092\u03c7V=\u2211dim\u2061V\u03bbe\u03bb{displaystyle chi _{V}=sum dim V_{lambda }e^{lambda }}\u3068\u5b9a\u7fa9\u3067\u304d\u308b\u3001\u3053\u3053\u3067\u548c\u306f\u30a6\u30a7\u30a4\u30c8\u683c\u5b50\u306e\u3059\u3079\u3066\u306e\u30a6\u30a7\u30a4\u30c8\u3092\u8d70\u308b\u3002\u4e0a\u306e\u5f0f\u3067 e\u03bb \u306f e\u2009\u03bb \u22c5 e\u2009\u03bc = e\u2009\u03bb+\u03bc \u3092\u6e80\u305f\u3059\u5f62\u5f0f\u7684\u306a\u5bfe\u8c61\u3067\u3042\u308b\u3002\u3053\u306e\u5f62\u5f0f\u6307\u6a19\u306f\u4ed6\u306e\u7fa4\u306e\u901a\u5e38\u306e\u6307\u6a19\u3068\u95a2\u4fc2\u3059\u308b\u3002eX \u2208 H, \u305f\u3060\u3057 H \u306f G \u306e\u30ab\u30eb\u30bf\u30f3\u90e8\u5206\u7fa4\uff08\u3064\u307e\u308a X \u306f h{displaystyle {mathfrak {h}}} \u306b\u5c5e\u3059\u308b\uff09\u3001\u306a\u3089\u3070\u3001Tr\u2061(eX)=\u2211dim\u2061V\u03bbe\u03bb(X){displaystyle operatorname {Tr} (e^{X})=sum dim V_{lambda }e^{lambda (X)}}\u3067\u3042\u308b\u3002\u30c6\u30f3\u30bd\u30eb\u7a4d\u3084\u4ed6\u306e\u8868\u73fe\u306e\u5206\u89e3\u306e\u4e0a\u306e\u8b70\u8ad6\u306f\u5f62\u5f0f\u6307\u6a19\u306b\u5bfe\u3057\u3066\u3082\u6210\u308a\u7acb\u3064\u3002\u30b3\u30f3\u30d1\u30af\u30c8\u30ea\u30fc\u7fa4\u306e\u5834\u5408\u306b\u306f\u3001\u30ef\u30a4\u30eb\u306e\u6307\u6a19\u516c\u5f0f\u3092\u5f62\u5f0f\u6307\u6a19\u3092\u8a08\u7b97\u3059\u308b\u306e\u306b\u4f7f\u3046\u3053\u3068\u304c\u3067\u304d\u308b\u3002\u95a2\u9023\u9805\u76ee[\u7de8\u96c6]\u53c2\u8003\u6587\u732e[\u7de8\u96c6]Lecture 2 of Fulton, William; Harris, Joe (1991), Representation theory. A first course, Graduate Texts in Mathematics, Readings in Mathematics, 129, New York: Springer-Verlag, ISBN\u00a0978-0-387-97495-8, MR1153249, ISBN 978-0-387-97527-6\u00a0 onlineIsaacs, I.M. (1994). Character Theory of Finite Groups (Corrected reprint of the 1976 original, published by Academic Press. ed.). Dover. ISBN\u00a00-486-68014-2\u00a0Gannon, Terry (2006). Moonshine beyond the Monster: The Bridge Connecting Algebra, Modular Forms and Physics. ISBN\u00a00-521-83531-3\u00a0James, Gordon; Liebeck, Martin (2001). Representations and Characters of Groups (2nd ed.). Cambridge University Press. ISBN\u00a00-521-00392-X\u00a0Serre, Jean-Pierre (1977). Linear Representations of Finite Groups. Graduate Texts in Mathematics. 42. Translated from the second French edition by Leonard L. Scott. New York-Heidelberg: Springer-Verlag. doi:10.1007\/978-1-4684-9458-7. ISBN\u00a00-387-90190-6. MR0450380\u00a0\u5916\u90e8\u30ea\u30f3\u30af[\u7de8\u96c6]"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/jp\/wiki2\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/jp\/wiki2\/archives\/3320#breadcrumbitem","name":"\u6307\u6a19\u7406\u8ad6 – Wikipedia"}}]}]