I am trying to find a subring $S$ of the matrix ring $M_{p\times p}(\mathbb{F}_{q})$ over a finite field, where $p$ and $q$ are prime numbers . This subring must sastify the following three properties, which need to be proven:
1) $S$ is an $\mathbb{F}_{q}$ vector space of dimension $> 1$.
2) $S$ has the identity
3) All matrices, which are not the scalar multiple of the identity, have irreducible characteristic polynomials.
Ok, clearly, we know that the subrings has the identity of the ring. So, here the identity is the $I_{p\times p}$ matrix. I've been also reading about the irreducible matrices, their characteristic polynomials are irreducible and these matrices form a subring. Am i going in the right direction or i am completely wrong? Can anybody help me with the right idea, please? I would be glad to read your comments and remarks. Thank you in advance!
Let $K={\mathbb F}_{q^p}$, $F={\mathbb F}_{q}$, $M=M_{p \times p}(F)$. Then $K$ is a vector space of dimension $p$ over $F$, and multiplication by elements of $K$ defines linear maps of this vector space. So we can fix a basis of $K$ over $F$ and then represent the elements of $K$ as elements of $M$.
This defines an injective ring homomorphism $K \to M$ and its image $S$ is a subring of $M$ that has the required properties. The first two are clear. For the third, note that, for any element $\alpha \in K \setminus F$, we have $F(\alpha)=K$, so the minimal polynomial of $\alpha$ over $F$ (which is irreducible) has degree $p$. But the image of $\alpha$ in $S$ has the same minimal polynomial, and since this has degree $p$, it must be equal to the characteristic polynomial.