La propriété de Schreier est intermédiaire entre celle d'être un anneau à PGCD et celle de vérifier le lemme de Gauss :
- tout anneau intègre à PGCD est un anneau de Schreier et la réciproque est fausse[6] ;
- tout anneau pré-Schreier vérifie le lemme de Gauss[7] et la réciproque est fausse[8].
A fortiori, un anneau pré-Schreier vérifie le lemme d'Euclide : un élément est premier si (et seulement si) il est irréductible (on peut le voir plus directement en remarquant que dans un anneau intègre, tout élément irréductible et primal est premier). En particulier, un anneau est factoriel si (et seulement si) il est pré-Schreier et atomique[9],[10].
On peut affiner l'implication ci-dessus « pré-Schreier ⇒ Gauss » en intercalant la propriété « PSP » : tout polynôme Primitif est SuperPrimitif, c'est-à-dire que l'inverse de idéal de type fini engendré par ses coefficients est réduit à l'anneau. (L'implication « pré-Schreier ⇒ PSP » se démontre par interpolation de Riesz[11] — elle est stricte[12] — et Gauss équivaut à « PSP2 », la propriété PSP restreinte aux polynômes de degré 1[13].)
En résumé : à PGCD ⇒ Schreier ⇒ pré-Schreier ⇒ PSP ⇒ Gauss ⇒ Euclide.
Par ailleurs, si A est un anneau de Schreier, alors l'anneau de polynômes A[X] en est un aussi[14].
