Showing 1–21 of 21 results for author: Volta, F D

On the cardinality of irredundant and minimal bases of finite permutation groups

Authors: Francesca Dalla Volta, Fabio Mastrogiacomo, Pablo Spiga

Abstract: Given a finite permutation group $G$ with domain $Ω$, we associate two subsets of natural numbers to $G$, namely $\mathcal{I}(G,Ω)$ and $\mathcal{M}(G,Ω)$, which are the sets of cardinalities of all the irredundant and minimal bases of $G$, respectively. We prove that $\mathcal{I}(G)$ is an interval of natural numbers, whereas $\mathcal{M}(G,Ω)$ may not necessarily form an interval. Moreover, for… ▽ More Given a finite permutation group $G$ with domain $Ω$, we associate two subsets of natural numbers to $G$, namely $\mathcal{I}(G,Ω)$ and $\mathcal{M}(G,Ω)$, which are the sets of cardinalities of all the irredundant and minimal bases of $G$, respectively. We prove that $\mathcal{I}(G)$ is an interval of natural numbers, whereas $\mathcal{M}(G,Ω)$ may not necessarily form an interval. Moreover, for a given subset of natural numbers $X \subseteq \mathbb{N}$, we provide some conditions on $X$ that ensure the existence of both intransitive and transitive groups $G$ such that $\mathcal{I}(G,Ω) = X$ and $\mathcal{M}(G,Ω) = X$. △ Less

Submitted 8 November, 2023; originally announced November 2023.

Comments: 13 pages

On the strong connectivity of the 2-Engel graphs of almost simple groups

Authors: F. Dalla Volta, F. Mastrogiacomo, P. Spiga

Abstract: The Engel graph of a finite group $G$ is a directed graph encoding the pairs of elements in $G$ satisfying some Engel word. Recent work of Lucchini and the third author shows that, except for a few well-understood cases, the Engel graphs of almost simple groups are strongly connected. In this paper, we give a refinement to this analysis. The Engel graph of a finite group $G$ is a directed graph encoding the pairs of elements in $G$ satisfying some Engel word. Recent work of Lucchini and the third author shows that, except for a few well-understood cases, the Engel graphs of almost simple groups are strongly connected. In this paper, we give a refinement to this analysis. △ Less

Submitted 19 April, 2023; originally announced April 2023.

Möbius function of the subgroup lattice of a finite group and Euler Characteristic

Authors: F. Dalla Volta, L. Di Gravina

Abstract: The Möbius function of the subgroup lattice of a finite group has been introduced by Hall and applied to investigate several questions. In this paper, we consider the Möbius function defined on an order ideal related to the lattice of the subgroups of an irreducible subgroup $G$ of the general linear group $\mathrm{GL}(n,q)$ acting on the $n$-dimensional vector space $V=\mathbb{F}_q^n$, where… ▽ More The Möbius function of the subgroup lattice of a finite group has been introduced by Hall and applied to investigate several questions. In this paper, we consider the Möbius function defined on an order ideal related to the lattice of the subgroups of an irreducible subgroup $G$ of the general linear group $\mathrm{GL}(n,q)$ acting on the $n$-dimensional vector space $V=\mathbb{F}_q^n$, where $\mathbb{F}_q$ is the finite field with $q$ elements. We find a relation between this function and the Euler characteristic of two simplicial complexes $Δ_1$ and $Δ_2$, the former raising from the lattice of the subspaces of $V$, the latter from the subgroup lattice of $G$. △ Less

Submitted 30 July, 2024; v1 submitted 4 December, 2022; originally announced December 2022.

Comments: 10 pages. Revised version; the first version contained some inaccuracies that have been corrected

MSC Class: 2020 MSC: 20B25; 20D60; 05E16; 05E45

The $A$-Möbius function of a finite group

Authors: Francesca Dalla Volta, Andrea Lucchini

