Liczby podwójne[1] – w algebrze wyrażenia postaci
, gdzie
,
oraz
.
Liczby podwójne można ściśle zdefiniować jako zbiór par liczb rzeczywistych tj.
z następującymi dwoma działaniami:
,
.Para
jest elementem neutralnym mnożenia
oraz
.
Jest to więc pierścień przemienny z jedynką i z dzielnikami zera[2]. Dzielniki zera mają postać
lub
, bowiem dla dowolnych
:
.Ponieważ
i
są niewspółmierne, więc analogicznie do liczb zespolonych otrzymać można następującą postać kanoniczną:
gdzie
.Dla liczby dualnej niebędącej dzielnikiem zera tj.
istnieje odwrotność:
.Pierścień liczb podwójnych można zanurzyć izomorficznie w pierścieniu macierzy stopnia 2:
,w szczególności
.
