Elliptic curve over a finite ring generated by 1 and an idempotent element $e$ with coefficients in the finite field $\mathbb{F}_{3^d}$

Abstract

An elliptic curve over a ring $\mathcal{R}$ is a curve in the projective plane $\mathbb{P}^{2}(\mathcal{R})$ given by a specific equation of the form $f(X, Y, Z)=0$ named the Weierstrass equation, where $f(X, Y, Z)=Y^2Z+a_1XYZ+a_3YZ^2-X^3-a_2X^2Z-a_4XZ^2-a_6Z^3$ with coefficients $a_1, a_2, a_3, a_4, a_6$ in $\mathcal{R}$ and with an invertible discriminant in the ring $\mathcal{R}.$ %(see \cite[Chapter III, Section 1]{sil1}).  In this paper, we consider an elliptic curve over a finite ring of characteristic 3 given by the Weierstrass equation: $Y^2Z=X^3+aX^2Z+bZ^3$ where $a$ and $b$ are in the quotient ring $\mathcal{R}:=\mathbb{F}_{3^d}[X]/(X^2-X),$ where $d$ is a positive integer and $\mathbb{F}_{3^d}[X]$ is the polynomial ring with coefficients in the finite field $\mathbb{F}_{3^d}$ and such that $-a^3b$ is invertible in $\mathcal{R}$.