Quasivariety
கணிதத்தில், ஒரு குவாசிவேர்ட்டி என்பது வகுப்பை வரையறுக்கும் கோட்பாடுகளில் சமன்பாட்டு நிலைமைகளை அனுமதிப்பதன் மூலம் வகை பற்றிய கருத்தை பொதுமைப்படுத்தும் இயற்கணித கட்டமைப்புகளின் ஒரு வகுப்பாகும். வரையறை ஒரு அற்பமான இயற்கணிதத்தில் ஒரே ஒரு உறுப்பு மட்டுமே உள்ளது. ஒரு குவாசிவேரியேட்டி என்பது பின்வரும் சமமான நிபந்தனைகளில் ஏதேனும் ஒன்றை பூர்த்தி செய்யும் ஒரு குறிப்பிட்ட கையொப்பத்துடன் கூடிய ஆல்ஜிப்ராக்களின் கிளாஸ் கே ஆகும். 1. கே என்பது சபால்ஜெப்ராக்கள் மற்றும் நேரடி தயாரிப்புகளின் கீழ் மூடப்பட்ட ஒரு போலி உறுப்பு வகுப்பு ஆகும். 2. K என்பது அரை அடையாளங்களின் தொகுப்பின் அனைத்து மாதிரிகளின் வகுப்பாகும், அதாவது, படிவத்தின் தாக்கங்கள், இங்கு குறிப்பிட்ட கையொப்பத்தின் செயல்பாட்டு சின்னங்களைப் பயன்படுத்தி மாறிகளிலிருந்து கட்டமைக்கப்பட்ட சொற்கள் உள்ளன. 3. K ஒரு அற்பமான இயற்கணிதத்தைக் கொண்டுள்ளது மற்றும் ஐசோமார்பிசம்கள், சபால்ஜெப்ராக்கள் மற்றும் குறைக்கப்பட்ட தயாரிப்புகளின் கீழ் மூடப்பட்டுள்ளது. 4. கே ஒரு அற்பமான இயற்கணிதத்தைக் கொண்டுள்ளது மற்றும் ஐசோமார்பிசம்கள், சபால்ஜெப்ராக்கள், நேரடி தயாரிப்புகள் மற்றும் அல்ட்ரா தயாரிப்புகளின் கீழ் மூடப்பட்டுள்ளது. எடுத்துக்காட்டுகள் ஒவ்வொரு வகையும் ஒரு சமன்பாட்டின் அடிப்படையில் ஒரு அரை-அடையாளமாக இருப்பதால் n = 0 ஆகும். ரத்துசெய்யப்பட்ட அரை குழுக்கள் ஒரு குவாசிவேரிடியை உருவாக்குகின்றன. K ஒரு குவாசிவேரிடியாக இருக்கட்டும். பின்னர் K இலிருந்து வரிசைப்படுத்தக்கூடிய ஆல்ஜிப்ராக்களின் வகுப்பு ஒரு குவாசிவேரிடியை உருவாக்குகிறது, ஏனெனில் பாதுகாப்பு-வரிசை கோட்பாடுகள் ஹார்ன் உட்பிரிவுகள் ஆகும். குறிப்புகள் உலகளாவிய இயற்கணிதம்