$R$ be a ring and $a\in R$ be a non nilpotent element and define $S=\{a,a^2,a^3,\cdots\}$ and $F=\{A\subseteq R| A-ideal \;, S\cap A=\emptyset\}$
If $P$ is maximal ideal of $F$, is $P$ prime ideal?
I am self studying abstact algebra but I didnot understand first of all is the set $F$ a ring? In what operations? Furthermore, how one can show this ?