Ta’rif 2.2 va ko’phadlardan har birining istalgan hadi uchun ikkinchisining ham xuddi shunday hadi mavjud bo’lsagina bu ikki ko’phad bir-biriga teng deyiladi .
Ta’rif 2.3 (1.4) Ko’phadning hamma hadlari bir xil -darajali bo’lsa, ko’phad -darajali bir jinsli ko’phad yoki - darajali forma deyiladi.
Masalan.
ko’phad 6- darajali formadir.Birinchi darajali forma chiziqli forma, ikkinchi darajali forma kvadratik forma, uchinchi darajali forma esa kubik forma deyiladi.
Endi sonlar maydoni ustida berilgan ikkita no’malumli ko’phad uchun qo’shish va ko’paytirish amallarini kiritamiz.
va
ko’phadlarni qo’shish deb, ulardagi mos hadlarning koeffitsiyentlarini qo’shishni tushunamiz.
(i = 1, ) bo’lganda
(1.5)
va
(1.6)
hadlar mos yoki o’xshash hadlar deyiladi. Agar biror had va ko’phadlarning faqatgina bittasida uchrasa ikkinchi ko’phaddagi maskur hadning koeffitsiyenti nol deb olinadi.
Ikkita (1.5) va (1.6) kabi hadlarning ko’paytmasi deb
(1.7)
Ifodani tushunamiz. Masalan kompleks sonlar maydoni ustida
va ko’phadlarning yig’indisi, ayirmasi va ko’paytmasi quyidagilarga teng.
Teorema - noma’lumli ko’phadlar to’plami halqa tashkil qiladi.
Isboti. Teorama isbotini noma’lumlar soniga nisbatan induksiya metodi asosida olib boramiz. =1 da biz bir noma’lumli ko’phadlar to’plamiga ega bo’lamiz. Ma’lumki bu ko’phadlar to’plami halqa tashkil etar edi va bu halqa
nolning bo’livchilariga ega emas .
Faraz qilaylik teorema hol uchun to’g’ri bo’lsin. Boshqacha aytganda barcha noma’lumli ko’phadlar to’plami nolning bo’luvchilariga ega bo’lmagan halqa bo’lsin.Teoremani hol uchun to’g’riligini ko’rsatamiz. sonlar maydoni ustida berilgan noma’lumli ko’phadni 1 ta noma’llumli ko’phad deb qarab, bu ko’phad koeffitsentlarining har biri noma’lumli ko’phadlar bo’ladi.
Koeffitsiyentlar to’plamini desak farazimizga asosan nolning bo’luvchilariga ega bo’lmagan halqalardir. Ikkinchi tomondan bitta xn noma’lumli ko’phadlar to’plami ustida qalqa tashkil etadi. Bu halqa biz izlagan n noma’lumli ko’phadlar halqasidan iborat bo’lib, u odatda orqali begilanadi. nolning bo’luvchilariga ega bo’lmagan kommutativ halqa bo’lganligidan ham sonlar maydoni ustida qurilgan, nolning bo’luvchilariga ega bo’lmagan kommutativ halqadir. Ma’lumki bunday halqalar odatda birlik elementga ega bo’lgan butunlik sohasini tashkil qilar edi. Demak noma’lumli ko’phadlar to’plami ham birlik elementga ega bo’lgan butunlik sohasidan iborat ekan.