# Commutative Algebra/Modules, submodules and homomorphisms

## Basics

Definition 5.1 (modules):

Let ${\displaystyle R}$ be a ring. A left ${\displaystyle R}$-module is an Abelian group ${\displaystyle M}$ together with a function

${\displaystyle R\times M\to M,(r,m)\mapsto rm}$

such that

1. ${\displaystyle \forall m\in M:1_{R}m=m}$,
2. ${\displaystyle \forall m,n\in M,r\in R:r(m+n)=rm+rn}$,
3. ${\displaystyle \forall m\in M,r,s\in R:(r+s)m=rm+sm}$ and
4. ${\displaystyle \forall m\in M,r,s\in R:r(sm)=(rs)m}$.

Analogously, one can define right ${\displaystyle R}$-modules with an operation ${\displaystyle R\times M\to M,(r,m)\mapsto mr}$; the difference is only formal, but it will later help us define bimodules in a user-friendly way.

For the sake of brevity, we will often write module instead of left ${\displaystyle R}$-module.

• Exercise 5.1.1: Prove that every Abelian monoid ${\displaystyle (M,+)}$ together with an operation as specified in 1.) - 4.) of definition 5.1 is already a module.

## Submodules

Definition 5.2 (submodules):

A subgroup ${\displaystyle N\leq M}$ which is closed under the module function (i.e. the left multiplication operation defined above) is called a submodule. In this case we write ${\displaystyle N\leq M}$.

The following lemma gives a criterion for a subset of a module being a submodule.

Lemma 5.3:

A subset ${\displaystyle N\subseteq M}$ is a submodule iff

${\displaystyle \forall r\in R,n,q\in N:rn-q\in N}$.

Proof:

Let ${\displaystyle N}$ be a submodule. Then since ${\displaystyle -q\in N}$ since we have an Abelian group and further ${\displaystyle rn\in N}$ due to closedness under the module operation, also ${\displaystyle rn+(-q)=:rn-q\in N}$.

If ${\displaystyle N}$ is such that ${\displaystyle \forall r\in R,n,q\in N:rn-q\in N}$, then for any ${\displaystyle n,m\in N}$ also ${\displaystyle n+m=n+(-1_{R})(-m)\in N}$.

Definition and theorem 5.4 (factor modules): If ${\displaystyle N}$ is a submodule of ${\displaystyle N}$, the factor module by ${\displaystyle N}$ is defined as the group ${\displaystyle M/N}$ together with the module operation

${\displaystyle r(m+N):=rm+N}$.

This operation is well-defined and satisfies 1. - 4. from definition 5.1.

Proof:

Well-definedness: If ${\displaystyle m+N=p+N}$, then ${\displaystyle m-p\in N}$, hence ${\displaystyle r(m-p)=rm-rp\in N}$ and thus ${\displaystyle rm+N=rp+N}$.

1. ${\displaystyle 1_{R}(m+N)=(1_{r}m)+N=m+N}$
2. ${\displaystyle r(n+N+m+N)=r((m+n)+N)=r(m+n)+N=rm+rn+N=rm+N+rn+N}$
3. ${\displaystyle (r+s)(m+N)=(r+s)m+N=rm+sm+N=rm+N+rn+N}$
4. analogous to 3. (replace ${\displaystyle +}$ by ${\displaystyle \cdot }$)${\displaystyle \Box }$

### Sum and intersection of submodules

We shall now ask the question: Given a module ${\displaystyle M}$ and certain submodules ${\displaystyle \{N_{\alpha }\}_{\alpha \in A}}$, which module is the smallest module containing all the ${\displaystyle N_{\alpha }}$? And which module is the largest module that is itself contained within all ${\displaystyle N_{\alpha }}$? The following definitions and theorems answer those questions.

Definition and theorem 5.5 (sum of submodules):

Let ${\displaystyle M}$ be a module over a certain ring ${\displaystyle R}$ and let ${\displaystyle \{N_{\alpha }\}_{\alpha \in A}}$ be submodules of ${\displaystyle M}$. The set

${\displaystyle \sum _{\alpha \in A}N_{\alpha }:=\left\{\sum _{l=1}^{k}r_{l}n_{\alpha _{l}}{\big |}k\in \mathbb {N} ,r_{l}\in R,n_{\alpha _{l}}\in N_{\alpha _{l}}\right\}}$

