ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
無料
ブラウザよりも高速アクセス!
 

互いに素

索引 互いに素

二つの整数 が互いに素(たがいにそ、coprime, co-prime, relatively prime, mutually prime)であるとは、 を共に割り切る正の整数が のみであることをいう。このことは の最大公約数 が であることと同値である。 が互いに素であることを、記号で と表すこともある。 例えば と を共に割り切る正の整数は に限られるから、これらは互いに素である。一方で と は共に で割り切れるから、これらは互いに素でない。 互いに素であることの判定は素因数分解を用いて行うこともできるが、二つの整数のうち少なくとも一方が巨大である場合など一般には困難である。素因数分解によって公約数を調べる方法よりも、ユークリッドの互除法によって最大公約数を調べる方法のほうが遥かに高速である。 正の整数 と互いに素となる( から の間の)整数の個数は、オイラー関数 によって与えられる。 三つの整数 が互いに素であるとは、 が成り立つことをいう。また、、、 がすべて に等しいとき、 は対ごとに素(pairwise coprime)またはどの二つも互いに素であるという。一般に、互いに素であるからといって対ごとに素であるとは限らない(例:)。一般の 個の整数についても同様に定義される。.

20 関係: 可逆元事象バーゼル問題モジュラ逆数ユークリッドの互除法リーマンゼータ関数レオンハルト・オイラーベズーの等式オイラーのφ関数剰余類環倍数確率算術の基本定理素因数分解素集合素数独立 (確率論)最大公約数最小公倍数整数

可逆元

数学、とくに代数学における可逆元(かぎゃくげん、invertible element)または単元(たんげん、unit)とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。.

新しい!!: 互いに素と可逆元 · 続きを見る »

事象

事象(じしょう).

新しい!!: 互いに素と事象 · 続きを見る »

バーゼル問題

バーゼル問題(バーゼルもんだい、Basel problem)は、級数の問題の一つで、平方数の逆数全ての和はいくつかという問題である。1644年に によって提起され、1735年にレオンハルト・オイラーによって解かれた。バーゼルはオイラーの故郷であり、この問題を解くのに失敗したベルヌーイ一家の故郷でもある。.

新しい!!: 互いに素とバーゼル問題 · 続きを見る »

モジュラ逆数

合同算術におけるモジュラ逆数(モジュラぎゃくすう、modular multiplicative inverse)は、与えられた整数 a と法 m に関して という関係にある整数 x の属する合同類(あるいはその標準的な代表元)をいう。即ち、整数の法 m に関する合同類環 Z/mZ における乗法逆元である。この式は と書いても同じである。ある種の応用においては、モジュラ逆数 x が Z/mZ に属さないような場合を考えることもある。 a の m を法とする逆数が存在するための必要十分条件は a と m とが互いに素(即ち、最大公約数 gcd(a, m) が 1)となることである。法 m に関する a のモジュラ逆数が存在するならば、m を法とした a による除法(「余り付き除法」ではない)を、モジュラ逆数を掛けることとして定義することができる。.

新しい!!: 互いに素とモジュラ逆数 · 続きを見る »

ユークリッドの互除法

ユークリッドの互除法(ユークリッドのごじょほう、)は、2 つの自然数の最大公約数を求める手法の一つである。 2 つの自然数 a, b (a ≧ b) について、a の b による剰余を r とすると、 a と b との最大公約数は b と r との最大公約数に等しいという性質が成り立つ。この性質を利用して、 b を r で割った剰余、 除数 r をその剰余で割った剰余、と剰余を求める計算を逐次繰り返すと、剰余が 0 になった時の除数が a と b との最大公約数となる。 明示的に記述された最古のアルゴリズムとしても知られ、紀元前300年頃に記されたユークリッドの『原論』第 7 巻、命題 1 から 3 がそれである。.

新しい!!: 互いに素とユークリッドの互除法 · 続きを見る »

リーマンゼータ関数

1.

新しい!!: 互いに素とリーマンゼータ関数 · 続きを見る »

レオンハルト・オイラー

レオンハルト・オイラー(Leonhard Euler, 1707年4月15日 - 1783年9月18日)は、18世紀の数学者・天文学者(天体物理学者)。 18世紀の数学の中心となり、続く19世紀の厳密化・抽象化時代の礎を築いた 日本数学会編『岩波数学辞典 第4版』、岩波書店、2007年、項目「オイラー」より。ISBN 978-4-00-080309-0 C3541 。スイスのバーゼルに生まれ、現在のロシアのサンクトペテルブルクにて死去した。.

新しい!!: 互いに素とレオンハルト・オイラー · 続きを見る »

ベズーの等式

