Diberikan
ruang vektor atas
. Suatu fungsi
disebut hasil kali dalam (inner product) jika memenuhi empat aksioma berikut:



, dan
jika dan hanya jika
(vektor nol)
Ruang vektor
atas
yang dilengkapi dengan suatu hasil kali dalam disebut dengan ruang hasil kali dalam (inner product space).
Contoh:
- Ruang vektor
atas
merupakan ruang hasil kali dalam terhadap hasil kali dalam
, untuk
. Juga merupakan ruang hasil kali dalam dengan
. - Secara umum, ruang vektor
atas
merupakan ruang hasil kali dalam terhadap hasil kali dalam
, untuk
. Ruang hasil kali dalam
terhadap hasil kali dalam tersebut dinamakan dengan Ruang Euclid (Euclidean Space).
dan
basis untuk
basis untuk
, diperoleh bahwa 
,
dan
.
(terhadap operasi penjumlahan modulo
)
, dengan
prima (terhadap operasi perkalian madulo
)
, ternyata setiap anggota dari
dapat dinyatakan sebagai hasil penjumlahan sebanyak berhingga dari
, yaitu:



adalah suatu himpunan tidak kosong
yang dilengkapi dengan suatu operasi biner “
” sedemikian hingga untuk setiap
terdapat dengan tunggal
sedemikian hingga
dan
.
merupakan quasigroup terhadap operasi pengurangan bilangan “
“.
merupakan quasigroup terhadap operasi pembagian (division).
adalah suatu field (lapangan).
: Jika
dengan
, maka terdapat dengan tunggal
sedemikian hingga
dengan
atau
.
dan
dengan

membangun grup
, sebab untuk setiap
dapat dinyatakan dengan
. Himpunan pembangun ini mempunyai sifat bahwa setiap elemen
, yaitu koefisien
adalah tunggal.
grup hingga yang mempunyai order
dari
, untuk suatu bilangan bulat nonnegatif
. Suatu subgrup
tidak membagi 

