Invariant factor
ஒரு முதன்மை இலட்சிய களத்தின் (பிஐடி) மீது ஒரு தொகுதியின் மாறாத காரணிகள் ஒரு முதன்மை இலட்சிய களத்தின் மீது இறுதியாக உருவாக்கப்பட்ட தொகுதிகளுக்கான கட்டமைப்பு தேற்றத்தின் ஒரு வடிவத்தில் நிகழ்கின்றன. ஒரு பிஐடி மற்றும் இறுதியாக உருவாக்கப்பட்ட-தொகுதி என்றால், சில முழு எண் மற்றும் பூஜ்ஜியமற்ற கூறுகளின் (வெற்று) பட்டியலுக்கு. எதிர்மறை அல்லாத முழு எண் தொகுதியின் இலவச தரவரிசை அல்லது பெட்டி எண் என்று அழைக்கப்படுகிறது, அதே நேரத்தில் மாறாத காரணிகள் மற்றும் தொடர்புடையது வரை தனித்துவமானது. ஒரு பிஐடி மீது ஒரு மேட்ரிக்ஸின் மாறாத காரணிகள் ஸ்மித் இயல்பான வடிவத்தில் நிகழ்கின்றன மற்றும் ஜெனரேட்டர்கள் மற்றும் உறவுகளின் தொகுப்பிலிருந்து ஒரு தொகுதியின் கட்டமைப்பைக் கணக்கிடுவதற்கான ஒரு வழிமுறையை வழங்குகின்றன. அடிப்படை வகுத்திகள் குறிப்புகள் Chap.8, p.128 ஆகியவற்றையும் பார்க்கவும். தொகுதி கோட்பாட்டின் அத்தியாயம் III.7, p.153