Showing 1–12 of 12 results for author: Guloglu, I

Noncoprime action of a cyclic group

Authors: Gülin Ercan, İsmail Ş. Güloğlu

Abstract: Let $A$ be a finite nilpotent group acting fixed point freely on the finite (solvable) group $G$ by automorphisms. It is conjectured that the nilpotent length of $G$ is bounded above by $\ell(A)$, the number of primes dividing the order of $A$ counted with multiplicities. In the present paper we consider the case $A$ is cyclic and obtain that the nilpotent length of $G$ is at most $2\ell(A)$ if… ▽ More Let $A$ be a finite nilpotent group acting fixed point freely on the finite (solvable) group $G$ by automorphisms. It is conjectured that the nilpotent length of $G$ is bounded above by $\ell(A)$, the number of primes dividing the order of $A$ counted with multiplicities. In the present paper we consider the case $A$ is cyclic and obtain that the nilpotent length of $G$ is at most $2\ell(A)$ if $|G|$ is odd. More generally we prove that the nilpotent length of $G$ is at most $2\ell(A)+ \mathbf{c}(G;A)$ when $G$ is of odd order and $A$ normalizes a Sylow system of $G$ where $\mathbf{c}(G;A)$ denotes the number of trivial $A$-modules appearing in an $A$-composition series of $G$. △ Less

Submitted 23 February, 2024; v1 submitted 4 July, 2023; originally announced July 2023.

Comments: The proof of Theorem 2.6 is incorrect. Without this theorem the main claim of the paper becomes unproven

Commuting graph of a group action with few edges

Authors: İsmail Ş. Güloğlu, Gülin Ercan

Abstract: Let $A$ be a group acting by automorphisms on the group $G.$ \textit{The commuting graph $Γ(G,A)$ of $A$-orbits} of this action is the simple graph with vertex set $\{x^{A} : 1\ne x \in G \}$, the set of all $A$-orbits on $G\setminus \{1\}$, where two distinct vertices $x^{A}$ and $y^{A}$ are joined by an edge if and only if there exist $x_{1}\in x^{A}$ and $y_{1}\in y^{A}$ such that… ▽ More Let $A$ be a group acting by automorphisms on the group $G.$ \textit{The commuting graph $Γ(G,A)$ of $A$-orbits} of this action is the simple graph with vertex set $\{x^{A} : 1\ne x \in G \}$, the set of all $A$-orbits on $G\setminus \{1\}$, where two distinct vertices $x^{A}$ and $y^{A}$ are joined by an edge if and only if there exist $x_{1}\in x^{A}$ and $y_{1}\in y^{A}$ such that $[x_{1},y_{1}]=1$. The present paper characterizes the groups $G$ for which $Γ(G,A)$ is an $\mathcal{F}$-graph, that is, a connected graph which contains at most one vertex whose degree is not less than three. △ Less

Submitted 7 July, 2022; originally announced July 2022.

Comments: 22 pages

MSC Class: 20D10; 20D15; 20D45

Good action of a nilpotent group with regular orbits

Authors: Gülin Ercan, İsmail Ş. Güloğlu

Abstract: Suppose that $A$ is a finite nilpotent group of odd order acting good in the sense of \cite{EGJ} on the group $G$ of odd order. Under some additional assumptions we prove that the Fitting height of $G$ is bounded above by the sum of the numbers of primes dividing $|A|$ and $|C_G(A)|$ counted with multiplicities. Suppose that $A$ is a finite nilpotent group of odd order acting good in the sense of \cite{EGJ} on the group $G$ of odd order. Under some additional assumptions we prove that the Fitting height of $G$ is bounded above by the sum of the numbers of primes dividing $|A|$ and $|C_G(A)|$ counted with multiplicities. △ Less

Submitted 8 December, 2021; originally announced December 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:1911.06588

MSC Class: 20D10; 20D15; 20D45

Some special coprime actions and their consequence

Authors: Gülin Ercan, İsmail Ş. Güloğlu, M. Yasir Kızmaz, Danila O. Revin

Abstract: Let a group $A$ act on the group $G$ coprimely. Suppose that the order of the fixed point subgroup $C_G(A)$ is not divisible by an arbitrary but fixed prime $p$. In the present paper we determine bounds for the $p$-length of the group $G$ in terms of the order of $A$, and investigate how some $A$-invariant $p$-subgroups are embedded in $G$ under various additional assumptions. Let a group $A$ act on the group $G$ coprimely. Suppose that the order of the fixed point subgroup $C_G(A)$ is not divisible by an arbitrary but fixed prime $p$. In the present paper we determine bounds for the $p$-length of the group $G$ in terms of the order of $A$, and investigate how some $A$-invariant $p$-subgroups are embedded in $G$ under various additional assumptions. △ Less

Submitted 22 May, 2021; originally announced May 2021.

Extensions of several coprime results to good action case

Authors: Gülin Ercan, İsmail Ş. Güloğlu, Enrico Jabara

