Dictionary
Words, grammatical forms and meanings linked to the ontology.
factor ideal en · NOUN
Meanings
-
(qualifier:ring theory) For given ring R, any ideal I such that Q = R / I, the set of cosets of elements of I in R, is a ring (the quotient ring of I in R).
Recall that a factor ideal I of a half-shell A comes from a factor congruence θ of A where I = 0/θ. Factor ideals and congruences will be needed whenever we want to show that we have embedded a half-shell into a Baer–Stone half-shell.[…]
2.1 Definition. Remember that a half-shell A is called a Baer–Stone half-shell if the right and left annihilators of every single element of A are factor ideals. It is called finitely Baer-Stone if the annihilators on both sides of any finite subset of A are factor ideals.
2012, Arthur Knoebel, Sheaves of Algebras over Boolean Spaces, Springer (Birkhäeser), page 246:1965 [Prentice-Hall], Seth Warner, Modern Algebra, 1990, Dover, page 651,
Consequently, we may speak of the sequence of invariant factor ideals of a finitely generated unitary module over a principal ideal domain A.
1985 [W. H. Freeman and Company], Nathan Jacobson, Basic Algebra I, 2nd Edition, Dover, 2009, page 193,
We shall now call the sequence of order ideals, ann z₁, ann z₂, ..., whose uniqueness has just been proved, the invariant factor ideals of the module M.
Forms