The structure of finite local principal ideal rings

A ring $R$ is called a PIR, if each ideal of $R$ is a principal ideal. An local ring $(R,\text{mf}m)$ is a artinian PIR if and only if its maximal ideal $\text{mf}m$ is principal and has finite nilpotency index. In this paper, we determine the structure of a finite local PIR.