Abstract: The Möbius function of the subgroup lettice of a finite group $G$ has been introduced by Hall and applied to investigate several different questions. We propose the following generalization. Let $A$ be a subgroup of the automorphism group $\rm{Aut}(G)$ of a finite group $G$ and denote by $\mathcal C_A(G)$ the set of $A$-conjugacy classes of subgroups of $G.$ For $H\leq G$ let… ▽ More The Möbius function of the subgroup lettice of a finite group $G$ has been introduced by Hall and applied to investigate several different questions. We propose the following generalization. Let $A$ be a subgroup of the automorphism group $\rm{Aut}(G)$ of a finite group $G$ and denote by $\mathcal C_A(G)$ the set of $A$-conjugacy classes of subgroups of $G.$ For $H\leq G$ let $[H]_A~=~\{~H^a ~\mid ~a\in ~A\}$ be the element of $\mathcal C_A(G)$ containing $H.$ We may define an ordering in $\mathcal C_A(G)$ in the following way: $[H]_A\leq [K]_A$ if $H^a\leq K$ for some $a\in A$. We consider the Möbius function $μ_A$ of the corresponding poset and analyse its properties and possible applications. △ Less

Submitted 11 September, 2021; originally announced September 2021.

On the primitivity of the AES-128 key-schedule

Authors: Riccardo Aragona, Roberto Civino, Francesca Dalla Volta

Abstract: The key-scheduling algorithm in the AES is the component responsible for selecting from the master key the sequence of round keys to be xor-ed to the partially encrypted state at each iteration. We consider here the group $Γ$ generated by the action of the AES-128 key-scheduling operation, and we prove that the smallest group containing $Γ$ and all the translations of the message space is primitiv… ▽ More The key-scheduling algorithm in the AES is the component responsible for selecting from the master key the sequence of round keys to be xor-ed to the partially encrypted state at each iteration. We consider here the group $Γ$ generated by the action of the AES-128 key-scheduling operation, and we prove that the smallest group containing $Γ$ and all the translations of the message space is primitive. As a consequence, we obtain that no proper and non-trivial subspace can be invariant under its action. △ Less

Submitted 15 February, 2022; v1 submitted 10 March, 2021; originally announced March 2021.

MSC Class: 20B15; 20B35; 94A60

On two Möbius function for a finite non-solvable group

Authors: Francesca Dalla Volta, Giovanni Zini

Abstract: Let $G$ be a finite group, $μ$ be the Möbius function on the subgroup lattice of $G$, and $λ$ be the Möbius function on the poset of conjugacy classes of subgroups of $G$. It was proved by Pahlings that, whenever $G$ is solvable, the property $μ(H,G)=[N_{G^\prime}(H):G^{\prime}\cap H]\cdotλ(H,G)$ holds for any subgroup $H$ of $G$. It is known that this property does not hold in general; for instan… ▽ More Let $G$ be a finite group, $μ$ be the Möbius function on the subgroup lattice of $G$, and $λ$ be the Möbius function on the poset of conjugacy classes of subgroups of $G$. It was proved by Pahlings that, whenever $G$ is solvable, the property $μ(H,G)=[N_{G^\prime}(H):G^{\prime}\cap H]\cdotλ(H,G)$ holds for any subgroup $H$ of $G$. It is known that this property does not hold in general; for instance it does not hold for every simple groups, the Mathieu group $M_{12}$ being a counterexample. In this paper we investigate the relation between $μ$ and $λ$ for some classes of non-solvable groups; among them, the minimal non-solvable groups. We also provide several examples of groups not satisfying the property. △ Less

Submitted 6 April, 2020; originally announced April 2020.

MSC Class: 20D30

The Möbius function of ${\rm PSL}(3,2^p)$ for any prime $p$

Authors: Martino Borello, Francesca Dalla Volta, Giovanni Zini

Abstract: Let $G$ be the simple group ${\rm PSL}(3,2^p)$, where $p$ is a prime number. For any subgroup $H$ of $G$, we compute the Möbius function of $H$ in the subgroup lattice of $G$. To this aim, we describe the intersections of maximal subgroups of $G$. We point out some connections of the Möbius function with other combinatorial objects, and, in this context, we compute the reduced Euler characteristic… ▽ More Let $G$ be the simple group ${\rm PSL}(3,2^p)$, where $p$ is a prime number. For any subgroup $H$ of $G$, we compute the Möbius function of $H$ in the subgroup lattice of $G$. To this aim, we describe the intersections of maximal subgroups of $G$. We point out some connections of the Möbius function with other combinatorial objects, and, in this context, we compute the reduced Euler characteristic of the order complex of the subposet of $r$-subgroups of ${\rm PGL}(3,q)$, for any prime $r$ and any prime power $q$. △ Less

Submitted 18 November, 2019; v1 submitted 31 March, 2019; originally announced April 2019.

MSC Class: 05E15; 20D30; 20D06

The round functions of cryptosystem PGM generate the symmetric group

Authors: A. Caranti, F. Dalla Volta

Abstract: S. S. Magliveras et al. have described symmetric and public key cryptosystems based on logarithmic signatures (also known as group bases) for finite permutation groups. In this paper we show that if $G$ is a nontrivial finite group which is not cyclic of order a prime, or the square of a prime, then the round (or encryption) functions of these systems, that are the permutations of $G$ induced by… ▽ More S. S. Magliveras et al. have described symmetric and public key cryptosystems based on logarithmic signatures (also known as group bases) for finite permutation groups. In this paper we show that if $G$ is a nontrivial finite group which is not cyclic of order a prime, or the square of a prime, then the round (or encryption) functions of these systems, that are the permutations of $G$ induced by the exact-transversal logarithmic signatures (also known as transversal group bases), generate the full symmetric group on $G$. This answers a question of S. S. Magliveras, D.R. Stinson and Tran van Trung. △ Less

Submitted 14 November, 2018; originally announced November 2018.

Comments: This is an old paper, published in 2006

MSC Class: 94A60 20B30

Journal ref: Des. Codes Cryptogr. 38 (2006), no. 1, 147-155

On the classification problem for the genera of quotients of the Hermitian curve

Authors: Francesca Dalla Volta, Maria Montanucci, Giovanni Zini

Abstract: In this paper we characterize the genera of those quotient curves $\mathcal{H}_q/G$ of the $\mathbb{F}_{q^2}$-maximal Hermitian curve $\mathcal{H}_q$ for which $G$ is contained in the maximal subgroup $\mathcal{M}_1$ of ${\rm Aut}(\mathcal{H}_q)$ fixing a self-polar triangle, or $q$ is even and $G$ is contained in the maximal subgroup $\mathcal{M}_2$ of ${\rm Aut}(\mathcal{H}_q)$ fixing a pole-pol… ▽ More In this paper we characterize the genera of those quotient curves $\mathcal{H}_q/G$ of the $\mathbb{F}_{q^2}$-maximal Hermitian curve $\mathcal{H}_q$ for which $G$ is contained in the maximal subgroup $\mathcal{M}_1$ of ${\rm Aut}(\mathcal{H}_q)$ fixing a self-polar triangle, or $q$ is even and $G$ is contained in the maximal subgroup $\mathcal{M}_2$ of ${\rm Aut}(\mathcal{H}_q)$ fixing a pole-polar pair $(P,\ell)$ with respect to the unitary polarity associated to $\mathcal{H}_q(\mathbb{F}_{q^2})$. In this way several new values for the genus of a maximal curve over a finite field are obtained. Together with what is known in the literature, our results leave just two open cases to provide the complete list of genera of Galois subcovers of the Hermitian curve; namely, the open cases in [Bassa-Ma-Xing-Yeo, J. Combin. Theory Ser. A, 2013] when $G$ fixes a point $P \in \mathcal{H}_q(\mathbb{F}_{q^2})$ and $q$ is even, and the open cases in [Montanucci-Zini, Comm. Algebra, 2018] when $G\leq\mathcal{M}_2$ and $q$ is odd. △ Less

Submitted 23 May, 2018; originally announced May 2018.

MSC Class: 11G20

Cherlin's conjecture for sporadic simple groups

Authors: Nick Gill, Francesca Dalla Volta, Pablo Spiga

Abstract: We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to a sporadic simple group. We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to a sporadic simple group. △ Less

Submitted 1 May, 2018; v1 submitted 15 May, 2017; originally announced May 2017.

Comments: 11 pages; to appear in Pacific Journal of Mathematics

MSC Class: 20D08; 20B15; 20B25

Journal ref: Pacific J. Math. 297 (2018) 47-66

Groups that have the same holomorph as a finite perfect group

Authors: A. Caranti, F. Dalla Volta

Abstract: We describe the groups that have the same holomorph as a finite perfect group. Our results are complete for centerless groups. When the center is non-trivial, some questions remain open. The peculiarities of the general case are illustrated by a couple of examples that might be of independent interest. We describe the groups that have the same holomorph as a finite perfect group. Our results are complete for centerless groups. When the center is non-trivial, some questions remain open. The peculiarities of the general case are illustrated by a couple of examples that might be of independent interest. △ Less

Submitted 13 October, 2017; v1 submitted 12 December, 2016; originally announced December 2016.

Comments: 19 pages - minor revisions

MSC Class: 20B35; 20D45; 20D40

The multiple holomorph of a finitely generated abelian group

Authors: A. Caranti, F. Dalla Volta

Abstract: W.H.~Mills has determined, for a finitely generated abelian group $G$, the regular subgroups $N \cong G$ of $S(G)$, the group of permutations on the set $G$, which have the same holomorph of $G$, that is, such that $N_{S(G)}(N) = N_{S(G)}(ρ(G))$, where $ρ$ is the (right) regular representation. We give an alternative approach to Mills' result, which relies on a characterization of the regular su… ▽ More W.H.~Mills has determined, for a finitely generated abelian group $G$, the regular subgroups $N \cong G$ of $S(G)$, the group of permutations on the set $G$, which have the same holomorph of $G$, that is, such that $N_{S(G)}(N) = N_{S(G)}(ρ(G))$, where $ρ$ is the (right) regular representation. We give an alternative approach to Mills' result, which relies on a characterization of the regular subgroups of $N_{S(G)}(ρ(G))$ in terms of commutative ring structures on $G$. We are led to solve, for the case of a finitely generated abelian group $G$, the following problem: given an abelian group $(G, +)$, what are the commutative ring structures $(G, +, \cdot)$ such that all automorphism of $G$ as a group are also automorphisms of $G$ as a ring? △ Less

Submitted 16 March, 2017; v1 submitted 17 November, 2016; originally announced November 2016.

Comments: 18 pages. Accepted for publication, Journal of Algebra, March 2017

MSC Class: 20B35 (Primary); 20K05; 20K30; 20D45; 20E36 (Secondary)

On the group generated by the round functions of translation based ciphers over arbitrary finite fields

Authors: R. Aragona, A. Caranti, F. Dalla Volta, M. Sala

Abstract: We define a translation based cipher over an arbitrary finite field, and study the permutation group generated by the round functions of such a cipher. We show that under certain cryptographic assumptions this group is primitive. Moreover, a minor strengthening of our assumptions allows us to prove that such a group is the symmetric or the alternating group; this improves upon a previous result fo… ▽ More We define a translation based cipher over an arbitrary finite field, and study the permutation group generated by the round functions of such a cipher. We show that under certain cryptographic assumptions this group is primitive. Moreover, a minor strengthening of our assumptions allows us to prove that such a group is the symmetric or the alternating group; this improves upon a previous result for the case of characteristic two. △ Less

Submitted 22 July, 2013; v1 submitted 8 May, 2013; originally announced May 2013.

Comments: Extensive revision, including fixing a mistake concerning the blocks of imprimitivity

MSC Class: 20B15; 94A60

Journal ref: Finite Fields Appl. 25 (2014), 293-305

The automorphism group of a self-dual [72,36,16] code does not contain S_3, A_4, or D_8

Authors: Martino Borello, Francesca Dalla Volta, Gabriele Nebe

Abstract: A computer calculation with Magma shows that there is no extremal self-dual binary code C of length 72, whose automorphism group contains the symmetric group of degree 3, the alternating group of degree 4 or the dihedral group of order 8. Combining this with the known results in the literature one obtains that Aut(C) has order at most 5 or isomorphic to the elementary abelian group of order 8. A computer calculation with Magma shows that there is no extremal self-dual binary code C of length 72, whose automorphism group contains the symmetric group of degree 3, the alternating group of degree 4 or the dihedral group of order 8. Combining this with the known results in the literature one obtains that Aut(C) has order at most 5 or isomorphic to the elementary abelian group of order 8. △ Less

Submitted 4 July, 2013; v1 submitted 20 March, 2013; originally announced March 2013.

Comments: 9 pages, 0 figures

On Orbit Equivalence and Permutation groups defined by unordered relations

Authors: F. Dalla Volta, J. Siemons

Abstract: For a set $Ω$ an unordered relation on $Ω$ is a family R of subsets of $Ω.$ If R is such a relation we let G(R) be the group of all permutations on $Ω$ that preserves R, that is g belongs to G(R) if and only if x in R implies x^{g}\in R. We are interested in permutation groups which can be represented as G=G(R) for a suitable unordered relation R on $Ω.$ When this is the case, we say that G is def… ▽ More For a set $Ω$ an unordered relation on $Ω$ is a family R of subsets of $Ω.$ If R is such a relation we let G(R) be the group of all permutations on $Ω$ that preserves R, that is g belongs to G(R) if and only if x in R implies x^{g}\in R. We are interested in permutation groups which can be represented as G=G(R) for a suitable unordered relation R on $Ω.$ When this is the case, we say that G is defined by the relation R, or that G is a relation group. We prove that a primitive permutation group different from the Alternating Group and of degree bigger or equal to 11 is a relation groups. The same is true for many classes of finite imprimitive groups, and we give general conditions on the size of blocks of imprmitivity, and the groups induced on such blocks, which guarantee that the group is defined by a relation. This property is closely connected to the orbit closure of permutation groups. Since relation groups are orbit closed the results here imply that many classes of imprimitive permutation groups are orbit closed. △ Less

Submitted 18 October, 2010; originally announced October 2010.

An application of the O'Nan-Scott theorem to the group generated by the round functions of an AES-like cipher

Authors: A. Caranti, F. Dalla Volta, M. Sala

Abstract: In a previous paper, we had proved that the permutation group generated by the round functions of an AES-like cipher is primitive. Here we apply the O'Nan Scott classification of primitive groups to prove that this group is the alternating group. In a previous paper, we had proved that the permutation group generated by the round functions of an AES-like cipher is primitive. Here we apply the O'Nan Scott classification of primitive groups to prove that this group is the alternating group. △ Less

Submitted 18 March, 2009; v1 submitted 9 December, 2008; originally announced December 2008.

Comments: 10 pages: several improvements in exposition and content, including ruling out the symmetric group 9 pages; several changes in layout and exposition

MSC Class: 20B25; 20B15; 68R99

Journal ref: Design, Codes and Cryptography, 2009, vol. 52, p. 293-301

On some block ciphers and imprimitive groups

Authors: A. Caranti, F. Dalla Volta, M. Sala

Abstract: The group generated by the round functions of a block ciphers is a widely investigated problem. We identify a large class of block ciphers for which such group is easily guaranteed to be primitive. Our class includes the AES and the SERPENT. The group generated by the round functions of a block ciphers is a widely investigated problem. We identify a large class of block ciphers for which such group is easily guaranteed to be primitive. Our class includes the AES and the SERPENT. △ Less

