-
Commutator subgroups of Sylow 2-subgroups of alternating group and Miller-Moreno groups as bases of new Key Exchange Protocol
Authors:
Ruslan V. Skuratovskii,
Aled Williams
Abstract:
The goal of this investigation is effective method of key exchange which based on non-commutative group $G$. The results of Ko et al. \cite{kolee} is improved and generalized. The size of a minimal generating set for the commutator subgroup of Sylow 2-subgroups of alternating group is found. The structure of the commutator subgroup of Sylow 2-subgroups of the alternating group ${A_{2^{k}}}$ is inv…
▽ More
The goal of this investigation is effective method of key exchange which based on non-commutative group $G$. The results of Ko et al. \cite{kolee} is improved and generalized. The size of a minimal generating set for the commutator subgroup of Sylow 2-subgroups of alternating group is found. The structure of the commutator subgroup of Sylow 2-subgroups of the alternating group ${A_{2^{k}}}$ is investigated and used in key exchange protocol which based on non-commutative group.
We consider non-commutative generalization of CDH problem \cite{gu2013new, bohli2006towards} on base of metacyclic group of Miller-Moreno type (minimal non-abelian group). We show that conjugacy problem in this group is intractable. Effectivity of computation is provided due to using groups of residues by modulo $n$. The algorithm of generating (designing) common key in non-commutative group with 2 mutually commuting subgroups is constructed by us.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Irreducible Bases and Subgroups of a Wreath Product in Applying to Diffeomorphism Groups acting on the Möbius Band
Authors:
Ruslan Vyacheslavovich Skuratovskii,
Aled Williams
Abstract:
Given a permutational wreath product sequence of cyclic groups we investigate its minimal generating set, minimal generating set for its commutator and some properties of its commutator subgroup. We strengthen the result of author \cite{SkVC, SkMal, SkAr} and construct minimal generating set for wreath product of finite and infinite cyclic groups and direct product of such groups. We generalize re…
▽ More
Given a permutational wreath product sequence of cyclic groups we investigate its minimal generating set, minimal generating set for its commutator and some properties of its commutator subgroup. We strengthen the result of author \cite{SkVC, SkMal, SkAr} and construct minimal generating set for wreath product of finite and infinite cyclic groups and direct product of such groups. We generalize results of Meldrum about commutator subgroup of wreath product \cite{Meld} because we take in consideration as regular wreath product as well as no regular (where active group $\mathcal{A}$ can acts not faithfully). Also commutator of such group and its minimal generating set. Also center of such products was investigated. Also fundamental group of orbits of a Morse function $f:M\to \mathbb{R}$ defined on a Mebius band $M$ with respect to the right action of the group of diffeomorphisms $\mathcal{D}(M)$ is investigated by us. The paper describes precise algebraic structure of the group $π_1 O(f)$. A minimal set of generators for the group of orbits of functions ${{π}_{1}}({{O}_{f}},f)$ arising under the action of diffeomorphisms group stabilizing the function $f$ and stabilizing $\partial M$ is found. The the Morse function $f$ has critical sets with one saddle point. The quotient group of restricted wreath products by its commutator was found. The generic sets of commutator of wreath product were investigated. Minimal generating set for this group and for commutator of group are found.
This paper after previous Arxiv versions from 2019 \cite{SkArM, SkArM3} with previous title "Minimal generating set and structure of wreath product of groups with non-faithful action, comutator subgroup of wreath product and the fundamental group of orbit of Morse function $π_1 O(f)$" was published \cite{SkRendi}.
△ Less
Submitted 5 October, 2021; v1 submitted 31 December, 2018;
originally announced January 2019.
-
Commutators of Sylow subgroups of alternating and symmetric groups, commutator width in the wreath product of groups
Authors:
R. V. Skuratovskii
Abstract:
This paper investigate bounds of the commutator width \cite {Mur} of a wreath product of two groups.
The commutator width of direct limit of wreath product of cyclic groups are found.
For given a permutational wreath product sequence of cyclic groups we investigate its commutator width and some properties of its commutator subgroup.
It was proven that the commutator width of an arbitrary ele…
▽ More
This paper investigate bounds of the commutator width \cite {Mur} of a wreath product of two groups.
The commutator width of direct limit of wreath product of cyclic groups are found.
For given a permutational wreath product sequence of cyclic groups we investigate its commutator width and some properties of its commutator subgroup.
It was proven that the commutator width of an arbitrary element of the wreath product of cyclic groups $C_{p_i}, \, p_i\in \mathbb{N} $ equals to 1. As a corollary, it is shown that the commutator width of Sylows $p$-subgroups of symmetric and alternating groups $p \geq 2$ are also equal to 1. The structure of commutator and second commutator of Sylows $2$-subgroups of symmetric and alternating groups were investigated.
For an arbitraty group $B$ an upper bound of commutator width of $C_p \wr B$ was founded. For an arbitraty group $B$ commutator width of $C_p \wr B$ was founded. Also commutator width of Sylow 2-subgroups of alternating group ${A_{2^{k}}}$, permutation group ${S_{2^{k}}}$ are founded. The result of research are extended on subgroups $(Syl_2 {A_{2^{k}}})'$, $p\geq2$. The structure of commutator subgroup of Sylow 2-subgroups of symmetric and alternating groups is investigated.
Portrait representation of $(Syl_2 {A_{2^{k}}})'$, $(Syl_2 {S_{2^{k}}})'$ was investigated.
△ Less
Submitted 3 March, 2019; v1 submitted 25 December, 2018;
originally announced December 2018.
-
One branch curve singularities with at most 2-parameter families of ideals
Authors:
Yuriy A. Drozd,
Ruslan V. Skuratovskii
Abstract:
A criterion is given in order that the ideals of a one branch curve singularity form at most 2-parameter families. Namely, we present a list of plane curve singularities from the Arnold's classification which are the smallest among all one branch singularities having at most 2-parameter families of ideals.
A criterion is given in order that the ideals of a one branch curve singularity form at most 2-parameter families. Namely, we present a list of plane curve singularities from the Arnold's classification which are the smallest among all one branch singularities having at most 2-parameter families of ideals.
△ Less
Submitted 31 January, 2012;
originally announced January 2012.
-
Cubic rings and their ideals
Authors:
Yuriy A. Drozd,
Ruslan V. Skuratovskii
Abstract:
We give an explicit description of cubic rings over a discrete valuation ring, as well as a description of all ideals of such rings.
We give an explicit description of cubic rings over a discrete valuation ring, as well as a description of all ideals of such rings.
△ Less
Submitted 1 January, 2010;
originally announced January 2010.
