Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $A$ be an $n$ by $n$ matrix over a field $K$, define $R:=\{ \sum_{i=0}^{\infty} c_i A^i$ with only finitely many $c_i \neq 0 \}$

Could anyone help me show you can turn $R$ into a commutative ring with $1$?

share|cite|improve this question
@Benjamin Lim: I assume $A$ is a set matrix? – Freeman May 8 '12 at 14:34
@Benjamin Lim: Yes, unless you can see any ambiguity in the wording I used? – Freeman May 8 '12 at 14:36
@Benjamin Lim: Indeed, I've been trying to use that fact to find an identity/zero (you can take the down vote off I'd you like!) – Freeman May 8 '12 at 14:39
@Benjamin Lim: are you sure $A \in R$ there are only finitely many non-zero coefficients – Freeman May 8 '12 at 14:45
Oh dammit.. Was reading it wrong.. I'm dsylexic.. – Freeman May 8 '12 at 14:56
up vote 1 down vote accepted

Let $A$ be some $n\times n$ matrix over a field $K$ and consider $R := \{ \sum_{i=0}^{\infty} c_i A_i\}$ where all but finitely many $c_i$ non-zero. Now the identity matrix is in here because it can be written as $1 \times A^0$. Therefore it follows that the identity matrix is the multiplicative identity of the ring $R$.

It is easy to see from here that $R$ can be made into a unital commmutative ring.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.