For the first question: what's under the underbrace is correct. Think of it this way:
You have the equation
Taking the Hermitian adjoint of both sides yields
since by assumption. Now just right-multiply by and you get the underbrace expression.
As for your second question, I'm guessing that satisfies the eigenvalue equation
And I think you have a typo there: