ブラウザよりも高速アクセス！
39 関係: 単純群、可解群、同値、定理、対称群、巡回群、中心化群と正規化群、一般線型群、二面体群、互いに素、位数 (群論)、ノルウェー、ラグランジュの定理 (群論)、ルートヴィヒ・シロー、ツォルンの補題、ホール部分群、オーギュスタン＝ルイ・コーシー、コーシーの定理 (群論)、冪乗、共役類、素因数、素数、群の直積、群同型、生成 (数学)、違いを除いて、鏡映、部分群、部分群の指数、重複度 (数学)、自明群、Mathematische Annalen、P-群、正規部分群、有限単純群の分類、有限体、有限群、数学、数学者。
単純群
数学において、単純群 (simple group)とは、自明でない正規部分群 (それ自身と自明群 (単位群) 以外の正規部分群) を持たず、またそれ自身も自明群ではない群である。単純群は自明でない正規部分群を持たないので当然直既約群であるが、直既約群は必ずしも単純群ではない (下の例参照)。 群に主組成列が存在すれば、有限個の直既約群の直積に一意的に分解される (クルル・レマク・シュミットの定理)。しかし、上記の理由により、必ずしも有限個の単純群の直積に分解されるとは限らない。もし、群が有限個の単純群の直積に分解可能であれば、その群は完全可約群または半単純群であるという。また、その場合に限って、主組成列の長さと直積の成分である単純群の個数は一致する浅野啓三・永尾汎 『群論』、岩波書店〈岩波全書〉、1965年、pp102-104。。.
新しい！!: シローの定理と単純群 · 続きを見る »
可解群
数学、特に群論の分野において、可解群（かかいぐん、solvable group, soluble group、Auflösbare Gruppe）は、アーベル群から群の拡大を用いて構成できる群のことである。つまり、可解群は導来列が自明な群で終わるような群のことである。 歴史的には、「可解」という語はガロア理論による5次以上の一般の方程式は代数的に解けないこと（アーベル–ルフィニの定理）の証明から来ている。特に、標数0の体上の代数方程式が根号を用いて解けるのは対応するガロア群が可解群であるとき、およびそのときに限る。.
新しい！!: シローの定理と可解群 · 続きを見る »
同値
同値（どうち）または等価（とうか）とは、2つの命題が共に真または共に偽のときに真となる論理演算である。 英語ではequivalence (EQ)。「if and only if」を略して、iff ともいう。否定排他的論理和 (XNOR) に等しい。 演算子記号は ⇔、↔、≡、.
定理
定理（ていり、theorem）とは、数理論理学および数学において、証明された真なる命題をいう。 文脈によっては公理も定理に含む。また、数学においては論説における役割等から、補題（ほだい、lemma）あるいは補助定理（ほじょていり、helping theorem）、系（けい、corollary）、命題（めいだい、proposition）などとも呼ばれることがある。ここでの「命題」と冒頭文に言う命題とは意味が異なることに注意。 一般的に定理は、まずいくつかの条件を列挙し、次にその下で成り立つ結論を述べるという形をしている。例えば、次は代数学の基本定理の述べ方の1つである。 ある一定の条件（公理系）下で定理を述べそれを証明すること、というのが数学という分野の中心的な研究の形態である。 数学の多くの分野には、各々「基本定理」という名で呼ばれる中心的な定理が存在している。なお定理という名称と証明という手続きは、数学のみならず、物理や工学においても使用される。.
対称群
対称群（たいしょうぐん、）とは、「ものを並べ替える」という操作を元とする群である。この場合の「ものを並べ替える」操作のことを置換（ちかん、）という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群（ちかんぐん、）と呼ばれる。置換群が空間 の変換群として与えられているとき、 の元 の置換は で与えられる の部分群の分だけ潰れているが、これは のなかに と「同じ」元が複数含まれている場合に対応しており、 の中でこれらを区別することができれば の元の置換から対称群 が回復される。.
新しい！!: シローの定理と対称群 · 続きを見る »
巡回群
群論における巡回群（じゅんかいぐん、cyclic group、monogenous group）とは、ただ一つの元で生成される群（単項生成群）のことである。ここで群が「ただ一つの元で生成される」というのは、その群の適当な元 g をとれば、その群のどの元も（群が乗法的に書かれている場合は）g の整数冪として（群が加法的に書かれている場合は g の整数倍として）表されるということであり、このような元 g はこの群の生成元 (generator) あるいは原始元 (primitive) と呼ばれる。.
新しい！!: シローの定理と巡回群 · 続きを見る »
中心化群と正規化群
数学、とくに群論において、群 の部分集合 の中心化群 (centralizer) とは、 の各元と可換な の元全体からなる集合であり、 の正規化群 (normalizer) とは、「全体で」 と可換な の元全体からなる集合である。 の中心化群と正規化群は の部分群であり、 の構造について知る手掛かりを得られる。.
新しい！!: シローの定理と中心化群と正規化群 · 続きを見る »
一般線型群
数学において、一般線型群（いっぱんせんけいぐん、general linear group）とは線型空間上の自己同型写像のなす群のこと。あるいは基底を固定することで、正則行列のなす群のことを指すこともある。.
新しい！!: シローの定理と一般線型群 · 続きを見る »
二面体群
二面体群（にめんたいぐん、dihedral group）とは、正多角形の対称性を表現した数学的対象である。より正確には、正多角形を自分自身に移す合同変換全体の成す群のことである。そのような合同変換は、回転と鏡映の二種類がある。二面体群は、有限非可換群の最も単純な例であり、群論、幾何学、化学などの分野において重要な役割を果たす。類似の概念は、3次元以上の正多面体や正多胞体に対しても与えることができる。「二面体」とは、正多角形を3次元空間内で見て裏表の区別を付けたもの、といった意味合いである。.
新しい！!: シローの定理と二面体群 · 続きを見る »
互いに素
二つの整数 が互いに素（たがいにそ、coprime, co-prime, relatively prime, mutually prime）であるとは、 を共に割り切る正の整数が のみであることをいう。このことは の最大公約数 が であることと同値である。 が互いに素であることを、記号で と表すこともある。 例えば と を共に割り切る正の整数は に限られるから、これらは互いに素である。一方で と は共に で割り切れるから、これらは互いに素でない。 互いに素であることの判定は素因数分解を用いて行うこともできるが、二つの整数のうち少なくとも一方が巨大である場合など一般には困難である。素因数分解によって公約数を調べる方法よりも、ユークリッドの互除法によって最大公約数を調べる方法のほうが遥かに高速である。 正の整数 と互いに素となる（ から の間の）整数の個数は、オイラー関数 によって与えられる。 三つの整数 が互いに素であるとは、 が成り立つことをいう。また、、、 がすべて に等しいとき、 は対ごとに素（pairwise coprime）またはどの二つも互いに素であるという。一般に、互いに素であるからといって対ごとに素であるとは限らない（例：）。一般の 個の整数についても同様に定義される。.
新しい！!: シローの定理と互いに素 · 続きを見る »
位数 (群論)
数学の分野である群論において、m.
新しい！!: シローの定理と位数 (群論) · 続きを見る »
ノルウェー
ノルウェー王国（ノルウェーおうこく、Kongeriket Norge/Noreg）、通称ノルウェーは、北ヨーロッパのスカンディナビア半島西岸に位置する立憲君主制国家である。首都は半島南端部に存在するオスロフィヨルドの奥に形成された港湾都市のオスロで、東にスウェーデン、ロシア、フィンランドと国境を接している。 国土は南北に細長く、海岸線は北大西洋の複数の海域、すなわちスカゲラック海峡、北海、ノルウェー海およびバレンツ海に面している。海岸線には、多くのフィヨルドが発達する。この他、ノルウェー本土から約1,000キロメートル (km) 離れた北大西洋上のヤン・マイエン島は固有の領土の一部として領有され、スヴァールバル条約によりバレンツ海のスヴァールバル諸島を領有している。南大西洋にブーベ島を属領として持つ。 による高負担高福祉の福祉国家として知られ、OECDの人生満足度（Life Satisfaction）ではスイスに次いで第2位となった（2014年）。.
新しい！!: シローの定理とノルウェー · 続きを見る »
ラグランジュの定理 (群論)
群論において、ラグランジュの定理（英語：Lagrange's theorem）とは、次のような定理である。 実は、任意の群に対し、（選択公理を認めれば）指数を用いて次のような式が成り立つ。.
新しい！!: シローの定理とラグランジュの定理 (群論) · 続きを見る »
ルートヴィヒ・シロー
ルートヴィヒ・シロー ルードヴィヒ・シロー（Peter Ludwig Mejdell Sylow, 1832年12月12日 - 1918年9月7日）は、ノルウェーの数学者である。クリスチャニア（現在のオスロ）生まれ。クリスチャニア大学教授。群論の発達に貢献した。1872年、シローの定理を発表した。ソフス・リーらともに、アーベルの論文を編集している。 Category:ノルウェーの数学者 321212 -321212 Category:オスロ大学の教員 Category:オスロ出身の人物 Category:1832年生 Category:1918年没 Category:数学に関する記事.
新しい！!: シローの定理とルートヴィヒ・シロー · 続きを見る »
ツォルンの補題
集合論においてツォルンの補題（ツォルンのほだい、Zorn's lemma）またはクラトフスキ・ツォルンの補題（クラトフスキ・ツォルンのほだい）とは次の定理をいう。; 命題 (Zorn の補題) この定理は数学者マックス・ツォルンとカジミェシュ・クラトフスキに因む。.
新しい！!: シローの定理とツォルンの補題 · 続きを見る »
ホール部分群
数学における有限群 のホール部分群（ホールぶぶんぐん、Hall subgroup）は、その位数がその指数と互いに素な部分群を言う。群論学者 が導入した。.
新しい！!: シローの定理とホール部分群 · 続きを見る »
オーギュスタン＝ルイ・コーシー
ーギュスタン＝ルイ・コーシー（Augustin Louis Cauchy, 1789年8月21日 - 1857年5月23日）はフランスの数学者。解析学の分野に対する多大な貢献から「フランスのガウス」と呼ばれることもある。これは両者がともに数学の厳密主義の開始者であった事にも関係する。他に天文学、光学、流体力学などへの貢献も多い。.
新しい！!: シローの定理とオーギュスタン＝ルイ・コーシー · 続きを見る »
コーシーの定理 (群論)
群論において、コーシーの定理（コーシーのていり; Cauchy's theorem）とは次のような定理である。.
新しい！!: シローの定理とコーシーの定理 (群論) · 続きを見る »
冪乗
冪演算（べきえんざん、英: 独: 仏: Exponentiation）は、底 (base) および冪指数 (exponent) と呼ばれる二つの数に対して定まる数学的算法である。通常は、冪指数を底の右肩につく上付き文字によって示す。自然数 を冪指数とする冪演算は累乗（るいじょう、repeated multiplication) に一致する。 具体的に、 および冪指数 を持つ冪 (power) は、 が自然数（正整数）のとき、底の累乗 で与えられる。このとき は の -乗とか、-次の -冪などと呼ばれる。 よく用いられる冪指数に対しては、固有の名前が与えられているものがある。例えば冪指数 に対して二次の冪（二乗） は の平方 (square of) あるいは -自乗 (-squared) と呼ばれ、冪指数 に対する三次の冪 は の立方 (cube of, -cubed) と呼ばれる。また冪指数 に対して冪 は であり の逆数（あるいは乗法逆元）と呼ばれる。一般に負の整数 に対して底 が零でないとき、冪 はふつう なる性質を保つように と定義される。 冪演算は任意の実数あるいは複素数を冪指数とするように定義を拡張することができる。底および冪指数が実数であるような冪において、底を固定して冪指数を変数と見なせば指数函数が、冪指数を固定して底を変数と見れば冪函数がそれぞれ生じる。整数乗冪に限れば、行列などを含めた非常に多種多様な代数的対象に対してもそれを底とする冪を定義することができるが、冪指数まで同種の対象に拡張するならばその上で定義された自然指数函数と自然対数函数を持つ完備ノルム環（例えば実数全体 や複素数全体 などはそう）を想定するのが自然である。.
共役類
数学、とくに群論において、任意の群は共役類（きょうやくるい、conjugacy class）に分割できる。同じ共役類の元は多くの性質を共有し、非アーベル群の共役類の研究はそれらの構造のたくさんの重要な特徴を明らかにする。.
新しい！!: シローの定理と共役類 · 続きを見る »
素因数
数学において、ある自然数の素因数（そいんすう、prime factor）とは、その約数になる素数のことである。ある数の素因数を求めてその積の形で表すことを素因数分解という。例えば 60 は 22×3×5 と素因数分解されるので 60 の相異なる素因数は 2, 3, 5 の3つである。また、7 は素数であるため、7 の素因数は 7 自身のみとなる。素因数のことを素因子（そいんし）、素因数分解のことを素因子分解ということもある。 2つの自然数が互いに素であることと、2つの自然数が共通の素因数を持たないことは同値である。なお 1 は素因数を持たない数であり、したがって 1 は全ての（1 自身を含めた）自然数と互いに素である。 自然数の素因数分解の結果は、素因数を掛ける順番の違いを除けば一意的に決まる。この事実は算術の基本定理と呼ばれている。 スミス数は自然数であって、その素因数の数字の和と各桁の数字の和が等しい数のことである。また、ルース＝アーロン・ペアは連続する自然数の組であって、それぞれの素因数の和が互いに等しいような二数のことである。.
新しい！!: シローの定理と素因数 · 続きを見る »
素数
素数（そすう、prime number）とは、 より大きい自然数で、正の約数が と自分自身のみであるもののことである。正の約数の個数が である自然数と言い換えることもできる。 より大きい自然数で素数でないものは合成数と呼ばれる。 一般には、素数は代数体の整数環の素元として定義される（そこでは反数などの同伴なものも素数に含まれる）。このため、有理整数環 \mathbb Z での素数は有理素数（ゆうりそすう、rational prime）と呼ばれることもある。 最小の素数は である。素数は無数に存在する。したがって、素数からなる無限数列が得られる。 素数が無数に存在することは、紀元前3世紀頃のユークリッドの著書『原論』で既に証明されていた。 自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。 分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。2018年1月現在で知られている最大の素数は、2017年12月に発見された、それまでに分かっている中で50番目のメルセンヌ素数 であり、十進法で表記したときの桁数は2324万9425桁に及ぶ。.
群の直積
数学、特に群論において、与えられたいくつかの群の直積（ちょくせき、direct product）は、それらを正規部分群として含むような新しい群を作る構成法である。.
新しい！!: シローの定理と群の直積 · 続きを見る »
群同型
抽象代数学において、群同型（写像） (group isomorphism) は 2 つの群の間の関数であって与えられた群演算と両立する方法で群の元の間の一対一対応ができるものである。2 つの群の間に同型写像が存在すれば、群は同型 (isomorphic) と呼ばれる。群論の見地からは、同型な群は同じ性質を持っており、区別する必要はない。.
新しい！!: シローの定理と群同型 · 続きを見る »
生成 (数学)
数学における生成（せいせい、generate）とは、与えられた対象と条件に対して、その条件を満たしかつ与えられた対象を全て含むような最小の構成物を求めることである。このとき与えられた対象の集まりを生成系（生成集合）(generating set) といい、生成集合の各元を生成元 (generator) という。また、「最小の構成物」は生成系から生成されるという。生成系が1つの対象からなるような場合には、生成系と生成元は同一視できる。.
新しい！!: シローの定理と生成 (数学) · 続きを見る »
違いを除いて
数学の文脈における「—（の違い）を除いて…」 (… "up to" &mdash) という語句は、「— に関する差異を無視する」ことを意味する専門用語である。この言い回しの意味するところは、「適当な目的のもとでは、あるひとつの同値類に属する元全体を、何か単一の実体を表すものとみなせる」ということである。"—" の部分には、何らかの性質や、同じ同値類に属する元(つまり一方は他方に同値となるような元)の間の変換の過程を記述する内容が入る。 たとえば不定積分を計算するとき、その結果は「定数項の違いを除いて」 f(x) であるというように言うことができる。その意味は、f(x) 以外に不定積分 g(x) があったとしても g(x).
新しい！!: シローの定理と違いを除いて · 続きを見る »
鏡映
数学における鏡映（きょうえい、reflection）あるいは鏡映変換とはユークリッド空間の超平面を固定点集合にもつ等長変換である。その名の通り、3次元空間内では、ある図形に鏡映変換を施したものは、平面鏡に映ったその図形の位置及び見え方と一致する。（この場合、鏡の位置が固定点集合となる） 例えば2次元ユークリッド空間では鏡映の固定点集合は直線であり、固定点集合を鏡映の軸という。逆に、与えられた直線を軸とする鏡映が定まり、直線による折り返しなどとも呼ばれる。同様に、3次元空間では与えられた平面による鏡映が定まる。 鏡映によって変わらない図形を鏡映対称（2次元図形の場合、特に線対称とも呼ぶ）である、あるいは鏡映対称性を持つなどという。特に軸が垂直な場合は左右対称とも言われる。例えばアルファベットの A や H などは垂直な軸に関して鏡映対称である。3次元の物体や現象（特に分子）が鏡映対称であって、合同ではないことを掌性と呼ぶ。 長さや角度は鏡映によって変わらないが、向きが変わる。また、同じ鏡映を2回続けて行うと恒等変換になるので鏡映は対合の一種である。.
部分群
二項演算 * に関して群 G が与えられたとする。 G の部分集合である H が G の部分群であるということは、 H が演算 * に関して群になるということである。より正確に表現すると、 H が G の部分群であるということは、群の演算 * を H×H （Hの直積）に制限したときに、 H における群の演算になっているということである。この関係は通常、 H ≤ G という記号で表現し、「 H は G の部分群である」と読む。 G の真部分群とは、部分群 H が G の真部分集合である（つまり H≠G である）ことである。任意の群 G に対し、G 自身と単位元のみからなる集合 は常に G の部分群である。 H が G の部分群であるとき、 G は H の拡大群であると表現する場合がある。 G が任意の半群であるときも、G の部分群の定義はそのまま通用するが、本項では群の部分群についてのみを扱うにとどめる。群 G は順序対 (G, &lowast) として記述されることもあるが、このように書くのは普通、G を台となる集合としてその上に演算 "∗" が代数的構造（あるいはもっとほかの構造）を定めるということを強調するためである。 以下では、通常の慣習に倣って ∗ を省略し、積 a ∗ b を単に ab と表記する。また、群の演算を単に「積」と表記する場合もある。.
新しい！!: シローの定理と部分群 · 続きを見る »
部分群の指数
数学、とくに群論において、群 G における部分群 H の指数 (index) は G における H の「相対的な大きさ」である。同じことだが、G を埋め尽くす H の「コピー」（剰余類) の個数である。例えば、H が G において指数 2 をもてば、直感的には G の元の「半分」は H の元である。H の G における指数は通常 |G: H| あるいは あるいは (G:H) で表記される。 正式には、H の G における指数は H の G における剰余類の個数として定義される。（H の G における左剰余類の個数はつねに右剰余類の個数と等しい。）例えば、Z を整数のなす加法群とし、2Z を偶数全体からなる Z の部分群とする。すると 2Z は Z において2つの剰余類（すなわち偶数全体と奇数全体）をもち、したがって 2Z の Z における指数は 2 である。一般化すると、任意の正の整数 n に対して である。 N が G の正規部分群であれば、G における N の指数はまた商群 G / N の位数にも等しい、なぜならばこれは G における N の剰余類の集合における群構造の言葉で定義されるからである。 G が無限であれば、部分群 H の指数は一般には 0 でない基数になる。上の例が示すように、それは有限 - つまり、正の整数 - かもしれない。 G と H が有限群であれば、H の G における指数は 2 つの群の位数の商に等しい： これはラグランジュの定理であり、この場合商は必ず正の整数である。.
新しい！!: シローの定理と部分群の指数 · 続きを見る »
重複度 (数学)
数学において、多重集合の元の重複度（ちょうふくど、じゅうふくど、multiplicity）は、それがその多重集合において現れる回数である。例えば、与えられた多項式方程式が与えられた点において持つ根の数など。 重複度の概念は、（「二重根」は二個と考えるなどの）例外を指定せずとも「重複度を込めて」(with multiplicity) と表現すれば正確に数えることができるという点で重要である。 重複度を無視する場合には、そのことを「相異なる根の個数」というように相異なる（あいことなる、distinct）と言って強調することもある。ただし、（多重集合ではなく）集合を考える場合には「相異なる」と断らずとも自動的に重複度は無視される。.
新しい！!: シローの定理と重複度 (数学) · 続きを見る »
自明群
数学において、自明群、自明な群 (trivial group)、単位群 はただ1つの元からなる群である。すべてのそのような群は同型であるので、英語などではしばしば定冠詞をつけて the trivial group などと呼ばれる。自明群のただ1つの元は単位元であるので普通 0, 1, e のように文脈に応じて表記される。群の演算が ∗ であれば によって定義される。 同様に定義される自明モノイド (trivial monoid) もまた群である。その唯一の元がそれ自身の逆元でありしたがって自明群と同じであるからである。 自明群を空集合と混同してはならない。（これは元を全くもたず、単位元を欠くため、群にはなりえない。） 任意の群 G が与えられると、単位元のみからなる部分集合は、それ自身が自明群である G の部分群であり、G の自明な部分群 (trivial subgroup) と呼ばれる。また、G 自身も明らかに G の部分群であるので、G も自明な部分群と呼ばれることがあるが、これは著者によって異なるので注意が必要である。群によってはこれら以外にも自明に部分群になるものがあるが、それらは自明な部分群とは呼ばれない。 "G は非自明な真の部分群をもたない" (G has no nontrivial proper subgroups) という言い回しが意味するのは、G のすべての部分群は自明群 および群 G 自身であるということである。.
新しい！!: シローの定理と自明群 · 続きを見る »
Mathematische Annalen
Mathematische Annalen（略記はMath.
新しい！!: シローの定理とMathematische Annalen · 続きを見る »
P-群
数学の特に群論において、与えられた素数 p に対する p-準素群（ピーじゅんそぐん、p-primary group）あるいは、p-群（ピーぐん、p-group）もしくは準素群（じゅんそぐん、primary group）とは、任意の元の位数が p の冪になっているようなねじれ群をいう。すなわち p-群において、各元 g は非負整数 n を適当に選べば g の pn-乗が単位元に一致する。 有限群の場合には、それが p-群であることと、その群の位数 (つまり元の個数) が p の冪であることとは同値になる。以下本項においては有限 p-群に関して述べる。無限アーベル p -群の例についてはプリューファー群の項を、また無限単純 p -群の例についてはの項を参照。.
新しい！!: シローの定理とP-群 · 続きを見る »
正規部分群
数学、とくに抽象代数学における正規部分群（せいきぶぶんぐん、normal subgroup）は、群の任意の元による内部自己同型のもとで不変な部分群である。正規部分群は、与えられた群から剰余群を構成するのに用いることができる。 正規部分群の重要性は、エヴァリスト・ガロアによって最初に明らかにされた。.
新しい！!: シローの定理と正規部分群 · 続きを見る »
有限単純群の分類
有限単純群の分類 とは、数学において全ての有限単純群を4つの大まかなクラスへと分類する定理である。 これらの群は、全ての有限群を構成する基本的な要素として見ることが出来る。 この分類定理の証明は、主に1955年から2004年に渡り出版された、100以上の著者により数百の学術誌において書かれた、計1万5000ページ以上もの成果の集大成である。 (d.1992) と、らは、この証明を整理し見通しよく改訂した「第2世代の証明」の出版を開始している。.
新しい！!: シローの定理と有限単純群の分類 · 続きを見る »
有限体
有限体（ゆうげんたい、英語：finite field）とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアにちなんでガロア体あるいはガロア域（ガロアいき、Galois field）などとも呼ぶ。 有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理 が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。.
新しい！!: シローの定理と有限体 · 続きを見る »
有限群
数学および抽象代数学において、有限群(ゆうげんぐん、finite group)とは台となっている集合Gが有限個の元しか持たないような群のことである。20世紀の間数学者は、特に有限群のや、可解群や冪零群 の理論などといった、有限群の理論のさまざまな面を深く研究していた。全ての有限群の構造の完全な決定は余りに遠大な目標だった: あり得る構造の数はすぐに圧倒的に大きくなった。しかし、単純群の完全な分類という目標は達成された。つまり任意の有限群の「組み立て部品」は現在では完全に知られている(任意の有限群は組成列を持つ)。 20世紀の後半には、シュヴァレーやといった数学者によってや関連する群の有限類似の理解が深まった。それらの群の族の一つには有限体上の一般線型群がある。 有限群は、ある数学的・物理的対象の構造を保つ変換が有限個しかない場合に、その対象の対称性を考えるときに出て来る群である。他方で、""を扱っているようにもみなせるリー群の理論は、関連するワイル群の影響を強く受ける。有限次ユークリッド空間に作用する鏡映によって生成される有限群も存在する。それゆえ、有限群の特性は、理論物理学や化学などの分野で役目を持つ。.
新しい！!: シローの定理と有限群 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数学者
数学者（すうがくしゃ、mathematician）とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.
新しい！!: シローの定理と数学者 · 続きを見る »
