# ideal

suomi-englanti sanakirja## ideal englannista suomeksi

ideaali, ihanne

ihanne-

ideaali-, ihanteellinen

esikuva

ideaalinen

#### Substantiivi

## ideal englanniksi

Optimal; being the best possibility.

1751 April 13,

*(w)*, ''*(w)*'', 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;
*(..)*. Pertaining to ideas, or to a given idea.

Existing only in the mind; conceptual, imaginary.

1796, Matthew Lewis, ''The Monk'', Folio Society 1985, p. 256:

- The idea of ghosts is ridiculous in the extreme; and if you continue to be swayed by ideal terrors —
*(RQ:Mary Shelley Frankenstein)**(RQ:Dickens Pickwick Papers)*Teaching or relating to the doctrine of idealism.

*(ux)*Not actually present, but considered as present when limits at infinity are included.

*(senseid)*A perfect standard of beauty, intellect etc., or a standard of excellence to aim at.''Ideals are like stars; you will not succeed in touching them with your hands. But like the seafaring man on the desert of waters, you choose them as your guides, and following them you will reach your destiny'' - Schurz|Carl Schurz

A subring closed under multiplication by its containing ring.

''Let \mathbb{Z} be the ring of integers and let 2\mathbb{Z} be its ideal of even integers. Then the quotient ring \mathbb{Z} / 2\mathbb{Z} is a Boolean ring.''

''The product of two ideals \mathfrak{a} and \mathfrak{b} is an ideal \mathfrak{a b} which is a subset of the intersection of \mathfrak{a} and \mathfrak{b}. This should help to understand why maximal ideals are prime ideals. Likewise, the union of \mathfrak{a} and \mathfrak{b} is a subset of \mathfrak{a + b}.''

2004, K. R. Goodearl, R. B. Warfield, Jr., ''An Introduction to Noncommutative Noetherian Rings'', 2nd Edition,

*(w)*, page 47,- In trying to understand the ideal theory of a commutative ring, one quickly sees that it is important to first understand the prime ideals.
2009, John J. Watkins, ''Topics in Commutative Ring Theory'',

*(w)*, page 45,- If an ideal ''I'' of a ring contains the multiplicative identity 1, then we have seen that ''I'' must be the entire ring.
2010, W. D. Burgess, A. Lashgari, A. Mojiri, ''Elements of Minimal Prime Ideals in General Rings'', Sergio R. López-Permouth, Dinh Van Huynh (editors), ''Advances in Ring Theory'', Springer (Birkhäuser), page 69,

- However, every ''R'' has a minimal prime ideal consisting of left zero-divisors and one of right zero-divisors.
A non-set|empty set (of a ordered set) which is closed under binary suprema (a.k.a. joins).

*(pedia)*1992, Unnamed translator, T. S. Fofanova, ''General Theory of Lattices'', in ''Ordered Sets and Lattices II'',

*(w)*, page 119,- 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.
2011, George Grätzer, ''Lattice Theory: Foundation'', Springer (Birkhäuser), page 125,

- 1.35 Find a distributive lattice ''L'' with no minimal and no maximal prime ideals.
2015, Vijay K. Garg, ''Introduction to Lattice Theory with Computer Science Applications'', Wiley, page 186,

- Definition 15.11 (Width Ideal) ''An ideal Q of a poset P = (X,≤) is a width ideal if maximal(Q) is a width antichain.''
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 \mathcal{P}(X) such that: (1)\ \emptyset \in I, (2)\ A \in I \and B \subseteq A\implies B\in I and (3)\ A,B \in I\implies A\cup B \in I.''

A subalgebra (subspace that is closed under the bracket) 𝖍 of a given algebra 𝖌 such that the Lie bracket 𝖌,𝖍 is a subset of 𝖍.

1975, Che-Young Lee (translator), Zhe-Xian Wan, ''Lie Algebras'', Pergamon Press, page 13,

- If 𝖌 is a Lie algebra, 𝖍 is an ideal and the Lie algebras 𝖍 and 𝖌/𝖍 are solvable, then 𝖌 is solvable.
2006, W. McGovern, ''The work of Anthony Joseph in classical representation theory'', 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,

- 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.
2013, J.E. Humphreys, ''Introduction to Lie Algebras and Representation Theory'', Springer, page 73,

- Next let L be an arbitrary semisimple Lie algebra. Then L can be written uniquely as a direct sum L_1\oplus \dots \oplus L_t of simple ideals (Theorem 5.2).
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.

*(cite-web)*|work=Chapter 1 : Lattice Theory|url=http://boole.stanford.edu/cs353/handouts/book1.pdf|publisher=boole.stanford.edu|section=§1.3.5''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.''

*(l)*ideal

*(gloss)**(l)*:optimal; being the best possibility.

pertaining to ideas, or to a given idea.

*(l)*: a subring closed under multiplication by its containing ring.ideal; perfect standard

*(l)**(gl)**(syn)*