מתוך ויקיפדיה, האנציקלופדיה החופשית
גרעין (Kernel ) של הומומורפיזם בין מבנים אלגבריים הוא אוסף האיברים שההומומורפיזם מעביר אל האיבר הנייטרלי (לדוגמא: איבר האפס של מרחב וקטורי, איבר האפס של חוג, איבר היחידה של חבורה). הגרעין הוא תת-מבנה של המבנה שממנו מוגדר ההומורפיזם, וחלות עליו גרסאות שונות של משפט האיזומורפיזם הראשון , על-פי סוג המבנה שבו מדובר. נהוג לסמן את הגרעין של העתקה
f
:
A
→
B
{\displaystyle f:A\to B}
ב-
Ker
(
f
)
{\displaystyle \operatorname {Ker} (f)}
או
ker
(
f
)
{\displaystyle \ker(f)}
(לעיתים משמיטים את הסוגריים ורושמים
ker
f
{\displaystyle \ker f}
)
אם
T
:
V
→
W
{\displaystyle T\colon V\rightarrow W}
הומומורפיזם של מרחבים וקטוריים , הגרעין שלו
Ker
(
T
)
=
{
v
∈
V
:
T
(
v
)
=
0
}
{\displaystyle \ \operatorname {Ker} (T)=\{v\in V:T(v)=0\}}
הוא תת-מרחב של
V
{\displaystyle \ V}
, שממדו
dim
(
V
)
−
rank
(
T
)
{\displaystyle \ \dim(V)-\operatorname {rank} (T)}
.
אם
f
:
G
→
H
{\displaystyle f\colon G\to H}
הומומורפיזם של חבורות , הגרעין
Ker
(
f
)
=
{
x
∈
G
:
f
(
x
)
=
1
}
{\displaystyle \ \operatorname {Ker} (f)=\{x\in G:f(x)=1\}}
הוא תת-חבורה נורמלית , וחבורת המנה
G
/
Ker
(
f
)
{\displaystyle \ G/\operatorname {Ker} (f)}
איזומורפית לתמונה
Im
(
f
)
{\displaystyle \ \operatorname {Im} (f)}
.
אם
f
:
R
→
S
{\displaystyle f\colon R\to S}
הומומורפיזם של חוגים , הגרעין
Ker
(
f
)
=
{
x
∈
R
:
f
(
x
)
=
0
}
{\displaystyle \ \operatorname {Ker} (f)=\{x\in R:f(x)=0\}}
הוא אידיאל דו-צדדי, וחוג המנה
R
/
Ker
(
f
)
{\displaystyle \ R/\operatorname {Ker} (f)}
איזומורפי לתמונה
Im
(
f
)
{\displaystyle \ \operatorname {Im} (f)}
.
אם
f
:
M
→
N
{\displaystyle f\colon M\to N}
הומומורפיזם של מודולים מעל חוג R, הגרעין
Ker
(
f
)
=
{
x
∈
M
:
f
(
x
)
=
0
}
{\displaystyle \ \operatorname {Ker} (f)=\{x\in M:f(x)=0\}}
הוא תת-מודול של
M
{\displaystyle \ M}
, ומודול המנה
M
/
Ker
(
f
)
{\displaystyle \ M/\operatorname {Ker} (f)}
איזומורפי לתמונה
Im
(
f
)
{\displaystyle \ \operatorname {Im} (f)}
.
ניתן להגדיר גרעין גם עבור קבוצה מנוקדת (pointed set). אם
f
:
(
X
,
x
0
)
→
(
Y
,
y
0
)
{\displaystyle f\colon (X,x_{0})\to (Y,y_{0})}
פונקציה בין קבוצות עם נקודות אז
Ker
(
f
)
=
{
x
∈
X
:
f
(
x
)
=
y
0
}
{\displaystyle \operatorname {Ker} (f)=\{x\in X\ :\ f(x)=y_{0}\}}
.
ההכללה המשותפת למקרים אלה נתונה בתורת הקטגוריות על ידי מושג הגרעין הקטגורי.