is a submodule of ${\displaystyle M}$, which is the smallest submodule of ${\displaystyle M}$ that contains all the ${\displaystyle N_{\alpha }}$. It is called the sum of ${\displaystyle \{N_{\alpha }\}_{\alpha \in A}}$.

Proof:

1. ${\displaystyle \sum _{\alpha \in A}N_{\alpha }}$ is a submodule:

• It is an Abelian subgroup since if ${\displaystyle \sum _{l=1}^{k}r_{l}n_{\alpha _{l}},\sum _{j=1}^{m}s_{l}n_{\beta _{j}}\in \sum _{\alpha \in A}N_{\alpha }}$, then
${\displaystyle \sum _{l=1}^{k}r_{l}n_{\alpha _{l}}-\sum _{j=1}^{m}s_{l}n_{\beta _{j}}=\sum _{l=1}^{k}r_{l}n_{\alpha _{l}}+\sum _{j=1}^{m}(-s_{l})n_{\beta _{j}}\in \sum _{\alpha \in A}N_{\alpha }}$.
• It is closed under the module operation, since
${\displaystyle s\left(\sum _{l=1}^{k}r_{l}n_{\alpha _{l}}\right)=\sum _{l=1}^{k}(sr_{l})n_{\alpha _{l}}\in \sum _{\alpha \in A}N_{\alpha }}$.

2. Each ${\displaystyle N_{\alpha }}$ is contained in ${\displaystyle \sum _{\alpha \in A}N_{\alpha }}$:

This follows since ${\displaystyle 1_{r}n_{\alpha }\in \sum _{\alpha \in A}N_{\alpha }}$ for each ${\displaystyle \alpha \in A}$ and each ${\displaystyle n_{\alpha }\in N_{\alpha }}$.

3. ${\displaystyle \sum _{\alpha \in A}N_{\alpha }}$ is the smallest submodule containing all the ${\displaystyle N_{\alpha }}$: If ${\displaystyle K\leq M}$ is another such submodule, then ${\displaystyle K}$ must contain all the elements

${\displaystyle \sum _{l=1}^{k}r_{l}n_{\alpha _{l}},k\in \mathbb {N} ,r_{l}\in R,n_{\alpha _{l}}\in N_{\alpha _{l}}}$

due to closedness under addition and submodule operation.${\displaystyle \Box }$

Definition and theorem 5.6 (intersection of submodules):

Let ${\displaystyle M}$ be a module over a ring ${\displaystyle R}$, and let ${\displaystyle \{N_{\alpha }\}_{\alpha \in A}}$ be submodules of ${\displaystyle M}$. Then the set

${\displaystyle \bigcap _{\alpha \in A}N_{\alpha }}$

is a submodule of ${\displaystyle M}$, which is the largest submodule of ${\displaystyle M}$ containing all the ${\displaystyle N_{\alpha }}$. It is called the intersection of the ${\displaystyle N_{\alpha }}$.

Proof:

1. It's a submodule: Indeed, if ${\displaystyle r\in R,n,p\in \bigcap _{\alpha \in A}N_{\alpha }}$, then ${\displaystyle n,p\in N_{\alpha }}$ for each ${\displaystyle \alpha }$ and thus ${\displaystyle n-rp\in N_{\alpha }}$ for each ${\displaystyle \alpha }$, hence ${\displaystyle n-rp\in \bigcap _{\alpha \in A}N_{\alpha }}$.

2. It is contained in all ${\displaystyle N_{\alpha }}$ by definition of the intersection.

3. Any set that contains all elements from each of the ${\displaystyle N_{\alpha }}$ is contained within the intersection.${\displaystyle \Box }$

We have the following rule for computing with intersections and sums:

Theorem 5.7 (modular law; Dedekind):

Let ${\displaystyle M}$ be a module and ${\displaystyle K,L,N\leq M}$ such that ${\displaystyle L\subseteq K}$. Then

${\displaystyle K\cap (L+N)=L+(K\cap N)}$.

Proof:

${\displaystyle \subseteq }$: Let ${\displaystyle l+n\in (L+N)\cap K}$. Since ${\displaystyle L\subseteq K}$, ${\displaystyle l\in K}$ and hence ${\displaystyle n\in K}$. Since also ${\displaystyle n\in N}$ by assumption, ${\displaystyle l+n\in L+K\cap N}$.

