It is true that $\mathfrak p$ is always an irreducible $\mathfrak k$-module. By aware though that the complexification $\mathfrak p_{\mathbb C}$ might be reducible as an $\mathfrak k_{\mathbb C}$-module. This happens precisely in the case that $\mathfrak g$ is of Hermitian type.