ブラウザよりも高速アクセス！
149 関係: A5/1、Advanced Encryption Standard、十七角形、単位的環、可逆元、可換体、可換環論、同型写像、同値関係、合成代数、多項式、多項式の根、定規とコンパスによる作図、実数、巡回群、与えられた数より小さい素数の個数について、中国の剰余定理、平方剰余の相互法則、幾何学、二個の平方数の和、互いに素、代数多様体、代数幾何学、代数的位相幾何学、代数的構造、代数的整数、代数的整数論、代数方程式、代数拡大、体上有限生成環の理論、ペル方程式、ペーター・グスタフ・ディリクレ、マラン・メルセンヌ、ハメル次元、ポラード・ロー素因数分解法、メルセンヌ数、モジュラー形式、ユークリッド環、リーマン予想、リーマンゼータ関数、リヒャルト・デーデキント、ルネ・デカルト、レオンハルト・オイラー、プリンストン大学出版局、ビット、ピエール・ド・フェルマー、デデキント環、ディリクレの単数定理、ディリクレのL関数、ディリクレ指標、...、ディオファントス方程式、フェルマーの小定理、フェルマーの最終定理、フェルマー数、フェルディナント・ゴットホルト・マックス・アイゼンシュタイン、ニール・スローン、ベルンハルト・リーマン、ベクトル、ベクトル空間、ベズーの等式、分解体、アメリカ国立標準技術研究所、アレクサンドリアのディオファントス、アンドリュー・ワイルズ、アンドレ・ヴェイユ、アデール環、アドリアン＝マリ・ルジャンドル、アイゼンシュタイン整数、インターネット、イデアル (環論)、ウィルソンの定理、エルンスト・クンマー、オイラーの定理 (数論)、オイラーのφ関数、オイラー積、カール・フリードリヒ・ガウス、カール・グスタフ・ヤコブ・ヤコビ、ガロア理論、ガウス和、ガウス整数、クロード・シャノン、ジョゼフ・フーリエ、ストリーム暗号、サイエンティフィック・アメリカン、冪剰余、冪級数、円分多項式、商群、公開鍵暗号、剰余環、剰余類環、剰余演算、科学アカデミー (フランス)、等差数列、算術、算術 (書物)、算術の基本定理、算術級数定理、素数、純粋数学、線型回帰数列、線形帰還シフトレジスタ、群 (数学)、群論、群準同型、環論、無限降下法、Data Encryption Standard、Disquisitiones Arithmeticae、DVD、複素解析、複素数、解析的整数論、計算機、調和解析、誕生日のパラドックス、超越数、閉性、自己同型、零因子、零点、虚数単位、除法の原理、Notices of the American Mathematical Society、S&P グローバル、Transport Layer Security、World Wide Web、抽象代数学、携帯電話、根体、楕円曲線、正則素数、正規部分群、濃度 (数学)、有理数、有限体、有限アーベル群、有限群、最小多項式 (体論)、情報セキュリティ、既約多項式、擬似乱数、数学、数論、整域、整数、整数の合同、1、1801年。 インデックスを展開 (99 もっと) »
A5/1
A5/1はストリーム暗号の一種で、GSM携帯電話規格における通信プライバシー保護手段として採用されている。当初、秘密にされていたが、リークやリバースエンジニアリングによって徐々に明らかとなってきた。この暗号について、いくつかの深刻な弱点が指摘されている。.
Advanced Encryption Standard
Advanced Encryption Standard (AES) は、DESに代わる新しい標準暗号となる共通鍵暗号アルゴリズムである。アメリカ国立標準技術研究所（NIST）の主導により公募され、Rijndael（ラインダール）がAESとして採用された岡本 暗号理論入門 第2版(2002:51-52)。.
新しい！!: 合同算術とAdvanced Encryption Standard · 続きを見る »
十七角形
十七角形（じゅうしちかくけい、じゅうななかっけい、heptadecagon）は、多角形の一つで、17本の辺と17個の頂点を持つ図形である。内角の和は2700°、対角線の本数は119本である。.
単位的環
数学、特に環論における単位的環（たんいてきかん、unital/unitary ring）、単位環（たんいかん、unit ring）あるいは単位元持つ環 (ring with unit/unity/identity) は、乗法単位元を持つ環のことを言う。.
可逆元
数学、とくに代数学における可逆元（かぎゃくげん、invertible element）または単元（たんげん、unit）とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。.
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
可換環論
可換環論（かかんかんろん、英語：commutative algebra、commutative ring theory）は、その乗法が可換であるような環（これを可換環という）に関する理論の体系のこと、およびその研究を行う数学の一分野のことである。.
同型写像
数学において，同型写像（isomorphismfrom the Ancient Greek: ἴσος isos "equal", and μορφή morphe "form" or "shape"）あるいは単に同型とは，は準同型写像あるいは射であって，逆射を持つものである逆関数ではない．．2つの数学的対象が同型 (isomorphic) であるとは，それらの間に同型写像が存在することをいう．自己同型写像は始域と終域が同じ同型写像である．同型写像の興味は2つの同型な対象は写像を定義するのに使われる性質のみを使って区別できないという事実にある．したがって同型な対象はこれらの性質やその結果だけを考える限り同じものと考えてよい． 群や環を含むほとんどの代数的構造に対して，準同型写像が同型写像であることと全単射であることは同値である． 位相幾何学において，射とは連続写像のことであるが，同型写像は同相写像あるいは双連続写像とも呼ばれる．解析学において，射は可微分関数であり，同型写像は微分同相とも呼ばれる． 標準的な同型写像 (canonical isomorphism) は同型であるようなである．2つの対象が標準的に同型 (canonically isomorphic) であるとは，それらの間に標準的な同型写像が存在することをいう．例えば，有限次元ベクトル空間 から二重双対空間への標準的な写像は標準的な同型写像である．一方， は双対空間に同型であるが，一般には標準的にではない． 同型写像は圏論を用いて形式化される．ある圏の射 が同型射であるとは，両側逆射を持つことをいう，すなわち，その圏における別の射 があって， かつ となる，ただし と はそれぞれ と の恒等射である．.
同値関係
数学において、同値関係（どうちかんけい、equivalence relation）は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割（類別）する。 同値関係にあることを表す記法は文献によって様々に用いられるけれども、与えられた集合上の同値関係 に関して二元 が同値であることを "" や "" で表すのがもっともよく用いられる記法である。 に関して同値であることを明示する場合には、"" や "" あるいは "" などと書かれる。.
合成代数
数学における体 上の合成代数（ごうせいだいすう、composition algebra）は、 上の（必ずしも結合的でない）単位的多元環 で、条件 N(xy).
多項式
数学における多項式（たこうしき、poly­nomial）は、多数を意味するpoly- と部分を意味する -nomen あるいは nomós を併せた語で、定数および不定元（略式ではしばしば変数と呼ぶ）の和と積のみからなり、代数学の重要な対象となる数学的対象である。歴史的にも現代代数学の成立に大きな役割を果たした。 不定元がひとつの多項式は、一元多項式あるいは一変数多項式 と呼ばれ、不定元を とすれば のような形をしている。各部分 "", "", "", "" のことを項（こう、）と呼ぶ。一つの項だけからできている式を単項式 (monomial)、同様に二項式 (binomial)、三項式 (trinomial) などが、-nomial にラテン配分数詞を付けて呼ばれる。すなわち、多項式とは「多数」の「項」を持つものである。単項式の語が頻出であることに比べれば、二項式の語の使用はやや稀、三項式あるいはそれ以上の項数に対する語の使用はごく稀で一口に多項式として扱う傾向があり、それゆえ単項式のみ多項式から排他的に分類するものもある。また多項式のことを整式 (integral expression) と呼ぶ流儀もある。 多項式同士の等式として与えられる方程式は多項式方程式と呼ばれ、特に有理数係数の場合において代数方程式という。多項式方程式は多項式函数の零点を記述するものである。 不定元がふたつならば二元 (bivariate), 三つならば三元 (trivariate) というように異なるアリティを持つ多元多項式が同様に定義できる。算術あるいは初等代数学において、数の計算の抽象化として実数（あるいは必要に応じてより狭く有理数、整数、自然数）を代表する記号としての「文字」変数を伴う「」およびその計算を扱うが、それは大抵の場合多変数の多項式である。 本項では主として一元多項式を扱い、多元の場合にも多少触れるが、詳細は多元多項式の項へ譲る。.
多項式の根
数学における多項式 の根（こん、root）は、 を満たす値 を言う。すなわち、根は未知数 の多項式方程式 の解であり、また対応する多項式函数の零点である。例えば、多項式 の根は および となる。 ある体に係数を持つ非零多項式は、「より大きい」体の中にしか根を持たないこともあるが、根の数はその多項式の次数より多くなることはない。例えば は次数 で有理数係数だが、有理根を持たず、二つの根を実数体 に（したがって 複素数体 の中に）おいて持つ。ダランベール–ガウスの定理は次数 の任意の複素係数多項式が（必ずしも異ならない） 個の根を持つことを述べるものである。 多項式の根の概念は、多変数多項式の零点の概念に一般化される。.
新しい！!: 合同算術と多項式の根 · 続きを見る »
定規とコンパスによる作図
定規とコンパスによる作図（じょうぎとコンパスによるさくず）とは、定規とコンパスだけを有限回使って図形を描くことを指す。ここで、定規は2点を通る直線を引くための道具であり、目盛りがついていても長さを測るのには使わないものとし、コンパスは与えられた中心と半径の円を描くことができる道具である。この文脈における「定規」はしばしば「定木」と表記される。定規とコンパスによる作図可能性（作図不可能性）の問題として有名なものにギリシアの三大作図問題がある。 数学的には、定規とコンパスによる作図で表せるのは二次方程式を繰り返し解いて得られる範囲の数であることが知られている。つまり、いくつかの二次方程式や一次方程式に帰着出来る問題は定規とコンパスのみで作図可能であり、反対に帰着できない問題は作図不可能である。「作図可能な線分の長さ」の集合は一つの体をなしている。.
新しい！!: 合同算術と定規とコンパスによる作図 · 続きを見る »
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
巡回群
群論における巡回群（じゅんかいぐん、cyclic group、monogenous group）とは、ただ一つの元で生成される群（単項生成群）のことである。ここで群が「ただ一つの元で生成される」というのは、その群の適当な元 g をとれば、その群のどの元も（群が乗法的に書かれている場合は）g の整数冪として（群が加法的に書かれている場合は g の整数倍として）表されるということであり、このような元 g はこの群の生成元 (generator) あるいは原始元 (primitive) と呼ばれる。.
与えられた数より小さい素数の個数について
『ベルリン学士院月報』（1859年11月号）に掲載された論文。 『与えられた数より小さい素数の個数について』（あたえられたすうよりちいさいそすうのこすうについて、ドイツ語の原題: Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse, 英語での定訳: On the Number of Primes Less Than a Given Magnitude）は、19世紀のドイツの数学者であるベルンハルト・リーマンが1859年に発表した論文である。同年の学術誌『ベルリン学士院月報』(Monatsberichte der Königlich Preußischen Akadademie der Wissenschaften zu Berlin) 上に掲載された。解析学や幾何学の分野における業績が多かったリーマンが数論の分野で唯一発表した論文であり、わずか8ページしかなかったが、数々の画期的な内容を含み、後世に甚大な影響を及ぼした。特に解析的整数論においては、本論文は同分野の基本文献とされている。内容的には、この論文はあるべき大論文の要約版・研究速報と見なすことができたが、リーマン自身は7年後の1866年に39歳で没したため、本論文の詳細版が出版されることはついになかった。もし詳細版が出版されていれば、関連分野の研究は70年は短縮されただろうという指摘がある。 本論文には6個の予想が含まれていたが、リーマン没後、うち5つまでは後の数学者達によって証明が与えられた。最後に残されたのがリーマン予想であり、これは数論における最も重要な未解決問題の一つとされている。 この論文の影響はあまりに大きかったため、例えば複素数の表記方法として普通は （特に ）と書くところを、リーマンゼータ関数の非自明な零点を論じる場合に限っては、本論文にちなんで と書く慣習がある と書く慣習はエトムント・ランダウ (1903年) から始まる。。また、「リーマンのゼータ関数」という名称も、元々オイラーが導入した関数であるにもかかわらず、本論文でリーマンが記号 を用いて記述したことから以後定着した。.
新しい！!: 合同算術と与えられた数より小さい素数の個数について · 続きを見る »
中国の剰余定理
loc.
新しい！!: 合同算術と中国の剰余定理 · 続きを見る »
平方剰余の相互法則
整数論』（1801年）で平方剰余の相互法則の最初の証明を公開した。 （へいほうじょうよ、quadratic residue）とは、ある自然数を法としたときの平方数のことであり、平方剰余の相互法則（へいほうじょうよのそうごほうそく、quadratic reciprocity）は、ある整数 が別の整数 の平方剰余であるか否かを判定する法則である。.
新しい！!: 合同算術と平方剰余の相互法則 · 続きを見る »
幾何学
最先端の物理学でも用いられるカラビ-ヤウ多様体の一種。現代幾何学では図も書けないような抽象的な分野も存在する。 幾何学（きかがく、）は、図形や空間の性質について研究する数学の分野である広辞苑第六版「幾何学」より。イエズス会マテオ・リッチによる geometria の中国語訳である。以前は geometria の冒頭の geo- を音訳したものであるという説が広く流布していたが、近年の研究により否定されている。 もともと測量の必要上からエジプトで生まれたものだが、人間に認識できる図形に関する様々な性質を研究する数学の分野としてとくに古代ギリシャにて独自に発達しブリタニカ国際大百科事典2013小項目版「幾何学」より。、これらのおもな成果は紀元前300年ごろユークリッドによってユークリッド原論にまとめられた。その後中世以降のヨーロッパにてユークリッド幾何学を発端とする様々な幾何学が登場することとなる。 幾何学というとユークリッド幾何学のような具体的な平面や空間の図形を扱う幾何学が一般には馴染みが深いであろうが、対象や方法、公理系などが異なる多くの種類の幾何学が存在し、現代においては微分幾何学や代数幾何学、位相幾何学などの高度に抽象的な理論に発達・分化している。 現代の日本の教育では、体系的な初等幾何学はほぼ根絶されかけたが、近年、中・高の数学教育で線型幾何/代数幾何を用いない立体を含む、本格的な綜合幾何は見直されつつある。.
二個の平方数の和
この記事は「平方数」、「多角数定理」などの補遺に当たる。ここに示す事実は古くから知られているものであるが呼びかたが定まっておらず、フェルマーの4n+1定理、フェルマーの二平方定理、あるいは単にフェルマーの定理（フェルマーの最終定理とは異なる）などと呼ばれる。 ---- 4を法として1に合同な素数は二個の平方数の和で表される。合成数が高々二個の平方数の和で表されるための必要十分条件は、4を法として3に合同な素因数が全て平方（冪指数が偶数）になっていることである。この定理は、フェルマーによって提起され、オイラーによって解決された。 具体的に4を法として1に合同な素数とは 5, 13, 17, 29, 37, 41, 53, 61, 73, 89, 97, 101, 109,\cdots.
新しい！!: 合同算術と二個の平方数の和 · 続きを見る »
互いに素
二つの整数 が互いに素（たがいにそ、coprime, co-prime, relatively prime, mutually prime）であるとは、 を共に割り切る正の整数が のみであることをいう。このことは の最大公約数 が であることと同値である。 が互いに素であることを、記号で と表すこともある。 例えば と を共に割り切る正の整数は に限られるから、これらは互いに素である。一方で と は共に で割り切れるから、これらは互いに素でない。 互いに素であることの判定は素因数分解を用いて行うこともできるが、二つの整数のうち少なくとも一方が巨大である場合など一般には困難である。素因数分解によって公約数を調べる方法よりも、ユークリッドの互除法によって最大公約数を調べる方法のほうが遥かに高速である。 正の整数 と互いに素となる（ から の間の）整数の個数は、オイラー関数 によって与えられる。 三つの整数 が互いに素であるとは、 が成り立つことをいう。また、、、 がすべて に等しいとき、 は対ごとに素（pairwise coprime）またはどの二つも互いに素であるという。一般に、互いに素であるからといって対ごとに素であるとは限らない（例：）。一般の 個の整数についても同様に定義される。.
代数多様体
代数多様体（だいすうたようたい、algebraic variety）は、最も簡略に言えば、多変数の連立多項式系の解集合として定義される図形と述べる事が出来る。代数幾何学の最も主要な研究対象であり、デカルトによる座標平面上の解析幾何学の導入以来、多くの数学者が研究してきた数学的対象である。主にイタリア学派による射影幾何学的代数多様体、代数関数論およびその高次元化に当たるザリスキおよびヴェイユによる付値論的抽象代数多様体などの基礎付けがあたえられたが、20世紀後半以降はより多様体論的な観点に立脚したスキーム論による基礎付けを用いるのが通常である。 本項では、スキーム論的な観点に立ちつつ、スキーム論を直接用いず代数多様体を定義しその性質について述べる。また議論を簡潔にするのため特に断らない限り体 k は代数的閉体であると仮定する（体 k が代数的閉であるという条件を除去するために必要な考察についてはスキーム論へ向けてを参照）。.
新しい！!: 合同算術と代数多様体 · 続きを見る »
代数幾何学
代数幾何学（だいすうきかがく、algebraic geometry）とは、多項式の零点のなすような図形を代数的手法を用いて（代数多様体として）研究する数学の一分野である。大別して、「多変数代数函数体に関する幾何学論」「射影空間上での複素多様体論」とに分けられる。前者は代数学の中の可換環論と関係が深く、後者は幾何学の中の多様体論と関係が深い。20世紀に入って外観を一新し、大きく発展した数学の分野といわれる。 ルネ・デカルトは、多項式の零点を曲線として幾何学的に扱う発想を生みだしたが、これが代数幾何学の始まりとなったといえる。例えば、x, y を実変数として "x2 + ay2 − 1" という多項式を考えると、これの零点のなす R2 の中の集合は a の正、零、負によってそれぞれ楕円、平行な2直線、双曲線になる。このように、多項式の係数と多様体の概形の関係は非常に深いものがある。 上記の例のように、代数幾何学において非常に重要な問題として「多項式の形から、多様体を分類せよ」という問題が挙げられる。曲線のような低次元の多様体の場合、分類は簡単にできると思われがちだが、低次元でも次数が高くなるとあっという間に分類が非常に複雑になる。 当然、次元が上がると更に複雑化し、4次元以上の代数多様体についてはあまり研究は進んでいない。 2次元の場合、多様体に含まれる(−1)カーブと呼ばれる曲線を除外していくことにより、特殊な物をのぞいて極小モデルと呼ばれる多様体が一意に定まるので、2次元の場合の分類問題は「極小モデルを分類せよ」という問題に帰着される。 3次元の場合も同じように極小モデルを分類していくという方針が立てられたが、3次元の場合は、その極小モデルが一意に定まるかどうかが大問題であった。 しかし、1988年森重文により3次元多様体の極小モデル存在定理が証明され、以降「森のプログラム」と呼ばれるプログラムに沿って分類が強力に推し進められている。 19世紀中期に、ベルンハルト・リーマンがアーベル関数論の中で双有理同値など代数幾何学の中心概念を生み出し、19世紀後半には、イタリアの直観的な代数幾何学が発展した（代数幾何学のイタリア学派）。20世紀前半には、アンドレ・ヴェイユ、オスカー・ザリスキによって、抽象的な代数幾何学の研究が進められ、1950年代以降はグロタンディークのスキーム論によって代数幾何学全体が大きく書き直された。.
新しい！!: 合同算術と代数幾何学 · 続きを見る »
代数的位相幾何学
代数的位相幾何学（だいすうてきいそうきかがく、英語：algebraic topology、代数的トポロジー）は代数的手法を用いる位相幾何学の分野のことをいう。 古典的な位相幾何学は、図形として取り扱い易い多面体を扱っていたが、1900年前後のポワンカレの一連の研究を契機として20世紀に発展した。 ポワンカレは 1895年に出版した "Analysis Situs" の中で、ホモトピーおよびホモロジーの概念を導入した。これらはいまや代数的位相幾何学の大きな柱であると考えられている。 多様体、基本群、ホモトピー、ホモロジー、コホモロジー、ファイバー束などの、位相空間の不変量として代数系を対応させ、位相的性質を代数的性質に移して研究する．.
新しい！!: 合同算術と代数的位相幾何学 · 続きを見る »
代数的構造
数学において代数的構造（だいすうてきこうぞう、algebraic structure）とは、集合に定まっている算法（演算ともいう）や作用によって決まる構造のことである。代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するためにブルバキによって導入された。 また、代数的構造を持つ集合は代数系（だいすうけい、algebraic system）であるといわれる。すなわち、代数系というのは、集合 A とそこでの算法（演算の規則）の族 R の組 (A, R) のことを指す。逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが、代数的構造と呼ばれるのである。 なお、分野（あるいは人）によっては代数系そのもの、あるいは代数系のもつ算法族のことを代数的構造とよぶこともあるようである。 後者は、代数系の代数構造とも呼ばれる。 現代では、代数学とは代数系を研究する学問のことであると捉えられている。.
新しい！!: 合同算術と代数的構造 · 続きを見る »
代数的整数
数論において代数的整数（だいすうてきせいすう、algebraic integer）とは、整数係数モニック多項式の根となるような複素数のことを言う。代数的整数の全体 A は加法と乗法について閉じており、ゆえに複素数環 C の部分環をなす。この環 A は有理整数環 Z の C における整閉包となっている。 代数体 K の整数環 O は K ∩ A に等しく、また体 K の極大整環（order）となっている。全ての代数的整数はそれぞれ何らかの代数体の整数環に属している。x が代数的整数であることは、環 Z がアーベル群として有限生成（即ち有限生成 '''Z'''-加群）であることと同値である。.
新しい！!: 合同算術と代数的整数 · 続きを見る »
代数的整数論
代数的整数論（だいすうてきせいすうろん、algebraic number theory）は数論の一分野であり、抽象代数学の手法を用いて、整数や有理数、およびそれらの一般化を研究する。数論的な問題は、代数体やその整数環、有限体、関数体のような代数的対象の性質のことばで記述される。これらの性質は、例えば環において一意分解が成り立つかとか、イデアルの性質、体のガロワ群などであるが、ディオファントス方程式の解の存在のような、数論において極めて重要な問題を解決することができる。.
新しい！!: 合同算術と代数的整数論 · 続きを見る »
代数方程式
数学において、代数方程式 (だいすうほうていしき、algebraic equation) とは（一般には多変数の）多項式を等号で結んだ形で表される方程式の総称で、式で表せば の形に表されるもののことである。言い換えれば、代数方程式は多項式の零点を記述する数学的対象である。.
新しい！!: 合同算術と代数方程式 · 続きを見る »
代数拡大
抽象代数学において、体の拡大 は次を満たすときに代数的（algebraic）であると言う。 のすべての元は 上代数的である、すなわち、 のすべての元は 係数のある でない多項式の根である。代数的でない体の拡大、すなわち超越元を含む場合は、超越的 (transcendental) と言う。 例えば、体の拡大, すなわち有理数体の拡大としての実数体は、超越的であるのに対し、体の拡大 や は代数的である。ここで は複素数体である。 すべての超越拡大は無限次元の拡大である。言い換えるとすべての有限次拡大は代数的ということになる。しかしながら逆は正しくない。無限次代数拡大が存在する。例えば、代数的数体は有理数体の無限次代数拡大である。 が 上代数的であれば、 係数の による多項式全体の集合 は環であるだけでなく体である： 上有限次の の代数拡大である。逆もまた正しく、 が体ならば は 上代数的である。特別な場合として、 が有理数体のときは、 は代数体の例である。 非自明な代数拡大をもたない体は代数的閉体と呼ばれる。例は複素数体である。すべての体は代数的閉であるような代数拡大をもつ（これは代数的閉包と呼ばれる）が、これを一般に証明するには選択公理が必要である。 拡大 が代数的であることと のすべての部分 -代数が体であることは同値である。.
体上有限生成環の理論
体上有限生成環 (たいじょうゆうげんせいせいかん; finitely generated ring over a field）とは、ある（可環な）体 k 上有限個の元で生成される可換環の事を言う。k 上の多項式環 k の剰余環として得られる環といっても同じである。体上有限生成環は、可換環論的見地からはネーター環の重要な例でありヴォルフガング・クルルらによるネーター環のイデアル論のひな形であった。また体上有限生成環の理論は代数幾何学におけるアフィン代数多様体の理論、すなわち、代数多様体の局所理論と本質的に等価である点からも重要である。本項では、ネーターの正規化補題 (Noether normalization lemma)、有限生成整域の次元論、ヒルベルトの零点定理 (Hilbert's Nullstellensatz) について説明する。.
新しい！!: 合同算術と体上有限生成環の理論 · 続きを見る »
ペル方程式
ペル方程式（ペルほうていしき、Pell's equation）とは、 を平方数ではない自然数として、未知整数, について の形のディオファントス方程式である。 ペル方程式の一般的な解法は、1150年にインドのバースカラ2世が見つけている。彼はブラーマグプタのを改良した解法を使い、同じ技法を応用して不定二次方程式や二次ディオファントス方程式の一般解も見つけた。西洋におけるペル方程式の一般的な解法は、ウィリアム・ブランカーが発見した。しかし、オイラーはこの方程式を研究したのはジョン・ペルであると誤解し「ペル方程式」と命名したため、その名前が広く使われるようになった。.
新しい！!: 合同算術とペル方程式 · 続きを見る »
ペーター・グスタフ・ディリクレ
ヨハン・ペーター・グスタフ・ルジューヌ・ディリクレ（Johann Peter Gustav Lejeune Dirichlet, 1805年2月13日 - 1859年5月5日）はドイツの数学者で、現代的形式の関数の定義を与えたことで知られている。.
新しい！!: 合同算術とペーター・グスタフ・ディリクレ · 続きを見る »
マラン・メルセンヌ
マラン・メルセンヌ マラン・メルセンヌ（Marin Mersenne, 1588年9月8日 - 1648年9月1日）は、フランスの神学者。数学、物理学に加え哲学、音楽理論の研究もしていた。メーヌ州（現在はサルト県）オアゼ出身。メルセンヌ数（メルセンヌ素数）の名の由来ともなる。また音響学の父とも呼ばれる。ヨーロッパの学者の間の交流の中心となって学問の発展に貢献したことで知られる。.
新しい！!: 合同算術とマラン・メルセンヌ · 続きを見る »
ハメル次元
数学における、ベクトル空間の次元（じげん、dimension）とは、その基底の濃度、すなわち基底に属するベクトルの個数）である。 他の種類の次元との区別のため、ハメル次元または代数次元と呼ばれることもある。この定義は「任意のベクトル空間は（選択公理を仮定すれば）基底を持つ」ことと「一つのベクトル空間の基底は、どの二つも必ず同じ濃度を持つ」という二つの事実に依存しており、これらの事実の結果として、ベクトル空間の次元は空間に対して一意的に定まる。体 F 上のベクトル空間 V の次元を dimF(V) あるいは で表す（文脈から基礎とする体 F が明らかならば単に dim(V) と書く）。 ベクトル空間 V が有限次元であるとは、その次元が有限値であるときにいう。.
新しい！!: 合同算術とハメル次元 · 続きを見る »
ポラード・ロー素因数分解法
ポラード・ロー素因数分解法（英: Pollard's rho algorithm）は、特殊用途の素因数分解アルゴリズム。1975年、が発明した。合成数を素因数に効率的に分解する。.
新しい！!: 合同算術とポラード・ロー素因数分解法 · 続きを見る »
メルセンヌ数
メルセンヌ数（メルセンヌすう、）とは、2の冪よりも 小さい自然数、すなわち （ は自然数）の形の自然数のことである。これを で表すことが多い。2進数表記では、 桁の となる。 が素数ならば もまた素数であるが、逆は成立しない。素数であるメルセンヌ数をメルセンヌ素数（メルセンヌそすう、）という。 なお、「メルセンヌ数」という語で、 が素数であるもののみを指したり、さらに狭くメルセンヌ素数を指す場合もある。.
新しい！!: 合同算術とメルセンヌ数 · 続きを見る »
モジュラー形式
モジュラー形式は、モジュラー群という大きな群についての対称性をもつ上半平面上の複素解析的函数である。歴史的には数論で興味をもたれる対象であり、現代においても主要な研究対象である一方で、代数トポロジーや弦理論などの他分野にも現れる。 モジュラー函数（modular function）: ここでいうモジュラー函数以外にも、「モジュラー函数」という術語はいくつか別の意味で用いられることがあるので注意が必要である。例えば、ハール測度の理論に現れる群の共軛作用から定まる函数 Δ(g) もモジュラー函数と呼ばれることがあるが、別な概念である。は重さ 0 、つまりモジュラー群の作用に関して不変であるモジュラー形式のことを言う。そしてそれゆえに、直線束の切断としてではなく、モジュラー領域上の函数として理解することができる。また、「モジュラー函数」はモジュラー群について不変なモジュラー形式であるが、無限遠点で f(z) が正則性を満たすという条件は必要ない。その代わり、モジュラー函数は無限遠点では有理型である。 モジュラー形式論は、もっと一般の場合である保型形式論の特別な場合であり、従って現在では、離散群の豊かな理論のもっとも具体的な部分であると見ることもできる。.
新しい！!: 合同算術とモジュラー形式 · 続きを見る »
ユークリッド環
数学の特に抽象代数学および環論におけるユークリッド整域（ユークリッドせいいき、Euclidean domain）あるいはユークリッド環（ユークリッドかん、Euclidean ring）とは、「ユークリッド写像（次数写像）」とも呼ばれるある種の構造を備えた環で、そこではユークリッドの互除法を適当に一般化したものが行える。この一般化された互除法は整数に対するもともとの互除法アルゴリズムとほとんど同じ形で行うことができ、任意のユークリッド環において二元の最大公約数を求めるのに適用できる。特に、任意の二元に対してそれらの最大公約数は存在し、それら二元の線型結合として書き表される（ベズーの等式）。また、ユークリッド環の任意のイデアルは主イデアル（つまり、単項生成）であり、したがって算術の基本定理の適当な一般化が成立する。すなわち、任意のユークリッド環は一意分解環である。 ユークリッド環のクラスをより大きな主イデアル環 (PID) のクラスと比較することには大いに意味がある。勝手な PID はユークリッド環（あるいは実際には有理整数環を考えるので十分だが）と多くの「構造的性質」を共有しているが、しかしユークリッド環には明示的に与えられるユークリッド写像から得られる具体性があるのでアルゴリズム的な応用に有用である。特に、有理整数環や体上一変数の任意の多項式環が容易に計算可能なユークリッド写像を持つユークリッド環となることは、計算代数において基本的に重要な事実である。 そういったことから、整域 が与えられたとき、 がユークリッド写像を持つことがわかるとしばしば非常に便利なのである。特に、そのとき が PID であることが分かるが、しかし一般にはユークリッド写像の存在が「明らか」でないときに が PID かどうかを決定する問題は、それがユークリッド環であるかどうかの決定よりも容易である。.
新しい！!: 合同算術とユークリッド環 · 続きを見る »
リーマン予想
1.
新しい！!: 合同算術とリーマン予想 · 続きを見る »
リーマンゼータ関数
1.
新しい！!: 合同算術とリーマンゼータ関数 · 続きを見る »
リヒャルト・デーデキント
ブラウンシュヴァイクの中央墓地にあるデデキントの墓 ユリウス・ヴィルヘルム・リヒャルト・デーデキント（デデキント、Julius Wilhelm Richard Dedekind、1831年10月6日 - 1916年2月12日）は、ドイツのブラウンシュヴァイク出身の数学者。代数学・数論が専門分野。1858年からチューリッヒ工科大学教授、1894年からブラウンシュヴァイク工科大学教授を歴任した。彼の名前にちなんだ数学用語としては、デデキント環、デデキント切断などがある。.
新しい！!: 合同算術とリヒャルト・デーデキント · 続きを見る »
ルネ・デカルト
ルネ・デカルト（René Descartes、1596年3月31日 - 1650年2月11日）は、フランス生まれの哲学者、数学者。合理主義哲学の祖であり、近世哲学の祖として知られる。.
新しい！!: 合同算術とルネ・デカルト · 続きを見る »
レオンハルト・オイラー
レオンハルト・オイラー（Leonhard Euler, 1707年4月15日 - 1783年9月18日）は、18世紀の数学者・天文学者（天体物理学者）。 18世紀の数学の中心となり、続く19世紀の厳密化・抽象化時代の礎を築いた 日本数学会編『岩波数学辞典 第4版』、岩波書店、2007年、項目「オイラー」より。ISBN 978-4-00-080309-0 C3541 。スイスのバーゼルに生まれ、現在のロシアのサンクトペテルブルクにて死去した。.
新しい！!: 合同算術とレオンハルト・オイラー · 続きを見る »
プリンストン大学出版局
プリンストン大学出版局（Princeton University Press）とは、独立系の出版社でプリンストン大学と近い関係を持っている。広大なや社会においてスカラーシップを広めることを目的にしている。 1905年にホイットニー・ダローによって設立された。その際にプリンストンコミュニティに印刷機を納品する形でチャールズ・スクリブナーが金融面で支援した。最初に出版した本はジョン・ウィザースプーン著「Lectures on Moral Philosophy」の新たな1912年版だった。.
新しい！!: 合同算術とプリンストン大学出版局 · 続きを見る »
ビット
ビット (bit, b) は、ほとんどのデジタルコンピュータが扱うデータの最小単位。英語の binary digit （2進数字）の略であり、2進数の1けたのこと。量子情報科学においては古典ビットと呼ばれる。 1ビットを用いて2通りの状態を表現できる（二元符号）。これらの2状態は一般に"0"、"1"と表記される。 情報理論における選択情報およびエントロピーの単位も「ビット」と呼んでいるが、これらの単位は「シャノン」とも呼ばれる（詳細は情報量を参照）。 省略記法として、バイトの略記である大文字の B と区別するために、小文字の b と表記する。.
ピエール・ド・フェルマー
ピエール・ド・フェルマー ピエール・ド・フェルマー（Pierre de Fermat、1607年末または1608年初頭 - 1665年1月12日）はフランスの数学者。「数論の父」とも呼ばれる。ただし、職業は弁護士であり、数学は余暇に行ったものである。.
新しい！!: 合同算術とピエール・ド・フェルマー · 続きを見る »
デデキント環
デデキント環（デデキントかん、Dedekind ring）、あるいはデデキント整域（デデキントせいいき、Dedekind domain）とは、任意の0でない真のイデアルが、有限個の素イデアルの積にかけるような整域のことである。そのような分解は一意であることが知られており、イデアル論の基礎定理と呼ばれる。.
新しい！!: 合同算術とデデキント環 · 続きを見る »
ディリクレの単数定理
数学において、ディリクレの単数定理(Dirichlet's unit theorem)は、ペーター・グスタフ・ディリクレ による代数的整数論の基本的な結果である。ディリクレの単数定理は、代数体 の代数的整数がなす環 \mathcal_K の単数群 \mathcal_K^\times の階数を決定する。単数基準（もしくは、レギュレイター(regulator)ともいう）は、どれくらい単数の「密度」があるかを決める正の実数である。 It determines the rank of the group of units in the ring OK of algebraic integers of a number field K. The regulator is a positive real number that determines how "dense" the units are.-->.
新しい！!: 合同算術とディリクレの単数定理 · 続きを見る »
ディリクレのL関数
ディリクレのL-関数（ディリクレのエルかんすう、Dirichlet L-function）は、リーマンゼータ関数を一般化したものである。算術級数中の素数の分布の研究に基本的な関数である。実際ディリクレは、初項と公差が互いに素であるような等差数列には無限に素数が含まれること（算術級数定理）を証明するために、この関数を導入した。最も古典的なL-関数であり、単にL-関数と呼ばれることもあるが、数論の発展に伴って類似の性質を持った数論的関数が多く考え出され、それらにもL-関数の名が付されている。 任意の整数 a に対し複素数を対応させる写像で、自然数 N に関して以下を満たす χ を法Nのディリクレ指標と呼ぶ。 このディリクレ指標について、 と L-関数を定義する。この L-関数はオイラー積 をもつ。 L-関数もゼータ関数と同様、全複素数平面上に解析接続され、関数等式をもつ。また、非自明な零点の実部はすべて 1/2 であるという、リーマン予想と同様な予想が考えられておりこれを一般化されたリーマン予想（Generalised Riemann Hypothesis；GRHと略される）と呼ぶ。 その他にも、L-関数にはジーゲルの零点の存在の問題がある。これは実軸上に正の零点が存在するかもしれないという問題で、存在しても高々一つであることが知られているがいまだに解決されていない。この例外的な実零点は、この問題に大きな結果を残したジーゲルにちなんでジーゲルの零点と呼ばれている。この問題のために、リーマンの素数公式の類似である算術級数中の素数分布の有効な公式を得ることができていない。.
新しい！!: 合同算術とディリクレのL関数 · 続きを見る »
ディリクレ指標
ディリクレ指標(でぃりくれしひょう)とは、ディリクレがL関数を定義する際に導入した整数から複素数への関数である。.
新しい！!: 合同算術とディリクレ指標 · 続きを見る »
ディオファントス方程式
ディオファントス方程式（ディオファントスほうていしき、Diophantine equation）とは、整係数多変数高次不定方程式である。文脈として、整数解や有理数解を問題にしたい場合に用いられる用語であり、主に数論の研究課題と考えられている。古代アレクサンドリアの数学者ディオファントスの著作『算術』で、その有理数解が研究されたのにちなんだ名称である。.
新しい！!: 合同算術とディオファントス方程式 · 続きを見る »
フェルマーの小定理
数論において、フェルマーの小定理（フェルマーのしょうていり、Fermat's little theorem）は素数の性質についての定理であり、実用としてもRSA暗号に応用されている定理である。.
新しい！!: 合同算術とフェルマーの小定理 · 続きを見る »
フェルマーの最終定理
算術』。 フェルマーの最終定理（フェルマーのさいしゅうていり、Fermat's Last Theorem）とは、 以上の自然数 について、 となる自然数の組 は存在しない、という定理のことである。フェルマーの大定理とも呼ばれる。フェルマーが驚くべき証明を得たと書き残したと伝えられ、長らく証明も反証もなされなかったことからフェルマー予想とも称されたが、360年後にアンドリュー・ワイルズによって完全に証明され、ワイルズの定理あるいはフェルマー・ワイルズの定理とも呼ばれるようになった。.
新しい！!: 合同算術とフェルマーの最終定理 · 続きを見る »
フェルマー数
F_n.
新しい！!: 合同算術とフェルマー数 · 続きを見る »
フェルディナント・ゴットホルト・マックス・アイゼンシュタイン
フェルディナント・ゴットホルト・マックス・アイゼンシュタイン（Ferdinand Gotthold Max Eisenstein、1823年4月16日 - 1852年10月11日）は、ドイツの数学者。楕円関数論、行列の理論やアイゼンシュタイン整数の発見などの業績を残したが若くして結核で亡くなった。ガウスやディリクレのもとで学び、ガウスも彼の才能を高く評価していた。ベルリン大学で学生時代に、レオポルト・クロネッカーと友人になった。リーマンはベルリン大学で彼の講義を受けている。 楕円関数論での研究では、（関数論に依拠するのではなく）整数論との関連を重視して多くの公式を具体的に与えた。この成果を晩年のクロネッカーが見出して、楕円関数論に新たな方向性をもたらすことになる。.
新しい！!: 合同算術とフェルディナント・ゴットホルト・マックス・アイゼンシュタイン · 続きを見る »
ニール・スローン
ニール・ジェームズ・アレクサンダー・スローン（Neil James Alexander Sloane、1939年 - ）はアメリカの数学者である。主な研究分野は、組合せ論、誤り訂正符号および球の詰め込みである。また、オンライン整数列大辞典の創始者であることで有名である。.
新しい！!: 合同算術とニール・スローン · 続きを見る »
ベルンハルト・リーマン
ルク・フリードリヒ・ベルンハルト・リーマン（Georg Friedrich Bernhard Riemann, 1826年9月17日 - 1866年7月20日）は、ドイツの数学者。解析学、幾何学、数論の分野で業績を上げた。アーベル関数に関する研究によって当時の数学者から高く評価されたが、先駆的な彼の研究は十分に理解されず、20世紀になって彼のそれぞれの研究分野で再評価されるようになった。19世紀を代表する数学者の一人である。 彼の名前が残っている数学用語に、リーマン積分、コーシー＝リーマンの方程式、リーマンのゼータ関数、リーマン多様体、リーマン球面、リーマン面、リーマン＝ロッホの定理、リーマン予想などがある。.
新しい！!: 合同算術とベルンハルト・リーマン · 続きを見る »
ベクトル
ベクトル（）またはベクター（） ベクトルは Vektor に由来し、ベクターは vector に由来する。物理学などの自然科学の領域ではベクトル、プログラミングなどコンピュータ関係ではベクターと表記される、という傾向が見られることもある。また、技術文書などではしばしばJIS規格に準拠する形で、長音を除いたベクタという表記が用いられる。 は「運ぶ」を意味するvehere に由来し、18世紀の天文学者によってはじめて使われた。 ベクトルは通常の数（スカラー）と区別するために矢印を上に付けたり（例： \vec,\ \vec）、太字で書いたりする（例： \boldsymbol, \boldsymbol）が、分野によっては矢印も太字もせずに普通に書くこともある（主に解析学）。 ベクトル、あるいはベクターに関する記事と用法を以下に挙げる。.
ベクトル空間
数学、特に線型代数学におけるベクトル空間（ベクトルくうかん、vector space）、または、線型空間（せんけいくうかん、linear space）は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積（「スケール変換」）を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件（後述）を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である（同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す）。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。 ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元（大雑把にいえばその空間の独立な方向の数を決めるもの）によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。 歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は（直線や平面あるいはそれらの高次元での対応物といったような）古典的な幾何学的概念を拡張することに割かれていた。 今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。 ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。.
新しい！!: 合同算術とベクトル空間 · 続きを見る »
ベズーの等式
ベズーの等式 (Bézout's identity) （ベズーの補題 (Bézout's lemma) とも呼ばれる）は初等整数論における定理である。a と b を 0 でない整数とし、d をそれらの最大公約数とする。このとき整数 x と y が存在して となる。さらに、i) d は と書ける最小の正の整数であり、ii) の形のすべての整数は d の倍数である。x と y は (a, b) のベズー係数 (Bézout coefficients) と呼ばれる。それらは一意的ではない。ベズー係数の組は拡張ユークリッドの互除法によって計算できる。a と b がどちらも 0 でなければ、拡張ユークリッドの互除法から |x| かつ |y| であるような 2 つの組の一方が出る。 ベズーの補題は任意の主イデアル整域において正しいが、正しくないような整域が存在する。.
新しい！!: 合同算術とベズーの等式 · 続きを見る »
分解体
抽象代数学において、与えられた多項式の分解体（ぶんかいたい、splitting field）とは、その多項式を一次式の積に因数分解 (splitting) できるような係数体の拡大体を言う。特にそのような拡大体のうちが最小となる最小分解体 (smallest splitting field) は多項式に対して同型を除いて一意に定まるため、最小分解体のことを指して単に分解体と呼ぶことも多い。.
アメリカ国立標準技術研究所
アメリカ国立標準技術研究所（アメリカこくりつひょうじゅんぎじゅつけんきゅうじょ、National Institute of Standards and Technology, NIST）は、アメリカ合衆国の国立の計量標準研究所であり、アメリカ合衆国商務省配下の技術部門であり非監督（non-regulatory ）機関である。1901年から1988年までは国立標準局 (National Bureau of Standards, NBS) と称していた。その公式任務は次の通り。 2007会計年度（2006年10月1日-2007年9月30日）の予算は約8億4330万ドルだった。2009年の予算は9億9200万ドルだが、アメリカ復興・再投資法の一部として6億1000万ドルを別に受け取っている。2013年現在、NISTには約3000人の科学者、工学者、技術者がいる（他にサポートスタッフと運営部門）。また、国内企業や海外から約2700人の科学者、工学者を受け入れている。さらに国内約400ヶ所の提携機関で1300人の製造技術の専門家やスタッフが関わっている。NISTの出版している Handbook 44 は「計測機器についての仕様、許容誤差、他の技術的要件」を提供している。.
新しい！!: 合同算術とアメリカ国立標準技術研究所 · 続きを見る »
アレクサンドリアのディオファントス
バシェによるラテン語版『算術』。 アレクサンドリアのディオファントス（ギリシア語：、英語：Diophantus of Alexandria、生没年不詳、推定生年 200年 - 214年、推定没年 284年 - 298年）はローマ帝国時代のエジプトの数学者。ディオファントス方程式やディオファントス近似は彼の名にちなむ。「代数学の父」と呼ばれることもある。.
新しい！!: 合同算術とアレクサンドリアのディオファントス · 続きを見る »
アンドリュー・ワイルズ
アンドリュー・ワイルズ（Andrew John Wiles, 1953年4月11日 - ）は、イギリスの数学者。オックスフォード大学教授（整数論）。「フェルマーの最終定理」を証明したことで知られる。.
新しい！!: 合同算術とアンドリュー・ワイルズ · 続きを見る »
アンドレ・ヴェイユ
アンドレ・ヴェイユ（André Weil, 1906年5月6日 - 1998年8月6日）は、フランスの数学者で、20世紀を代表する数学者の一人である。思想家のシモーヌ・ヴェイユは妹、児童文学者のは娘である。.
新しい！!: 合同算術とアンドレ・ヴェイユ · 続きを見る »
アデール環
アデール環(adele ring) （単にアデールと呼ぶ事もある）とは、有理数の体（あるいはより一般的な任意の代数体）の上に構成された自己双対な位相環であり、整数論における基本的な対象である。アデール環は有理数体の全ての完備化の情報をもっている。 アデール環は、はじめ類体論の簡素化と明確化のためにクロード・シュヴァレー(Claude Chevalley)により導入されたが、現代の整数論では欠かせない概念となっている。 アデール環の乗法群を代数体の乗法群わってできる群は類体論において中心的な対象である。また多項式の有理数解を研究する(Diophantine geometry)において、まず有理数体をふくむ完備なアデール環において解を発見し、それが実際に有理数体における解となるかを決定するという手法をとることもある。 「アデール」という用語は、「additive idèle」（加法的なイデール）を短くしたものでありNeukirch (1999) p. 357.
新しい！!: 合同算術とアデール環 · 続きを見る »
アドリアン＝マリ・ルジャンドル
アドリアン＝マリ・ルジャンドル（Adrien-Marie Legendre、1752年9月18日 - 1833年1月10日）は、フランスのパリトゥールーズ出身ともされる。出身の数学者。統計学、数論、代数学、解析学で様々な功績を残した。中でも整数論や楕円積分に大きく貢献したとして名高い。.
新しい！!: 合同算術とアドリアン＝マリ・ルジャンドル · 続きを見る »
アイゼンシュタイン整数
ウス平面内の、正三角形を成す格子における格子点は、アイゼンシュタイン整数を表す。 アイゼンシュタイン整数（アイゼンシュタインせいすう、Eisenstein integer）とは、フェルディナント・ゴットホルト・マックス・アイゼンシュタインにちなんで名付けられた複素数の一種である。正確には、整数 a, b と1の原始3乗根 に対して a + b ω の形の複素数のことである。b.
新しい！!: 合同算術とアイゼンシュタイン整数 · 続きを見る »
インターネット
インターネット（internet）は、インターネット・プロトコル・スイートを使用し、複数のコンピュータネットワークを相互接続した、グローバルな情報通信網のことである。 インターネットは、光ファイバーや無線を含む幅広い通信技術により結合された、地域からグローバルまでの範囲を持つ、個人・公共・教育機関・商用・政府などの各ネットワークから構成された「ネットワークのネットワーク」であり、ウェブのハイパーテキスト文書やアプリケーション、電子メール、音声通信、ファイル共有のピア・トゥ・ピアなどを含む、広範な情報とサービスの基盤となっている。.
新しい！!: 合同算術とインターネット · 続きを見る »
イデアル (環論)
抽象代数学の分野である環論におけるイデアル（ideal, Ideal）は環の特別な部分集合である。整数全体の成す環における、偶数全体の成す集合や の倍数全体の成す集合などの持つ性質を一般化したもので、その部分集合に属する任意の元の和と差に関して閉じていて、なおかつ環の任意の元を掛けることについても閉じているものをイデアルという。 整数の場合であれば、イデアルと非負整数とは一対一に対応する。即ち整数環 の任意のイデアルは、それぞれただ一つの整数の倍数すべてからなる主イデアルになる。しかしそれ以外の一般の環においてはイデアルと環の元とは全く異なるものを指しうるもので、整数のある種の性質を一般の環に対して一般化する際に、環の元を考えるよりもそのイデアルを考えるほうが自然であるということがある。例えば、環の素イデアルは素数の環における対応物であり、中国の剰余定理もイデアルに対するものに一般化することができる。素因数分解の一意性もデデキント環のイデアルに対応するものが存在し、数論において重要な役割を持つ。 イデアルは整数の算術から定義される合同算術の方法と同様の剰余環（商環）の構成にも用いられる、この点において群論で剰余群（商群）の構成に用いられる正規部分群と同様のものと理解することができる。 順序集合に対するの概念は環論におけるこのイデアルの概念に由来する。またイデアルの概念を一般化して分数イデアルの概念を考えることもでき、それとの区別のためここで扱う通常のイデアルは整イデアルと呼ばれることもある。.
新しい！!: 合同算術とイデアル (環論) · 続きを見る »
ウィルソンの定理
ウィルソンの定理（ウィルソンのていり）は初等整数論における素数に関する次のような定理である。 p が大きくなるにつれて計算量が膨大になるため、素数かどうかを判定するために用いるには実用的ではない。.
新しい！!: 合同算術とウィルソンの定理 · 続きを見る »
エルンスト・クンマー
ルンスト・エドゥアルト・クンマー（Ernst Eduard Kummer、1810年1月29日 ブランデンブルク・ゾーラウ Sohrau（ポーランド・ルブシュ県） - 1893年5月14日）は、ドイツの数学者。ワイエルシュトラス、(彼の教え子の一人)クロネッカーと共に、ベルリン大学の三大数学者の一人として指導的役割を果たした。最初は関数論を研究していたが、1840年代からは代数的整数論に関心を持つようになり、円分体とそのイデアル類と類数を中心的に研究するようになった。彼はその後のイデアル論の基礎となるものを確立し、L関数の値のp進的な性質を調べていった。この他、砲弾の弾道計算で業績を残している。オーギュスタン・ルイ・コーシーとガブリエル・ラメが行った虚数を含む素因数分解に一意性がないことを指摘した。しかし、クンマーは一意性の問題に取り組み、多くの場合について一意性を復活させる方法として理想数を導入した。この方法はのちにリヒャルト・デーデキントによってまとめられ、イデアル概念が生まれた。 大学での講義中、とっさに九九が計算できなかった逸話が有名である。数々の業績を残した彼だが、瞬発的な数字の計算能力はむしろ低かったようである。.
新しい！!: 合同算術とエルンスト・クンマー · 続きを見る »
オイラーの定理 (数論)
数論において、オイラーの定理（Euler's theorem）は初等整数論の最も基本的な定理の一つである。.
新しい！!: 合同算術とオイラーの定理 (数論) · 続きを見る »
オイラーのφ関数
φ(''n'')の最初の1000個の値 オイラーのトーシェント関数（オイラーのトーシェントかんすう、Euler's totient function）は各正の整数 に対して、 から までの自然数のうち と互いに素なものの個数を として与えることによって定まる数論的関数 である。慣例的に と表記されるため、オイラーの 関数（ファイかんすう、phi function）とも呼ばれる。また、簡略的にオイラーの関数と呼ぶこともある。 例えば、 のうち と互いに素なのは の 2 個であるから、定義によれば である。また例えば のうち 以外は全て と互いに素だから、 と定まる。なおトーシェント関数の値域に含まれない自然数をノントーシェントという。 から までの値は以下の通りである。 1761年にレオンハルト・オイラーが発見したとされるが、それより数年前に日本の久留島義太が言及したとも言われる。.
新しい！!: 合同算術とオイラーのφ関数 · 続きを見る »
オイラー積
イラー積（-せき、Euler product）はディリクレ級数を素数に関する総乗の形で表した無限積である。ディリクレ級数の一種のリーマンのゼータ関数についてこの無限積が成り立つことを証明したレオンハルト・オイラーの名前にちなむ。ディリクレ級数は以下の式の左辺で定義され、右辺がオイラー積表示である。 a(n) は n に関する乗法的関数、p は全ての素数にわたり、変数 s は複素数である。このような表示が成り立つためには a(n) が a(1).
新しい！!: 合同算術とオイラー積 · 続きを見る »
カール・フリードリヒ・ガウス
Disquisitiones Arithmeticae のタイトルページ ヨハン・カール・フリードリヒ・ガウス（; Johann Carl Friedrich Gauß, Carolus Fridericus Gauss, 1777年4月30日 - 1855年2月23日）は、ドイツの数学者、天文学者、物理学者である。彼の研究は広範囲に及んでおり、特に近代数学のほとんどの分野に影響を与えたと考えられている。数学の各分野、さらには電磁気など物理学にも、彼の名が付いた法則、手法等が数多く存在する。19世紀最大の数学者の一人である。.
新しい！!: 合同算術とカール・フリードリヒ・ガウス · 続きを見る »
カール・グスタフ・ヤコブ・ヤコビ
ール・グスタフ・ヤコプ・ヤコビ（Carl Gustav Jacob Jacobi, 1804年12月10日 - 1851年2月18日）はドイツの数学者。.
新しい！!: 合同算術とカール・グスタフ・ヤコブ・ヤコビ · 続きを見る »
ガロア理論
ア理論（ガロアりろん、Galois theory）は、代数方程式や体の構造を "ガロア群" と呼ばれる群を用いて記述する理論。1830年代のエヴァリスト・ガロアによる代数方程式の冪根による可解性などの研究が由来。ガロアは当時、まだ確立されていなかった群や体の考えを方程式の研究に用いていた。 ガロア理論によれば、“ガロア拡大”と呼ばれる体の代数拡大について、拡大の自己同型群の閉部分群と、拡大の中間体との対応関係を記述することができる。.
新しい！!: 合同算術とガロア理論 · 続きを見る »
ガウス和
数学におけるガウス和（ガウスわ、）とは、ある特別な1の冪根の有限和である。典型的に で与えられる。ここで和はある有限可換環 R の元 r について取られ、ψ(r) は加法群 R+ から（複素平面の）単位円への群準同型で、χ(r) は単数群 R× から単位円への群準同型である。単元でない r については と拡張する。ガウス和はガンマ関数の有限体における類似物である。 このような和は数論において至る所で現れる。例えば、あるディリクレ指標 χ に対して L(s, &chi) と L(1 − s) を関連付ける方程式が を含むような、ディリクレのL関数の関数等式に現れる。ただし は χ の複素共役である。 カール・フリードリヒ・ガウスによって元々考えられていたケースは、R が素数 p を法とする剰余体 Z/pZ で χ がルジャンドル記号であるであった。その場合、ガウスは p が 4 を法として 1 と合同であるか 3 と合同であるかに応じて G(&chi).
ガウス整数
ウス整数とは、ガウス平面では格子点に当たる。 ガウス整数（ガウスせいすう、Gaussian integer）とは、実部と虚部が共に整数である複素数のことである。すなわち、（, は整数）の形の数のことである。ここで は虚数単位を表す。ガウス整数という名称は、カール・フリードリヒ・ガウスが導入したことに因む。ガウス自身はガウス整数のことを複素整数（Komplexe Ganze Zahl）と呼んだが、今日ではこの呼称は一般的ではない。 通常の整数は、 の場合なので、ガウス整数の一種である。区別のために、通常の整数は有理整数と呼ばれることもある。 数学的には一つ一つのガウス整数を考えるよりも、集合として全体の構造を考える方が自然である。ガウス整数全体の集合を と表し、これをガウス整数環と呼ぶ。すなわち、 である（ は有理整数環、すなわち有理整数全体の集合を表す）。その名が示すように、ガウス整数環は加法と乗法について閉じており、環としての構造を持つ。複素数体 C の部分環であるから、整域でもある。 を有理数体、すなわち有理数全体の集合とするとき、 をガウス数体という。ガウス整数環はガウス数体の整数環である。ガウス数体は、典型的な代数体であるところの円分体や二次体の一種であるので、ガウス整数環は代数的整数論における最も基本的な対象の一つである。.
新しい！!: 合同算術とガウス整数 · 続きを見る »
クロード・シャノン
ード・エルウッド・シャノン（Claude Elwood Shannon, 1916年4月30日 - 2001年2月24日）はアメリカ合衆国の電気工学者、数学者。20世紀科学史における、最も影響を与えた科学者の一人である。 情報理論の考案者であり、情報理論の父と呼ばれた。情報、通信、暗号、データ圧縮、符号化など今日の情報社会に必須の分野の先駆的研究を残した。アラン・チューリングやジョン・フォン・ノイマンらとともに今日のコンピュータ技術の基礎を作り上げた人物として、しばしば挙げられる。.
新しい！!: 合同算術とクロード・シャノン · 続きを見る »
ジョゼフ・フーリエ
ャン・バティスト・ジョゼフ・フーリエ男爵（Jean Baptiste Joseph Fourier, Baron de、1768年3月21日 - 1830年5月16日）は、フランスの数学者・物理学者。 固体内での熱伝導に関する研究から熱伝導方程式（フーリエの方程式）を導き、これを解くためにフーリエ解析と呼ばれる理論を展開した。フーリエ解析は複雑な周期関数をより簡単に記述することができるため、音や光といった波動の研究に広く用いられ、現在調和解析という数学の一分野を形成している。 このほか、方程式論や方程式の数値解法の研究があるほか、次元解析の創始者と見なされることもある。また統計局に勤務した経験から、確率論や誤差論の研究も行った。.
新しい！!: 合同算術とジョゼフ・フーリエ · 続きを見る »
ストリーム暗号
トリーム暗号（ストリームあんごう、stream cipher）とは、平文をビット単位あるいはバイト単位などで逐次、暗号化する暗号である。平文を64ビットや128ビットなどの固定長のブロックに分割して暗号化する暗号を指すブロック暗号に対比した語である。その構成上、入力がファイルではなくストリーム等の逐次追加されるデータであった場合、ブロック暗号は入力がブロックサイズに達するまで溜まらないと処理を進めることができないのに対し、ストリーム暗号はその必要がないのが特徴である。.
新しい！!: 合同算術とストリーム暗号 · 続きを見る »
サイエンティフィック・アメリカン
『サイエンティフィック・アメリカン』（Scientific American）は、アメリカ合衆国の一般読者向け科学雑誌。1845年8月28日創刊で、一般向け科学雑誌としては世界最古、また現在定期刊行されているアメリカの雑誌としても最古である。学術雑誌のような査読は行っていないが、主として第一線の研究者自らが執筆しており、内容は高く評価されている。 現在は月刊だが、初期は週刊の新聞風刊行物だった。 日本版としては『日経サイエンス』が発行されている（以前は『サイエンス』と称したが、学術誌の『サイエンス』と勘違いされるため変更した）。これはアメリカ版の翻訳記事が中心となっているが、独自の記事も加えて編集されている。そのほかイタリア版の"Le Scienze"など、多数の外国版が出ている。.
新しい！!: 合同算術とサイエンティフィック・アメリカン · 続きを見る »
冪剰余
冪剰余（べきじょうよ、英: Modular exponentiation）とは、冪乗の剰余のことである。数論的に重要な概念であるとともに、計算機科学、特に暗号理論の分野での応用が重要である。冪乗剰余とも呼ばれる。 正の整数 （底）の整数 乗（冪指数）を正の整数 （法）で割った余りを、「 を法とした の -冪剰余」と呼ぶ。つまり、冪剰余を求めるとは、次の を計算することに他ならない。 例えば、 の場合、 は を で割った余りなので、冪剰余は となる。 冪指数 に対する -冪剰余は、通常それぞれ平方剰余、立方剰余と呼ばれる。 冪剰余は、指数 が負の場合も定義できる。その場合、 を法として の逆数（モジュラ逆数）となる d によって、 と定義する。 冪剰余 を求める計算は、たとえ巨大な数であっても難しくはない。一方、 が与えられたとき、指数 を求めることは難しい。このような一方向性関数的性質から、冪剰余の暗号での利用についての研究が進んでいる。.
冪級数
数学において、（一変数の）冪級数（べききゅうすう、power series）あるいは整級数（せいきゅうすう、série entière）とは の形の無限級数である。ここで は 番目の項の係数を表し、 は定数である。この級数は通常ある知られた関数のテイラー級数として生じる。 多くの状況において （級数の中心 (center)）は である。例えばマクローリン級数を考えるときがそうである。そのような場合には、冪級数は簡単な形 \sum_^\infty a_n x^n.
円分多項式
円分多項式（えんぶんたこうしき、cyclotomic polynomial, Kreisteilungspolynom）とは1の冪根に関連のある多項式である。具体的には次の式で定義される多項式 を指す。 \Phi_n \left(x\right).
新しい！!: 合同算術と円分多項式 · 続きを見る »
商群
数学において，商群（しょうぐん，quotient group, factor group）あるいは剰余群，因子群とは，群構造を保つ同値関係を用いて，大きい群から似た元を集めて得られる群である．例えば，n を法とした加法の巡回群は，整数から，差が の倍数の元を同一視し，そのような各類（合同類と呼ばれる）に1つの実体として作用する群構造を定義することによって得られる．群論と呼ばれる数学の分野の一部である． 群の商において，単位元の同値類はつねにもとの群の正規部分群であり，他の同値類たちはちょうどその正規部分群の剰余類たちである．得られる商は と書かれる，ただし はもとの群で は正規部分群である．（これは「（ジーモッドエヌ）」と読まれる．"mod" は modulo の略である．） 商群の重要性の多くはその準同型との関係に由来する．第一同型定理は任意の群 の準同型による像はつねに のある商と同型であると述べている．具体的には，準同型 による の像は と同型である，ただし は の核 を表す． 商群の双対概念は部分群であり，これらが大きい群から小さい群を作る2つの主要な方法である．任意の正規部分群 は，大きい群から部分群 の元の間の差異を除去して得られる，対応する商群を持つ．圏論では，商群は商対象の例であり，これは部分対象の双対である．商対象の他の例は，商環，商線型空間，商位相空間，商集合を参照．.
公開鍵暗号
公開鍵暗号（こうかいかぎあんごう、Public-key cryptography）とは、暗号化と復号に別個の鍵（手順）を用い、暗号化の鍵を公開すらできるようにした暗号方式である。 暗号は通信の秘匿性を高めるための手段だが、それに必須の鍵もまた情報なので、鍵を受け渡す過程で盗聴されてしまうというリスクがあった。共通鍵を秘匿して受け渡すには（特使が運搬するというような）コストもかかり、一般人が暗号を用いるための障害であった。この問題に対して、暗号化鍵の配送問題を解決したのが公開鍵暗号である。.
新しい！!: 合同算術と公開鍵暗号 · 続きを見る »
剰余環
数学の一分野、環論における商環（しょうかん、quotient ring）、剰余環（じょうよかん、factor ring）あるいは剰余類環（じょうよるいかん、residue class ring）とは、群論における剰余群や線型代数学における商線型空間に類似した環の構成法およびその構成物である。すなわち、はじめに環 R とその両側イデアル I が与えられたとき、剰余環 R/I と呼ばれる新しい環が、I の全ての元が零元に潰れる（I による違いを「無視」するともいえる）ことで得られる。 注意: 剰余環は商環とも呼ばれるけれども、整域に対する商体（分数の体）と呼ばれる構成とは異なるし、全商環（商の環、これは環の局所化の一種）とも異なる。.
剰余類環
数学において、自然数 を法とする合同類環（ごうどうるいかん）あるいは剰余（類）環（じょうよかん、n, n）は、整数を で割った「剰余」を抽象的な類別として捉えたものである。 本項は剰余類環 の代数的な定義と性質について述べる。合同類別に関するより平易な導入については整数の合同を参照のこと。.
剰余演算
剰余演算（モジュロとも呼ぶ）は、コンピュータにおいて、ある数値を別の数値(法と呼ばれることもある)で除算し、余りを取得する演算である。2つの正の整数である、被除数 および 除数が与えられる場合、a の n による剰余 (a modulo n、略して a mod nとも表記される)は、ユークリッド除法における a を n で除算した余りとなる。例えば、「5 mod 2」の結果は 1 となる。なぜなら、5を2で除算した場合商は2となり、余りは1となるからである。また、「9 mod 3」の結果は0となる。9を3で除算した商は3となり余りは0となる(言い方を変えれば9から3を3回引いた場合に残りがなくなる)からである。一般的な電卓を使用して除算を行う場合、商が小数点表記で出力されるため、剰余演算は直接行えないことに注意する。 通常の場合、a と n はともに整数で処理されるが、多くのコンピュータシステムでは他の数値型でも処理が可能である。整数 n の剰余の取りうる範囲は、0から n - 1 までである。「n mod 1」 の場合常に0となる。「n mod 0」 の場合は未定義であり、プログラミング言語によっては「0除算」エラーを結果とする。 または が負数の場合については、単純な定義はなく、プログラミング言語によってどのように定義されるかが異なっている。 数論における古典的な関連事項については合同算術を参照。.
科学アカデミー (フランス)
科学アカデミー（かがくアカデミー、仏:Académie des sciences）は、フランス国立の学術団体で、フランス学士院を構成する団体の一つ。フランス科学アカデミー。アカデミー・デ・シアンス。.
新しい！!: 合同算術と科学アカデミー (フランス) · 続きを見る »
等差数列
数学における等差数列（とうさすうれつ、arithmetic progression, arithmetic sequence; 算術数列）とは、「隣接する項が共通の差（公差）を持つ数列」() を言う。例えば、 はの等差数列である。 算術数列の初項を とし、その公差を とすれば、-番目の項 は a_n.
算術
算術 (さんじゅつ、arithmetic) は、数の概念や数の演算を扱い、その性質や計算規則、あるいは計算法などの論理的手続きを明らかにしようとする学問分野である。.
算術 (書物)
『算術』（さんじゅつ、Αριθμητικα）は、3世紀に書かれたとされる古代ギリシアの数学書。数学者ディオファントスの著書である。代数の問題130問と解が記されている。同書に記されている方程式の一部はディオファントス方程式と呼ばれる。.
新しい！!: 合同算術と算術 (書物) · 続きを見る »
算術の基本定理
pp.
新しい！!: 合同算術と算術の基本定理 · 続きを見る »
算術級数定理
算術級数定理（さんじゅつきゅうすうていり、theorem on arithmetic progressions）は、初項と公差が互いに素である算術級数(等差数列)には無限に素数が存在する、という定理である。ペーター・グスタフ・ディリクレが1837年にディリクレのL関数を用いて初めて証明した。そのため、定理はしばしばディリクレの算術級数定理と呼ばれる。.
新しい！!: 合同算術と算術級数定理 · 続きを見る »
素数
素数（そすう、prime number）とは、 より大きい自然数で、正の約数が と自分自身のみであるもののことである。正の約数の個数が である自然数と言い換えることもできる。 より大きい自然数で素数でないものは合成数と呼ばれる。 一般には、素数は代数体の整数環の素元として定義される（そこでは反数などの同伴なものも素数に含まれる）。このため、有理整数環 \mathbb Z での素数は有理素数（ゆうりそすう、rational prime）と呼ばれることもある。 最小の素数は である。素数は無数に存在する。したがって、素数からなる無限数列が得られる。 素数が無数に存在することは、紀元前3世紀頃のユークリッドの著書『原論』で既に証明されていた。 自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。 分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。2018年1月現在で知られている最大の素数は、2017年12月に発見された、それまでに分かっている中で50番目のメルセンヌ素数 であり、十進法で表記したときの桁数は2324万9425桁に及ぶ。.
純粋数学
純粋数学（じゅんすいすうがく、pure mathematics）とは、しばしば応用数学と対になる概念として、応用をあまり意識しない数学の分野に対して用いられる総称である。 数学のどの分野が純粋数学でありどの分野が応用数学であるかという社会的に広く受け入れられた厳密な合意があるわけではなく、区別は便宜的なものとして用いられることが多い。また数学がより広範な範囲で利用されるに従い、分野としての純粋と応用との区別はあいまいで困難なものとなってきている。ただし、純粋数学という用語を用いる場合の志向としては、議論される数学の厳密性、抽象性を基とした数学単体での美しさを重視する傾向がある。.
線型回帰数列
数学において、-階の線型回帰数列（せんけいかいきすうれつ、linear recurrence sequence; 線型循環数列）とは、各項がある可換体 （典型的には複素数体 や実数体 ）に値をとる数列であって、体 の 個のスカラー が存在して、任意の に対して、-階の線型漸化式 を満たすものの総称である。より一般には、係数 は の函数とすることもできるが、本項においては基本的に定数係数の場合を扱う。このような数列は、最初の 項（初期値あるいは初期条件と呼ばれる）が決まれば、残りの項は漸化式に従ってすべて一意に決定される。この数列または漸化式（離散力学系）が安定であるとは、任意の初期値集合に対して を無限大に飛ばした極限（定常状態）が存在するときに言う。 高階の線型回帰列を調べることは線型代数学に属する問題である。そのような列の一般項は、列に付随する特性多項式と呼ばれる多項式の根が求まれば、それらによって記述することができる。上記の漸化式を満たす列に付随する特性多項式は で与えられ、特性多項式の根は特性根と呼ばれる。特性多項式の次数は漸化式の階数に等しい。特に二階の回帰列の場合には、特性多項式の次数も であり、その根の様子は判別式を用いて知ることができる。故に、二階線型回帰列は最初の二項の値のみから初等的な算術演算（和・差・積・冪）と正弦・余弦函数（考える体が実数体の場合）を用いて記述することができる。この種の数列の例には、よく知られたフィボナッチ数列があり、その各項は黄金比の冪を使って書くことができる。 一般に差分方程式は様々な文脈で用いられ、例えば経済学において、国内総生産やインフレ率、為替レートなどの時間発展する変数をモデル化する。差分方程式をそのような時系列のモデル化に用いるのは、それら変数の値が離散的間隔でのみ測られるからである。そのような応用において、線型差分方程式は自己回帰モデル (AR) や AR とその他の特徴を組み合わせた (VAR) および自己回帰移動平均モデル (ARMA) など、推計学的な言葉でモデル付けられる。.
新しい！!: 合同算術と線型回帰数列 · 続きを見る »
線形帰還シフトレジスタ
線形帰還シフトレジスタ（せんけいきかんシフトレジスタ、linear feedback shift register, LFSR）は、入力ビットが直前の状態の線形写像になっているシフトレジスタである。 値域が単一のビットとなる線形写像は、XORおよびXORの否定だけである。したがって、線形帰還シフトレジスタとは、その値を構成するビット列の一部の排他的論理和を入力ビットとするシフトレジスタである。 LFSR の初期値をシードと呼ぶ。レジスタの動作は決定的であるため、レジスタが生成する値の列はその状態によって完全に決定される。同様に、レジスタの取りうる状態は有限個であるため、最終的に周期的動作になる。しかし、帰還関数をうまく設定したLFSRは乱数のようなビット列を生成し、その周期も非常に長い。 LFSRの用途としては、擬似乱数生成、擬似ノイズ生成、高速デジタルカウンタ、白色化などがある。LFSR にはハードウェアによる実装もソフトウェアによる実装もある。.
新しい！!: 合同算術と線形帰還シフトレジスタ · 続きを見る »
群 (数学)
数学における群（ぐん、group）とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.
新しい！!: 合同算術と群 (数学) · 続きを見る »
群論
群論（ぐんろん、group theory）とは、群を研究する学問。 群の概念は抽象代数学における中心的な概念。 環・体・ベクトル空間などは、演算や公理が付与された群と看做すことができる。 群論の方法は代数学の大部分に強い影響を与えている。 線形代数群とリー群の理論は群論の一分野。 特に発展を遂げており、独自の適用範囲を持っている。 結晶や、水素原子などの構造の多くは、対称性の群(symmetry group)で表現できる。このように、群論は、物理学や化学の中に多くの実例・応用例がある。 1960年代～80年代に発表された総計1万ページを超える論文によって、完全な有限単純群の分類が達成された。これは多くの数学者の共同作業の賜物であり、20世紀の数学の最も重要な業績の一つ。.
群準同型
数学、特に群論における群の準同型写像（じゅんどうけいしゃぞう、group homomorphism）は群の構造を保つ写像である。準同型写像を単に準同型とも呼ぶ。.
環論
数学において、環論（かんろん、ring theory）は（加法と乗法が定義され、整数の持つ性質とよく似た性質を満足する代数的構造である）環を研究する学問分野である。環論の研究対象となるのは、環の構造や環の表現（環上の加群）などについての一般論、および（群環、可除環、普遍展開環などの）具体的な特定の環のクラスあるいは理論と応用の両面で興味深い様々な環の性質（たとえばホモロジー的性質や多項式の等式）などである。 可換環は非可換の場合と比べてその性質はよく調べられている。可換環の自然な例を多く提供する代数幾何学や代数的数論は可換環論の発展の大きな原動力であった。この二つは可換環に密接に関係する分野であるから、一般の環論の一部というよりは、可換環論や可換体論の一部と考えるほうが普通である。 非可換環は可換の場合と比べて奇妙な振る舞いをすることが多くあるので、その理論は可換環論とは極めて毛色の異なったものとなる。非可換論は、それ自身の独自の方法論を用いた発展をする一方で、可換環論の方法論に平行する形で（仮想的な）「非可換空間」上の函数環として幾何学的な方法である種の非可換環のクラスを構築するという方法論が新興している。このような傾向は1980年代の非可換幾何学の発展と量子群の発見に始まる。こうした新たなパラダイムは、非可換環（特に非可換ネーター環）のよりよい理解を導くこととなった 。.
無限降下法
数学における無限降下法（むげんこうかほう、infinite descent）とは、自然数が整列集合であるという性質を利用した、証明の一手法である。背理法の一種であり、数学的帰納法の一型とも見なせる。17世紀の数学者ピエール・ド・フェルマーが創始者であり、彼はこの証明法を好んで用いた。紀元前3世紀にユークリッドが（例えば『原論』7-31で）使用していた、との主張もある。.
新しい！!: 合同算術と無限降下法 · 続きを見る »
Data Encryption Standard
Data Encryption Standard（データ暗号化標準）、略してDES（）は、アメリカ合衆国の旧国家暗号規格、もしくはその規格で規格化されている共通鍵暗号である。ブロック暗号の一種であり、1976年国立標準局 (NBS) がアメリカ合衆国の公式連邦情報処理標準 (FIPS) として採用し、その後国際的に広く使われた。56ビットの鍵を使った共通鍵暗号を基盤としている。そのアルゴリズムは、機密設計要素、比較的短い鍵長、アメリカ国家安全保障局 (NSA) がバックドアを設けたのではないかという疑いなどで、当初物議をかもしていた。結果としてDESは、現代のブロック暗号とその暗号解読の理解に基づいて学究的に徹底した精査を受けた。 DESは今では多くの用途において安全ではないと見なされている。これは主に56ビットという鍵長が短すぎることに起因する。1999年1月、distributed.netと電子フロンティア財団は共同で、22時間15分でDESの鍵を破ったことを公表した。この暗号の理論上の弱さを示した解析結果もあるが、そのような弱さを実際に利用することが可能というわけではない。アルゴリズム自体は実用上安全であるとされ、トリプルDESという形で使われているが、理論的攻撃方法は存在する。近年、Advanced Encryption Standard (AES)に取って代わられた。 なお、標準としてのDESとアルゴリズムを区別することがあり、アルゴリズムを Data Encryption Algorithm (DEA)と称することがある。.
新しい！!: 合同算術とData Encryption Standard · 続きを見る »
Disquisitiones Arithmeticae
Disquisitiones Arithmeticae（ディスクィジティオネス・アリトメティカエ、ラテン語で算術研究の意、以下 D. A. と略す）は、カール・フリードリヒ・ガウス唯一の著書にして、後年の数論の研究に多大な影響を与えた書物である。1801年、ガウス24歳のときに公刊された。その研究の端緒はガウス17歳の1795年にまでさかのぼり、1797年にはほぼ原稿は完成していた。 ラテン語の arithmetica（アリトメティカ）は通常「算術」と訳されるが、ガウスの意図したものは、今日「数論」もしくは「整数論」と呼ばれる学術的領域である高瀬 1995、pp.
新しい！!: 合同算術とDisquisitiones Arithmeticae · 続きを見る »
DVD
市販のDVDレコーダー（ソニー製） 市販のDVD録画用生ディスク（パナソニック製DVD-RAM） DVD（ディー・ブイ・ディー）は、デジタルデータの記録媒体である第2世代光ディスクの一種である。.
複素解析
数学の分科である複素解析（ふくそかいせき、complex analysis）は、複素数の関数に関わる微分法、積分法、変分法、微分方程式論、積分方程式論、複素函数論などの総称である。初等教育で扱う実解析に対比して複素解析というが、現代数学の基礎が複素数であることから、単に解析といえば複素解析を意味することが多い。複素解析の手法は、応用数学を含む数学、理論物理学、工学などの多くの分野で用いられている。.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
解析的整数論
数学において、解析的整数論（かいせきてきせいすうろん、analytic number theory）あるいは解析的数論、解析数論とは、整数についての問題を解くために解析学の手法を用いる、数論の一分野である。解析数論の始まりはペーター・グスタフ・ディリクレ (Peter Gustav Lejeune Dirichlet) がディリクレの算術級数定理の最初の証明を与えるためにディリクレの ''L''-関数を導入したときであるとしばしば言われている。（素数定理やリーマンのゼータ関数を含む）素数に関する結果や（ゴールドバッハの予想やウェアリングの問題のような）の結果が広く知られている。.
新しい！!: 合同算術と解析的整数論 · 続きを見る »
計算機
計算機（けいさんき）は、計算を機械的に、さらには自動的に行う装置である。人間が行う計算を援助するのみのものや、手動操作で自動的ではないものなどは計算器という文字表現をすることがある。.
調和解析
数学の一分野としての調和解析（ちょうわかいせき、Harmonic analysis）は、関数や信号を基本波の重ね合わせとして表現することに関わるもので、フーリエ級数やフーリエ変換及びその一般化について研究する分野である。19世紀から20世紀を通じて、調和解析の扱う主題は広く、応用も信号処理、量子力学、神経科学など多岐にわたる。 「調和 (harmonic)」の語は、もとは物理的な固有値問題から来たもので、（楽器の弦における調和振動の周波数のように）周波数が他の周波数の整数倍となっているような波を意図したものであるが、現在ではその原義を超えて一般化した使い方をされる。 上の古典フーリエ変換は未だ活発な研究の成されている領域であり、特により一般の緩増加超関数などの対象についてのフーリエ変換に関心が持たれる。例えば、シュワルツ超関数 に適当な仮定を課すときに、それらの仮定を のフーリエ変換に関する仮定に翻訳することを考えることができる。はその一例である。ペイリー・ウィーナーの定理からすぐに従うことに、 がコンパクト台を持つ非零超関数（これにはコンパクト台を持つ関数ももちろん含まれる）ならばそのフーリエ変換がコンパクト台を持つことは起こりえない。これは調和解析的な設定のもとでの非常に初等的な形の不確定性原理と言うことができる（フーリエ級数の収束も参照）。 フーリエ級数はヒルベルト空間論の文脈でも有効に調べられており、調和解析と関数解析学とを結ぶものとなっている。.
誕生日のパラドックス
誕生日のパラドックス（たんじょうびのパラドックス、）とは「何人集まれば、その中に誕生日が同一の2人（以上）がいる確率が、50%を超えるか?」という問題から生じるパラドックスである。鳩の巣原理より、366人（閏日も考えるなら367人）集まれば確率は100%となるが、しかしその5分の1に満たない70人しか集まらなくても確率は99.9%を超え、50%を超えるのに必要なのはわずか23人である。 誕生日のパラドックスは論理的な矛盾に基づいているという意味でのパラドックスではなく、結果が一般的な直感と反しているという意味でのパラドックスである。 この理論の背景には によって記述された「湖にいる魚の総数の推定」がある。これは、統計学では標的再捕獲法 (法) として知られている。.
新しい！!: 合同算術と誕生日のパラドックス · 続きを見る »
超越数
超越数（ちょうえつすう、transcendental number）とは、代数的数でない数、すなわちどんな有理係数の代数方程式 のにもならないような複素数のことである。有理数は一次方程式の解であるから、超越的な実数はすべて無理数になるが、無理数 2 は の解であるから、逆は成り立たない。超越数論は、超越数について研究する数学の分野で、与えられた数の超越性の判定などが主な問題である。 よく知られた超越数にネイピア数（自然対数の底）や円周率がある。ただし超越性が示されている実数のクラスはほんの僅かであり、与えられた数が超越数であるかどうかを調べるのは難しい問題だとされている。例えば、ネイピア数と円周率はともに超越数であるにもかかわらず、それをただ足しただけの すら超越数かどうか分かっていない。 代数学の標準的な記号 \mathbb で有理数係数多項式全体を表し、代数的数全体の集合を、代数的数 algebraic number の頭文字を使って と書けば、超越数全体の集合は となる。 なお、本稿では を自然対数とする。.
閉性
数学において、与えられた集合がある演算あるいは特定の性質を満たす関係について閉じている (closed) あるいはその演算がその集合上で閉性（へいせい、closure property; 包性）を持つとは、その集合の元に対して演算を施した結果がふたたびもとの集合に属することを言う。複数の演算からなる集まりが与えられた場合も、それら演算の族に関して閉じているとは、それが個々の演算すべてに関して閉じていることを言う。.
自己同型
数学において自己同型(automorphism)とは、数学的対象から自分自身への同型射のことを言う。ある解釈においては、構造を保ちながら対象をそれ自身へと写像する方法のことで、その対象の対称性を表わしていると言える。対象の全ての自己同型の集合は群を成し、自己同型群(automorphism group)と呼ばれる。大まかにいえば、自己同型は、対象の対称群である。.
零因子
抽象代数学において、環 R の元 a は、ax.
零点
複素解析における正則函数 の零点（れいてん、ぜろてん、zero）は函数が非自明でない限り孤立する。零点が孤立することは、一致の定理あるいは解析接続の一意性の成立において重要である。 孤立零点には重複度 (order of multiplicity) が定まる。代数学における類似の概念として非零多項式の根の重複度（あるいは重根）が定義されるが、多項式函数はその不定元を複素変数と見れば整函数を定めるから、これはその一般化である。.
虚数単位
虚数単位（きょすうたんい、imaginary unit）とは、−1 の平方根（2乗して −1 になる数）である2つの数のうちの1つの数のことである（どちらかを特定することはできない）。そのような数を記号で i または \sqrt で表す。 任意の実数の2乗は0以上なので、虚数単位は実数でない。数の概念を複素数に拡張すると登場する数である。 虚数単位の記号 i は imaginary の頭文字から採られている。ただし、i を別の意味（電流など）の記号として使う場合は、虚数単位を j などで表すことがある（どの文字を用いるかは自由である。その場合にはどの文字を用いるかを初めに必ず宣言する）。 積の交換法則が成り立たないことを許容すると、異なる3個以上の虚数単位からなる数の体系（非可換体）を考えることができる。3個の虚数単位の場合は i,j,k、7つ以上の虚数単位の組には i_1,i_2,\cdots といったように一つずつ添字を付けて表すことが多い。.
除法の原理
数学の特に算術において、自然数や整数に対する通常の剰余付き除法（じょうよつきじょほう、division with remainder; 余りのある割り算）は、ユークリッド除法（ユークリッドじょほう、Euclidean division）または整除法（せいじょほう、entire division）とも呼ばれ、「被除数と除数と呼ばれる二つの自然数に対して、商と剰余と呼ばれる二つの自然数が、与えられた性質を満たして一意的に存在する」ことを主張する定理として明確に規定することができる。このような定理を「除法の原理」（じょほうのげんり、division algorithm; 除法の算法）という。即ち、その主張は「二つの自然数 n および m ≠ 0 に対してある自然数 a および b が存在して n.
新しい！!: 合同算術と除法の原理 · 続きを見る »
Notices of the American Mathematical Society
Notices of the American Mathematical Societyとはアメリカ数学会が発行している、統合されている6/7月号を除いた会員制の月刊誌である。創刊号は1953年に発行された。1995年1月号からの各号は雑誌の公式サイトに全て掲載されている。2010年より主筆をが務めている。表紙は通常が載せられている。.
新しい！!: 合同算術とNotices of the American Mathematical Society · 続きを見る »
S&P グローバル
S&P グローバル（S&P Global Inc.）は、アメリカ合衆国・ニューヨーク市に本拠を置く金融サービス企業。S&P グローバル・レーティングやS&P ダウ・ジョーンズ・インデックスなど、4つの事業体の親会社にあたる。旧社名はマグロウヒルファイナンシャル。ニューヨーク証券取引所上場企業（）。.
新しい！!: 合同算術とS&P グローバル · 続きを見る »
Transport Layer Security
Transport Layer Security（トランスポート・レイヤー・セキュリティ、TLS）は、インターネットなどのコンピュータネットワークにおいてセキュリティを要求される通信を行うためのプロトコルである。主な機能として、通信相手の認証、通信内容の暗号化、改竄の検出を提供する。TLSはIETFによって策定された。 当プロトコルは（特に区別する場合を除いて）SSL (Secure Sockets Layer) と呼ばれることも多い。これは、TLSの元になったプロトコルがSSLであり、そのSSLという名称が広く普及していることによる。 2016年現在の最新版はTLS 1.2である。ただしTLSがネゴシエーション時に使うバージョン番号はSSL時代からの通し番号なので「3.3」である。.
新しい！!: 合同算術とTransport Layer Security · 続きを見る »
World Wide Web
World Wide Web（ワールド・ワイド・ウェブ、略名：WWW）とは、インターネット上で提供されるハイパーテキストシステム。Web、ウェブ、W3（ダブリュー スリー）とも呼ばれる。俗には「インターネット」という表現がワールド・ワイド・ウェブを指す場合もある。.
新しい！!: 合同算術とWorld Wide Web · 続きを見る »
抽象代数学
抽象代数学 (ちゅうしょうだいすうがく、abstract algebra) とは、群、環、体、加群、ベクトル空間や線型環のように公理的に定義される代数的構造に関する数学の研究の総称である。.
新しい！!: 合同算術と抽象代数学 · 続きを見る »
携帯電話
折りたたみ式の携帯電話 スライド式の携帯電話 携帯電話（けいたいでんわ、mobile phone）は、有線電話系通信事業者による電話機を携帯する形の移動体通信システム、電気通信役務。端末を携帯あるいはケータイと略称することがある。 有線通信の通信線路（電話線等）に接続する基地局・端末の間で電波による無線通信を利用する。無線電話（無線機、トランシーバー）とは異なる。マルチチャネルアクセス無線技術の一種でもある。.
根体
抽象代数学における多項式の根体（こんたい、rupture field）は、与えられたを少なくとも一つ含むような最小の非自明な拡大体を言う。すなわち、根体はその多項式の係数体にひとつの根を添加して与えられる拡大体を言う。 この概念は主に が係数体 上既約であるときに意味を持つ。この場合、 の 上の任意の根体が に同型（ただし標準同型ではない）になる。これは に係数を持つ一変数多項式環 を の生成するイデアルで割った環であり、 で割った剰余全体の成す環と見ることもできる。すなわち、この剰余環をとる操作が の根体構成である。 多項式 の根体は必ずしも の全ての根を含む（すなわち、 において一次式の積に分解される）わけではない。しかし、この構成を有限回繰り返し適用して の全ての根を含む有限次拡大を構成することは可能である。このように得られる体は の分解体と言う。またこれは、もっと一般の（既約とは限らない）多項式に対しても適用できる。 「根体」という用語は必須のものではない。既に述べたように、根体を得るには剰余環 をとればよいのであって、剰余環の概念を持ち出せば十分であることから、特段の名称を付けないというような文献も多い。加えて、「根体」("corps de rupture") を別の意味で用いることも稀にあるため注意を要する。.
楕円曲線
数学における楕円曲線（だえんきょくせん、elliptic curve）とは種数 の非特異な射影代数曲線、さらに一般的には、特定の基点 を持つ種数 の代数曲線を言う。 楕円曲線上の点に対し、積に関して、先述の点 を単位元とする（必ず可換な）群をなすように、積を代数的に定義することができる。すなわち楕円曲線はアーベル多様体である。 楕円曲線は、代数幾何学的には、射影平面 の中の三次の平面代数曲線として見ることもできる。より正確には、射影平面上、楕円曲線はヴァイエルシュトラス方程式あるいはヴァイエルシュトラスの標準形 により定義された非特異な平面代数曲線に双有理同値である（有理変換によってそのような曲線に変換される）。そしてこの形にあらわされているとき、 は実は射影平面の「無限遠点」である。 また、の標数が でも でもないとき、楕円曲線は、アフィン平面上次の形の式により定義された非特異な平面代数曲線に双有理同値である。 非特異であるとは、グラフが尖点を持ったり、自分自身と交叉したりはしないということである。この形の方程式もヴァイエルシュトラス方程式あるいはヴァイエルシュトラスの標準形という。係数体の標数が や のとき、上の式は全ての非特異を表せるほど一般ではない（詳細な定義は以下を参照）。 が重根を持たない三次多項式として、 とすると、種数 の非特異平面曲線を得るので、これは楕円曲線である。が次数 でとすると、これも種数 の平面曲線となるが、しかし、単位元を自然に選び出すことができない。さらに一般的には、単位元として働く有理点を少なくとも一つ持つような種数 の代数曲線を楕円曲線と呼ぶ。例えば、三次元射影空間へ埋め込まれた二つの二次曲面の交叉は楕円曲線である。 楕円関数論を使い、複素数上で定義された楕円曲線はトーラスのへの埋め込みに対応することを示すことができる。トーラスもアーベル群で、実はこの対応は群同型かつ位相的に同相にもなっている。したがって、位相的には複素楕円曲線はトーラスである。 楕円曲線は、数論で特に重要で、現在研究されている主要な分野の一つである。例えば、アンドリュー・ワイルズにより（リチャード・テイラーの支援を得て）証明されたフェルマーの最終定理で重要な役割を持っている（モジュラー性定理とフェルマーの最終定理への応用を参照）。また、楕円曲線は、楕円暗号(ECC) や素因数分解への応用が見つかっている。 楕円曲線は、楕円ではないことに注意すべきである。「楕円」ということばの由来については楕円積分、楕円関数を参照。 このように、楕円曲線は次のように見なすことができる。.
正則素数
数論における正則素数（せいそくそすう、regular prime）とは、円の ''p'' 分体の類数を割り切らない素数 p のことであり、エルンスト・クンマーにより、考案された。小さいものから順に と続く。 クンマーは、奇素数の正則性は、p が k.
正規部分群
数学、とくに抽象代数学における正規部分群（せいきぶぶんぐん、normal subgroup）は、群の任意の元による内部自己同型のもとで不変な部分群である。正規部分群は、与えられた群から剰余群を構成するのに用いることができる。 正規部分群の重要性は、エヴァリスト・ガロアによって最初に明らかにされた。.
新しい！!: 合同算術と正規部分群 · 続きを見る »
濃度 (数学)
数学、とくに集合論において、濃度（のうど）あるいは基数（きすう）（cardinal number, cardinality, power）とは、集合の「元の個数」という概念を拡張したものである。有限集合については、濃度は「元の個数」の同意語に過ぎない。。。.
新しい！!: 合同算術と濃度 (数学) · 続きを見る »
有理数
有理数（ゆうりすう、rational number) とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a/b という分数で表せる数のことをいう。b.
有限体
有限体（ゆうげんたい、英語：finite field）とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアにちなんでガロア体あるいはガロア域（ガロアいき、Galois field）などとも呼ぶ。 有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理 が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。.
有限アーベル群
数学の殊に代数学において有限アーベル群（ゆうげんアーベルぐん、finite abelian group）は、可換かつ有限なる群を言う。ゆえにこれは有限型のアーベル群の特別の場合である。にも拘らず、有限アーベル群の概念には独自の長い歴史と特有の様々な応用（合同算術のような純粋数学的なものも、誤り訂正符号のような工学的なものも含めて）を有する。 Niels Abel (1802-1829). Évariste Galois (1811-1832). クロネッカーの定理は有限アーベル群の構造を陽に記述する。すなわち、有限アーベル群は巡回群の直積である。 群の圏において、有限アーベル群の全体は自己双対部分圏を成す。.
新しい！!: 合同算術と有限アーベル群 · 続きを見る »
有限群
数学および抽象代数学において、有限群(ゆうげんぐん、finite group)とは台となっている集合Gが有限個の元しか持たないような群のことである。20世紀の間数学者は、特に有限群のや、可解群や冪零群 の理論などといった、有限群の理論のさまざまな面を深く研究していた。全ての有限群の構造の完全な決定は余りに遠大な目標だった: あり得る構造の数はすぐに圧倒的に大きくなった。しかし、単純群の完全な分類という目標は達成された。つまり任意の有限群の「組み立て部品」は現在では完全に知られている(任意の有限群は組成列を持つ)。 20世紀の後半には、シュヴァレーやといった数学者によってや関連する群の有限類似の理解が深まった。それらの群の族の一つには有限体上の一般線型群がある。 有限群は、ある数学的・物理的対象の構造を保つ変換が有限個しかない場合に、その対象の対称性を考えるときに出て来る群である。他方で、""を扱っているようにもみなせるリー群の理論は、関連するワイル群の影響を強く受ける。有限次ユークリッド空間に作用する鏡映によって生成される有限群も存在する。それゆえ、有限群の特性は、理論物理学や化学などの分野で役目を持つ。.
最小多項式 (体論)
数学の分野である体論において、最小多項式（さいしょうたこうしき、minimal polynomial）は体の拡大 E/F と拡大体 E の元に対して定義される。元の最小多項式は、存在すれば、x を変数とする F 上の多項式環 F の元である。E の元 α が与えられたとき、Jα を f(α).
新しい！!: 合同算術と最小多項式 (体論) · 続きを見る »
情報セキュリティ
情報セキュリティ（じょうほうセキュリティ、）とは、情報の機密性、完全性、可用性を維持すること。.
新しい！!: 合同算術と情報セキュリティ · 続きを見る »
既約多項式
代数学において既約多項式（きやくたこうしき、irreducible polynomial）とは、多項式環の既約元のことである。より冗長には次のようになる。 を単位元をもつ可換環とし、その単数全体を 、一変数多項式環を とおく。多項式 が2条件.
新しい！!: 合同算術と既約多項式 · 続きを見る »
擬似乱数
擬似乱数（ぎじらんすう、pseudorandom numbers）は、乱数列のように見えるが、実際には確定的な計算によって求めている擬似乱数列による乱数。擬似乱数列を生成する機器を擬似乱数列生成器、生成アルゴリズムを擬似乱数列生成法と呼ぶ。 真の乱数列は本来、規則性も再現性もないものであるため、本来は確定的な計算によって求めることはできない（例：サイコロを振る時、今までに出た目から次に出る目を予測するのは不可能）。一方、擬似乱数列は確定的な計算によって作るので、その数列は確定的であるうえ、生成法と内部状態が既知であれば、予測可能でもある。 ある擬似乱数列を、真の乱数列とみなして良いかを確実に決定することはできない。シミュレーション等の一般的な用途には、対象とする乱数列の統計的な性質が、使用対象とする目的に合致しているかどうかを判断する。これを検定と言い、各種の方法が提案されている。 しかし、特に暗号に使用する擬似乱数列については注意が必要であり、シミュレーション等には十分な擬似乱数列生成法であっても、暗号にそのまま使用できるとは限らない。暗号で使用する擬似乱数列については暗号論的擬似乱数の節および暗号論的擬似乱数生成器の記事を参照。.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数論
数論（すうろん、number theory）とは数、特に整数およびそれから派生する数の体系（代数体、局所体など）の性質について研究する数学の一分野である。整数論とも言う。ふつうは代数学の一分野とみなされることが多い。おおむね次の四つに分けられる。;初等整数論;代数的整数論;解析的整数論;数論幾何学 フェルマーの最終定理のように、数論のいくつかの問題については、他の数学の分野に比して問題そのものを理解するのは簡単である。しかし、使われる手法は多岐に渡り、また非常に高度であることが多い。 ガウスは次のような言葉を残している。.
整域
抽象代数学における整域（せいいき、integral domain）は、零因子を持たない可換環であって、自明環 でないものをいう。整域の概念は整数全体の成す環の一般化になっており、整除可能性を調べるのに自然な設定を与える。環の定義に乗法単位元を含めない場合であっても、単に可換環あるいは整域と言ったときには乗法単位元を持つと仮定することが少なくない。即ち、整域とは単位的可換域のことをいう。 上記の如く「整域」を定めるのが広く採用されているけれども、いくらかの揺れもある。特に、非可換な整域を許すことが時としてある。しかし、「整域」(integral domain) という語を可換の場合のために用い、非可換の場合には「域」(domain) を用いることにすると約束するのがたいていの場合には有効である（奇妙な話ではあるが、この文脈では形容辞「整」の中に「可換」の意も含まれるということになる）。別な文献では（ラングが顕著だが）整環 (entire ring) を用いるものがある「整環」という用語は、代数体の整環 (order) などに対しても用いられる。。 いくつか特定の種類の整域のクラスについては、以下のような包含関係が成立する。 零因子の非存在（零積法則）は、整域において非零元による乗法の簡約律が満足されることを意味する。つまり、a ≠ 0 のとき、等式 から が結論できる。.
整数
数学における整数（せいすう、integer, whole number, Ganze Zahl, nombre entier, número entero）は、0 とそれに 1 ずつ加えていって得られる自然数 (1, 2, 3, 4, …) および 1 ずつ引いていって得られる数 (−1, −2, −3, −4, …) の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は普通、太字の Z または黒板太字の \mathbb Z で表す。これはドイツ語 Zahlen（「数」の意・複数形）に由来する。 抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を有理整数 (rational integer) と呼ぶことがある接頭辞「有理（的）」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
整数の合同
ウスの『Disquisitiones Arithmeticae（整数論）』のタイトルページ。 整数の合同（ごうどう、congruence）は、数学において二つの整数の間に定められる関係である。初めてこれを構造として研究したのはドイツの数学者ガウスで、1801年に発表された著書『Disquisitiones Arithmeticae』でも扱われている。今日では整数の合同は、数論や一般代数学あるいは暗号理論などに広く用いられる。 整数の合同に基づく数学の分野は合同算術 (modular arithmetic) と呼ばれる。これは整数そのものを直接的に扱うのではなく、何らかの整数（法と呼ばれる、以下本項では で表す）で割った剰余を代表元として扱う算術である。合同算術の歴史や道具立てあるいはその応用については合同算術の項を参照。また、より包括的で堅苦しくない説明は剰余類環 の項へ譲る。.
新しい！!: 合同算術と整数の合同 · 続きを見る »
1
一」の筆順 1（一、いち、ひと、ひとつ）は、最小の正の整数である。0 を自然数に含めない流儀では、最小の自然数とも言える。整数の通常の順序において、0 の次で 2 の前の整数である。1 はまた、実数を位取り記数法で記述するための数字の一つでもある。 「無」を意味する 0 に対して、1 は有・存在を示す最原初的な記号なので、物事を測る基準単位、つまり数や順序を数える際の初めである。英語の序数詞では、1st、first となる。ラテン語では unus（ウーヌス）で、接頭辞 uni- はこれに由来する。.
1801年
19世紀最初の年である。.
新しい！!: 合同算術と1801年 · 続きを見る »
