# Irreducible finite-dimensional representations of a commutative algebra

I've just seen a corollary in P.Etingof's book Introducion to Representation Theory which states that every irreducible finite-dimensional representation of a commutative algebra is 1-dimensional:

The similar result I've come across before, characterizing irreducible finite-dimensional representations of abelian groups, requires a representation over an algebraically closed field, while Corollary 2.3.12. seems to apply to any field as shown in the screenshot.

Besides, the author uses Schur's lemma(Corollary 2.3.10.), which requires the base field to be algebraically closed, to prove Corollary 2.3.12. as in the following two pictures:

So I wonder if Corollary 2.3.12 is a stronger version of the proposition characterizing irreducible finite-dimensional representations of abelian groups over an algebraically closed field, or that the statement of this corollary is incomplete? Thanks in advance!

• page 8, second sentence of section 2.2: Unless stated otherwise, we will always assume that $k$ is algebraically closed Commented Feb 17, 2022 at 10:15
• @DavidA.Craven Thanks. I didn't notice this sentence. This is really a stupid question.
– zyy
Commented Feb 17, 2022 at 13:11
• When I'm writing stuff with assumptions like this, I tend to repeat them at the start of each section. It's a very valid point for you to make. Over a non-algebraically closed field, representations can be $2$-dimensional, for example $\mathbb C$ over $\mathbb R$. Commented Feb 17, 2022 at 13:29
• @DavidA.Craven Thank you for your patience. I think I do understand now.
– zyy
Commented Feb 17, 2022 at 14:17