Ideal (ring theory) (original) (raw)

About DBpedia

Ideál je matematický pojem z oblasti algebry označující podmnožinu nějakého okruhu s jistými „dobrými“ vlastnostmi. * Tak jako normální podgrupy jsou speciálními případy podgrup, jsou rovněž ideály jisté podmnožiny daného okruhu.

Property Value
dbo:abstract Ideál je matematický pojem z oblasti algebry označující podmnožinu nějakého okruhu s jistými „dobrými“ vlastnostmi. * Tak jako normální podgrupy jsou speciálními případy podgrup, jsou rovněž ideály jisté podmnožiny daného okruhu. (cs) Un ideal d'un anell A és un subconjunt I d'elements de A que és tancat respecte a i que compleix una sèrie de condicions que detallarem a continuació. Per permetre l'aplicació a anells no commutatius, es defineixen ideals per l'esquerra i ideals per la dreta. Els ideals per les dues bandes (per exemple els d'anells commutatius) s'anomenen ideals bilàters o senzillament ideals. El concepte d'ideal fou proposat per primera vegada per Richard Dedekind el 1876 a la tercera edició del seu llibre Vorlesungen über Zahlentheorie ("Lliçons sobre teoria dels nombres"). Era una generalització del concepte de desenvolupat per Ernst Kummer. Més endavant la idea fou ampliada per David Hilbert i especialment Emmy Noether. La principal utilitat dels ideals que en motiva el seu ús és que permeten definir una relació d'equivalència que dona lloc al concepte d'anell quocient. (ca) في نظرية الحلقات، و هي فرع من الجبر التجريدي، المثالي (بالإنجليزية: Ideal)‏ مجموعة جزئية خاصة من حلقة تحقق عددا من الشروط. و يعمم مفهوم المثالي مفهوم بعض المجموعات الجزئية من مجموعة الأعداد الصحيحة كمجموعة الأعداد الزوجية أو مجموعة مضاعفات العدد 3. جمع وطرح الأعداد الزوجية يعطيان دائما عددا زوجيا، وضرب عدد زوجي في عدد صحيح ما يعطي دائما عددا زوجيا. هذان الخاصيتان المتمثلتان في الانغلاق والمص هما اللتان تعرفان مفهوم المجموعة المثالية. (ar) Στη Θεωρία δακτυλίων ιδεώδες είναι ένα ειδικό υποσύνολο του δακτυλίου. (el) En abstrakta algebro, idealo de ringo estas tia adicia subgrupo de , ke al ĝi apartenas la produtoj (maldekstra idealo), (dekstra idealo), aŭ kaj (ambaŭflanka aŭ duflanka idealo) elementoj kaj . La rolo de idealoj en la ringo-teorio estas simila al la rolo de normalaj subgrupoj en la grupo-teorio. Specife, la de ringa homomorfio estas idealo, kaj se estas subringo de oni povas krei la se kaj nur se estas idealo. Simile oni difinas la idealojn en semigrupoj. (eo) In der abstrakten Algebra ist ein Ideal eine Teilmenge eines Rings, die das Nullelement enthält und abgeschlossen gegenüber Addition und Subtraktion von Elementen des Ideals sowie abgeschlossen gegenüber Multiplikation mit beliebigen Ringelementen ist. Beispielsweise sind Summe und Differenz zweier gerader Zahlen wieder gerade und zudem ist das Produkt einer geraden Zahl mit einer beliebigen ganzen Zahl ebenfalls gerade. Zudem ist die 0 als additiv Neutrales gerade. Das heißt, die Menge der geraden Zahlen ist ein Ideal im Ring der ganzen Zahlen. Die Bezeichnung „Ideal“ ist abgeleitet aus dem Begriff „ideale Zahl“: Ideale können als Verallgemeinerung von Zahlen angesehen werden. Das Konzept der Ideale hat seinen Ursprung in der algebraischen Zahlentheorie des 19. Jahrhunderts bei Ernst Eduard Kummer und wurde weiterentwickelt von Richard Dedekind und Leopold Kronecker. Bei David Hilbert war ein Ideal ein System von unendlich vielen ganzen algebraischen Zahlen eines Rationalitätsbereiches (algebraischer Zahlkörper), mit der Eigenschaft, dass auch sämtliche Linearkombinationen dieser (mit ganzen algebraischen Zahlen als Koeffizienten) darin enthalten sind. Diese Definition entspricht dem heutigen Begriff des gebrochenen Ideals. In der Literatur findet man häufig die Begriffe Linksideal, Rechtsideal und zweiseitiges Ideal. Siehe dazu unten bei den . (de) In ring theory, a branch of abstract algebra, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers preserves evenness, and multiplying an even number by any integer (even or odd) results in an even number; these closure and absorption properties are the defining properties of an ideal. An ideal can be used to construct a quotient ring in a way similar to how, in group theory, a normal subgroup can be used to construct a quotient group. Among the integers, the ideals correspond one-for-one with the non-negative integers: in this ring, every ideal is a principal ideal consisting of the multiples of a single non-negative number. However, in other rings, the ideals may not correspond directly to the ring elements, and certain properties of integers, when generalized to rings, attach more naturally to the ideals than to the elements of the ring. For instance, the prime ideals of a ring are analogous to prime numbers, and the Chinese remainder theorem can be generalized to ideals. There is a version of unique prime factorization for the ideals of a Dedekind domain (a type of ring important in number theory). The related, but distinct, concept of an ideal in order theory is derived from the notion of ideal in ring theory. A fractional ideal is a generalization of an ideal, and the usual ideals are sometimes called integral ideals for clarity. (en) En álgebra moderna, un ideal es una subestructura algebraica definida en la teoría de anillos. Los ideales generalizan, de manera fecunda, el estudio de la divisibilidad entre los números enteros hacia otros objetos matemáticos. De este modo, es posible enunciar versiones muy generales de teoremas de la aritmética elemental, tales como el teorema chino del resto o el teorema fundamental de la aritmética, válidos para los ideales. Se puede comparar también esta noción con la de subgrupo normal para la estructura algebraica de grupo en el sentido de que facilita definir la noción de anillo cociente como una extensión natural de la noción de grupo cociente.​ (es) Dalam teori gelanggang, sebuah cabang dari aljabar abstrak, ideal dari gelanggang adalah himpunan bagian khusus dari elemen. Ideal menggeneralisasi himpunan bagian tertentu dari bilangan bulat, seperti bilangan genap atau kelipatan 3. Penambahan dan pengurangan bilangan genap mempertahankan kemerataan, dan mengalikan bilangan genap dengan bilangan bulat lainnya menghasilkan bilangan genap lainnya; dan sifat absorpsi adalah sifat yang menentukan dari suatu ideal. Ideal dapat digunakan untuk gelanggang hasil bagi dengan cara yang sama di teori grup, subgrup normal dapat digunakan untuk grup hasil bagi. Di antara bilangan bulat, yang ideal sesuai satu-untuk-satu dengan : dalam gelanggang, ideal adalah yang terdiri dari kelipatan satu bilangan non-negatif. Namun, dalam gelanggang lain, ideal mungkin tidak sesuai langsung dengan elemen gelanggang, dan sifat bilangan bulat tertentu, ketika digeneralisasikan ke gelanggang, lebih alami melekat pada ideal dari elemen. Misalnya, gelanggang dianalogikan dengan bilangan prima, dan dapat digeneralisasikan menjadi ideal. Ada versi untuk ideal (jenis gelanggang yang penting dalam teori bilangan). Terkait, tetapi berbeda, konsep dari dalam diturunkan dari gagasan ideal dalam teori gelanggang. Sebuah adalah generalisasi dari suatu ideal, dan ideal biasa kadang-kadang disebut ideal integral untuk kejelasan. (in) 抽象代数学の分野である環論におけるイデアル（英: ideal, 独: Ideal）は環の特別な部分集合である。整数全体の成す環における、偶数全体の成す集合や 3 の倍数全体の成す集合などの持つ性質を一般化したもので、その部分集合に属する任意の元の和と差に関して閉じていて、なおかつ環の任意の元を掛けることについても閉じているものをイデアルという。 整数の場合であれば、イデアルと非負整数とは一対一に対応する。即ち整数環 Z の任意のイデアルは、それぞれただ一つの整数の倍数すべてからなる主イデアルになる。しかしそれ以外の一般の環においてはイデアルと環の元とは全く異なるものを指しうるもので、整数のある種の性質を一般の環に対して一般化する際に、環の元を考えるよりもそのイデアルを考えるほうが自然であるということがある。例えば、環の素イデアルは素数の環における対応物であり、中国の剰余定理もイデアルに対するものに一般化することができる。素因数分解の一意性もデデキント環のイデアルに対応するものが存在し、数論において重要な役割を持つ。 イデアルは整数の算術から定義される合同算術の方法と同様の剰余環（商環）の構成にも用いられる、この点において群論で剰余群（商群）の構成に用いられる正規部分群と同様のものと理解することができる。 順序集合に対するの概念は環論におけるこのイデアルの概念に由来する。またイデアルの概念を一般化して分数イデアルの概念を考えることもでき、それとの区別のためここで扱う通常のイデアルは整イデアルと呼ばれることもある。 (ja) En mathématiques, et plus particulièrement en algèbre, un idéal est un sous-ensemble remarquable d'un anneau : c'est un sous-groupe du groupe additif de l'anneau qui est, de plus, stable par multiplication par les éléments de l'anneau. À certains égards, les idéaux s'apparentent donc aux sous-espaces vectoriels — qui sont des sous-groupes additifs stables par une multiplication externe ; à d'autres égards, ils se comportent comme les sous-groupes distingués — ce sont des sous-groupes additifs à partir desquels on peut construire une structure d'anneau quotient. Apparus à la fin du XIXe siècle en théorie algébrique des nombres pour généraliser à des entiers algébriques la décomposition en facteurs premiers des entiers, les idéaux ont rapidement joué un rôle central en algèbre et en géométrie algébrique, en particulier à la suite des travaux d'Emmy Noether isolant l'importance des conditions de chaîne. Au-delà de l'algèbre, ils interviennent de façon centrale dans les développements du XXe siècle de certains chapitres d'analyse fonctionnelle, notamment l'étude des algèbres de Banach et l'analyse harmonique commutative. En algèbre commutative, deux types d'idéaux sont omniprésents : les idéaux maximaux et, sans doute encore davantage, les idéaux premiers. Dans l'anneau des entiers relatifs, tant les idéaux maximaux que les idéaux premiers (non nuls) sont les pZ, où p est un nombre premier ; dans les anneaux commutatifs plus abstraits ces familles d'idéaux généralisent la notion de nombre premier. En théorie des anneaux non commutatifs, il faut prendre garde à l'existence juxtaposée de deux concepts distincts d'idéaux : les idéaux à gauche (ou à droite), qui sont des sous-modules, et les idéaux bilatères, ceux par lesquels on peut quotienter. Alors que la structure des anneaux non commutatifs les plus généraux peut être extrêmement complexe, on a plus de prise sur ceux vérifiant les conditions de finitude découvertes par Emmy Noether et Emil Artin, à savoir des conditions de chaîne sur leurs idéaux à gauche ou à droite. (fr) ( 다른 뜻에 대해서는 아이디얼 (동음이의) 문서를 참고하십시오.) 환론에서 아이디얼(영어: ideal) 또는 이데알(독일어: Ideal)은 특정한 조건을 만족시키는 환의 부분집합이다. 이에 대하여 몫환을 취할 수 있으며, 군론에서 정규 부분군에 대하여 몫군을 취하는 것과 유사한 개념이다. 아이디얼을 사용하여 수론적 개념을 보다 일반적인 환들에 대하여 확장시킬 수 있다. 예를 들어, 소수의 개념을 확장한 소 아이디얼 및 서로소인 수의 개념을 확장한 서로소 아이디얼을 정의하면, 일반화된 중국인의 나머지 정리를 증명할 수 있다. 수론에서 중요한 개념인 데데킨트 정역의 경우, 아이디얼에 대해 산술의 기본정리까지도 성립함을 보일 수 있다. (즉, 임의의 0이 아닌 아이디얼은 소 아이디얼들의 곱으로 유일하게 표현할 수 있다.) (ko) Een ideaal is in de abstracte algebra, specifiek in de ringtheorie, een deelgebied van de wiskunde, een deelverzameling van een ring, die gesloten is ten aanzien van lineaire combinaties met coëfficiënten uit de ring. Dat houdt in dat een ideaal ten aanzien van de optelling een ondergroep is en dat de vermenigvuldiging, zowel links als rechts, van een element uit het ideaal met een element van de ring een resultaat geeft dat binnen het ideaal ligt. De term 'ideaal' verwijst naar het begrip ideaal getal, waarvan idealen een generalisatie vormen in verband met deelbaarheidseigenschappen. De specifieke studie van idealen in commutatieve ringen met eenheidselement heette aanvankelijk ideaaltheorie, maar tegenwoordig is commutatieve algebra gebruikelijker. (nl) In matematica, e più precisamente in algebra, un ideale è un sottoinsieme di un anello chiuso rispetto alla somma interna e al prodotto con qualsiasi elemento dell'anello. (it) Em teoria dos anéis, um ramo da álgebra abstrata, um ideal é um subconjunto especial de um anel. O conceito generaliza de uma maneira apropriada algumas importantes propriedades dos inteiros como "número par" e "múltiplo de 3". Por exemplo, em anéis estuda-se ideais primos ao invés de números primos, define-se ideais coprimos como generalizações dos números coprimos e pode-se provar um teorema do resto chinês para ideais. Nos domínios de Dedekind, importante classe de anéis para a teoria dos números, pode-se inclusive imitar-se uma versão do teorema fundamental da aritmética. Nesses anéis, todo ideal não-zero pode ser escrito como um produto único de ideais primos. Um ideal pode ser usado para a construção de um anel quociente da mesma forma que um subgrupo normal pode ser usado para a construção de um grupo quociente. (pt) Ideał – podzbiór pierścienia o własnościach pozwalających na konstrukcję pierścienia ilorazowego. Pojęcie ideału zostało wprowadzone przez Dedekinda jako uogólnienie pojęcia liczby idealnej, rozważanego przez Kummera. Badania Dedekinda były kontynuowane przez Hilberta i, szczególnie, przez Emmy Noether. Ideały odgrywają w teorii pierścieni rolę analogiczną do podgrup normalnych w teorii grup. (pl) Идеал — одно из основных понятий общей алгебры. Наибольшее значение идеалы имеют в теории колец, но также определяются и для полугрупп, алгебр и некоторых других алгебраических структур. Название «идеал» ведёт своё происхождение от «идеальных чисел», которые были введены в 1847 году немецким математиком Э. Э. Куммером. Простейшим примером идеала может служить подкольцо чётных чисел в кольце целых чисел. Идеалы дают удобный язык для обобщения результатов теории чисел на общие кольца. Например, в кольцах вместо простых чисел изучаются простые идеалы, как обобщение взаимно простых чисел вводятся взаимно простые идеалы, можно доказать аналог китайской теоремы об остатках для идеалов. В некотором важном классе колец (т. н. дедекиндовых) можно даже получить аналог основной теоремы арифметики: в этих кольцах каждый ненулевой идеал можно единственным образом представить как произведение простых идеалов. Примером идеала может служить множество целых чисел, которые делятся на 6: , если рассматривать их в кольце . Это множество является идеалом потому, что и сумма любых двух таких чисел, и произведение любого из них на любое целое число сами входят в это множество. При этом то же самое множество не будет идеалом в кольце вещественных чисел, так как результат умножения какого-либо из этих чисел на произвольное вещественное число в общем случае не входит в это множество. (ru) En icke-tom delmängd I till ringen R kallas för ett ideal om: 1. I är en additiv delgrupp till R.2. Om för varje element i som tillhör I och r som tillhör R följer, att både i·r och r·i tillhör I. Den icke-tomma delmängden I av de hela talen Z, är ett ideal om för alla x och y i I följer att x - y tillhör I. Inom ringteorin, är ett ideal ett av Richard Dedekind infört begrepp i anslutning till ett uppslag av Ernst Kummer, kallat "ideala tal". Detta begrepp var tänkt för att bevara den entydiga faktoriseringen för algebraiska heltal (motsvarande heltalens primtalsfaktoriseringar). Begreppet ideal är en generalisering av detta begrepp inom den abstrakta algebran. Emmy Noether byggde senare ut definitionen till det axiomatiska ringteorin. (sv) 理想（Ideal）是一个环论中的概念。若某环的子集为在原环加法的定义下的子群，且其中的元素在原环乘法下与任意原环中的元素结果都在该子群中，则称其为原环的理想。通俗地说，一环的理想在加法上成群且在乘法上表现如同一个黑洞。理想把整数的某些子集，例如偶数或3的倍数组成的集合给一般化了。两个偶数相加或相减结果仍是偶数，偶数与任意整数相乘的结果也仍是偶数；这些闭包和吸收的性质正是理想的定义。理想可以被用来构造商环，这类似于在群论里，正规子群可以被用来构造商群。 (zh) Ідеал — підструктура з певними властивостями в абстрактній алгебрі. Спочатку виникло поняття ідеал кільця, пізніше було узагальнено для інших алгебраїчних структур. Найважливішу роль ідеали відіграють при вивченні кілець, напівгруп, алгебр над кільцем та ін. Назва «ідеал» веде своє походження від . Ідеали дають зручну мову для узагальнення результатів теорії чисел на загальні кільця. Прикладом ідеала може служити підкільце парних чисел в кільці цілих чисел, позначають 2Z. (uk)
dbo:wikiPageExternalLink https://math.stackexchange.com/q/866598
dbo:wikiPageID 25977 (xsd:integer)
dbo:wikiPageLength 37237 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1100775345 (xsd:integer)
dbo:wikiPageWikiLink dbr:Prime_ideal dbr:Princeton_University_Press dbr:Principal_ideal dbr:Principal_ideal_domain dbr:Proper_subset dbr:Module_(mathematics) dbr:Prime_ring dbr:Primitive_ideal dbr:Semiprime_ring dbr:Noether_isomorphism_theorem dbr:Non-negative_integer dbr:David_Hilbert dbc:Ideals_(ring_theory) dbr:Richard_Dedekind dbr:Ring_of_integers dbr:Dedekind_domain dbr:Inclusion_map dbr:Integral_domain dbr:Introduction_to_Commutative_Algebra dbr:Jacobson_radical dbr:Invertible_ideal dbr:Quotient_ring dbr:Continuous_function dbr:Matrix_(mathematics) dbr:Maximal_submodule dbr:Nil_ideal dbr:Nilradical_of_a_ring dbr:Normal_subgroup dbr:Order_theory dbr:Quantale dbr:Quotient_group dbr:Emmy_Noether dbr:Fundamental_theorem_of_arithmetic dbr:Modular_arithmetic dbr:Modular_lattice dbr:Monoid dbr:Congruence_relation dbr:Annihilator_(ring_theory) dbr:Linear_combinations dbr:Stack_Exchange dbr:Closure_(mathematics) dbr:Commutative_ring dbr:Complete_lattice dbr:Embedding dbr:Ideal_(ring_theory) dbr:Ideal_norm dbr:Ideal_number dbr:Ideal_quotient dbr:Ideal_sheaf dbr:Ideal_theory dbr:Idealizer dbr:Kernel_(algebra) dbr:Krull's_theorem dbr:Subgroup dbr:Matrix_ring dbr:Maximal_ideal dbr:Additive_group dbc:Algebraic_structures dbr:Distributive_lattice dbr:Irreducible_ideal dbr:Minimal_ideal dbr:Nilpotent_ideal dbr:Algebraic_number_theory dbr:Ernst_Kummer dbr:Euclidean_division dbr:Field_(mathematics) dbr:Finitely_generated_module dbr:Nilpotent_element dbr:Number_theory dbr:Forgetful_functor dbr:Fractional_ideal dbr:Primary_ideal dbr:Radical_of_an_ideal dbr:Regular_ideal dbr:Ring_(mathematics) dbr:Ring_theory dbr:Prime_number dbr:System_of_parameters dbc:Algebraic_number_theory dbc:Commutative_algebra dbr:Abstract_algebra dbr:Chinese_remainder_theorem dbr:Surjective_function dbr:Tor_functor dbr:Zorn's_lemma dbr:Artinian_ring dbr:Boolean_prime_ideal_theorem dbr:Polynomial dbr:Field_extension dbr:Group_theory dbr:Factor_ring dbr:Ideal_(order_theory) dbr:Integer dbr:Integral_extension dbr:Michiel_Hazewinkel dbr:Natural_number dbr:Ian_G._Macdonald dbr:Reduced_ring dbr:Nakayama's_lemma dbr:Splitting_of_prime_ideals_in_Galois_extensions dbr:Simple_ring dbr:Simple_module dbr:Subset dbr:Subobject dbr:Vorlesungen_über_Zahlentheorie dbr:Ring_homomorphism dbr:Springer-Verlag dbr:Parameter_ideal dbr:Ascending_chain dbr:Dirichlet dbr:Pointwise_multiplication dbr:Skew-field dbr:Quotient_field dbr:M._F._Atiyah dbr:Unit_element dbr:Semiprime_ideal dbr:Even_numbers dbr:Monoid_object dbr:Macaulay_2
dbp:wikiPageUsesTemplate dbt:-" dbt:Authority_control dbt:Citation dbt:Cite_book dbt:Cite_web dbt:ISBN dbt:Main dbt:Math dbt:Refbegin dbt:Refend dbt:Reflist dbt:Ring_theory_sidebar dbt:Short_description dbt:Abs dbt:Mset
dcterms:subject dbc:Ideals_(ring_theory) dbc:Algebraic_structures dbc:Algebraic_number_theory dbc:Commutative_algebra
gold:hypernym dbr:Subset
rdf:type owl:Thing yago:Artifact100021939 yago:Object100002684 yago:PhysicalEntity100001930 yago:YagoGeoEntity yago:YagoPermanentlyLocatedEntity dbo:ProgrammingLanguage yago:Structure104341686 yago:Whole100003553 yago:WikicatAlgebraicStructures
rdfs:comment Ideál je matematický pojem z oblasti algebry označující podmnožinu nějakého okruhu s jistými „dobrými“ vlastnostmi. * Tak jako normální podgrupy jsou speciálními případy podgrup, jsou rovněž ideály jisté podmnožiny daného okruhu. (cs) في نظرية الحلقات، و هي فرع من الجبر التجريدي، المثالي (بالإنجليزية: Ideal)‏ مجموعة جزئية خاصة من حلقة تحقق عددا من الشروط. و يعمم مفهوم المثالي مفهوم بعض المجموعات الجزئية من مجموعة الأعداد الصحيحة كمجموعة الأعداد الزوجية أو مجموعة مضاعفات العدد 3. جمع وطرح الأعداد الزوجية يعطيان دائما عددا زوجيا، وضرب عدد زوجي في عدد صحيح ما يعطي دائما عددا زوجيا. هذان الخاصيتان المتمثلتان في الانغلاق والمص هما اللتان تعرفان مفهوم المجموعة المثالية. (ar) Στη Θεωρία δακτυλίων ιδεώδες είναι ένα ειδικό υποσύνολο του δακτυλίου. (el) En abstrakta algebro, idealo de ringo estas tia adicia subgrupo de , ke al ĝi apartenas la produtoj (maldekstra idealo), (dekstra idealo), aŭ kaj (ambaŭflanka aŭ duflanka idealo) elementoj kaj . La rolo de idealoj en la ringo-teorio estas simila al la rolo de normalaj subgrupoj en la grupo-teorio. Specife, la de ringa homomorfio estas idealo, kaj se estas subringo de oni povas krei la se kaj nur se estas idealo. Simile oni difinas la idealojn en semigrupoj. (eo) En álgebra moderna, un ideal es una subestructura algebraica definida en la teoría de anillos. Los ideales generalizan, de manera fecunda, el estudio de la divisibilidad entre los números enteros hacia otros objetos matemáticos. De este modo, es posible enunciar versiones muy generales de teoremas de la aritmética elemental, tales como el teorema chino del resto o el teorema fundamental de la aritmética, válidos para los ideales. Se puede comparar también esta noción con la de subgrupo normal para la estructura algebraica de grupo en el sentido de que facilita definir la noción de anillo cociente como una extensión natural de la noción de grupo cociente.​ (es) ( 다른 뜻에 대해서는 아이디얼 (동음이의) 문서를 참고하십시오.) 환론에서 아이디얼(영어: ideal) 또는 이데알(독일어: Ideal)은 특정한 조건을 만족시키는 환의 부분집합이다. 이에 대하여 몫환을 취할 수 있으며, 군론에서 정규 부분군에 대하여 몫군을 취하는 것과 유사한 개념이다. 아이디얼을 사용하여 수론적 개념을 보다 일반적인 환들에 대하여 확장시킬 수 있다. 예를 들어, 소수의 개념을 확장한 소 아이디얼 및 서로소인 수의 개념을 확장한 서로소 아이디얼을 정의하면, 일반화된 중국인의 나머지 정리를 증명할 수 있다. 수론에서 중요한 개념인 데데킨트 정역의 경우, 아이디얼에 대해 산술의 기본정리까지도 성립함을 보일 수 있다. (즉, 임의의 0이 아닌 아이디얼은 소 아이디얼들의 곱으로 유일하게 표현할 수 있다.) (ko) Een ideaal is in de abstracte algebra, specifiek in de ringtheorie, een deelgebied van de wiskunde, een deelverzameling van een ring, die gesloten is ten aanzien van lineaire combinaties met coëfficiënten uit de ring. Dat houdt in dat een ideaal ten aanzien van de optelling een ondergroep is en dat de vermenigvuldiging, zowel links als rechts, van een element uit het ideaal met een element van de ring een resultaat geeft dat binnen het ideaal ligt. De term 'ideaal' verwijst naar het begrip ideaal getal, waarvan idealen een generalisatie vormen in verband met deelbaarheidseigenschappen. De specifieke studie van idealen in commutatieve ringen met eenheidselement heette aanvankelijk ideaaltheorie, maar tegenwoordig is commutatieve algebra gebruikelijker. (nl) In matematica, e più precisamente in algebra, un ideale è un sottoinsieme di un anello chiuso rispetto alla somma interna e al prodotto con qualsiasi elemento dell'anello. (it) Ideał – podzbiór pierścienia o własnościach pozwalających na konstrukcję pierścienia ilorazowego. Pojęcie ideału zostało wprowadzone przez Dedekinda jako uogólnienie pojęcia liczby idealnej, rozważanego przez Kummera. Badania Dedekinda były kontynuowane przez Hilberta i, szczególnie, przez Emmy Noether. Ideały odgrywają w teorii pierścieni rolę analogiczną do podgrup normalnych w teorii grup. (pl) 理想（Ideal）是一个环论中的概念。若某环的子集为在原环加法的定义下的子群，且其中的元素在原环乘法下与任意原环中的元素结果都在该子群中，则称其为原环的理想。通俗地说，一环的理想在加法上成群且在乘法上表现如同一个黑洞。理想把整数的某些子集，例如偶数或3的倍数组成的集合给一般化了。两个偶数相加或相减结果仍是偶数，偶数与任意整数相乘的结果也仍是偶数；这些闭包和吸收的性质正是理想的定义。理想可以被用来构造商环，这类似于在群论里，正规子群可以被用来构造商群。 (zh) Ідеал — підструктура з певними властивостями в абстрактній алгебрі. Спочатку виникло поняття ідеал кільця, пізніше було узагальнено для інших алгебраїчних структур. Найважливішу роль ідеали відіграють при вивченні кілець, напівгруп, алгебр над кільцем та ін. Назва «ідеал» веде своє походження від . Ідеали дають зручну мову для узагальнення результатів теорії чисел на загальні кільця. Прикладом ідеала може служити підкільце парних чисел в кільці цілих чисел, позначають 2Z. (uk) Un ideal d'un anell A és un subconjunt I d'elements de A que és tancat respecte a i que compleix una sèrie de condicions que detallarem a continuació. Per permetre l'aplicació a anells no commutatius, es defineixen ideals per l'esquerra i ideals per la dreta. Els ideals per les dues bandes (per exemple els d'anells commutatius) s'anomenen ideals bilàters o senzillament ideals. (ca) In der abstrakten Algebra ist ein Ideal eine Teilmenge eines Rings, die das Nullelement enthält und abgeschlossen gegenüber Addition und Subtraktion von Elementen des Ideals sowie abgeschlossen gegenüber Multiplikation mit beliebigen Ringelementen ist. Beispielsweise sind Summe und Differenz zweier gerader Zahlen wieder gerade und zudem ist das Produkt einer geraden Zahl mit einer beliebigen ganzen Zahl ebenfalls gerade. Zudem ist die 0 als additiv Neutrales gerade. Das heißt, die Menge der geraden Zahlen ist ein Ideal im Ring der ganzen Zahlen. (de) In ring theory, a branch of abstract algebra, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers preserves evenness, and multiplying an even number by any integer (even or odd) results in an even number; these closure and absorption properties are the defining properties of an ideal. An ideal can be used to construct a quotient ring in a way similar to how, in group theory, a normal subgroup can be used to construct a quotient group. (en) Dalam teori gelanggang, sebuah cabang dari aljabar abstrak, ideal dari gelanggang adalah himpunan bagian khusus dari elemen. Ideal menggeneralisasi himpunan bagian tertentu dari bilangan bulat, seperti bilangan genap atau kelipatan 3. Penambahan dan pengurangan bilangan genap mempertahankan kemerataan, dan mengalikan bilangan genap dengan bilangan bulat lainnya menghasilkan bilangan genap lainnya; dan sifat absorpsi adalah sifat yang menentukan dari suatu ideal. Ideal dapat digunakan untuk gelanggang hasil bagi dengan cara yang sama di teori grup, subgrup normal dapat digunakan untuk grup hasil bagi. (in) En mathématiques, et plus particulièrement en algèbre, un idéal est un sous-ensemble remarquable d'un anneau : c'est un sous-groupe du groupe additif de l'anneau qui est, de plus, stable par multiplication par les éléments de l'anneau. À certains égards, les idéaux s'apparentent donc aux sous-espaces vectoriels — qui sont des sous-groupes additifs stables par une multiplication externe ; à d'autres égards, ils se comportent comme les sous-groupes distingués — ce sont des sous-groupes additifs à partir desquels on peut construire une structure d'anneau quotient. (fr) 抽象代数学の分野である環論におけるイデアル（英: ideal, 独: Ideal）は環の特別な部分集合である。整数全体の成す環における、偶数全体の成す集合や 3 の倍数全体の成す集合などの持つ性質を一般化したもので、その部分集合に属する任意の元の和と差に関して閉じていて、なおかつ環の任意の元を掛けることについても閉じているものをイデアルという。 整数の場合であれば、イデアルと非負整数とは一対一に対応する。即ち整数環 Z の任意のイデアルは、それぞれただ一つの整数の倍数すべてからなる主イデアルになる。しかしそれ以外の一般の環においてはイデアルと環の元とは全く異なるものを指しうるもので、整数のある種の性質を一般の環に対して一般化する際に、環の元を考えるよりもそのイデアルを考えるほうが自然であるということがある。例えば、環の素イデアルは素数の環における対応物であり、中国の剰余定理もイデアルに対するものに一般化することができる。素因数分解の一意性もデデキント環のイデアルに対応するものが存在し、数論において重要な役割を持つ。 イデアルは整数の算術から定義される合同算術の方法と同様の剰余環（商環）の構成にも用いられる、この点において群論で剰余群（商群）の構成に用いられる正規部分群と同様のものと理解することができる。 (ja) Em teoria dos anéis, um ramo da álgebra abstrata, um ideal é um subconjunto especial de um anel. O conceito generaliza de uma maneira apropriada algumas importantes propriedades dos inteiros como "número par" e "múltiplo de 3". Um ideal pode ser usado para a construção de um anel quociente da mesma forma que um subgrupo normal pode ser usado para a construção de um grupo quociente. (pt) Идеал — одно из основных понятий общей алгебры. Наибольшее значение идеалы имеют в теории колец, но также определяются и для полугрупп, алгебр и некоторых других алгебраических структур. Название «идеал» ведёт своё происхождение от «идеальных чисел», которые были введены в 1847 году немецким математиком Э. Э. Куммером. Простейшим примером идеала может служить подкольцо чётных чисел в кольце целых чисел. Идеалы дают удобный язык для обобщения результатов теории чисел на общие кольца. (ru) En icke-tom delmängd I till ringen R kallas för ett ideal om: 1. I är en additiv delgrupp till R.2. Om för varje element i som tillhör I och r som tillhör R följer, att både i·r och r·i tillhör I. Den icke-tomma delmängden I av de hela talen Z, är ett ideal om för alla x och y i I följer att x - y tillhör I. Inom ringteorin, är ett ideal ett av Richard Dedekind infört begrepp i anslutning till ett uppslag av Ernst Kummer, kallat "ideala tal". Detta begrepp var tänkt för att bevara den entydiga faktoriseringen för algebraiska heltal (motsvarande heltalens primtalsfaktoriseringar). (sv)
rdfs:label مثالي (نظرية الحلقات) (ar) Ideal (matemàtiques) (ca) Ideál (teorie okruhů) (cs) Ideal (Ringtheorie) (de) Ιδεώδες (μαθηματικά) (el) Idealo (algebro) (eo) Ideal (teoría de anillos) (es) Ideal (teori gelanggang) (in) Ideale (matematica) (it) Ideal (ring theory) (en) Idéal (fr) 아이디얼 (ko) イデアル (環論) (ja) Ideaal (ringtheorie) (nl) Ideal (teoria dos anéis) (pt) Ideał (teoria pierścieni) (pl) Идеал (алгебра) (ru) Ideal (ringteori) (sv) Ідеал (алгебра) (uk) 理想 (环论) (zh)
owl:sameAs freebase:Ideal (ring theory) http://d-nb.info/gnd/4161198-6 wikidata:Ideal (ring theory) dbpedia-ar:Ideal (ring theory) dbpedia-bg:Ideal (ring theory) dbpedia-ca:Ideal (ring theory) dbpedia-cs:Ideal (ring theory) http://cv.dbpedia.org/resource/Идеал_(алгебра) dbpedia-da:Ideal (ring theory) dbpedia-de:Ideal (ring theory) dbpedia-el:Ideal (ring theory) dbpedia-eo:Ideal (ring theory) dbpedia-es:Ideal (ring theory) dbpedia-et:Ideal (ring theory) dbpedia-fa:Ideal (ring theory) dbpedia-fi:Ideal (ring theory) dbpedia-fr:Ideal (ring theory) dbpedia-he:Ideal (ring theory) dbpedia-hu:Ideal (ring theory) http://ia.dbpedia.org/resource/Ideal_(theoria_de_anellos) dbpedia-id:Ideal (ring theory) dbpedia-it:Ideal (ring theory) dbpedia-ja:Ideal (ring theory) dbpedia-kk:Ideal (ring theory) dbpedia-ko:Ideal (ring theory) dbpedia-lmo:Ideal (ring theory) dbpedia-nl:Ideal (ring theory) dbpedia-nn:Ideal (ring theory) dbpedia-no:Ideal (ring theory) dbpedia-pl:Ideal (ring theory) dbpedia-pt:Ideal (ring theory) dbpedia-ru:Ideal (ring theory) dbpedia-sk:Ideal (ring theory) dbpedia-sl:Ideal (ring theory) dbpedia-sr:Ideal (ring theory) dbpedia-sv:Ideal (ring theory) http://ta.dbpedia.org/resource/வளையத்தில்_சீர்மம்_(கணிதம்) dbpedia-uk:Ideal (ring theory) dbpedia-vi:Ideal (ring theory) dbpedia-zh:Ideal (ring theory) https://global.dbpedia.org/id/48mHd yago-res:Ideal (ring theory)
prov:wasDerivedFrom wikipedia-en:Ideal_(ring_theory)?oldid=1100775345&ns=0
foaf:isPrimaryTopicOf wikipedia-en:Ideal_(ring_theory)
is dbo:wikiPageDisambiguates of dbr:Ideal
is dbo:wikiPageRedirects of dbr:Right_ideal dbr:Comaximal dbr:Proper_ideal dbr:Two-sided_ideal dbr:Two_sided_ideal dbr:Finitely_generated_ideal dbr:Ideal_product dbr:Extension_and_contraction_of_ideals dbr:Ideal_Product dbr:Comaximal_ideals dbr:Unit_ideal dbr:Ring_ideal dbr:One-sided_ideal dbr:Sum_of_ideals dbr:Contracted_ideal dbr:Contraction_of_an_ideal dbr:Ideal_(algebra) dbr:Ideal_(ring) dbr:Ideal_(rings) dbr:Ideal_of_a_ring dbr:Ideal_ring_theory dbr:Left_ideal dbr:Product_of_ideals dbr:Algebraic_ideal dbr:Extension_of_an_ideal
is dbo:wikiPageWikiLink of dbr:Canonical_map dbr:Cantor's_first_set_theory_article dbr:Prime_ideal dbr:Principal_ideal dbr:Principal_ideal_domain dbr:Quadratic_integer dbr:Quaternion dbr:List_of_abstract_algebra_topics dbr:List_of_commutative_algebra_topics dbr:Module_(mathematics) dbr:Modulo_(mathematics) dbr:Multiple_(mathematics) dbr:Multiplier_algebra dbr:Prime_ring dbr:Primitive_ring dbr:Projective_line_over_a_ring dbr:Semiprime_ring dbr:1921_in_science dbr:Algebra_over_a_field dbr:Algebraic_function_field dbr:Algebraic_number_field dbr:Algebraically_closed_field dbr:Almost_ring dbr:Anton_Sushkevich dbr:Approximation_property_(ring_theory) dbr:Homomorphism dbr:John_von_Neumann dbr:List_of_German_expressions_in_English dbr:List_of_mathematical_symbols_by_subject dbr:List_of_people_considered_father_or_mother_of_a_scientific_field dbr:Paulo_Ribenboim dbr:Resultant dbr:Richard_Dedekind dbr:Right_ideal dbr:Ring_extension dbr:Ring_of_integers dbr:Rng_(algebra) dbr:Cyclic_code dbr:Valuation_ring dbr:Decomposition_of_a_module dbr:Dedekind_domain dbr:Dedekind_zeta_function dbr:Degree_of_an_algebraic_variety dbr:Depth_(ring_theory) dbr:Eakin–Nagata_theorem dbr:Inclusion_map dbr:Injective_module dbr:Integral_domain dbr:Integral_element dbr:Invariant_basis_number dbr:J-multiplicity dbr:Jacobian_ideal dbr:Jacobson_radical dbr:List_of_inventions_and_discoveries_by_women dbr:Quotient_ring dbr:Tight_closure dbr:Prüfer_domain dbr:Timeline_of_algebra dbr:*-algebra dbr:Comaximal dbr:Commutator_subspace dbr:Complex_number dbr:Elliptic_unit dbr:Gelfand_ring dbr:Generating_set_of_a_module dbr:Generic_matrix_ring dbr:Nil_ideal dbr:Nilradical_of_a_ring dbr:Noetherian_ring dbr:Normal_subgroup dbr:Nichols_algebra dbr:Subring dbr:Zero_element dbr:Quantale dbr:Quotient_module dbr:Support_of_a_module dbr:Class_number_formula dbr:Clifford_algebra dbr:Emmy_Noether dbr:Fundamental_theorem_of_arithmetic dbr:GF(2) dbr:Galois_connection dbr:Gauss's_lemma_(polynomials) dbr:Gaussian_integer dbr:Glossary_of_areas_of_mathematics dbr:Glossary_of_commutative_algebra dbr:Glossary_of_mathematical_symbols dbr:Glossary_of_module_theory dbr:Graded_(mathematics) dbr:Greatest_common_divisor dbr:Bracket_(mathematics) dbr:Bracket_ring dbr:Brandt_matrix dbr:Monomial_ideal dbr:Morphism_of_algebraic_varieties dbr:Conductor_(ring_theory) dbr:Confluence_(abstract_rewriting) dbr:Congruence_lattice_problem dbr:Congruence_relation dbr:Cryptographic_multilinear_map dbr:Laguerre_transformations dbr:Operator_ideal dbr:Opposite_ring dbr:Proper_ideal dbr:Annihilator_(ring_theory) dbr:Arithmetic_geometry dbr:Arithmetic_progression_topologies dbr:Arithmetic_topology dbr:Arithmetical_ring dbr:Arrangement_of_hyperplanes dbr:Leopold_Kronecker dbr:Lie_algebra_extension dbr:Localization_(commutative_algebra) dbr:Calkin_algebra dbr:Calkin_correspondence dbr:Slash_(punctuation) dbr:Clifford_bundle dbr:Closure_(mathematics) dbr:Colombeau_algebra dbr:Commutative_algebra dbr:Compact_operator dbr:Complete_lattice dbr:Completion_of_a_ring dbr:Complex_projective_space dbr:Dense_submodule dbr:Zariski's_lemma dbr:Zero_ring dbr:Øystein_Ore dbr:Embedding dbr:Emmy_Noether_bibliography dbr:Faugère's_F4_and_F5_algorithms dbr:Francis_Sowerby_Macaulay dbr:Frobenius_algebra dbr:Functional_calculus dbr:Ideal_(ring_theory) dbr:Ideal_class_group dbr:Ideal_lattice dbr:Ideal_norm dbr:Ideal_number dbr:Ideal_quotient dbr:Ideal_sheaf dbr:Ideal_theory dbr:Idempotent_(ring_theory) dbr:Igusa_zeta_function dbr:Kernel_(algebra) dbr:Koszul–Tate_resolution dbr:Krivine–Stengle_Positivstellensatz dbr:Krull's_principal_ideal_theorem dbr:Krull's_separation_lemma dbr:Parity_(mathematics) dbr:Polynomial_identity_ring dbr:Spectrum_of_a_ring dbr:Structure_theorem_for_finitely_generated_modules_over_a_principal_ideal_domain dbr:Subgroup dbr:Tangent_space dbr:Mathematics_Made_Difficult dbr:Matrix_ring dbr:Maximal_ideal dbr:Λ-ring dbr:Bézout's_identity dbr:Cayley–Hamilton_theorem dbr:Timeline_of_scientific_computing dbr:Total_order dbr:Two-sided_ideal dbr:Two_sided_ideal dbr:Weyl_algebra dbr:Wieferich_prime dbr:Divided_power_structure dbr:Divisibility_(ring_theory) dbr:Divisible_group dbr:Dual_quaternion dbr:Irreducible_ideal dbr:Irreducible_polynomial dbr:Irreducible_ring dbr:Irrelevant_ideal dbr:Jet_(mathematics) dbr:Kasch_ring dbr:Lattice_sieving dbr:Linear_equation_over_a_ring dbr:Local_cohomology dbr:Local_ring dbr:Localization_of_a_category dbr:Locally_nilpotent dbr:Minimal_polynomial_(field_theory) dbr:Super-Poincaré_algebra dbr:Representation_theory_of_finite_groups dbr:Noetherian_topological_space dbr:Semigroup dbr:Sheaf_of_modules dbr:Nilpotent_ideal dbr:Algebraic_element dbr:Algebraic_geometry dbr:Algebraic_integer dbr:Algebraic_number_theory dbr:Algebraic_variety dbr:Dual_number dbr:Ernst_Mayr_(computer_scientist) dbr:Euclidean_algorithm dbr:Euclidean_domain dbr:Exponentiation dbr:Exterior_algebra dbr:Factorization dbr:Field_(mathematics) dbr:First_class_constraint dbr:Formal_power_series dbr:Balanced_module dbr:Basil_Hiley dbr:Noncommutative_ring dbr:Nonstandard_analysis dbr:Number_theory dbr:P-adic_number dbr:Parity_of_zero dbr:Center_(algebra) dbr:Centralizer_and_normalizer dbr:Basis dbr:Dickson's_lemma dbr:Differential_(mathematics) dbr:Differential_operator dbr:Diffiety dbr:Discrete_valuation_ring dbr:Discriminant_of_an_algebraic_number_field dbr:Formal_scheme dbr:Fractional_ideal dbr:Global_field dbr:Goldman_domain dbr:Graded-symmetric_algebra dbr:Graded_ring dbr:Hilbert's_basis_theorem dbr:Hilbert's_fourteenth_problem dbr:Hilbert's_syzygy_theorem dbr:Hilbert_class_field dbr:Hilbert_series_and_Hilbert_polynomial dbr:Hilbert–Burch_theorem dbr:Hilbert–Kunz_function dbr:Hilbert–Schmidt_operator dbr:Isomorphism_theorems dbr:KK-theory dbr:Kostant_polynomial dbr:Left_and_right_(algebra) dbr:Primary_ideal dbr:Product dbr:Product_of_rings dbr:Projective_module dbr:Quaternion_group dbr:Radical_of_a_ring dbr:Radical_of_an_ideal dbr:Regular_ideal dbr:Regular_prime dbr:Regular_semigroup dbr:Ring_(mathematics) dbr:Ring_theory dbr:Grete_Hermann dbr:Gröbner_basis dbr:Harold_Edwards_(mathematician) dbr:Hilbert's_Nullstellensatz dbr:Interval_(mathematics) dbr:Irreducible_component dbr:Cotangent_space dbr:Hyperbolic_space dbr:Hyperreal_number dbr:Hypersurface dbr:Finitely_generated_ideal dbr:Mason's_gain_formula dbr:Prime_number dbr:Stable_range_condition dbr:Wu's_method_of_characteristic_set dbr:Augmentation_ideal dbr:AF+BG_theorem dbr:AW*-algebra dbr:Abstract_algebra dbr:Abstract_analytic_number_theory dbr:Chinese_remainder_theorem dbr:Jet_bundle dbr:Kernel_(set_theory) dbr:Lagrange's_four-square_theorem dbr:Bimodule dbr:Surface_(mathematics) dbr:Codimension dbr:Cohen–Macaulay_ring dbr:Coherent_ring dbr:Cohomology dbr:Cokernel dbr:Eisenbud–Levine–Khimshiashvili_signature_formula dbr:Eisenstein_ideal dbr:Hensel's_lemma dbr:Holonomic_function dbr:Torsion-free_module dbr:Trace_class dbr:Zorn's_lemma dbr:Module_homomorphism dbr:Ideal_product dbr:Primal_ideal dbr:Principal_ideal_theorem dbr:Principalization_(algebra) dbr:Upper_set dbr:Extension_and_contraction_of_ideals dbr:Real_radical dbr:Reflective_subcategory dbr:Division_ring dbr:Artin_conductor
is foaf:primaryTopic of wikipedia-en:Ideal_(ring_theory)