${\displaystyle \supseteq }$: Let ${\displaystyle l+m\in L+(K\cap N)}$. Since ${\displaystyle L\subseteq K}$, ${\displaystyle l\in K}$ and since further ${\displaystyle m\in K}$, ${\displaystyle l+m\in K}$. Hence, ${\displaystyle l+m\in K\cap (L+N)}$.${\displaystyle \Box }$

More abstractly, the properties of the sum and intersection of submodules may be theoretically captured in the following way:

### Lattices

Definition 5.8:

A lattice is a set ${\displaystyle L}$ together with two operations ${\displaystyle \vee :L\times L\to L}$ (called the join or least upper bound) and ${\displaystyle \wedge :L\times L\to L}$ (called the meet or greatest lower bound) such that the following laws hold:

1. Commutative laws: ${\displaystyle a\Box b=b\Box a}$, ${\displaystyle \Box \in \{\vee ,\wedge \}}$
2. Idempotency laws: ${\displaystyle a\Box a=a}$, ${\displaystyle \Box \in \{\vee ,\wedge \}}$
3. Absorption laws: ${\displaystyle a\Box (a\triangledown b)=a}$, ${\displaystyle \{\Box ,\triangledown \}=\{\vee ,\wedge \}}$
4. Associative laws: ${\displaystyle a\Box (b\Box c)=(a\Box b)\Box c}$, ${\displaystyle \Box \in \{\vee ,\wedge \}}$

There are some special types of lattices:

Definition 5.9:

A modular lattice ${\displaystyle L}$ is a lattice such that the identity

holds.

Theorem 5.10 (ordered sets as lattices):

Let ${\displaystyle \leq }$ be a partial order on the set ${\displaystyle L}$ such that

1. every set ${\displaystyle S\subseteq L}$ has a least upper bound (where a least upper bound ${\displaystyle u}$ of ${\displaystyle S}$ satisfies ${\displaystyle u\geq s}$ for all ${\displaystyle s\in S}$ (i.e. it is an upper bound) and ${\displaystyle u\leq x}$ for every other upper bound ${\displaystyle x}$ of ${\displaystyle S}$) and
2. every set ${\displaystyle S\subseteq L}$ has a greatest lower bound (defined analogously to least upper bound with inequality reversed).

Then ${\displaystyle L}$, together with the joint operation sending ${\displaystyle \{a,b\}}$ to the least upper bound of that set and the meet operation analogously, is a lattice.

In fact, it suffices to require conditions 1. and 2. only for sets ${\displaystyle S}$ with two elements. But as we have shown, in the case that ${\displaystyle L}$ is the set of all submodules of a given module, we have the "original" conditions satisfied.

Proof:

First, we note that least upper bound and greatest lower bound are unique, since if for example ${\displaystyle u,u'}$ are least upper bounds of ${\displaystyle S}$, then ${\displaystyle u\leq u'}$ and ${\displaystyle u'\leq u}$ and hence ${\displaystyle u=u'}$. Thus, the joint and meet operation are well-defined.

The commutative laws follow from ${\displaystyle \{a,b\}=\{b,a\}}$.

The idempotency laws from clearly ${\displaystyle a}$ being the least upper bound, as well as the greatest lower bound, of the set ${\displaystyle \{a,a\}}$.

The first absorption law follows as follows: Let ${\displaystyle u}$ be the least upper bound of ${\displaystyle \{a,b\}}$. Then in particular, ${\displaystyle u\geq a}$. Hence, ${\displaystyle a}$ is a lower bound of ${\displaystyle \{a,u\}}$, and any lower bound ${\displaystyle l}$ satisfies ${\displaystyle l\leq a}$, which is why ${\displaystyle a}$ is the greatest lower bound of ${\displaystyle \{a,u\}}$. The second absorption law is proven analogously.

The first associative law follows since if ${\displaystyle u}$ is the least upper bound of ${\displaystyle \{a,b,c\}}$ and ${\displaystyle v}$ is the upper bound of ${\displaystyle \{a,b\}}$, then ${\displaystyle u\geq v}$ (as ${\displaystyle u}$ is an upper bound for ${\displaystyle \{a,b\}}$) and if ${\displaystyle w}$ is the least upper bound of ${\displaystyle \{v,c\}}$, then ${\displaystyle w=u}$ since ${\displaystyle u}$ is an upper bound and further, ${\displaystyle w\geq v\geq a}$ and ${\displaystyle w\geq b}$. The same argument (with ${\displaystyle a}$ and ${\displaystyle c}$ swapped) proves that ${\displaystyle u}$ is also the least upper bound of the l.u.b. of ${\displaystyle \{b,c\}}$ and ${\displaystyle a}$. Again, the second associative law is proven similarly.${\displaystyle \Box }$

