Searcharxiv⌕ Search

arXiv subjects

A. Caranti

Publications and source records attributed to A. Caranti.

31 records · Page 2Linked to original sources
arXiv2017

The multiple holomorph of a finitely generated abelian group

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?

math.GR↗
arXiv2015

The group generated by the round functions of a GOST-like cipher

We define a cipher that is an extension of GOST, and study the permutation group generated by its round functions. We show that, under minimal assumptions on the components of the cipher, this group is the alternating group on the plaintext space. This we do by first showing that the group is primitive, and then applying the O'Nan-Scott classification of primitive groups.

math.GR↗
arXiv2015

Finite morphic $p$-groups

According to Li, Nicholson and Zan, a group $G$ is said to be morphic if, for every pair $N_{1}, N_{2}$ of normal subgroups, each of the conditions $G/N_{1} \cong N_{2}$ and $G/N_{2} \cong N_{1}$ implies the other. Finite, homocyclic $p$-groups are morphic, and so is the nonabelian group of order $p^{3}$ and exponent $p$, for $p$ an odd prime. It follows from results of An, Ding and Zhan on self dual groups that these are the only examples of finite, morphic $p$-groups. In this paper we obtain the same result under a weaker hypotesis.

math.GR↗
arXiv2013

A module-theoretic approach to abelian automorphism groups

There are several examples in the literature of finite non-abelian $p$-groups whose automorphism group is abelian. For some time only examples that were special $p$-groups were known, until Jain and Yadav [JY12] and Jain, Rai and Yadav [JRY13] constructed several non-special examples. In this paper we show how a simple module-theoretic approach allows the construction of non-special examples, starting from special ones constructed by several authors, while at the same time avoiding further direct calculations.

math.GR↗
arXiv2013

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

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.

math.GR↗
arXiv2012

Quasi-inverse endomorphisms

Greither and Pareigis have established a connection between Hopf Galois structures on a Galois extension $L/K$ with Galois group $G$, and the regular subgroups of the group of permutations on $G$, which are normalized by $G$. Byott has rephrased this connection in terms of certain equivalence classes of injective morphisms of $G$ into the holomorph of the groups $N$ with the same cardinality of $G$. Childs and Corradino have used this theory to construct such Hopf Galois structures, starting from fixed-point-free endomorphisms of $G$ that have abelian images. In this paper we show that a fixed-point-free endomorphism has an abelian image if and only if there is another endomorphism that is its inverse with respect to the circle operation in the near-ring of maps on $G$, and give a fairly explicit recipe for constructing all such endomorphisms.

math.GR↗
arXiv2008

On some block ciphers and imprimitive groups

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.

math.GR↗
arXiv2006

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

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.

math.GR↗
arXiv2006

Abelian regular subgroups of the affine group and radical rings

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.

math.GR↗
arXiv1999

Graded Lie algebras of maximal class IV

We describe the isomorphism classes of certain infinite-dimensional graded Lie algebras of maximal class, generated by an element of weight one and an element of weight two, over fields of odd characteristic.

math.RA↗
arXiv1999

Graded Lie Algebras of Maximal Class II

We describe the isomorphism classes of infinite-dimensional graded Lie algebras of maximal class, generated by elements of weight one, over fields of odd characteristic.

math.RA↗