Difference between revisions of "Skew field"
m |
m |
||
Line 1: | Line 1: | ||
− | A '''skew field''', also known as a '''division ring''', is | + | A '''skew field''', also known as a '''division ring''', is a (not necessarily commutative) ring in which every [[element]] has a two-sided [[inverse with respect to an operation | inverse]]. Equivalently, a skew field is a [[field]] in which multiplication does not necessarily [[commutative property | commute]]. That is, it is a [[set]] <math>S</math> along with two [[operation]]s, <math>+</math> and <math>\cdot</math> such that: |
* There are elements <math>1, 0 \in S</math> such that <math>1 \cdot a = a \cdot 1 = a</math> and <math>a + 0 = 0 + a = a</math> for all <math>a \in S</math>. (Existence of additive and multiplicative [[identity | identities]].) | * There are elements <math>1, 0 \in S</math> such that <math>1 \cdot a = a \cdot 1 = a</math> and <math>a + 0 = 0 + a = a</math> for all <math>a \in S</math>. (Existence of additive and multiplicative [[identity | identities]].) |
Revision as of 13:36, 14 February 2007
A skew field, also known as a division ring, is a (not necessarily commutative) ring in which every element has a two-sided inverse. Equivalently, a skew field is a field in which multiplication does not necessarily commute. That is, it is a set along with two operations,
and
such that:
- There are elements
such that
and
for all
. (Existence of additive and multiplicative identities.)
- For each
other than 0, there exist elements
such that
and
. (Existence of additive and multiplicative inverses.)
for all
(Commutativity of addition.)
for all
(Associativity of addition.)
(Associativity of multiplication.)
and
(The distributive property.)
Every field is a skew field. The most famous example of a skew field that is not also a field is the collection of quaternions.