From theorems 5.5-5.7 and 5.10 we note that the submodules of a module form a modular lattice, where the order is given by set inclusion.

### Exercises

• Exercise 5.2.1: Let ${\displaystyle R}$ be a ring. Find a suitable module operation such that ${\displaystyle R}$ together with its own addition and this module operation is an ${\displaystyle R}$-module. Make sure you define this operation in the simplest possible way. Prove further, that with respect to this module operation, the submodules of ${\displaystyle R}$ are exactly the ideals of ${\displaystyle R}$.

## Homomorphisms

We shall now get to know the morphisms within the category of modules over a fixed ring ${\displaystyle R}$.

Definition 5.11 (homomorphisms):

Let ${\displaystyle M,N}$ be two modules over a ring ${\displaystyle R}$. A homomorphism from ${\displaystyle M}$ to ${\displaystyle N}$, also called an ${\displaystyle R}$-linear function from ${\displaystyle M}$ to ${\displaystyle N}$, is a function

${\displaystyle f:M\to N}$

such that

1. ${\displaystyle \forall m,p\in M:f(m+p)=f(m)+f(p)}$ and
2. ${\displaystyle \forall r\in R,m\in M:f(rm)=rf(m)}$.

The kernel and image of homomorphisms of modules are defined analogously to group homomorphisms.

Since we are cool, we will often simply write morphisms instead of homomorphisms where it's clear from the context in order to indicate that we have a clue about category theory.

We have the following useful lemma:

Lemma 5.12:

${\displaystyle f:M\to N}$ is ${\displaystyle R}$-linear iff

${\displaystyle \forall r\in R,m,p\in M:f(rm+p)=rf(m)+f(p)}$.

Proof:

Assume first ${\displaystyle R}$-linearity. Then we have

${\displaystyle f(rm+p)=f(rm)+f(p)=rf(m)+f(p)}$.

Assume now the other condition. Then we have for ${\displaystyle m,p\in M}$

${\displaystyle f(m+p)=f(1_{R}m+p)=1_{R}f(m)+f(p)=f(m)+f(p)}$

and

${\displaystyle f(rm)=f(rm+0)=rf(m)+f(0)=rf(m)}$

since ${\displaystyle f(0)=0}$ due to ${\displaystyle f(0)=f(0+0)=f(0)+f(0)}$; since ${\displaystyle M}$ is an abelian group, we may add the inverse of ${\displaystyle f(0)}$ on both sides.${\displaystyle \Box }$

Lemma 5.13:

If ${\displaystyle f:M\to N}$ is ${\displaystyle R}$-linear, then ${\displaystyle \forall m\in M:f(-m)=-f(m)}$.

Proof:

This follows from the respective theorem for group homomorphisms, since each morphism of modules is also a morphism of Abelian groups.${\displaystyle \Box }$

Definition 5.8 (isomorphisms):

An isomorphism ${\displaystyle f:M\to N}$ is a homomorphism which is bijective.

Lemma 5.14:

Let ${\displaystyle f:M\to N}$ be a morphism. The following are equivalent:

1. ${\displaystyle f}$ is an isomorphism
2. ${\displaystyle \ker f=\{0\}}$
3. ${\displaystyle f}$ has an inverse which is an isomorphism

Proof:

Lemma 5.15:

The kernel and image of morphisms are submodules.

Proof:

1. The kernel:

${\displaystyle f(rn-q)=rf(n)+f(-q)=rf(n)-f(q)=0}$

2. The image:

${\displaystyle rf(m)\overbrace {-f(p)} ^{=+f(-p)}=f(rm-p)}$${\displaystyle \Box }$

The following four theorems are in complete analogy to group theory.

Theorem 5.16 (factoring of morphisms):

