Hautus lemma
கட்டுப்பாட்டுக் கோட்பாட்டில் மற்றும் குறிப்பாக ஒரு நேரியல் நேர மாறுபாட்டு அமைப்பின் பண்புகளை மாநில விண்வெளி வடிவத்தில் படிக்கும்போது, ஹாட்டஸ் லெம்மா (மாலோ எல். ஜே. ஹாட்டஸுக்குப் பிறகு), பொதுவாக போபோவ்-பெலிவிட்ச்-ஹாட்டஸ் சோதனை அல்லது பிபிஹெச் சோதனை என்றும் அழைக்கப்படுகிறது, இது ஒரு சக்திவாய்ந்த கருவியாக நிரூபிக்க முடியும். இந்த முடிவின் ஒரு சிறப்பு வழக்கு 1963 ஆம் ஆண்டில் எல்மர் ஜி. கில்பெர்ட்டின் ஒரு ஆய்வறிக்கையில் முதன்முதலில் தோன்றியது, பின்னர் 1966 இல் வாஸில் எம். போபோவ், 1968 இல் விட்டோல்ட் பெலேவிட்ச் மற்றும் 1969 இல் மாலோ ஹாட்டஸ் ஆகியோரின் பங்களிப்புகளுடன் தற்போதைய பிஎச்பி சோதனைக்கு விரிவுபடுத்தப்பட்டது, அவர் நேரியல் நேர மாறுபட்ட அமைப்புகளுக்கு முடிவுகளை நிரூபிப்பதில் அதன் பொருந்தக்கூடிய தன்மையை வலியுறுத்தினார். கூற்று லெம்மாவின் பல வடிவங்கள் உள்ளனஃ கட்டுப்படுத்தக்கூடிய தன்மைக்கு ஹாட்டஸ் லெம்மா கொடுக்கப்பட்ட ஒரு சதுர மேட்ரிக்ஸ் மற்றும் பின்வருவன சமமானவை என்று கட்டுப்படுத்தக்கூடிய தன்மைக்கான ஹாட்டஸ் லெம்மா கூறுகிறதுஃ இந்த ஜோடி கட்டுப்படுத்தக்கூடியது. எல்லாவற்றிற்கும் மேலாக, அதன் ஐகென் மதிப்புகள் அனைத்திற்கும், கண்டறிதலுக்கான ஹாட்டஸ் லெம்மா, கண்டறிதலுக்கான ஹாட்டஸ் லெம்மா, கொடுக்கப்பட்ட ஒரு சதுர மேட்ரிக்ஸ் மற்றும் பின்வருவன சமமானவை என்று கூறுகிறதுஃ இந்த ஜோடி கண்டறியக்கூடியது.