ベズーの等式 (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 つの組の一方が出る。 ベズーの補題は任意の主イデアル整域において正しいが、正しくないような整域が存在する。.

新しい!!: 互いに素とベズーの等式 · 続きを見る »

オイラーのφ関数

φ(''n'')の最初の1000個の値 オイラーのトーシェント関数(オイラーのトーシェントかんすう、Euler's totient function)は各正の整数 に対して、 から までの自然数のうち と互いに素なものの個数を として与えることによって定まる数論的関数 である。慣例的に と表記されるため、オイラーの 関数(ファイかんすう、phi function)とも呼ばれる。また、簡略的にオイラーの関数と呼ぶこともある。 例えば、 のうち と互いに素なのは の 2 個であるから、定義によれば である。また例えば のうち 以外は全て と互いに素だから、 と定まる。なおトーシェント関数の値域に含まれない自然数をノントーシェントという。 から までの値は以下の通りである。 1761年にレオンハルト・オイラーが発見したとされるが、それより数年前に日本の久留島義太が言及したとも言われる。.

新しい!!: 互いに素とオイラーのφ関数 · 続きを見る »

剰余類環

数学において、自然数 を法とする合同類環(ごうどうるいかん)あるいは剰余(類)環(じょうよかん、n, n)は、整数を で割った「剰余」を抽象的な類別として捉えたものである。 本項は剰余類環 の代数的な定義と性質について述べる。合同類別に関するより平易な導入については整数の合同を参照のこと。.

新しい!!: 互いに素と剰余類環 · 続きを見る »

倍数

数学において、数 の倍数(ばいすう、英:multiple)とは、 を整数倍した数、あるいはそれらの総称である。つまり、 を指す。 ならば、 の倍数は無数に存在する。 を整数に限ると、 の倍数とは「 で割り切れる整数」のことであり、 の約数(「 を割り切る整数」)と対比されることも多いが、倍数は が整数でなくても定義できる。 倍数の中で 以外は符号の違いだけの組が現れるので、 と表すこともある。とくに が正の整数で負の数を考えない、あるいは本質的でない場合は(正の)倍数として だけを考えることも多い。 整数全体からなる集合 \mathbb を用いると、 の倍数は a\mathbb である。.

新しい!!: 互いに素と倍数 · 続きを見る »

確率

率(かくりつ、)とは、偶然性を持つある現象について、その現象が起こることが期待される度合い、あるいは現れることが期待される割合のことをいう。確率そのものは偶然性を含まないひとつに定まった数値であり、発生の度合いを示す指標として使われる。.

新しい!!: 互いに素と確率 · 続きを見る »

算術の基本定理

pp.

新しい!!: 互いに素と算術の基本定理 · 続きを見る »

素因数分解

素因数分解 (そいんすうぶんかい、prime factorization) とは、ある正の整数を素数の積の形で表すことである。ただし、1 に対する素因数分解は 1 と定義する。 素因数分解には次のような性質がある。.

新しい!!: 互いに素と素因数分解 · 続きを見る »

素集合

2つの集合が交わりを持たない (disjoint) あるいは互いに素(たがいにそ、mutually disjoint)であるとは、それらが共通の元を持たぬことをいう。一般に、与えられた集合族が互いに素(pairwise disjoint)、あるいは素集合系(そしゅうごうけい、disjoint sets)であるとは、その集合族に含まれるどの2つの集合をえらんでも、それらの選び方に依らずそれらが常に共通部分を持たないことをいう。例えば、 と は互いに素である。.

新しい!!: 互いに素と素集合 · 続きを見る »

素数

素数(そすう、prime number)とは、 より大きい自然数で、正の約数が と自分自身のみであるもののことである。正の約数の個数が である自然数と言い換えることもできる。 より大きい自然数で素数でないものは合成数と呼ばれる。 一般には、素数は代数体の整数環の素元として定義される(そこでは反数などの同伴なものも素数に含まれる)。このため、有理整数環 \mathbb Z での素数は有理素数(ゆうりそすう、rational prime)と呼ばれることもある。 最小の素数は である。素数は無数に存在する。したがって、素数からなる無限数列が得られる。 素数が無数に存在することは、紀元前3世紀頃のユークリッドの著書『原論』で既に証明されていた。 自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。 分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。2018年1月現在で知られている最大の素数は、2017年12月に発見された、それまでに分かっている中で50番目のメルセンヌ素数 であり、十進法で表記したときの桁数は2324万9425桁に及ぶ。.

新しい!!: 互いに素と素数 · 続きを見る »

独立 (確率論)

立(どくりつ、independent)とは、確率論において、2つのが成立する確率がそれぞれの確率の積で表されることを言う。2つの確率変数が独立であるというのは、「ある確率変数の値が一定範囲に入る事象」と「別の確率変数の値が別の一定範囲に入る事象」が、考えられるどのような「一定範囲」(「考えられる」とは通常ボレル集合族を指す)を定めても事象として独立であることを言う。 確率論における独立は、他の分野における独立性の概念と区別する意味で、確率論的独立(かくりつろんてきどくりつ、stochastic independence)あるいは統計的独立(とうけいてきどくりつ、statistical independence)などとも呼ばれる。 2つの事象が独立といった場合は、片方の事象が起きたことが分かっても、もう片方の事象の起きる確率が変化しないことを意味する。2つの確率変数が独立といった場合は、片方の変数の値が分かっても、もう片方の変数の分布が変化しないことを意味する。.

新しい!!: 互いに素と独立 (確率論) · 続きを見る »

最大公約数

40と15に関する次の要素が埋め込まれた図: 積(600)、 商と剰余(40÷15.

新しい!!: 互いに素と最大公約数 · 続きを見る »

最小公倍数

40と15に関する次の要素が埋め込まれた図: 積(600)、 商と剰余(40÷15.

新しい!!: 互いに素と最小公倍数 · 続きを見る »

整数

数学における整数(せいすう、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) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.

新しい!!: 互いに素と整数 · 続きを見る »

ここにリダイレクトされます:

互いに素な整数

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »