இந்தக் கட்டுரையில் மேற்கோள்கள் அல்லது உசாத்துணைகள் எதுவும் இல்லை. |
கணிதத்தில் நான்முகிக் குலம் என்பது ஒரு நான்முகியின் சமச்சீர் திருப்பங்களின் குலம் ஆகும். இது 12 உறுப்புகள் கொண்ட ஒரு பரிமாறாக்குலம்.
நான்முகிக்குலத்தின் 12 உறுப்புகள்:
முகங்களை என்று பெயரிடுவோம். இப்பொழுது, நான்முகியின் முகங்களின் 12 வரிசைமாற்றங்களின் பட்டியல்:
மூலைப்புள்ளிகளை 1, 2, 3, 4 என்று பெயரிடுவோம். இவைகளின் வரிசைமாற்றங்கள் பின்வருமாறு:
மேலேயுள்ள {1, 2, 3, 4} இன் 12 வரிசைமாற்றங்களும் சமச்சீர் குலம் S4 இன் 12 இரட்டை வரிசைமாற்றங்கள். அதனால் நான்முகிக்குலமும் மாறிசைக்குலம் A4 ம் ஒன்றே.
இப்பன்னிரு வரிசைமாற்றங்களில் கடைசி நான்கும் அவைகளுக்குள் ஒரு குலமாகின்றன. அவைகளில் முற்றொருமையைத்தவிர இதர மூன்றில் ஒவ்வொன்றுக்கும் கிரமம் 2; ஏனென்றால்,
ஆகையால் இந்நான்கும் சேர்ந்த உட்குலம் கிளைன் நான்குறுப்புக்குலம் தான். இது A4இல் ஓர் இயல்நிலை உட்குலம் ( Normal subgroup) ஆகும். காரணம், இதனில் அடங்கும் உறுப்புக்களுக்கெல்லாம் இணையியங்கள் இதற்குள்ளேயே உள்ளன.
இது மாத்திரமல்ல. இவ்வுட்குலத்தைத்தவிர A4 இல் வேறொரு இயல்நிலை உட்குலம் இருக்கவே முடியாதென்பதையும் நாம் தீர்மானிக்க முடியும். ஏனென்றால், அப்படி இன்னொரு இயல்நிலை உட்குலம் ஒன்று இருப்பதாக வைத்துக்கொள்வோம். அதை K என்று அழை. இதனில், (234), (243)= (234)2, இவையிரண்டில் ஏதாவதொன்று Kஇல் இருந்தால் மற்றதும் K இல் இருந்தாகவேண்டும். (காரணம் K ஒரு குலம்). மேலும்,இதைத் தொடர்ந்து,
இவை எட்டில், ஏதாவதொன்று K இல் இருந்தால் மற்ற அனைத்தும் K இல் இருந்தாகவேண்டும். ஏனென்றால் அவை ஒன்றுக்கொன்று இணையியங்கள் (எல்லாம் ஒரே பொதுவான சுழலமைப்புள்ளவை). அதனால் Kஇன் கிரமம் ≥ 8. ஆனால் லாக்ராஞ்சியின் தேற்றப்படி K இன் கிரமம் A4 இன் கிரமமான 12 ஐ வகுத்தாகவேண்டும். இதனால் K = A4. ஆக, A4 இன் இயல்நிலை உட்குலம் நான்குறுப்புக்குலம் ஒன்று மட்டும் தான்.