International Journal of Group Theory
https://ijgt.ui.ac.ir/
International Journal of Group Theoryendaily1Fri, 01 Dec 2023 00:00:00 +0330Fri, 01 Dec 2023 00:00:00 +0330Solvable groups whose monomial, monolithic characters have prime power codegrees
https://ijgt.ui.ac.ir/article_26289.html
In this note, we prove that if $G$ is solvable and ${\rm cod}(\chi)$&nbsp;is a $p$-power for every nonlinear, monomial, monolithic $\chi\in {\rm Irr}(G)$ or every nonlinear, monomial, monolithic $\chi \in&nbsp;{\rm IBr} (G)$, then $P$ is normal in $G$, where $p$ is a prime and&nbsp;$P$ is a Sylow $p$-subgroup of $G$.Trilinear alternating forms and related CMLs and GECs
https://ijgt.ui.ac.ir/article_26353.html
The classification of trivectors(trilinear alternating forms) depends essentially on the dimension $n$ of the base space. This classification seems to be a difficult problem (unlike in the bilinear case). For $n\leq 8 $ there exist finitely many trivector classes under the action of the general linear group $GL(n).$ The methods of Galois cohomology can be used to determine the classes of nondegenerate trivectors which split into multiple classes when going from $\bar{K}$(the algebraic closure of $K$) to $K.$ In this paper, we are interested in the classification of trivectors of an&nbsp;eight dimensional vector space over a finite field of characteristic $3,$ $% K=\mathbb{F}_{3^{m}}.$ We obtain a $31$ inequivalent trivectors, $20$ of which are full&nbsp;rank. Having its motivation in the theory of the generalized elliptic curves and commutative moufang loop, this research studies the case of the forms over the 3 elements field. We use a transfer theorem providing a one-to-one correspondence between the classes of trilinear alternating forms of rank $8$ over a finite field with $3$ elements $\mathbb{F}_{3}$ and the rank $9$ class $2$ Hall generalized&nbsp;elliptic curves (GECs) of $3$-order $9$ and commutative moufang loop (CMLs).&nbsp;We derive a classification and explicit descriptions of the $31$ Hall GECs&nbsp;whose rank and $3$-order both equal $9$ and the number of order $3^{9}$-CMLs.&nbsp;Ramification structures for quotients of multi-EGS groups
https://ijgt.ui.ac.ir/article_26749.html
Groups associated to surfaces isogenous to a higher product of curves can be characterised by a purely group-theoretic condition, which is the existence of a so-called ramification structure. G&uuml;l and Uria-Albizuri showed that quotients of the periodic Grigorchuk-Gupta-Sidki groups, GGS-groups for short, admit ramification structures. We extend their result by showing that quotients of generalisations of the GGS-groups, namely multi-EGS groups, also admit ramification structures.Profinite just infinite residually solvable Lie algebras
https://ijgt.ui.ac.ir/article_26772.html
We provide some characterization theorems about just infinite profinite residually solvable Lie algebras, similarly to what C. Reid has done for just infinite profinite groups. In particular, we prove that a profinite residually solvable Lie algebra is just infinite if and only if its obliquity subalgebra has finite codimension in the Lie algebra, and we establish a criterion for a profinite residually solvable Lie algebra to be just infinite, looking at the finite Lie algebras occurring in the inverse system.Remark on Laquer's theorem for circulant determinants
https://ijgt.ui.ac.ir/article_26698.html
Olga Taussky-Todd suggested the problem of determining the possible values of integer circulant determinants.&nbsp;To solve a special case of the problem, Laquer gave a factorization of circulant determinants.&nbsp;In this paper,&nbsp;we give a modest generalization of Laquer's theorem.&nbsp;Also, we give an application of the generalization to integer group determinants.Existence of rational primitive normal pairs over finite fields
https://ijgt.ui.ac.ir/article_26751.html
For a finite field $š¯”½_{q^n}$ and a rational function $f=\frac{f_1}{f_2} \in š¯”½_{q^n}(x)$, we present a sufficient condition for the existence of a primitive normal element $\alpha \in š¯”½_{q^n}$ in such a way $f(\alpha)$ is also primitive in $š¯”½_{q^n}$, where $f(x)$ is a rational function in $š¯”½_{q^n}(x)$ of degree sum $m$ (degree sum of $f(x)=\frac{f_1(x)}{f_2(x)}$ is defined to be the sum of the degrees of $f_1(x)$ and $f_2(x)$). Additionally, for rational functions of degree sum 4, we proved that there are only $37$ and $16$ exceptional values of $(q,n)$ when $q=2^k$ and $q=3^k$ respectively.Constructions and involutory properties in latin quandles
https://ijgt.ui.ac.ir/article_26773.html
This work studied involutory properties in Latin quandles using methods of quasiqroup theory, and classified latin quandle $Q$ into Left Involutory Property latin Quandle (LIPQ), Right Involutory Property Latin Quandle (RIPQ) and Involutory Property Latin Quandle (IPQ). It investigated a fourth property called the Cross Involutory Property Latin Quandle (CIPQ). The result showed that a latin quandle $Q$ that is a LIPQ and RIPQ is an IPQ. Moreover, it established that the necessary and sufficient conditions for a latin Alexander quandle $Q$ to be a CIPQ is that $b=t^2a +(1-t)(tb+a)$ for all $a,b \in Q$ and $t\in A(Q)$.Generalized order divisor graphs of finite group
https://ijgt.ui.ac.ir/article_27057.html
Let $G$ be a finite group and $k$ a fixed positive integer. We define the generalized order divisor graph of $G$ to be a graph whose vertex set is the group $G$ and in which two vertices $a$ and $b$ are adjacent if and only if the orders $o(a^k)$ and $o(b^k)$ are different and either $o(a^k)$ divides $o(b^k)$ or $o(b^k)$ divides $o(a^k)$. This generalizes the order divisor graphs of finite groups. Some properties of our graph are introduced, and we investigate the structure of the generalized order divisor graphs of finite cyclic groups.On Neumannā€™s BFC-theorem and finite-by-nilpotent profinite groups
https://ijgt.ui.ac.ir/article_27090.html
Let $\gamma_{n}=[x_{1},\ldots,x_{n}]$ be the $n$th lower central word and $X_{n}(G)$ the set of $\gamma_{n}$-values in a group $G$. Suppose that $G$ is a profinite group where, for each $g\in G$, there exists a positive integer $n=n(g)$ such that the set $g^{X_{n}(G)}=\{g^{y}\,|\,y\in X_{n}(G)\}$ contains less than $2^{\aleph_{0}}$ elements. We prove that $G$ is a finite-by-nilpotent group.Orbits classifying extensions of prime power order groups
https://ijgt.ui.ac.ir/article_27164.html
The strong isomorphism classes of extensions of finite groups are parametrized by orbits of a prescribed action on the second cohomology group. We study these orbits in the case of extensions of a finite abelian $p$-group by a cyclic factor of order $p$. As an application, we compute the number and sizes of these orbits when the initial $p$-group is generated by at most $3$ elements.The influence of $\mathscr{H}$-subgroups on $p$-nilpotency and $p$-supersolvability of finite groups
https://ijgt.ui.ac.ir/article_27183.html
Let $G$ be a finite group. A subgroup $H$ of $G$ is an $\mathscr{H}$-subgroup in $G$ if $N_G(H)\cap H^g \leq H$ for any $g \in G$. In this article, by using the concept of $\mathscr{H}$-subgroups, we study the influence of the intersection of $O^p(G_p^*)$ and the members of some fixed $\mathcal{M}_d(P)$ on the structure of the group $G$, where $P$ is a Sylow $p$-subgroup of $G.$ Some new criteria for a group to be $p$-nilpotent and $p$-supersolvable are given and some recent results are extended and generalized.