Abstract: Let $G$ and $A$ be groups where $A$ acts on $G$ by automorphisms. We say "\textit{the action of $A$ on $G$ is good}" if the equality $% H=[H,B]C_H(B)$ holds for any subgroup $B$ of $A$ and for any $B$-invariant subgroup $H$ of $G$. It is straightforward that every coprime action is a good action. In the present work we extend some results due to Ward, Gross, Shumyatsky, Jabara, and Meng and Guo un… ▽ More Let $G$ and $A$ be groups where $A$ acts on $G$ by automorphisms. We say "\textit{the action of $A$ on $G$ is good}" if the equality $% H=[H,B]C_H(B)$ holds for any subgroup $B$ of $A$ and for any $B$-invariant subgroup $H$ of $G$. It is straightforward that every coprime action is a good action. In the present work we extend some results due to Ward, Gross, Shumyatsky, Jabara, and Meng and Guo under coprime action to good action. △ Less

Submitted 29 June, 2021; v1 submitted 1 October, 2020; originally announced October 2020.

Comments: 8 pages

MSC Class: 20D10; 20D15; 20D45

Good action on a finite group

Authors: Gülin Ercan, İsmail Ş. Güloğlu, Enrico Jabara

Abstract: Let $G$ and $A$ be finite groups with $A$ acting on $G$ by automorphisms. In this paper we introduce the concept of "good action"; namely we say the action of $A$ on $G$ is good, if $H=[H,B]C_H(B)$ for every subgroup $B$ of $A$ and every $B$-invariant subgroup $H$ of $G.$ This definition allows us to prove a new noncoprime Hall-Higman type theorem. If $A$ is a nilpotent group acting on the finit… ▽ More Let $G$ and $A$ be finite groups with $A$ acting on $G$ by automorphisms. In this paper we introduce the concept of "good action"; namely we say the action of $A$ on $G$ is good, if $H=[H,B]C_H(B)$ for every subgroup $B$ of $A$ and every $B$-invariant subgroup $H$ of $G.$ This definition allows us to prove a new noncoprime Hall-Higman type theorem. If $A$ is a nilpotent group acting on the finite solvable group $G$ with $C_G(A)=1$, a long standing conjecture states that $h(G)\leq \ell(A)$ where $h(G)$ is the Fitting height of $G$ and $\ell(A)$ is the number of primes dividing the order of $A$ counted with multiplicities. As an application of our result we prove the main theorem of this paper which states that the above conjecture is true if $A$ and $G$ have odd order, the action of $A$ on $G$ is good and some other fairly general conditions are satisfied. △ Less

Submitted 12 May, 2020; v1 submitted 15 November, 2019; originally announced November 2019.

Comments: 13 pages

MSC Class: 20D10; 20D15; 20D45

Commuting graph of $A$-orbits

Authors: İsmail Ş. Güloğlu, Gülin Ercan

Abstract: Let $A$ be a finite group acting by automorphisms on the finite group $G$. We introduce the commuting graph $Γ(G,A)$ of this action and study some questions related to the structure of $G$ under certain graph theoretical conditions on $Γ(G,A)$. Let $A$ be a finite group acting by automorphisms on the finite group $G$. We introduce the commuting graph $Γ(G,A)$ of this action and study some questions related to the structure of $G$ under certain graph theoretical conditions on $Γ(G,A)$. △ Less

Submitted 24 August, 2019; v1 submitted 19 August, 2019; originally announced August 2019.

A short note on the noncoprime regular module problem

Authors: Gülin Ercan, İsmail Ş. Güloğlu

Abstract: We consider a special configuration in which a finite group $A$ acts by automorphisms on the finite group $G$, and the semidirect product $GA$ acts on the vector space $V$ by linear transformations; and discuss the existence of the regular $A$-module in $V_{_{A}}$. We consider a special configuration in which a finite group $A$ acts by automorphisms on the finite group $G$, and the semidirect product $GA$ acts on the vector space $V$ by linear transformations; and discuss the existence of the regular $A$-module in $V_{_{A}}$. △ Less

Submitted 30 July, 2019; originally announced July 2019.

Frobenius action on Carter subgroups

Authors: Gülin Ercan, İsmail Ş. Güloğlu

Abstract: Let $G$ be a finite solvable group and $H$ be a subgroup of $Aut(G)$. Suppose that there exists an $H$-invariant Carter subgroup $F$ of $G$ such that the semidirect product $FH$ is a Frobenius group with kernel $F$. We prove that the terms of the Fitting series of $C_{G}(H)$ are obtained as the intersection of $C_{G}(H)$ with the corresponding terms of the Fitting series of $G$, and the Fitting he… ▽ More Let $G$ be a finite solvable group and $H$ be a subgroup of $Aut(G)$. Suppose that there exists an $H$-invariant Carter subgroup $F$ of $G$ such that the semidirect product $FH$ is a Frobenius group with kernel $F$. We prove that the terms of the Fitting series of $C_{G}(H)$ are obtained as the intersection of $C_{G}(H)$ with the corresponding terms of the Fitting series of $G$, and the Fitting height of $G$ may exceed the Fitting height of $C_{G}(H)$ by at most one. As a corollary it is shown that for any set of primes $π$, the terms of the $π$-series of $C_{G}(H)$ is obtained as the intersection of $C_{G}(H)$ with the corresponding terms of the $π$-series of $G$, and the $π$-length of $G$ may exceed the $π$-length of $C_{G}(H)$ by at most one. They generalize the main results of \cite{Khu}. △ Less

