L'esistenza di un tale anello, è abbastanza facile!
Testo nascosto, fai click qui per vederlo
Il gruppo (abeliano) \(\displaystyle(A,+)\) deve contenere una copia (isomorfa) di \(\displaystyle\mathbb{Z}_p\); quindi utilizzando l'operazione di prodotto \(\displaystyle\cdot\), si ha che \(\displaystyle(A,+;\mathbb{Z}_p,\cdot)\) è uno spazio vettoriale (sinistro) di dimensione \(\displaystyle3\), poiché esso è di cardinalità \(\displaystyle p^3\).
Trattandosi quindi di un'algebra unitaria non commutativa, si ha appunto che \(\displaystyle A\) può essere l'algebra delle matrici triangolari superiori \(\displaystyle2\times2\).
Per adesso mi manca l'unicità... e forse ho un'idea.