Let ${\displaystyle M,K}$ be modules, let ${\displaystyle \varphi :M\to K}$ be a morphism and let ${\displaystyle N\leq M}$ such that ${\displaystyle \ker \varphi \subseteq N}$. Then there exists a unique morphism ${\displaystyle {\overline {\varphi }}:M/N\to K}$ such that ${\displaystyle {\overline {\varphi }}\circ \pi =\varphi }$, where ${\displaystyle \pi :M\to M/N,\pi (m)=m+N}$ is the canonical projection. In this situation, ${\displaystyle \ker {\overline {\varphi }}=\ker \varphi /N}$.

Proof:

We define ${\displaystyle {\overline {\varphi }}(m+N):=\varphi (m)}$. This is well-defined since ${\displaystyle \ker \varphi \subseteq N}$. Furthermore, this definition is already enforced by ${\displaystyle {\overline {\varphi }}\circ \pi =\varphi }$. Further, ${\displaystyle {\overline {\varphi }}(m+N)=0\Leftrightarrow m\in \ker \varphi }$.${\displaystyle \Box }$

Corollary 5.17 (first isomorphism theorem):

Let ${\displaystyle M,K}$ be ${\displaystyle R}$-modules and let ${\displaystyle f:M\to K}$ be a morphism. Then ${\displaystyle M/\ker f\cong K}$.

Proof:

We set ${\displaystyle N=\ker f}$ and obtain a homomorphism ${\displaystyle {\overline {f}}:M/\ker f\to K}$ with kernel ${\displaystyle N/N}$ by theorem 5.11. From lemma 5.16 follows the claim.${\displaystyle \Box }$

Corollary 5.18 (third isomorphism theorem):

Let ${\displaystyle M}$ be an ${\displaystyle R}$-module, let ${\displaystyle N\leq M}$ and let ${\displaystyle L\leq N}$. Then

${\displaystyle M/N\cong (M/L){\big /}(N/L)}$.

Proof:

Since ${\displaystyle L\leq N}$ and ${\displaystyle N\leq M}$ also ${\displaystyle L\leq M}$ by definition. We define the function

${\displaystyle \varphi :M/L\to M/N,m+L\mapsto m+N}$.

This is well-defined since

${\displaystyle m+L=p+L\Leftrightarrow m-p\in L\Rightarrow m-p\in N\Leftrightarrow m+N=p+N}$.

Furthermore,

${\displaystyle m+L\in \ker \varphi \Leftrightarrow m+N=0+N\Leftrightarrow m\in N}$

and hence ${\displaystyle \ker \varphi =N/L}$. Hence, by theorem 5.17 our claim is proven.${\displaystyle \Box }$

Theorem 5.19 (second isomorphism theorem):

Let ${\displaystyle L,N\leq M}$. Then

${\displaystyle L/(L\cap N)\cong (L+N)/N}$.

Proof:

Consider the isomorphism

${\displaystyle \varphi :L\to (L+N)/N,\varphi (l):=l+N}$.

Then ${\displaystyle \varphi (l)=0\Leftrightarrow l\in N}$, which is why the kernel of that homomorphism is given by ${\displaystyle L\cap N}$. Hence, the theorem follows by the first isomorphism theorem.${\displaystyle \Box }$

And now for something completely different:

Theorem 5.20:

Let ${\displaystyle \varphi :M\to N}$ be a homomorphism of modules over ${\displaystyle R}$ and let ${\displaystyle L\leq N}$. Then ${\displaystyle \varphi ^{-1}(L)}$ is a submodule of ${\displaystyle M}$.

Proof:

Let ${\displaystyle a,b\in \varphi ^{-1}(L)}$. Then ${\displaystyle \varphi (a+b)=\varphi (a)+\varphi (b)\in L}$ and hence ${\displaystyle a+b\in \varphi ^{-1}(L)}$. Let further ${\displaystyle r\in R}$. Then ${\displaystyle \varphi (ra)=r\varphi (a)\in L}$.${\displaystyle \Box }$

Similarly:

Theorem 5.21:

Let ${\displaystyle \varphi :M\to N}$ be a homomorphism of modules over ${\displaystyle R}$ and let ${\displaystyle K\leq M}$. Then ${\displaystyle \varphi (K)}$ is a submodule of ${\displaystyle N}$.

Proof: Let ${\displaystyle a,b\in \varphi (K)}$. Then ${\displaystyle a=\varphi (i),b=\varphi (j)}$ and ${\displaystyle a+b=\varphi (i+j)\in \varphi (K)}$. Let further ${\displaystyle r\in R}$. Then ${\displaystyle ra=\varphi (ri)\in \varphi (K)}$.${\displaystyle \Box }$

