Isotopism and isomorphism classes of certain Lie algebras over finite fields
Abstract
In the current paper, we study the distribution into isotopism and isomorphism classes of the relevant family FpnFnp of Lie algebras of basis {e1,…,en}{e1,…,en} and nonzero brackets [ei,en]∈⟨e1,…,en−1⟩[ei,en]∈⟨e1,…,en−1⟩ over a finite field FpFp , with p prime. At this end we first introduce the concept of the structure tuple of a Lie algebra and specifically prove that there exist n isotopism classes in FpnFnp and three families of isomorphism classes depending on the first component of their structure tuple.
Full text
0 1 0 2 3 45 678 2 998 6 8 98 6 8 2 998 62 5 9 45 6 !"#$%&'())"!*+"(,"-,&,." /01234$34456"444789438948479 &,,)266:$");$.#6,.634$34456"444789438948479
< = = >?@9A9BCD@9A9BEB9@9AEA9B9@DF9 @9A9B< < G?<CD7@<H@9ADF9 A<9 < G?<CD< < I J9K L < I J?@C9K?ACDL?@9AC9 @9A< JDK <MI ?J9J9LC L N9 JDL9 J ?J9J9JC < O DI 78 0 998 P QR9 S TUV V 9 78 0 998 T 4V P V 9 78 0 998 P W8 X 98 Y DF Z9[\ W8 X 98 P S P]0UV <4V P
?^_C `SP]0 P]0UV 9 Z ab cP]0 Yd0e XY 8 Y8 X 98 P 9 e XY VZ9[7_99^_ < f 4V PDg9 Rh9 D i \ h j k l m nopqr l n nops m r l m topquqr l n tops m uqr l t tops n uqr l v tops m us n r w x tops n us m r w y tops n us mz s n r l m vopququqr w n vops m uquqr w t vops n uquqr l v vops m us n uqr w x vops m us t uqr w y vops n us m uqr l { vops n us mz s n uqr l | vops n us t uqr l } vops m us n us t r l m~ vops n us m us t r l mm vops n us t us m r l mn vops n us mz s t us m r l mt vops n us mz s t us t r l mv vops n us nz s t us m r l m xopquququqr w n xops m uququqr w t xops n uququqr l v xops m us n uquqr l x xops m us t uquqr l y xops n us m uquqr l { xops n us mz s n uquqr l | xops n us t uquqr l } xops t us v uquqr l m~ xops m us n us t uqr l mm xops m us n us v uqr l mn xops n us m us t uqr l mt xops n us m us v uqr l mv xops n us t us m uqr l mx xops n us t us v uqr l my xops n us v us t uqr l m{ xops n us mz s n us v uqr l m| xops n us mz s t us m uqr l m} xops n us mz s t us t uqr l n~ xops n us nz s t us m uqr l nm xops m us n us t us v r l nn xops n us m us t us v r l nt xops n us m us v us t r l nv xops n us t us m us v r l nx xops n us t us v us m r l ny xops n us nz s t us v us mz s t r l n{ xops n us v us mz s n us t r l n| xops n us nz s v us m us t r l n} xops n us nz s t us m us v r l t~ xops n us t us mz s n us v r l tm xops n us mz s n us tz s v us t r l tn xops n us mz s t us t us v r l tt xops n us tz s v us t us m r l tv xops n us t us v us mz s t r m nopqr n nops m r m topquqr n tops m uqr t tops n uqr v tops m us n r x tops n us m r y tops n us m r { tops n us mz s n r | tops n us mz s n r m vopququqr n vops m uquqr t vops n uquqr v vops m us n uqr x vops m us t uqr y vops n us m uqr { vops n us m uqr | vops n us mz s n uqr } vops n us mz s n uqr m~ vops n us t uqr mm vops m us n us t r mn vops n us m us t r mt vops n us m us t r mv vops n us mz s n us t r mx vops t us n us mz s n r my vops t us n us mz s t r m{ vops t us n us mz s nz s t r m| vops t us nz s t us mz s n r m} vops t us nz s t us mz s nz s t r n~ vops t us nz s t us mz s n r nm vops t us nz s t us mz s nz s t r nn vops t us n us mz s t r 4V P 4V P 4V P 4V P?8 0 998 T9F99FC SP]0 P]0UV 9Q7_99^_ 4V PUT < f4V P?G?< fCCD^Q^_
4 4V P ?J9J9LC < < 9 J < < J J?<CD< @G?<C9J?@C9ADL?@9J ]0 ?ACCDF A< J?G?<CCG?< C ?J ]0 9J ]0 9L ]0 C < < 4V P SP]0 P]0UV S P]0UV 9 < f< f `D? cP]0 Yd0e 0Y 8 Y 99 cP]0 Yd0e P]0Y 8 Y C` D? cP]0 Yd0e 0Y 8 Y 99 cP]0 Yd0e P]0Y 8 Y C SP]0 P]0UV 7_99^_ e XYDe XY Z9[7_99^_ ?J9J9LC J?8 P CDL?8 P CD8 P J?8 X CD8 X L?8 X CD8 X Z7_99^_ J?8 X C9J?8 P C < D8 X 98 P < D P]0 Yd0 e XY 8 YD P]0 Yd0 e XY 8 YD D P]0 Yd0 e XY 8 YDL?8 X 98 P < C9 Z7_99^_ `D?e 0 99e P]0 CSP]0 P]0UV Z9[7_99^_ ZD[9 < fM< f 9 ` D?e 0 99e X]0 9e X Ee Y 9e X0 99e P]0 CSP]0 P]0UV ?J9J9NC J?8 X CD8 X ^8 Y J?8 CD8 7_997Z 8 X 98 P < D8 X ^8 YE8 Y 98 P < DJ?8 X E8 Y C9J?8 P C < D D8 X E8 Y 98 P < D8 X 98 P < E8 Y 98 P <
<4V P 9 `D? cP]0 Yd0e 0Y 8 Y 99 cP]0 Yd0e P]0Y 8 Y CS P]0 P]0UV < fM< Z _9 e XXD F9e Y D F [9 Z e 00 D F9 < ?N9N9LC L?8 0 CD e V]0 00 ?8 0^cP]0 Yd1e 0Y 8 Y CL?8 Y CD8 Y[D_ < f < f 8 0 98 P < DN?8 0 C9N?8 P C < DL?8 0 98 P < CDL? P]0 Yd0 e 0Y 8 Y CD e 00 L?8 0 CE P]0 Yd1 e 0Y 8 YD8 0 ` D ?8 0 9 cP]0 Yd1e 1Y 8 Y 99 cP]0 Yd1e P]0Y 8 Y CSP]0 P]0UV < f M< fM< fZg9 e XXDF9 e Y D F [9 Z e 11 D F9 ` D ?8 0 9F99FC ` ` D ?8 0 98 1 9 cP]0 Yde Y 8 Y 99 cP]0 Yde P]0Y 8 Y CSP]0 P]0UV < f M < f Zi9 e XXDF9 e YDF [9Z 4V P 4V P ` TD?8 0 998 T9F99FCS P]0 P]0UV 9 Q7_99^_ G?< f CD8 T0 998 P Q7_99^_9 < f < f 9 Q97_99^_ Q D < f 4V P V P I I I I I I I I I I I I b ¡ I ¢ I I I I I I ¢ I q I q I I < < < < < < £ ¡ < < < < < q < < 4V P
4 4V P Q 7_99^_9 4V PUT < f4V P ?G?< fCCD^Q^_ 4V PUT ` < f4V P? cP]0 Yd0e 0Y 8 Y 99 cP]0 Yd0e TY 8 Y 9F99FC SP]0 P]0UV 9?e XY C < fe XYDF Z¤Q [\ < f4V PUT9 < fO D< f V 7F J J?8 X CD8 X Z\ J?8 P CD8 P ¥9 8 X 98 P < ¦ D8 X 98 P ¥ < ¦ DJ?8 X C9J?8 P C < ¦ DJ?8 X 98 P < CD P]0 Yd0 e XY 8 Y `D? cP]0 Yd0e 0Y 8 Y 99 cP]0 Yd0e TY 8 Y 9F99FCSP]0 P]0UV ZRQ e XX DF9 < f4V PUT I4V PUT9 8 Y 98 P ID § ¨ © c ªT e X 8 9[DZ9 8 Y 98 P < 9 J J?8 X CD8 X ^ e V]0 XX c Y«T e XY 8 YJ?8 Y CD8 Y[DZ I4V PUT < J 8 X 98 P IDJ?8 X Ee V]0 XX Y«T e XY 8 Y C9J?8 P C IDJ?8 X Ee V]0 XX Y«T e XY 8 Y 98 P < CD DJ?8 X 98 P < CD Y¬dX e XY 8 YEe XX J?8 X CD YªT e XY 8 Y <4V PUT ZR Q9 <UXD ®7[\¯e XYDF
<4V PUT < f4V PUT ` D ? cP]0 Yd0e 0Y 8 Y 99 cP]0 Yd0e TY 8 Y 9F99FC SP]0 P]0UV e X° u± D F Z9[RQ ZD[ J 0J?8 0 CD 8 0J?8 X CD 8 X ^e V]0 0° u e X° u 8 0Z¤_ 8 ° u < 04V PUT < J 0 < f4V PUT `D? cP]0 Yd0e 0Y 8 Y 99 cP]0 Yd0e TY 8 Y 9F99FCSP]0 P]0UV 9I4V PUT 8 0 98 P ID § ² ² ¨ ² ² © 8 0 98 0 98 P < De 00 8 0 9 8 1 9 [7g99Q e 0YDF9 8 T0 9[ 0¤Q e 0Y D_ < a j³ ± f9 < f W 8 0 98 P < D8 0 9 ID< f W [ 0D _ [¤ _ e 0YD F9 [RQ J J?8 X CD8 XZD[ J?8 Y CDe V]0 0Y ?8 Y^8 0^c X¬´µ0UY¶e 0X 8 X C < < fJ 8 0 98 P < DJ?8 0 C9J?8 P C < DJ?8 0 98 P < CD8 Y K K?8 Y CD8 1 9K?8 1 CD8 Y K?8 X CD8 XZ7g9[ I < K 8 0 98 P ID8 1 W [ 0D_9 J J?8 X CD 8 XZD[ 0J?8 Y CD8 Y ^c Y«Y e 0Y 8 Y< < f J 8 0 98 P < DJ?8 0 C9J?8 P C < DJ?8 0 98 P < CDJ?8 Y CE Y«Y e 0Y 8 YD8 Y [ 07g99Q9 K I < f8 0 98 P ID8 1 [Q9 K K?8 Y CD8 T9K?8 TCD8 YK?8 X CD8 XZ7Q9[
4V PU0 ¤g 4V PU0 ?8 0 9F99FC ?8 1 9F99FC SP]0 P]0UV 4V PU0 < · U¸UU¸ < · U¸UU¸ 4V PU0 < 0< 1 < 1 9< 1 G?< 1 C9 < 0 9< 0 G?< 0 C 4V PUT9 < · U· U¸ < · U· · U¸ 41 PU1 78 0 98 1 4V PUT 8 1 4V PUT 8 1 I ¹ º?8 0 98 9F9FC < f 4V PUT9 < f I 4V PUT 8 0 98 P ID 8 1 9 Q 7F99Q gQ^QR ^_ < f ?8 0 9e 1 8 19e T 8 T 98 T0 998 1T]T 9F99FCSP]0 P]0UV 9 e 1RRe T `D? cP]0 Yd0e 0Y 8 Y 99 cP]0 Yd0e TY 8 Y 9F99FCS P]0 P]0UV < f9 e XYDF Z9[RQ ZD[ J J?8 0 CD 8 X 9J?8 X CD 8 0 J?8 CD 8 7_9Z I4V PUT < f J 8 0 98 P Ie XY 8 Y 9 e XYDF9 I I 8 0 98 P I D8 1 8 X 98 P < De XX 8 X E P]0 YdT0 e XY 8 Y 9ZRQ QZ7_99Q e XXDF J J?8 X CDe V]0 XX ?8 X ^cP]0 YdT0e XY 8 Y C9 e XX DF»
J?8 X CD8 X I < fJ 8 X 98 P ID § ¨ © e XX 8 X 9e XX DF9 cP]0 YdT0e XY 8 Y 9 I4V PUT9 ?Q^Q C Z 0 99Z T]TRQ ?Q^Q C [ 0 99[ T]T7QE_99^_ e X ¦ Y ¦DF RQ^Q K K?8 X CD § ¨ © 8 X 9Z7Z 0 99Z T]T 9 e X ¦ Y ¦V]0 ?8 Y ¦^c Y¬dY ¦e X ¦ Y 8 Y C9 ZDZ RQ^Q K I9 Q^_ e 1 99e T 9e T0 99e 1T]1 V 7F9 e 1RRe T< f ` D?8 0 9e 1 8 1 99e T 8 T 9e T0 8 T0 9 9e 1T]T 8 1T]T 9F99FCS P]0 P]0UV I gQ^Q R^_ L L?8 X CDe V]0 X8 XZ7QE_99gQ^Q 9 L?8 X CD8 X 9 < f ?8 0 9e 1 8 1 99e T 8 T 98 T0 998 1T]T 9F99 FCSP]0 P]0UV 4V PUT < f4V PUT `D ?8 1 9 cP]0 Yd0e 1Y 8 Y 99 cP]0 Yd0e TY 8 Y 9F99FCSP]0 P]0UV e X1DF Z¤g J J?8 Y CD8 Y[DZ J?8 X CD8 X Ee X1 8 0 [ 1D®7[\¯[Dg e 1YDF < f4V PUT `D?8 1 9 cP]0 Yd0e 1Y 8 Y 99 cP]0 Yd0e TY 8 Y 9F99FCSP]0 P]0UV 9I4V PUT 8 0 98 P ID8 1 8 1 98 P ID § ² ² ¨ ² ² © e 10 8 0Ee 11 8 1 9[ 1D_9 e 11 8 1E8 9 [ 17i99Q9 e 11 8 1E8 T0 9[ 1¤Q < fI4V PUT 8 1 98 P I 8 0 98 1 98 9 ?8 1 9e 11 8 1 E8 T0 99 8 1T]0 9F99FCSP]0 P]0UV