-
Subrack lattice determines the derived length
Authors:
Selçuk Kayacan
Abstract:
We prove the following: If $G$ is a finite solvable group and $H$ is another group whose subrack lattice is isomorphic to the subrack lattice of $G$, then $H$ is a solvable group and the derived length of $H$ coincides with the derived length of $G$.
We prove the following: If $G$ is a finite solvable group and $H$ is another group whose subrack lattice is isomorphic to the subrack lattice of $G$, then $H$ is a solvable group and the derived length of $H$ coincides with the derived length of $G$.
△ Less
Submitted 9 March, 2025;
originally announced March 2025.
-
Presentations of Racks
Authors:
Selçuk Kayacan
Abstract:
Presentations of racks is studied and a cryptographic protocol defined on racks is proposed.
Presentations of racks is studied and a cryptographic protocol defined on racks is proposed.
△ Less
Submitted 12 February, 2025;
originally announced February 2025.
-
Subrack Lattices of Conjugation Racks
Authors:
Selçuk Kayacan
Abstract:
A rack is a set with a binary operation such that left multiplications are automorphisms of the set and a quandle is a rack satisfying a certain condition. Let $S$ be a subset of a finite group $G$ which is closed under the conjugation operation $a\triangleright b := aba^{-1}$. The set $S$ with the conjugation operation $\triangleright$ is a quandle. We call those objects \emph{conjugation racks}.…
▽ More
A rack is a set with a binary operation such that left multiplications are automorphisms of the set and a quandle is a rack satisfying a certain condition. Let $S$ be a subset of a finite group $G$ which is closed under the conjugation operation $a\triangleright b := aba^{-1}$. The set $S$ with the conjugation operation $\triangleright$ is a quandle. We call those objects \emph{conjugation racks}. The prime examples are
\begin{itemize}
\item the group rack $(G,\triangleright)$,
\item the conjugacy class rack $(C,\triangleright)$, where $C$ is a conjugacy class in $G$, and
\item the $p$-power rack $(G_p,\triangleright)$, where $p$ is a prime and $G_p$ is the set of all elements in $G$ whose order is a power of $p$.
\end{itemize}
The set of all subracks of a finite rack form a lattice under inclusion. In this paper we study the subrack lattices of the conjugation racks. In particular, we show that the subrack lattice can be associated with a subposet of a partition lattice as well as with a subposet of an integer partition lattice in a canonical way if the rack is connected. And, if the rack is not connected, the study of the homotopy properties of the subrack lattice can be reduced into the study of the homotopy properties of the subposet of parabolic subracks. We also prove that for a certain class of $p$-power racks the order of a Sylow $p$-subgroup divides the reduced Euler characteristic of the subrack lattice of the $p$-power rack. This statement can be considered as the rack analogue of a result by Brown in the field of subgroup complexes regarding the Euler characteristic of the poset of nontrivial $p$-subgroups of a group.
△ Less
Submitted 5 October, 2024;
originally announced October 2024.
-
Recovering information about a finite group from its subrack lattice
Authors:
Selçuk Kayacan
Abstract:
We prove that the isomorphism type of the subrack lattice of a finite group determines the nilpotence class. We analyze the problem of estimating the orders of the group elements corresponding to the atoms of the subrack lattice. As a result, we show that the subrack lattice determines $p$-nilpotence of the group if a certain condition is met.
We prove that the isomorphism type of the subrack lattice of a finite group determines the nilpotence class. We analyze the problem of estimating the orders of the group elements corresponding to the atoms of the subrack lattice. As a result, we show that the subrack lattice determines $p$-nilpotence of the group if a certain condition is met.
△ Less
Submitted 2 November, 2020;
originally announced November 2020.
-
On a conjecture about profiles of finite connected racks
Authors:
Selçuk Kayacan
Abstract:
A rack is a set with a binary operation such that left multiplications are automorphisms of the set and a quandle is a rack satisfying a certain condition. For a finite connected rack the cycle type of the permutation defined by left multiplication by an element is independent from the chosen element. This cycle type is called the profile of the rack. Hayashi conjectured, in the profile of a finit…
▽ More
A rack is a set with a binary operation such that left multiplications are automorphisms of the set and a quandle is a rack satisfying a certain condition. For a finite connected rack the cycle type of the permutation defined by left multiplication by an element is independent from the chosen element. This cycle type is called the profile of the rack. Hayashi conjectured, in the profile of a finite connected quandle, the length of a cycle must divide the length of the largest cycle. In this paper, we prove Hayashi's Conjecture in some particular cases.
△ Less
Submitted 29 September, 2021; v1 submitted 18 June, 2020;
originally announced June 2020.
-
Some remarks on the subrack lattice of finite racks
Authors:
Selçuk Kayacan
Abstract:
The set of all subracks $\mathcal{R}(X)$ of a finite rack $X$ form a lattice under inclusion. We prove that if a rack $X$ satisfies a certain condition then the homotopy type of the order complex of $\mathcal{R}(X)$ is a $(m-2)$-sphere, where $m$ is the number of maximal subracks of $X$. The rack $X$ satisfying the condition of this general result is necessarily decomposable. Two particular instan…
▽ More
The set of all subracks $\mathcal{R}(X)$ of a finite rack $X$ form a lattice under inclusion. We prove that if a rack $X$ satisfies a certain condition then the homotopy type of the order complex of $\mathcal{R}(X)$ is a $(m-2)$-sphere, where $m$ is the number of maximal subracks of $X$. The rack $X$ satisfying the condition of this general result is necessarily decomposable. Two particular instances occur when
\begin{itemize}
\item $X=G$ is a group rack, and when
\item $X=C$ is a conjugacy class rack of a nilpotent group.
\end{itemize} We also studied the subrack lattices of indecomposable racks by focusing on the conjugacy class racks of symmetric or alternating groups and determined the homotopy types of the corresponding order complexes in some cases.
△ Less
Submitted 26 March, 2022; v1 submitted 3 December, 2018;
originally announced December 2018.
-
Dominating Sets in Intersection Graphs of Finite Groups
Authors:
Selçuk Kayacan
Abstract:
Let $G$ be a group. The intersection graph $Γ(G)$ of $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two distinct vertices $H$ and $K$ if and only if $H\cap K \neq 1$ where $1$ denotes the trivial subgroup of $G$. In this paper we studied the dominating sets in interse…
▽ More
Let $G$ be a group. The intersection graph $Γ(G)$ of $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two distinct vertices $H$ and $K$ if and only if $H\cap K \neq 1$ where $1$ denotes the trivial subgroup of $G$. In this paper we studied the dominating sets in intersection graphs of finite groups. It turns out a subset of the vertex set is a dominating set if and only if the union of the corresponding subgroups contains the union of all minimal subgroups. We classified abelian groups by their domination number and find upper bounds for some specific classes of groups. Subgroup intersection is related with Burnside rings. We introduce the notion of intersection graph of a $G$-set (somewhat generalizing the ordinary definition of intersection graph of a group) and establish a general upper bound for the domination number of $Γ(G)$ in terms of subgroups satisfying a certain property in Burnside ring. Intersection graph of $G$ is the $1$-skeleton of the simplicial complex whose faces are the sets of proper subgroups which intersect non-trivially. We call this simplicial complex intersection complex of $G$ and show that it shares the same homotopy type with the order complex of proper non-trivial subgroups of $G$. We also prove that if domination number of $Γ(G)$ is $1$, then intersection complex of $G$ is contractible.
△ Less
Submitted 27 May, 2018; v1 submitted 10 February, 2016;
originally announced February 2016.
-
$K_{3,3}$-free Intersection Graphs of Finite Groups
Authors:
Selçuk Kayacan
Abstract:
The intersection graph of a group $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two distinct vertices $H$ and $K$ if and only if $H\cap K \neq 1$ where $1$ denotes the trivial subgroup of $G$. In this paper we classify all finite groups whose intersection graphs are…
▽ More
The intersection graph of a group $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two distinct vertices $H$ and $K$ if and only if $H\cap K \neq 1$ where $1$ denotes the trivial subgroup of $G$. In this paper we classify all finite groups whose intersection graphs are $K_{3,3}$-free.
△ Less
Submitted 2 August, 2016; v1 submitted 16 December, 2015;
originally announced December 2015.
-
Connectivity of Intersection Graphs of Finite Groups
Authors:
Selçuk Kayacan
Abstract:
The intersection graph of a group $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two distinct vertices $H$ and $K$ if and only if $H\cap K \neq 1$ where $1$ denotes the trivial subgroup of $G$. In this paper, we classify finite solvable groups whose intersection graph…
▽ More
The intersection graph of a group $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two distinct vertices $H$ and $K$ if and only if $H\cap K \neq 1$ where $1$ denotes the trivial subgroup of $G$. In this paper, we classify finite solvable groups whose intersection graphs are not $2$-connected and finite nilpotent groups whose intersection graphs are not $3$-connected. Our methods are elementary.
△ Less
Submitted 2 August, 2016; v1 submitted 27 November, 2015;
originally announced December 2015.
