From French idéal, from Late Latin ideālis (“existing in idea”), by surface analysis, idea + -al, from Latin idea (“idea”); see idea.
In mathematics, the noun ring theory sense was first introduced by German mathematician Richard Dedekind in his 1871 edition of a text on number theory. The concept was quickly expanded to ring theory and later generalised to order theory. The set theory and Lie theory senses can be regarded as applications of the order theory sense.
Meanings
Pertaining to ideas, or to a given idea.
Existing only in the mind; conceptual, imaginary.
The idea of ghosts is ridiculous in the extreme; and if you continue to be swayed by ideal terrors — 1796, Matthew Lewis, The Monk, Folio Society, published 1985, page 256:
Life and death appeared to me ideal bounds, which I should first break through, and pour a torrent of light into our dark world. 1816 June – 1817 April/May (date written), [Mary Shelley], “Chapter 4”, in Frankenstein; or, The Modern Prometheus. […], volume (please specify |volume=I to III), London: […] [Macdonald and Son] for Lackington, Hughes, Harding, Mavor, & Jones, published 1 January 1818, →OCLC:
At first, he began to doubt the reality of his adventures, but the acute pain in his shoulders when he attempted to rise, assured him that the kicking of the goblins was certainly not ideal. 1836 March – 1837 October, Charles Dickens, “(please specify the chapter name)”, in The Posthumous Papers of the Pickwick Club, London: Chapman and Hall, […], published 1837, →OCLC:
Optimal; being the best possibility.
Perfect, flawless, having no defects.
1751 April 13, Samuel Johnson, The Rambler, Number 112, reprinted in 1825, The Works of Samuel Johnson, LL. D., Volume 1, Jones & Company, page 194,
There will always be a wide interval between practical and ideal excellence; […] .
Teaching or relating to the doctrine of idealism.
the ideal theory or philosophy
Not actually present, but considered as present when limits at infinity are included.
ideal point
An ideal triangle in the hyperbolic disk is one bounded by three geodesics that meet precisely on the circle.
From French idéal, from Late Latin ideālis (“existing in idea”), by surface analysis, idea + -al, from Latin idea (“idea”); see idea.
In mathematics, the noun ring theory sense was first introduced by German mathematician Richard Dedekind in his 1871 edition of a text on number theory. The concept was quickly expanded to ring theory and later generalised to order theory. The set theory and Lie theory senses can be regarded as applications of the order theory sense.
Meanings
A perfect standard of beauty, intellect etc., or a standard of excellence to aim at.
Varvara Andreevna, when I was very young, I set before myself the ideal of the woman I loved and should be happy to call my wife. 1901 [1878], chapter 5, in Constance Garnett, transl., Anna Karenina, translation of Анна Каренина (Anna Karenina) by Leo Tolstoy, part 6:
With great humility, I call upon all Americans to help me keep our nation united in defense of those ideals which have been so eloquently proclaimed by Franklin Roosevelt. I want in turn to assure my fellow Americans and all of those who love peace and liberty throughout the world that I will support and defend those ideals with all my strength and all my heart. 1945 April 16, Harry S. Truman, 9:21 from the start, in MP72-20 President Roosevelt’s Funeral and Procession; Truman – New President of U.S., Harry S. Truman Presidential Library and Museum, National Archives Identifier: 595162:
(qualifier:ring theory) A two-sided ideal; a subset of a ring which is closed under both left and right multiplication by elements of the ring.
Let #92;mathbb#123;Z#125; be the ring of integers and let 2#92;mathbb#123;Z#125; be its ideal of even integers. Then the quotient ring #92;mathbb#123;Z#125;#47;2#92;mathbb#123;Z#125; is a Boolean ring.
However, every R has a minimal prime ideal consisting of left zero-divisors and one of right zero-divisors. 2010, W. D. Burgess, A. Lashgari, A. Mojiri, “Elements of Minimal Prime Ideals in General Rings”, in Sergio R. López-Permouth, Dinh Van Huynh, editors, Advances in Ring Theory, Springer (Birkhäuser), page 69:
The product of two ideals #92;mathfrak#123;a#125; and #92;mathfrak#123;b#125; is an ideal #92;mathfrak#123;ab#125; which is a subset of the intersection of #92;mathfrak#123;a#125; and #92;mathfrak#123;b#125;. This should help to understand why maximal ideals are prime ideals. Likewise, the union of #92;mathfrak#123;a#125; and #92;mathfrak#123;b#125; is a subset of #92;mathfrak#123;a#43;b#125;.
If an ideal I of a ring contains the multiplicative identity 1, then we have seen that I must be the entire ring. 2009, John J. Watkins, Topics in Commutative Ring Theory, Princeton University Press, page 45:
In trying to understand the ideal theory of a commutative ring, one quickly sees that it is important to first understand the prime ideals. 2004, K. R. Goodearl; R. B. Warfield, Jr., An Introduction to Noncommutative Noetherian Rings, 2nd edition, Cambridge University Press, page 47:
(qualifier:lattice theory) A non-empty lower set (of a partially ordered set) which is closed under binary suprema (a.k.a. joins).
Definition 15.11 (Width Ideal) An ideal Q of a poset P = (X,≤) is a width ideal if maximal(Q) is a width antichain. 2015, Vijay K. Garg, Introduction to Lattice Theory with Computer Science Applications, Wiley, page 186:
An ideal A of L is called complete if it contains all least upper bounds of its subsets that exist in L. Bishop and Schreiner [80] studied conditions under which joins of ideals in the lattices of all ideals and of all complete ideals coincide. 1992, T. S. Fofanova, “General Theory of Lattices”, in Unnamed, transl., Ordered Sets and Lattices II, American Mathematical Society, page 119:
1.35 Find a distributive lattice L with no minimal and no maximal prime ideals. 2011, George Grätzer, Lattice Theory: Foundation, Springer (Birkhäuser), page 125:
A collection of sets, considered small or negligible, such that every subset of each member and the union of any two members are also members of the collection.
Formally, an ideal I of a given set X is a nonempty subset of the powerset #92;mathcal#123;P#125;(X) such that: (1)#92;#92;emptyset#92;inI, (2)#92;A#92;inI#92;andB#92;subseteqA#92;impliesB#92;inI and (3)#92;A,B#92;inI#92;impliesA#92;cupB#92;inI.
(qualifier:Lie theory) A Lie subalgebra (subspace that is closed under the Lie bracket) 𝖍 of a given Lie algebra 𝖌 such that the Lie bracket [𝖌,𝖍] is a subset of 𝖍.
What really put primitive ideals in enveloping algebras of semisimple Lie algebras on the map was Duflo's fundamental theorem that any such ideal is the annihilator of a very special kind of simple module, namely a highest weight module. 2006, W. McGovern, “The work of Anthony Joseph in classical representation theory”, in Anthony Joseph, Joseph Bernstein, Vladimir Hinich, Anna Melnikov, editors, Studies in Lie Theory: Dedicated to A. Joseph on His Sixtieth Birthday, Springer (Birkhäuser), page 3:
Next let L be an arbitrary semisimple Lie algebra. Then L can be written uniquely as a direct sum L#95;1#92;oplus#92;dots#92;oplusL#95;t of simple ideals (Theorem 5.2). 2013, J.E. Humphreys, Introduction to Lie Algebras and Representation Theory, Springer, page 73:
If 𝖌 is a Lie algebra, 𝖍 is an ideal and the Lie algebras 𝖍 and 𝖌/𝖍 are solvable, then 𝖌 is solvable. 1975, Zhe-Xian Wan, translated by Che-Young Lee, Lie Algebras, Pergamon Press, page 13:
A subsemigroup with the property that if any semigroup element outside of it is added to any one of its members, the result must lie outside of it.
The set of natural numbers with multiplication as the monoid operation (instead of addition) has multiplicative ideals, such as, for example, the set {1, 3, 9, 27, 81, ...}. If any member of it is multiplied by a number which is not a power of 3 then the result will not be a power of three.
pl ideał (unattainable state) · yi אידעאַל (perfect standard of beauty, intellect etc.) · te ఆదర్శం (perfect standard of beauty, intellect etc.) · fi ihanne (perfect standard of beauty, intellect etc.) · kk идеал (subring closed under multiplication by containing ring) · hu eszmény (perfect standard of beauty, intellect etc.) · nl streefdoel (perfect standard of beauty, intellect etc.) · ro ideal (subring closed under multiplication by containing ring) · cmn 典范 (perfect standard of beauty, intellect etc.) · fi ideaali (perfect standard of beauty, intellect etc.) · de Idealzustand (unattainable state) · sl ideal (perfect standard of beauty, intellect etc.) · ja イデアル (subring closed under multiplication by containing ring) · hu ideál (perfect standard of beauty, intellect etc.) · kk мұрат (perfect standard of beauty, intellect etc.) · pa ਆਦਰਸ਼ (perfect standard of beauty, intellect etc.) · eo perfekta (perfect standard of beauty, intellect etc.) · hu mintakép (perfect standard of beauty, intellect etc.) · sv ideal (subring closed under multiplication by containing ring) · ca ideal (perfect standard of beauty, intellect etc.) · fr idéal (perfect standard of beauty, intellect etc.) · de Idealbild (perfect standard of beauty, intellect etc.) · sv ideal (perfect standard of beauty, intellect etc.) · pl ideał (subring closed under multiplication by containing ring) · ko 리상 (perfect standard of beauty, intellect etc.) · nl ideaal (subring closed under multiplication by containing ring) · ga idéal (perfect standard of beauty, intellect etc.) · nl perfectie (perfect standard of beauty, intellect etc.) · cmn 理想 (lower set closed under joins) · cmn 理想 (subring closed under multiplication by containing ring) · ru идеа́л (lower set closed under joins) · ru идеа́л (subring closed under multiplication by containing ring) · es canon (perfect standard of beauty, intellect etc.) · es ideal (perfect standard of beauty, intellect etc.) · he אידיאל \ אִידֵאָל (perfect standard of beauty, intellect etc.) · el ιδεώδες (perfect standard of beauty, intellect etc.) · af ideaal (perfect standard of beauty, intellect etc.) · hi श्रेष्ठ (perfect standard of beauty, intellect etc.) · de Ideal (perfect standard of beauty, intellect etc.) · ru идеа́л (perfect standard of beauty, intellect etc.) · de Ideal (subring closed under multiplication by containing ring) · sk ideál (perfect standard of beauty, intellect etc.) · ia ideal (perfect standard of beauty, intellect etc.) · bg идеа́л (perfect standard of beauty, intellect etc.) · nl ideaal (perfect standard of beauty, intellect etc.) · vi lý tưởng (perfect standard of beauty, intellect etc.) · ga idéal (lower set closed under joins) · fa آرمان (perfect standard of beauty, intellect etc.) · uk ідеа́л (perfect standard of beauty, intellect etc.) · fa ایدئال (perfect standard of beauty, intellect etc.) · id ideal (perfect standard of beauty, intellect etc.) · cy delfryd (perfect standard of beauty, intellect etc.) · ru идеа́л (unattainable state) · fi ideaali (subring closed under multiplication by containing ring) · pt ideal (perfect standard of beauty, intellect etc.) · ja 理想 (perfect standard of beauty, intellect etc.) · cs ideál (perfect standard of beauty, intellect etc.) · ko 이상 (perfect standard of beauty, intellect etc.) · hi आदर्श (perfect standard of beauty, intellect etc.) · eo idealo (perfect standard of beauty, intellect etc.) · ast ideal (perfect standard of beauty, intellect etc.) · fr idéal (subring closed under multiplication by containing ring) · be ідэа́л (perfect standard of beauty, intellect etc.) · cmn 理想 (perfect standard of beauty, intellect etc.) · gl ideal (perfect standard of beauty, intellect etc.) · it ideale (perfect standard of beauty, intellect etc.) · pl ideał (perfect standard of beauty, intellect etc.) · io idealo (perfect standard of beauty, intellect etc.)