கணிதத்தில், முக்கியமாக நுண்புல இயற்கணிதத்தில், அமைவியம் (Morphism) என்பது கணித அமைப்புகளுக்கிடையேயுள்ள போக்குவரத்து. அமைப்பை சிதறாமல் காக்கக்ககூடிய அமைவியத்திற்கு காப்பமைவியம் (Homomorphism) என்று பெயர். இவையிரண்டுமே நுண்புலக் கருத்துக்கள். இவைகள் கணிதக் கண்டிப்புடன் வரையறுக்கப்பட வேண்டுமானால் நாம் விகுதிக் கோட்பாடுக்கும் (Category Theory), அனைத்தியற்கணிதத்துக்கும் (Universal Alagebra) செல்லவேண்டும். இக்கட்டுரையில், இதற்குக்கீழ்ப்படியில், குறிப்பிட்ட கணித அமைப்புகளுக்கே இவை பேசப்படுகின்றன.
குலம் காப்பமைவியம்[தொகு]
இது ஆங்கிலத்தில் Group Homomorphism எனப்படும். இரண்டு குலங்கள் G, H என்றும், அவைகளில் செயலிகள் முறையே *1, *2 என்றும் கொண்டால்,
ஒரு காப்பமைவியம் என்பதற்கு இலக்கணம்:
இலுள்ள ஒவ்வொரு
க்கும் ![{\displaystyle f(a*_{1}b)=f(a)*_{2}f(b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9acc86d184348680a8f61ecf81f2e9551e73a602)
விளைவுகள்[தொகு]
இவைகளுடைய முற்றொருமை உறுப்புக்களை முறையே
என்று கொண்டால்,
. ஏனென்றால்,
![{\displaystyle e_{H}=f(e_{G})*_{2}(f(e_{G}))^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d59208598ec274d2abce087e686d61a42a63f625)
![{\displaystyle =f(e_{G}*_{1}e_{G})*_{2}((f(e_{G}))^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94bf4c89eef085a0ad3c80373f682e67de639221)
![{\displaystyle =f(e_{G})*_{2}f(e_{G})*_{2}((f(e_{G}))^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a47754c0b642aa18b521dede23831561b1f60c23)
![{\displaystyle =f(e_{G})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e44e18086ef7662ae05c8f9856f992c1c5bb92ef)
இதன் பொருள்: காப்பமைவியம் முற்றொருமையை முற்றொருமைக்கே எடுத்துச்செல்கிறது.
என்று கொள். இப்பொழுது,
, ஏனென்றால்,
![{\displaystyle f(a^{-1})=f(a^{-1})*_{2}e_{H}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa74c83b32c6807add8d2d846dafdfe5e39a566a)
![{\displaystyle =f(a^{-1})*_{2}f(a)*_{2}(f(a))^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6dbf3f764ea020e892fa561df690f8775917af1)
![{\displaystyle =f(a^{-1}*_{1}a)*_{2}((f(a))^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39be85d4cec6af5a444331a9d1d728b7a22622d7)
![{\displaystyle =f(e_{G})*_{2}((f(a))^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32b7be663a5288a72e14c276f9709c2929f4101d)
![{\displaystyle =e_{H}*_{2}((f(a))^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cac606bd07dedadf0b213439a505a806e4c4f83a)
- =
![{\displaystyle ((f(a))^{-1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f352529d1e582b2319215358ffaa23a9c8ef0a5)
இதன் பொருள்: காப்பமைவியமும் நேர்மாறும் ஒன்றுக்கொன்று ஒத்துப்போகின்றன, அதாவது பரிமாறிக்கொள்கின்றன. அதாவது,
- நேர்மாறின் காப்பமைவிய பிம்பம் = காப்பமைவிய பிம்பத்தின் நேர்மாறு.
எடுத்துக்காட்டுகள்[தொகு]
![{\displaystyle \mathbf {R} \rightarrow \mathbf {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ba2c5f46328bf9a85a4b276184efaa421d934c4)
![{\displaystyle x\mapsto 2x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35e3f84003b9d1581877cb8c113b67dee71cb641)
இது கூட்டல் குலம்
இலிருந்து அதற்கே செல்லும் ஒரு குலம் காப்பமைவியம்; ஏனென்றால்
![{\displaystyle f(a+b)=2(a+b)=f(a)+f(b).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f55e9f4dd18be7ce0fd6bd423442272234b102ac)
![{\displaystyle ln:\mathbf {R} ^{+}\rightarrow \mathbf {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/09a2cb51620aa094f22828e8a0a5c136fa8f537c)
![{\displaystyle x\mapsto lnx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e74111c6f501031932467fd1bfa81fc1881e78d0)
இது பெருக்கல் குலம்
இலிருந்து கூட்டல் குலம்
க்கு ஒரு காப்பமைவியம்; ஏனென்றால்,
![{\displaystyle ln(a\times b)=lna+lnb}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f041297a2b8980eba1320ad9fbd42e62d6e867f4)
![{\displaystyle exp:\mathbf {R} \rightarrow \mathbf {R} ^{+}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aae1748841f0f5dcb191276c705c0deabd2bb05c)
![{\displaystyle x\mapsto e^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ee414f477283eac0138240ce73ee26f0f8dc63b)
இது கூட்டல் குலம்
இலிருந்து பெருக்கல் குலம்
க்கு ஒரு காப்பமைவியம்; ஏனென்றால்
![{\displaystyle e^{a+b}=e^{a}\times e^{b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f4cbe3a347999f86e095aaa39f7b47c138509da)
அலகுவட்டம் ![{\displaystyle \{z\in \mathbf {C} :|z|=1\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc69e35b54cd0dead4ed28848c597850e8a95281)
![{\displaystyle \theta \mapsto e^{i\theta }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdb38abebacce45d1e962a9dbb3584ba8760531b)
இது இடது பக்கத்து கூட்டல் குலத்திலிருந்து வலது பக்கத்து பெருக்கல் குலத்திற்குச் செல்லும் ஒரு காப்பமைவியம்; ஏனென்றால்,
![{\displaystyle e^{i(\theta +\phi )}=e^{i\theta }\times e^{i\phi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e460b33c6ab81eb0522c0aaad6e990393df37c3f)
- ஒரு சமபக்க நான்முகியில், ஒரு உச்சியிலிருந்து எதிர்முகத்திற்குப்போகும் அச்சைச்சுற்றிப்போகும் சுழற்சிகளில் மூன்று சுழற்சிகள்
நான்முகிவடிவத்தை இடமாற்றாது. இம்மூன்று சுழற்சிகளும் சுழற்சிச்சேர்வைக்கு ஒரு குலமாகிறது. இது {0, 1, 2} என்ற modulo 3 கூட்டல் குலத்திற்கு காப்பமைவியம் உள்ளதாக இருக்கும்.
- சமச்சீர் குலம்
க்கும் 2-ஆவது கிரம சுழற்குலம்
க்கும் இடையில்
என்ற ஒரு சீலக்கோப்பு (Character map) உண்டாக்கலாம். அதாவது,
![{\displaystyle \chi :S_{n}\rightarrow \{+1,-1\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac360178647846959c026bd88cb9a8f7c30a8211)
![{\displaystyle A\mapsto sgn(A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9c9b6822099ae09b822070b2b8e444f5a3e3410)
இது ஒரு காப்பமைவியம்.
வளையம் காப்பமைவியம்[தொகு]
இது Ring Homomorphism.
இரண்டு வளையங்கள் என்று கொண்டால்,
ஒரு காப்பமைவியம் என்பதற்கு இலக்கணம்:
இலுள்ள ஒவ்வொரு
க்கும் ,
, மற்றும்,
![{\displaystyle f(a\circ _{1}b)=f(a)\circ _{2}f(b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b64ae065595a01484c23f6a60a640cb02ca6b76)
விளைவுகள்[தொகு]
- ஒவ்வொரு வளையம் காப்பமைவியமும்,
ஆகிய குலங்களுக்கிடையே ஒரு குலம் காப்பமைவியமாகவும் ஆகிறது. இதனால்
மற்றும்
- ஒவ்வொரு
க்கும் ![{\displaystyle f(-a)=-f(a).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0aae6cda026d9b2d62a353a6bdbe2667bcdb38c)
என்ற
இன் உட்கரு
இல் ஒரு சீர்மமாகும்.
எடுத்துக்காட்டுகள்[தொகு]
![{\displaystyle \mathbf {Z} \rightarrow \mathbf {Z} _{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9656189c6b80c931c189e38cb0c99f35d63656f8)
(mod
)
![{\displaystyle {\mathcal {C}}[a,b]\rightarrow \mathbf {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a0da8faee8d65b7ecd6be8eb16f52adea5a2b47)
, இங்கு
என்பது
யில் ஒரு நிலையான புள்ளி.
![{\displaystyle {\mathcal {P}}\rightarrow \mathbf {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed592b004b9224e1f047e83e1e5f4b3a34572f83)
![{\displaystyle f\mapsto f(1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/270c99a7d599fa5d2320e8c5cb42e74e8c44444d)
- அ-து:
![{\displaystyle a_{0}+a_{1}x+a_{2}x^{2}+...+a_{n}x^{n}\mapsto a_{0}+a_{1}+a_{2}+...+a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b352ee5b00aa1f5c20a3a7621122731ab647623)
திசையன் வெளி காப்பமைவியம்[தொகு]
இரண்டு அமைப்புகளும் ஒரே அளவெண்களத்தையுடைய திசையன் வெளி யாக இருக்கும் பட்சத்தில், அமைப்பைக் காக்கும் காப்பமைவியங்கள் நேரியல் கோப்பு களே.
காப்பமைவியங்களுக்குள் பாகுபாடுகள்[தொகு]
மேலுள்ள எல்லா சூழ்நிலையிலும், ஒரு காப்பமைவியம், கூடவே,
- முழுக்கோப்பாகவும் இருந்தால் அது முழு அமைவியம் (epimorphism) எனவும்,
- உள்ளிடுகோப்பாகவும் இருந்தால் அது ஒன்றமைவியம் (monomorphism)எனவும்,
- முழுகோப்பாகவும், உள்ளிடுகோப்பாகவும் இருந்தால் அது சம அமைவியம் (isomorphism) எனவும்,
- ஓர் அமைப்புள்ள கணத்திலிருந்து அதற்குள்ளேயே செல்வதாயிருந்தால் அது உள்ளமைவியம் (endomorphism) எனவும்,
- ஒர் அமைப்புள்ள கணத்திலிருந்து அதற்குள்ளேயெ செல்வதாகவும், முழுக்கோப்பாகவும், உள்ளிடு கோப்பாகவும் இருந்தால் அது தன்னமைவியம் (automorphism) எனவும் சொல்லப்படும்.