$\DeclareMathOperator\Mod{Mod}\DeclareMathOperator\PMod{PMod}\DeclareMathOperator\Homeo{Homeo}$I am very confused about the definition of mapping class group and pure mapping class group (and their generating sets).


In *Primer on Mapping class groups*:



> 
> $\Mod(S)$ is the group of isotopy classes of elements of $\Homeo^+(S, \partial S)$,
> where isotopies are required to fix the boundary pointwise
> 
> 
> 


and



> 
> Let $\PMod(S\_{g,n})$ denote the pure mapping class group of $S\_{g,n}$, which is
> defined to be the subgroup of $\Mod(S\_{g,n})$ consisting of elements that
> fix each puncture individually.
> 
> 
> 


**Question 1**: From these two definitions, is it true that for compact surfaces with boundary (no puncture), the mapping class group is the same as the pure mapping class group?


Generating sets of mapping class group:


THEOREM 4.1



> 
> For $g\ge 0$, the mapping class group $\Mod(S\_g)$ is generated by finitely
> many Dehn twists about nonseparating simple closed curves.
> 
> 
> 


Corollary 4.15



> 
> For any $g$, $n\ge 0$, the group $\Mod(S\_{g,n})$ is generated by a finite number
> of Dehn twists and half-twists.
> 
> 
> 


Corollary 4.16



> 
> Let $S$ be any surface of genus $g\ge 2$. The group $\PMod(S)$ is generated by
> finitely many Dehn twists about nonseparating simple closed curves in
> $S$.
> 
> 
> 


Assume that Question 1 is has a positive answer, meaning that for compact surfaces with boundary, the mapping class group is the same as the pure mapping class group. Then we ask


**Question 2** For compact surfaces with boundary, is the mapping class group generated by a finite number of Dehn twists?


**Question 3:** If Question 2 has a positive answer, what makes the difference between punctures and boundary, why don't we define



> 
> $\Mod(S)$ is the group of isotopy classes of elements of $\Homeo^+(S, \partial S)$
> 
> 
> 


and



> 
> $\PMod(S\_{g,n})$ the pure mapping class group of $S\_{g,n}$ ($n$ is the number of
> punctures and boundary components) is the subgroup of $\Mod(S\_{g,n})$
> consisting of elements that fix each puncture and fix each boundary
> component setwise (send each puncture/or boundary component to itself)?
> 
> 
> 



Mapping class group and pure mapping class group (and their generating sets)
This really is very similar to your previous [question](https://mathoverflow.net/questions/417191).


**Answer 1:** If $S$ is compact and without boundary then the two groups are isomorphic. (However, be aware that there are yet other definitions of the pure mapping class group where the latter is finite index in the former. See Ivanov's book.)


This is also the case when $S$ is compact and with boundary in the following sense. The group $\mathrm{Mod}(S, \partial S)$ (of isotopy classes fixing boundary points pointwise) is isomorphic to the pure mapping class group $\mathrm{PMod}(S)$, However, neither of these is isomorphic to $\mathrm{PMod}(S - \partial S)$. This is because in the former groups we have Dehn twists about boundary components.


**Answer 2:** Yes, if you require boundary points to be fixed (and you require boundary points to exist and orientations to be preserved - consider the two-sphere).


**Answer 3:** The difference between boundary components and punctures is that you can Dehn twist about the former and get something not isotopic to the identity (when fixing boundary components pointwise).


