We verify the three laws for Ker(f) to be an ideal:
If u, u'
Ker(f),
then u + u'
Ker(f).
If r
R
and
u
Ker(f), then
ru
Ker(f).
Ker(f).
Ker(f).
Then
so
u + v
Ker(f).
R
and
u
Ker(f).
Then
so ru
Ker(f).