1.  No conjugates $hgh^{-1}$ of $g$ lie in a proper parabolic subgroup $P_\alpha
    \subsetneq GL_n$.

2.  There are no nonzero proper $g$-stable ${{\mathbb{F}}}_q$-subspaces inside ${{\mathbb{F}}}_q^n$.

3.  The characteristic polynomial $\det(xI_n-g)$ is irreducible in ${{\mathbb{F}}}_q[x]$.

4.  The element $g$ is the image of some $\beta$ in ${{\mathbb{F}}}_{q^n}^\times$ satisfying ${{\mathbb{F}}}_q(\beta)={{\mathbb{F}}}_{q^n}$ (that is, a [*primitive element*]{} for ${{\mathbb{F}}}_{q^n}$) under one of the embeddings $
    {{\mathbb{F}}}_{q^n}^\times \hookrightarrow GL_{{{\mathbb{F}}}_q}({{\mathbb{F}}}_{q^n}) \cong GL_n({{\mathbb{F}}}_q).
    $

The elements in $GL_n({{\mathbb{F}}}_q)$ satisfying these properties are called the [**regular elliptic elements**]{}.

[(i) is equivalent to (ii).]{} A proper ${{\mathbb{F}}}_q$-subspace $U$, say with $\dim_{{{\mathbb{F}}}_q} U = d < n$, is $g$-stable if and only any $h$ in $GL_n({{\mathbb{F}}}_q)$ sending $U$ to the span of the first $d$ standard basis vectors in ${{\mathbb{F}}}_q^n$ has the property that $h g h^{-1}$ lies in a proper parabolic subgroup $P_{\alpha}$ with $\alpha_1=d$.