Submitted 25 June, 2008; originally announced June 2008.

MSC Class: 20B15

Journal ref: Applicable Algebra in Engineering, Communication and Computing, 2009, vol. 20, p. 339-350

Permutation equivalent maximal irreducible Goppa codes

Authors: Francesca Dalla Volta, Marta Giorgetti, Massimiliano Sala

Abstract: We consider the problem of finding the number of permutation non-equivalent classical irreducible maximal Goppa codes having fixed parameters q, n and r from a group theory point of view. We consider the problem of finding the number of permutation non-equivalent classical irreducible maximal Goppa codes having fixed parameters q, n and r from a group theory point of view. △ Less

Submitted 10 June, 2008; originally announced June 2008.

MSC Class: 20B99

On solvable minimally transitive permutation groups

Authors: Francesca Dalla Volta, Johannes Siemons

Abstract: We investigate properties of finite transitive permutation groups $(G, Ω)$ in which all proper subgroups of $G$ act intransitively on $Ω.$ In particular, we are interested in reduction theorems for minimally transitive representations of solvable groups. We investigate properties of finite transitive permutation groups $(G, Ω)$ in which all proper subgroups of $G$ act intransitively on $Ω.$ In particular, we are interested in reduction theorems for minimally transitive representations of solvable groups. △ Less

Submitted 7 February, 2007; originally announced February 2007.

Comments: 8 pages, no figures, journal paper

MSC Class: 20B05; 20F16

Imprimitive permutations groups generated by the round functions of key-alternating block ciphers and truncated differential cryptanalysis

Authors: A. Caranti, F. Dalla Volta, M. Sala, F. Villani

Abstract: We answer a question of Paterson, showing that all block systems for the group generated by the round functions of a key-alternating block cipher are the translates of a linear subspace. Following up remarks of Paterson and Shamir, we exhibit a connection to truncated differential cryptanalysis. We also give a condition that guarantees that the group generated by the round functions of a key-a… ▽ More We answer a question of Paterson, showing that all block systems for the group generated by the round functions of a key-alternating block cipher are the translates of a linear subspace. Following up remarks of Paterson and Shamir, we exhibit a connection to truncated differential cryptanalysis. We also give a condition that guarantees that the group generated by the round functions of a key-alternating block cipher is primitive. This applies in particular to AES. △ Less

Submitted 12 June, 2006; v1 submitted 1 June, 2006; originally announced June 2006.

Comments: 9 pages - corrected embarrassing typo in the title

MSC Class: 20B15

Abelian regular subgroups of the affine group and radical rings

Authors: A. Caranti, Francesca Dalla Volta, Massimiliano Sala

Abstract: We establish a link between abelian regular subgroup of the affine group, and commutative, associative algebra structures on the underlying vector space that are (Jacobson) radical rings. As an application, we show that if the underlying field has positive characteristic, then an abelian regular subgroup has finite exponent if the vector space is finite-dimensional, while it can be torsion fre… ▽ More We establish a link between abelian regular subgroup of the affine group, and commutative, associative algebra structures on the underlying vector space that are (Jacobson) radical rings. As an application, we show that if the underlying field has positive characteristic, then an abelian regular subgroup has finite exponent if the vector space is finite-dimensional, while it can be torsion free if the dimension is infinite. We also give an example of an abelian, regular subgroup of the affine group over an infinite vector space, which intersects trivially the group of translations. △ Less

Submitted 20 April, 2006; v1 submitted 8 October, 2005; originally announced October 2005.

Comments: 9 pages. Accepted for publication in Publicationes Mathematicae Debrecen. Presentation revised on the advice of the referees

MSC Class: 20B10; 16N20

Journal ref: Publicationes Mathematicae Debrecen, 2006, vol. 69, p. 297-308