கட்டற்ற கலைக்களஞ்சியமான விக்கிப்பீடியாவில் இருந்து.
கணிதத்தில் , முக்கியமாக நுண்புல இயற்கணிதத்தில் , அமைவியம் (Morphism) என்பது கணித அமைப்புகளுக்கிடையேயுள்ள போக்குவரத்து. அமைப்பை சிதறாமல் காக்கக்ககூடிய அமைவியத்திற்கு காப்பமைவியம் (Homomorphism) என்று பெயர். இவையிரண்டுமே நுண்புலக் கருத்துக்கள். இவைகள் கணிதக் கண்டிப்புடன் வரையறுக்கப்பட வேண்டுமானால் நாம் விகுதிக் கோட்பாடுக்கும் (Category Theory), அனைத்தியற்கணிதத்துக்கும் (Universal Alagebra) செல்லவேண்டும். இக்கட்டுரையில், இதற்குக்கீழ்ப்படியில், குறிப்பிட்ட கணித அமைப்புகளுக்கே இவை பேசப்படுகின்றன.
குலம் காப்பமைவியம் [ தொகு ] இது ஆங்கிலத்தில் Group Homomorphism எனப்படும். இரண்டு குலங்கள் G, H என்றும், அவைகளில் செயலிகள் முறையே *1 , *2 என்றும் கொண்டால்,
f
:
G
→
H
{\displaystyle f:G\rightarrow H}
G
{\displaystyle G}
a
,
b
{\displaystyle a,b}
f
(
a
∗
1
b
)
=
f
(
a
)
∗
2
f
(
b
)
{\displaystyle f(a*_{1}b)=f(a)*_{2}f(b)}
விளைவுகள் [ தொகு ]
G
,
H
{\displaystyle G,H}
முற்றொருமை உறுப்புக்களை முறையே
e
G
,
e
H
{\displaystyle e_{G},e_{H}}
f
(
e
G
)
=
e
H
{\displaystyle f(e_{G})=e_{H}}
e
H
=
f
(
e
G
)
∗
2
(
f
(
e
G
)
)
−
1
{\displaystyle e_{H}=f(e_{G})*_{2}(f(e_{G}))^{-1}}
=
f
(
e
G
∗
1
e
G
)
∗
2
(
(
f
(
e
G
)
)
−
1
{\displaystyle =f(e_{G}*_{1}e_{G})*_{2}((f(e_{G}))^{-1}}
=
f
(
e
G
)
∗
2
f
(
e
G
)
∗
2
(
(
f
(
e
G
)
)
−
1
{\displaystyle =f(e_{G})*_{2}f(e_{G})*_{2}((f(e_{G}))^{-1}}
=
f
(
e
G
)
{\displaystyle =f(e_{G})}
இதன் பொருள்: காப்பமைவியம் முற்றொருமையை முற்றொருமைக்கே எடுத்துச்செல்கிறது.
a
∈
G
{\displaystyle a\in G}
f
(
a
−
1
)
=
(
(
f
(
a
)
)
−
1
{\displaystyle f(a^{-1})=((f(a))^{-1}}
f
(
a
−
1
)
=
f
(
a
−
1
)
∗
2
e
H
{\displaystyle f(a^{-1})=f(a^{-1})*_{2}e_{H}}
=
f
(
a
−
1
)
∗
2
f
(
a
)
∗
2
(
f
(
a
)
)
−
1
{\displaystyle =f(a^{-1})*_{2}f(a)*_{2}(f(a))^{-1}}
=
f
(
a
−
1
∗
1
a
)
∗
2
(
(
f
(
a
)
)
−
1
{\displaystyle =f(a^{-1}*_{1}a)*_{2}((f(a))^{-1}}
=
f
(
e
G
)
∗
2
(
(
f
(
a
)
)
−
1
{\displaystyle =f(e_{G})*_{2}((f(a))^{-1}}
=
e
H
∗
2
(
(
f
(
a
)
)
−
1
{\displaystyle =e_{H}*_{2}((f(a))^{-1}}
=
(
(
f
(
a
)
)
−
1
.
{\displaystyle ((f(a))^{-1}.}
இதன் பொருள்: காப்பமைவியமும் நேர்மாறும் ஒன்றுக்கொன்று ஒத்துப்போகின்றன, அதாவது பரிமாறிக்கொள்கின்றன. அதாவது,
நேர்மாறின் காப்பமைவிய பிம்பம் = காப்பமைவிய பிம்பத்தின் நேர்மாறு. எடுத்துக்காட்டுகள் [ தொகு ]
R
→
R
{\displaystyle \mathbf {R} \rightarrow \mathbf {R} }
x
↦
2
x
{\displaystyle x\mapsto 2x}
இது கூட்டல் குலம்
R
{\displaystyle \mathbf {R} }
f
(
a
+
b
)
=
2
(
a
+
b
)
=
f
(
a
)
+
f
(
b
)
.
{\displaystyle f(a+b)=2(a+b)=f(a)+f(b).}
l
n
:
R
+
→
R
{\displaystyle ln:\mathbf {R} ^{+}\rightarrow \mathbf {R} }
x
↦
l
n
x
{\displaystyle x\mapsto lnx}
இது பெருக்கல் குலம்
R
+
{\displaystyle \mathbf {R} ^{+}}
R
{\displaystyle \mathbf {R} }
l
n
(
a
×
b
)
=
l
n
a
+
l
n
b
{\displaystyle ln(a\times b)=lna+lnb}
e
x
p
:
R
→
R
+
{\displaystyle exp:\mathbf {R} \rightarrow \mathbf {R} ^{+}}
x
↦
e
x
{\displaystyle x\mapsto e^{x}}
இது கூட்டல் குலம்
R
{\displaystyle \mathbf {R} }
R
+
{\displaystyle \mathbf {R} ^{+}}
e
a
+
b
=
e
a
×
e
b
{\displaystyle e^{a+b}=e^{a}\times e^{b}}
R
→
{\displaystyle \mathbf {R} \rightarrow }
{
z
∈
C
:
|
z
|
=
1
}
{\displaystyle \{z\in \mathbf {C} :|z|=1\}}
θ
↦
e
i
θ
{\displaystyle \theta \mapsto e^{i\theta }}
இது இடது பக்கத்து கூட்டல் குலத்திலிருந்து வலது பக்கத்து பெருக்கல் குலத்திற்குச் செல்லும் ஒரு காப்பமைவியம்; ஏனென்றால்,
e
i
(
θ
+
ϕ
)
=
e
i
θ
×
e
i
ϕ
{\displaystyle e^{i(\theta +\phi )}=e^{i\theta }\times e^{i\phi }}
ஒரு சமபக்க நான்முகியில், ஒரு உச்சியிலிருந்து எதிர்முகத்திற்குப்போகும் அச்சைச்சுற்றிப்போகும் சுழற்சிகளில் மூன்று சுழற்சிகள்
(
0
∘
,
120
∘
,
240
∘
)
{\displaystyle (0^{\circ },120^{\circ },240^{\circ })}
சமச்சீர் குலம்
S
n
{\displaystyle S_{n}}
சுழற்குலம்
C
2
=
{
+
1
,
−
1
}
{\displaystyle C_{2}=\{+1,-1\}}
χ
{\displaystyle \chi }
χ
:
S
n
→
{
+
1
,
−
1
}
{\displaystyle \chi :S_{n}\rightarrow \{+1,-1\}}
A
↦
s
g
n
(
A
)
{\displaystyle A\mapsto sgn(A)}
இது ஒரு காப்பமைவியம்.
வளையம் காப்பமைவியம் [ தொகு ] இது Ring Homomorphism.
(
X
,
+
1
,
∘
1
)
(
Y
,
+
2
,
∘
2
)
{\displaystyle (X,+_{1},\circ _{1})(Y,+_{2},\circ _{2})}
வளையங்கள் என்று கொண்டால்,
f
:
X
→
Y
{\displaystyle f:X\rightarrow Y}
X
{\displaystyle X}
a
,
b
{\displaystyle a,b}
f
(
a
+
1
b
)
=
f
(
a
)
+
2
f
(
b
)
{\displaystyle f(a+_{1}b)=f(a)+_{2}f(b)}
f
(
a
∘
1
b
)
=
f
(
a
)
∘
2
f
(
b
)
{\displaystyle f(a\circ _{1}b)=f(a)\circ _{2}f(b)}
விளைவுகள் [ தொகு ] ஒவ்வொரு வளையம் காப்பமைவியமும்,
(
X
,
+
1
)
,
(
Y
,
+
2
)
{\displaystyle (X,+_{1}),(Y,+_{2})}
f
(
0
X
)
=
(
0
Y
)
;
{\displaystyle f(0_{X})=(0_{Y});}
ஒவ்வொரு
a
∈
X
{\displaystyle a\in X}
f
(
−
a
)
=
−
f
(
a
)
.
{\displaystyle f(-a)=-f(a).}
k
e
r
f
=
{
x
∈
X
:
f
(
x
)
=
0
Y
}
{\displaystyle kerf=\{x\in X:f(x)=0_{Y}\}}
f
{\displaystyle f}
X
{\displaystyle X}
சீர்மமாகும் .எடுத்துக்காட்டுகள் [ தொகு ]
Z
→
Z
n
{\displaystyle \mathbf {Z} \rightarrow \mathbf {Z} _{n}}
a
↦
a
{\displaystyle a\mapsto a}
n
{\displaystyle n}
C
[
a
,
b
]
→
R
{\displaystyle {\mathcal {C}}[a,b]\rightarrow \mathbf {R} }
f
↦
f
(
x
0
)
{\displaystyle f\mapsto f(x_{0})}
x
0
{\displaystyle x_{0}}
[
a
,
b
]
{\displaystyle [a,b]}
P
→
R
{\displaystyle {\mathcal {P}}\rightarrow \mathbf {R} }
f
↦
f
(
1
)
{\displaystyle f\mapsto f(1)}
அ-து:
a
0
+
a
1
x
+
a
2
x
2
+
.
.
.
+
a
n
x
n
↦
a
0
+
a
1
+
a
2
+
.
.
.
+
a
n
{\displaystyle a_{0}+a_{1}x+a_{2}x^{2}+...+a_{n}x^{n}\mapsto a_{0}+a_{1}+a_{2}+...+a_{n}}
திசையன் வெளி காப்பமைவியம் [ தொகு ] இரண்டு அமைப்புகளும் ஒரே அளவெண்களத்தையுடைய திசையன் வெளி யாக இருக்கும் பட்சத்தில், அமைப்பைக் காக்கும் காப்பமைவியங்கள் நேரியல் கோப்பு களே.
காப்பமைவியங்களுக்குள் பாகுபாடுகள் [ தொகு ] மேலுள்ள எல்லா சூழ்நிலையிலும், ஒரு காப்பமைவியம், கூடவே,
முழுக்கோப்பாகவும் இருந்தால் அது முழு அமைவியம் (epimorphism) எனவும்,உள்ளிடுகோப்பாகவும் இருந்தால் அது ஒன்றமைவியம் (monomorphism)எனவும்,முழுகோப்பாகவும், உள்ளிடுகோப்பாகவும் இருந்தால் அது சம அமைவியம் (isomorphism) எனவும்,
ஓர் அமைப்புள்ள கணத்திலிருந்து அதற்குள்ளேயே செல்வதாயிருந்தால் அது உள்ளமைவியம் (endomorphism) எனவும்,
ஒர் அமைப்புள்ள கணத்திலிருந்து அதற்குள்ளேயெ செல்வதாகவும், முழுக்கோப்பாகவும், உள்ளிடு கோப்பாகவும் இருந்தால் அது தன்னமைவியம் (automorphism) எனவும் சொல்லப்படும். 
![{\displaystyle {\mathcal {C}}[a,b]\rightarrow \mathbf {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a0da8faee8d65b7ecd6be8eb16f52adea5a2b47)
![{\displaystyle [a,b]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
