I am reading the following proposition:
Here $e$ represents the identity element of $A$ and $\sigma_C(x)$ and $\sigma_A(x)$ denote the spectrum of an element $x$ in $C$ and $A$ respectively.
I am not sure why $e \in C$ is true though? Can anyone please explain to me why this is the case?

If $e\not\in C$, let $C'$ be the subalgebra generated by $C$ and $e$. Then $C'$ is still commutative (since $e$ commutes with everything), and is strictly larger than $C$. This contradicts maximality of $C$.