.1in [(ii) implies (iii).]{} Argue the contrapositive: if $\det(xI_n-g)$ had a nonzero proper irreducible factor $f(x)$, then $\ker(f(g): V \rightarrow V)$ would be a nonzero proper $g$-stable subspace..1in [(iii) implies (iv).]{} If $f(x):=\det(xI_n-g)$ is irreducible in ${{\mathbb{F}}}_q[x]$, then $f(x)$ is also the minimal polynomial of $g$. Thus $g$ has rational canonical form over ${{\mathbb{F}}}_q$ equal to the companion matrix for $f(
1.   No conjugates $ hgh^{-1}$ of $ g$ lie in a proper parabolic subgroup $ P_\alpha 
     \subsetneq GL_n$. 

 2.   There are no nonzero proper $ g$-stable $ { { \mathbb{F}}}_q$-subspaces inside $ { { \mathbb{F}}}_q^n$. 

 3.   The characteristic polynomial $ \det(xI_n - g)$ is irreducible in $ { { \mathbb{F}}}_q[x]$. 

 4.   The element $ g$ is the image of some $ \beta$ in $ { { \mathbb{F}}}_{q^n}^\times$ meet $ { { \mathbb{F}}}_q(\beta)={{\mathbb{F}}}_{q^n}$ (that is, a [ * crude element * ] { } for $ { { \mathbb{F}}}_{q^n}$) under one of the embeddings $ 
     { { \mathbb{F}}}_{q^n}^\times \hookrightarrow GL_{{{\mathbb{F}}}_q}({{\mathbb{F}}}_{q^n }) \cong GL_n({{\mathbb{F}}}_q). 
     $ 

 The elements in $ GL_n({{\mathbb{F}}}_q)$ satisfying these property are called the [ * * regular egg-shaped elements * * ] { }. 

 [ (i) is equivalent to (ii). ] { } A proper $ { { \mathbb{F}}}_q$-subspace $ U$, say with $ \dim_{{{\mathbb{F}}}_q } uracil = d < n$, is $ g$-stable if and only any $ h$ in $ GL_n({{\mathbb{F}}}_q)$ transport $ U$ to the span of the first $ d$ standard footing vectors in $ { { \mathbb{F}}}_q^n$ has the property that $ h g h^{-1}$ lies in a proper parabolic subgroup $ P_{\alpha}$ with $ \alpha_1 = d$. 

 .1 in [ (ii) implies (iii). ] { } Argue the contrapositive: if $ \det(xI_n - g)$ had a nonzero proper irreducible factor $ f(x)$, then $ \ker(f(g ): V \rightarrow V)$ would be a nonzero proper $ g$-stable subspace.. 1 in [ (iii) imply (iv). ] { } If $ f(x):=\det(xI_n - g)$ is irreducible in $ { { \mathbb{F}}}_q[x]$, then $ f(x)$ is also the minimal polynomial of $ g$. Thus $ g$ has intellectual canonical form over $ { { \mathbb{F}}}_q$ adequate to the companion matrix for $ f (
1.  Nl conjugates $hgh^{-1}$ of $g$ lit in a proper parcvolic vubgrohp $P_\alphx
    \subsetneq GL_n$.

2.  There arx no nonztgo proper $g$-stable ${{\matfbb{F}}}_q$-subsiaces insude ${{\nqthbb{F}}}_q^n$.

3.  Vge characteriabic pmoynomial $\det(xI_k-g)$ is irredgcible in ${{\mathtb{W}}}_q[r]$.

4.  The element $g$ is the image of somq $\beta$ on ${{\mathbb{F}}}_{q^n}^\timef$ sauissyinf ${{\mathbb{F}}}_q(\beta)={{\mathbb{F}}}_{q^n}$ (that is, a [*lrimitine element*]{} for ${{\mayhbb{F}}}_{q^n}$) under one of the elbedfings $
    {{\mathbb{F}}}_{q^j}^\times \hooktjgheqrrow GL_{{{\mathcb{F}}}_q}({{\mathbb{F}}}_{q^n}) \cong GL_n({{\jathbb{F}}}_q).
    $

The elements in $GL_n({{\oathby{F}}}_q)$ satisfyunt tjgse propertixs are called the [**vvgular alliptiv elements**]{}.

[(i) is eqnivaoent to (ii).]{} A proper ${{\methbb{F}}}_q$-subspace $U$, sai with $\dim_{{{\kachbb{F}}}_q} U = d < n$, is $g$-stqboe if and onlh anh $h$ ii $GM_n({{\mathhb{F}}}_s)$ sending $H$ to the spqn of the first $d$ suanqqrd basis vecfors ig ${{\iathbb{F}}}_q^n$ has the property that $h g h^{-1}$ lpes jn a proper parabolic sybgroup $P_{\alpha}$ with $\appha_1=d$.

.1in [(iy) implies (iii).]{} Argue the contrapositive: if $\det(xI_n-g)$ had e voneevj prlper irreducible factor $f(x)$, then $\ker(f(g): V \rightwdrpw V)$ would be a konzero proper $g$-stsbpe fubspace..1in [(iik) implnss (iv).]{} If $f(x):=\det(xI_n-g)$ id irredocible in ${{\mathbf{F}}}_q[x]$, then $f(x)$ is also the minimao polynomial if $g$. Thus $g$ has racional canonncal fprm ofer ${{\mathbb{F}}}_q$ equal to tke comlanion matrlx for $f(
1. No conjugates $hgh^{-1}$ of $g$ lie proper subgroup $P_\alpha GL_n$. 2. There ${{\mathbb{F}}}_q$-subspaces ${{\mathbb{F}}}_q^n$. 3. The polynomial $\det(xI_n-g)$ is in ${{\mathbb{F}}}_q[x]$. 4. The element $g$ the image of some $\beta$ in ${{\mathbb{F}}}_{q^n}^\times$ satisfying ${{\mathbb{F}}}_q(\beta)={{\mathbb{F}}}_{q^n}$ (that is, a [*primitive for ${{\mathbb{F}}}_{q^n}$) under one of the embeddings $ {{\mathbb{F}}}_{q^n}^\times \hookrightarrow GL_{{{\mathbb{F}}}_q}({{\mathbb{F}}}_{q^n}) \cong GL_n({{\mathbb{F}}}_q). The in satisfying properties are called the [**regular elliptic elements**]{}. [(i) is equivalent to (ii).]{} A proper ${{\mathbb{F}}}_q$-subspace $U$, with $\dim_{{{\mathbb{F}}}_q} U = d < n$, is if and only any in $GL_n({{\mathbb{F}}}_q)$ sending $U$ to span the first standard vectors ${{\mathbb{F}}}_q^n$ has the that $h g h^{-1}$ lies in a proper parabolic subgroup $P_{\alpha}$ with $\alpha_1=d$. .1in [(ii) implies (iii).]{} the contrapositive: had a proper factor then $\ker(f(g): V would be a nonzero proper $g$-stable (iv).]{} If $f(x):=\det(xI_n-g)$ is irreducible in ${{\mathbb{F}}}_q[x]$, then is also minimal polynomial of $g$. Thus $g$ rational canonical form over ${{\mathbb{F}}}_q$ equal to the matrix for $f(
1.  No conjugates $hgh^{-1}$ of $g$ lie in a pRoper parabOlic sUbgRouP $P_\AlphA
    \subSetneq GL_n$.

2.  There ARe no Nonzero proper $g$-stable ${{\maThbb{F}}}_Q$-sUBspaCEs InsidE ${{\mathbb{f}}}_Q^n$.

3.  tHE chArAcTerIsTIc PolynOmiAl $\det(xI_N-g)$ is irreduCibLe In ${{\mathbb{F}}}_q[x]$.

4.  THE eLement $g$ is tHe iMage of some $\beTa$ iN ${{\mathbB{F}}}_{Q^n}^\tIMes$ saTisFying ${{\Mathbb{f}}}_Q(\beta)={{\mAthbb{F}}}_{q^n}$ (tHaT Is, a [*priMItive elEMEnT*]{} for ${{\Mathbb{F}}}_{q^n}$) under one OF tHE embeddings $
    {{\matHbb{F}}}_{q^n}^\TiMEs \HOOkrIghTarrow GL_{{{\maThBb{F}}}_q}({{\mAThbb{F}}}_{q^n}) \COnG gl_N({{\maTHbb{F}}}_q).
    $

The elemeNts in $GL_n({{\matHBb{F}}}_Q)$ satisFyIng THese prOpertIeS Are Called the [**reGulaR elliptic ElemenTS**]{}.

[(i) is equIValent tO (ii).]{} A prOpeR ${{\maThbb{f}}}_Q$-sUbSpaCe $u$, Say WItH $\diM_{{{\MatHbb{F}}}_q} U = d < n$, Is $G$-sTable If anD ONLY any $H$ in $gL_n({{\mAthbb{f}}}_q)$ sending $U$ to tHe sPan oF The First $D$ stanDard BaSis veCtors iN ${{\mathBb{f}}}_q^n$ has the properTy thAt $h g h^{-1}$ lies In a PrOpeR pAraboLIc subgRouP $P_{\aLpha}$ witH $\alpha_1=d$.

.1IN [(ii) ImPLIEs (Iii).]{} Argue the contrapOsITIvE: if $\det(xI_N-g)$ had a NOnZeRO proper iRrEduCiblE FActor $F(x)$, thEN $\kEr(f(g): V \rigHtarroW v)$ wOuLd be a noNzEro proPeR $g$-sTabLe subSPace..1In [(iii) iMplies (iv).]{} if $f(x):=\dET(xI_n-g)$ is irreducIBle in ${{\mathbb{F}}}_q[X]$, ThEN $F(x)$ IS alsO thE minimal polYnomIAl of $G$. ThuS $G$ hAs rATionaL canoNiCAl FOrm over ${{\mathbb{F}}}_q$ equaL tO the coMpaniOn matrix for $f(
1.  No conjugates $hgh^{-1 }$ of $g$lie i n a  pr op er p arab olic subgroup$ P_\a lpha
    \subsetneq GL _n$.
2 .   Th e re  areno nonz e ro p rop er  $ g$- st a bl e ${{ \ma thbb{F} }}_q$-subs pac es  inside ${{\ m at hbb{F}}}_q ^n$ .

3.  The c har acteri st icp olyno mia l $\d et(xI_ n -g)$ i s irreduc ib l e in $ { {\mathb b { F} }}_q [x]$.

4.  The el e me n t $g$ is the i mage o fs om e $\b eta $ in ${{\m at hbb{F } }}_{q^n } ^\ t i m es$ satisfying ${ {\mathbb{F} } }_q (\beta )= {{\ m athbb{ F}}}_ {q ^ n}$  (that is,a [* primitive  eleme n t*]{} f o r ${{\m athbb{ F}} }_{ q^n} $ )un der  o n e o f  t hee mbe ddings $ 
  {{\m athb b { F } }}_{ q^n }^\t imes\hookrightarr owGL_{ { {\m athbb {F}}} _q}( {{ \math bb{F}} }_{q^ n} ) \cong GL_n({{ \mat hbb{F}}}_ q). 
  $
Thee lement s i n $ GL_n({{ \mathbb { F}} }_ q ) $  s atisfying these pr op e r ti es are c alledt he  [ * *regular  e lli ptic e lemen ts** ] {} .

[(i)is equ i va le nt to ( ii ).]{}Apro per  ${{\ m athb b{F}}} _q$-subs pace$ U$, say with $ \ dim_{{{\mathb b {F } } }_ q } U= d  < n$, is $ g$-s t able  ifa nd  on l y any  $h$in $G L _n({{\mathbb{F}}}_q )$  sendi ng $U $ to the span  of the fi r s t  $d$ sta ndar d  b a sis vectors in  ${{\ mathbb{F}} } _q^n$ ha s the  propert y that $h g  h^{-1}$  li esina p r o pe r parabolic s u b grou p$P_{\al pha }$ with  $\ alp ha_ 1=d $. 

.1in [( ii) impl ie s(i ii ).] {} Ar g ue the c on tra po sit ive:i f $\de t(xI_ n-g) $ha d  anonzero pr o p er i rr ed ucib lefa ctor$f(x ) $,then $\ ker(f(g):  V\ righ ta rr ow V)$would be a no nz ero proper  $ g$- stable s ubspace. .1in [(iii) implies (iv ) .]{} If  $f (x):= \det (xI_n-g)$  is  irred uci b le in${{\ma thbb{ F} }}_ q [ x]$,t h en  $f (x )$ is also t heminim al  pol ynomial  of $g$. Thus $g$h asrational cano nic al f o r move r  $ { {\m at h bb{ F } }}_q$ equal tothe compan io n  m atrix for$ f(
1. _No conjugates_$hgh^{-1}$ of $g$ lie_in a_proper_parabolic subgroup_$P_\alpha
_  _\subsetneq GL_n$.

2. _There are no nonzero_proper $g$-stable ${{\mathbb{F}}}_q$-subspaces_inside_${{\mathbb{F}}}_q^n$.

3.  The characteristic polynomial $\det(xI_n-g)$ is irreducible in ${{\mathbb{F}}}_q[x]$.

4.  The element $g$_is_the image_of_some_$\beta$ in ${{\mathbb{F}}}_{q^n}^\times$ satisfying ${{\mathbb{F}}}_q(\beta)={{\mathbb{F}}}_{q^n}$_(that is, a [*primitive element*]{}_for ${{\mathbb{F}}}_{q^n}$)_under one of the embeddings $
  __{{\mathbb{F}}}_{q^n}^\times \hookrightarrow GL_{{{\mathbb{F}}}_q}({{\mathbb{F}}}_{q^n})_\cong GL_n({{\mathbb{F}}}_q).
    $

The elements in $GL_n({{\mathbb{F}}}_q)$_satisfying these properties are called the_[**regular elliptic elements**]{}.

[(i)_is_equivalent_to (ii).]{} A proper_${{\mathbb{F}}}_q$-subspace $U$, say with $\dim_{{{\mathbb{F}}}_q} U_= d < n$, is $g$-stable_if and only any $h$ in $GL_n({{\mathbb{F}}}_q)$_sending $U$ to the span of_the first $d$ standard basis_vectors in_${{\mathbb{F}}}_q^n$ has the property that_$h g h^{-1}$_lies in_a proper parabolic_subgroup $P_{\alpha}$ with $\alpha_1=d$.

.1in [(ii) implies_(iii).]{} Argue the_contrapositive: if $\det(xI_n-g)$ had a nonzero_proper_irreducible factor $f(x)$,_then_$\ker(f(g):_V \rightarrow_V)$ would be_a_nonzero proper_$g$-stable_subspace..1in [(iii) implies (iv).]{} If $f(x):=\det(xI_n-g)$_is_irreducible in ${{\mathbb{F}}}_q[x]$, then $f(x)$ is also_the minimal polynomial of_$g$._Thus $g$ has rational_canonical form over ${{\mathbb{F}}}_q$ equal_to the companion matrix for $f(