אלגברה לא אסוציאטיבית – הבדלי גרסאות

* לכל <math>a\neq 0 , b</math> קיימים ויחידים <math>x,x'</math> כך ש-<math>ax=b,x'a=b</math>.

* לכל <math>a \neq 0 </math> אופרטורי הכפל משמאל ומימין, <math>L_a, R_a</math>, הפיכים (בתור אופרטורים).

 

[[המשפט הקטן של ודרברן]] נשאר נכון גם עבור מספר נרחב של מחלקות נפוצות של אלגבראות לא אסוציאטיביות - כל אלגברה חילוק סופית אלטרנטיבית/עם חזקה אסוציאטיבית (ממאפיין לא 2) היא שדה. את הטענה האחרונה הוכיח לראשונה [[אברהם אדריאן אלברט|אלברט]] תוך שהוא עובר על כל המקרים ממשפט המיון של [[אלגברת ז'ורדן|אלגבראות ז'ורדן]]; McCrimmon הציג מאוחר יותר הוכחה יונפירומית.