### Exercises

• Exercise 5.3.1: Let ${\displaystyle R,S}$ be rings regarded as modules over themselves as in exercise 5.2.1. Prove that the ring homomorphisms ${\displaystyle \varphi :R\to S}$ are exactly the module homomorphisms ${\displaystyle R\to S}$; that is, every ring hom. is a module hom. and vice versa.

## The projection morphism

Definition 5.22:

Let ${\displaystyle M}$ be a module and ${\displaystyle N\leq M}$. By the mapping ${\displaystyle \pi _{N}:M\to M/N}$ we mean the canonical projection mapping ${\displaystyle m\in M}$ to ${\displaystyle m+N}$; that is,

${\displaystyle \pi _{N}:M\to M/N,\pi _{N}(m):=m+N}$.

The following two fundamental equations for ${\displaystyle \pi _{N}(\pi _{N}^{-1}(S))}$ and ${\displaystyle \pi _{N}^{-1}(\pi _{N}(K))}$ shall gain supreme importance in later chapters, ${\displaystyle S\subseteq M/N}$, ${\displaystyle K\leq M}$.

Theorem 5.23:

Let ${\displaystyle M}$ be a module and ${\displaystyle N\leq M}$. Then for every set ${\displaystyle S\subseteq M/N}$, ${\displaystyle \pi _{N}(\pi _{N}^{-1}(S))=S}$. Furthermore, for every other submodule ${\displaystyle K\subseteq M}$, ${\displaystyle \pi _{N}^{-1}(\pi _{N}(K))=K+N}$.

Proof:

Let first ${\displaystyle m+N\in S}$. Then ${\displaystyle m\in \pi ^{-1}(S)}$, since ${\displaystyle \pi _{N}(m)=m+N}$. Hence, ${\displaystyle m+N\in \pi _{N}(\pi ^{-1}(S))}$. Let then ${\displaystyle m+N\in \pi _{N}(\pi _{N}^{-1}(S))}$. Then there exists ${\displaystyle m'\in \pi _{N}^{-1}(S)}$ such that ${\displaystyle \pi _{N}(m')=m+N}$, that is ${\displaystyle m'+N=m+N}$. Now ${\displaystyle m'\in \pi _{N}^{-1}(S)}$ means that ${\displaystyle \pi (m')=m'+N\in S}$. Hence, ${\displaystyle m+N=m'+N\in S}$.

Let first ${\displaystyle m\in K+N}$, that is, ${\displaystyle m=k+n}$ for suitable ${\displaystyle k\in K}$, ${\displaystyle n\in N}$. Then ${\displaystyle \pi _{N}(m)=k+n+N=k+N=\pi _{N}(k)\in \pi _{N}(K)}$, which is why by definition ${\displaystyle m\in \pi _{N}^{-1}(\pi _{N}(K))}$. Let then ${\displaystyle m\in \pi _{N}^{-1}(\pi _{N}(K))}$. Then ${\displaystyle \pi _{N}(m)=m+N\in \pi _{N}(K)}$, that is ${\displaystyle m+N=k+N}$ with ${\displaystyle k\in K}$, that is ${\displaystyle m=k+n}$ for a suitable ${\displaystyle n\in N}$, that is ${\displaystyle m\in K+N}$.${\displaystyle \Box }$

The following lemma from elementary set theory have relevance for the projection morphism and we will need it several times:

Lemma 5.24:

Let ${\displaystyle f:S\to T}$ be a function, where ${\displaystyle S,T}$ are completely arbitrary sets. Then ${\displaystyle f}$ induces a function ${\displaystyle 2^{S}\to 2^{T}}$ via ${\displaystyle A\mapsto f(A)}$, the image of ${\displaystyle A}$, where ${\displaystyle A\subseteq S}$. This function preserves inclusion. Further, the function ${\displaystyle 2^{T}\to 2^{S},B\mapsto f^{-1}(B)}$, also preserves inclusion.

Proof:

If ${\displaystyle A'\subseteq A}$, let ${\displaystyle y'\in f(A')}$. Then ${\displaystyle y'=f(x')}$ for an ${\displaystyle x'\in A'\subseteq A}$. Similarly for ${\displaystyle f^{-1}}$.${\displaystyle \Box }$