Submitted 25 July, 2019; originally announced July 2019.

On abelian group actions with TNI-centralizers

Authors: Gülin Ercan, İsmail Ş. Güloğlu

Abstract: A subgroup $H$ of a group $G$ is said to be a TNI-subgroup if $N_{G}(H)\cap H^g=1$ for any $g\in G\,\backslash \,N_{G}(H).$ Let $A$ be an abelian group acting coprimely on the finite group $G$ by automorphisms in such a way that $C_G(A)=\{g\in G : g^a=g $\, for all $a\in A\}$ is a solvable TNI-subgroup of $G$. We prove that $G$ is a solvable group with Fitting length $h(G)$ is at most… ▽ More A subgroup $H$ of a group $G$ is said to be a TNI-subgroup if $N_{G}(H)\cap H^g=1$ for any $g\in G\,\backslash \,N_{G}(H).$ Let $A$ be an abelian group acting coprimely on the finite group $G$ by automorphisms in such a way that $C_G(A)=\{g\in G : g^a=g $\, for all $a\in A\}$ is a solvable TNI-subgroup of $G$. We prove that $G$ is a solvable group with Fitting length $h(G)$ is at most $h(C_G(A))+\ell(A)$. In particular $h(G)\leq \ell(A)+3$ whenever $C_G(A)$ is nonnormal. Here, $h(G)$ is the Fitting length of $G$ and $\ell(A)$ is the number of primes dividing $A$ counted with multiplicities. △ Less

Submitted 22 July, 2018; originally announced July 2018.

Frobenius groups of automorphisms with almost fixed point free kernel

Authors: Gülin Ercan, İsmail Ş. Güloğlu

Abstract: Let $FH$ be a Frobenius group with kernel $F$ and complement $H$, acting coprimely on the finite solvable group $G$ by automorphisms. We prove that if $C_{G}(H)$ is of Fitting length $n$ then the index of the $n$-th Fitting subgroup $F_{n}(G)$ in $G$ is bounded in terms of $|C_{G}(F)|$ and $|F|.$ This generalizes a result of Khukhro and Makarenko \cite{k-m} which handles the case $n=1.$ Let $FH$ be a Frobenius group with kernel $F$ and complement $H$, acting coprimely on the finite solvable group $G$ by automorphisms. We prove that if $C_{G}(H)$ is of Fitting length $n$ then the index of the $n$-th Fitting subgroup $F_{n}(G)$ in $G$ is bounded in terms of $|C_{G}(F)|$ and $|F|.$ This generalizes a result of Khukhro and Makarenko \cite{k-m} which handles the case $n=1.$ △ Less

Submitted 22 July, 2018; originally announced July 2018.

A Combinatorial Discussion on Finite Dimensional Leavitt Path Algebras

Authors: Ayten Koç, Songül Esin, Ismail Güloğlu, Müge Kanuni, Ayten Koc, Songul Esin, Ismail Guloglu, Muge Kanuni

Abstract: Any finite dimensional semisimple algebra A over a field K is isomorphic to a direct sum of finite dimensional full matrix rings over suitable division rings. In this paper we will consider the special case where all division rings are exactly the field K. All such finite dimensional semisimple algebras arise as a finite dimensional Leavitt path algebra. For this specific finite dimensional semisi… ▽ More Any finite dimensional semisimple algebra A over a field K is isomorphic to a direct sum of finite dimensional full matrix rings over suitable division rings. In this paper we will consider the special case where all division rings are exactly the field K. All such finite dimensional semisimple algebras arise as a finite dimensional Leavitt path algebra. For this specific finite dimensional semisimple algebra A over a field K, we define a uniquely detemined specific graph - which we name as a truncated tree associated with A - whose Leavitt path algebra is isomorphic to A. We define an algebraic invariant κ(A) for A and count the number of isomorphism classes of Leavitt path algebras with κ(A)=n. Moreover, we find the maximum and the minimum K-dimensions of the Leavitt path algebras of possible trees with a given number of vertices and determine the number of distinct Leavitt path algebras of a line graph with a given number of vertices. △ Less

Submitted 7 March, 2012; originally announced March 2012.

Comments: 10 pages, 5 figures

Journal ref: Hacettepe J Math Stat Vol.43 (6) 943-951, 2014