Showing 1–12 of 12 results for author: Sotomayor, V

Codes in algebras of direct products of groups and associated quantum codes

Authors: Miguel Sales-Cabrera, Xaro Soler-Escrivà, Víctor Sotomayor

Abstract: In this paper we obtain the Wedderburn-Artin decomposition of a semisimple group algebra associated to a direct product of finite groups. We also provide formulae for the number of all possible group codes, and their dimensions, that can be constructed in a group algebra. As particular cases, we present the complete algebraic description of the group algebra of any direct product of groups whose d… ▽ More In this paper we obtain the Wedderburn-Artin decomposition of a semisimple group algebra associated to a direct product of finite groups. We also provide formulae for the number of all possible group codes, and their dimensions, that can be constructed in a group algebra. As particular cases, we present the complete algebraic description of the group algebra of any direct product of groups whose direct factors are cyclic, dihedral, or generalised quaternion groups. Finally, in the specific case of semisimple dihedral group algebras, we give a method to build quantum error-correcting codes, based on the CSS construction. △ Less

Submitted 27 January, 2025; v1 submitted 12 December, 2024; originally announced December 2024.

MSC Class: 94B05; 16S34; 16D25; 81P73

A completeness criterion for the common divisor graph on $p$-regular class sizes

Authors: Víctor Sotomayor

Abstract: Let $G$ be a finite $p$-separable group, for some fixed prime $p$. Let $Γ_p(G)$ be the common divisor graph built on the set of sizes of $p$-regular conjugacy classes of $G$: this is the simple undirected graph whose vertices are the class sizes of those non-central elements of $G$ such that $p$ does not divide their order, and two distinct vertices are adjacent if and only if they are not coprime… ▽ More Let $G$ be a finite $p$-separable group, for some fixed prime $p$. Let $Γ_p(G)$ be the common divisor graph built on the set of sizes of $p$-regular conjugacy classes of $G$: this is the simple undirected graph whose vertices are the class sizes of those non-central elements of $G$ such that $p$ does not divide their order, and two distinct vertices are adjacent if and only if they are not coprime. In this note we prove that if $Γ_p(G)$ is a $k$-regular graph with $k\geq 1$, then it is a complete graph with $k+1$ vertices. We also pose a conjecture regarding the order of products of $p$-regular elements with coprime conjugacy class sizes, whose validity would enable to drop the $p$-separability hypothesis. △ Less

Submitted 28 June, 2025; v1 submitted 12 December, 2024; originally announced December 2024.

MSC Class: 20E45

On $G$-character tables for normal subgroups

Authors: María José Felipe, María Dolores Pérez-Ramos, Víctor Sotomayor

Abstract: Let $N$ be a normal subgroup of a finite group $G$. From a result due to Brauer, it can be derived that the character table of $G$ contains square submatrices which are induced by the $G$-conjugacy classes of elements in $N$ and the $G$-orbits of irreducible characters of $N$. In the present paper, we provide an alternative approach to this fact through the structure of the group algebra. We also… ▽ More Let $N$ be a normal subgroup of a finite group $G$. From a result due to Brauer, it can be derived that the character table of $G$ contains square submatrices which are induced by the $G$-conjugacy classes of elements in $N$ and the $G$-orbits of irreducible characters of $N$. In the present paper, we provide an alternative approach to this fact through the structure of the group algebra. We also show that such matrices are non-singular and become a useful tool to obtain information of $N$ from the character table of $G$. △ Less

Submitted 17 September, 2024; originally announced September 2024.

MSC Class: 20C15; 20E45; 20C05

Groups with triangle-free graphs on p-regular classes

Authors: María José Felipe, Marc Kelly Jean-Philippe, Víctor Sotomayor

Abstract: Let $p$ be a prime. In this paper we classify the $p$-structure of those finite $p$-separable groups such that, given any three non-central conjugacy classes of $p$-regular elements, two of them necessarily have coprime lengths. Let $p$ be a prime. In this paper we classify the $p$-structure of those finite $p$-separable groups such that, given any three non-central conjugacy classes of $p$-regular elements, two of them necessarily have coprime lengths. △ Less

Submitted 22 February, 2025; v1 submitted 5 August, 2024; originally announced August 2024.

MSC Class: 20E45; 20D20

Groups whose common divisor graph on $p$-regular classes has diameter three

Authors: M. J. Felipe, M. K. Jean-Philippe, V. Sotomayor

Abstract: Let $G$ be a finite $p$-separable group, for some fixed prime $p$. Let $Γ_p(G)$ be the common divisor graph built on the set of non-central conjugacy classes of $p$-regular elements of $G$: this is the graph whose vertices are the conjugacy classes of those non-central elements of $G$ such that $p$ does not divide their orders, and two distinct vertices are adjacent if and only if the greatest com… ▽ More Let $G$ be a finite $p$-separable group, for some fixed prime $p$. Let $Γ_p(G)$ be the common divisor graph built on the set of non-central conjugacy classes of $p$-regular elements of $G$: this is the graph whose vertices are the conjugacy classes of those non-central elements of $G$ such that $p$ does not divide their orders, and two distinct vertices are adjacent if and only if the greatest common divisor of their lengths is strictly greater than one. The aim of this paper is twofold: to positively answer an open question concerning the maximum possible distance in $Γ_p(G)$ between a vertex with maximal cardinality and any other vertex, and to study the $p$-structure of $G$ when $Γ_p(G)$ has diameter three. △ Less

Submitted 30 October, 2024; v1 submitted 13 July, 2024; originally announced July 2024.

MSC Class: 20E45; 20D20

Determining hypercentral Hall subgroups in finite groups

Authors: Víctor Sotomayor

Abstract: Let $G$ be a finite group, and let $π$ be a set of primes. The aim of this paper is to obtain some results concerning how much information about the $π$-structure of $G$ can be gathered from the knowledge of the lengths of conjugacy classes of its $π$-elements and of their multiplicities. Among other results, we prove that this multiset of class lengths determine whether $G$ has a hypercentral Hal… ▽ More Let $G$ be a finite group, and let $π$ be a set of primes. The aim of this paper is to obtain some results concerning how much information about the $π$-structure of $G$ can be gathered from the knowledge of the lengths of conjugacy classes of its $π$-elements and of their multiplicities. Among other results, we prove that this multiset of class lengths determine whether $G$ has a hypercentral Hall $π$-subgroup. △ Less

Submitted 1 August, 2024; v1 submitted 1 March, 2024; originally announced March 2024.

MSC Class: 20D15; 20D20; 20E45

Finite groups and the class-size prime graph revisited

Authors: Víctor Sotomayor

Abstract: We report on recent progress concerning the relationship that exists between the algebraic structure of a finite group and certain features of its class-size prime graph. We report on recent progress concerning the relationship that exists between the algebraic structure of a finite group and certain features of its class-size prime graph. △ Less

Submitted 1 October, 2024; v1 submitted 17 November, 2022; originally announced November 2022.

Non-solvable groups whose character degree graph has a cut-vertex. I

Authors: Silvio Dolfi, Emanuele Pacifici, Lucia Sanus, Victor Sotomayor

Abstract: Let G be a finite group. Denoting by cd(G) the set of degrees of the irreducible complex characters of G, we consider the character degree graph of G: this is the (simple undirected) graph whose vertices are the prime divisors of the numbers in cd(G), and two distinct vertices p, q are adjacent if and only if pq divides some number in cd(G). In the series of three papers starting with the present… ▽ More Let G be a finite group. Denoting by cd(G) the set of degrees of the irreducible complex characters of G, we consider the character degree graph of G: this is the (simple undirected) graph whose vertices are the prime divisors of the numbers in cd(G), and two distinct vertices p, q are adjacent if and only if pq divides some number in cd(G). In the series of three papers starting with the present one, we analyze the structure of the finite non-solvable groups whose character degree graph possesses a cut-vertex, i.e., a vertex whose removal increases the number of connected components of the graph. △ Less

Submitted 15 September, 2022; v1 submitted 20 July, 2022; originally announced July 2022.

Finite groups whose prime graph on class sizes is a block square

Authors: Víctor Sotomayor

Abstract: Let $G$ be a finite group, and let $Δ(G)$ be the prime graph built on its set of conjugacy class sizes: this is the (simple undirected) graph whose vertices are the prime numbers dividing some conjugacy class size of $G$, and two distinct vertices $p, q$ are adjacent if and only if $pq$ divides some class size of $G$. In this paper, we characterise the structure of those groups $G$ whose prime gra… ▽ More Let $G$ be a finite group, and let $Δ(G)$ be the prime graph built on its set of conjugacy class sizes: this is the (simple undirected) graph whose vertices are the prime numbers dividing some conjugacy class size of $G$, and two distinct vertices $p, q$ are adjacent if and only if $pq$ divides some class size of $G$. In this paper, we characterise the structure of those groups $G$ whose prime graph $Δ(G)$ is a block square. △ Less

Submitted 15 April, 2021; v1 submitted 31 March, 2021; originally announced April 2021.

MSC Class: 20E45

On products of groups and indices not divisible by a given prime

Authors: María-José Felipe, Lev S. Kazarin, Ana Martínez-Pastor, Víctor Sotomayor

Abstract: Let the group $G = AB$ be the product of subgroups $A$ and $B$, and let $p$ be a prime. We prove that $p$ does not divide the conjugacy class size (index) of each $p$-regular element of prime power order $x\in A\cup B$ if and only if $G$ is $p$-decomposable, i.e. $G=O_p(G) \times O_{p'}(G)$. Let the group $G = AB$ be the product of subgroups $A$ and $B$, and let $p$ be a prime. We prove that $p$ does not divide the conjugacy class size (index) of each $p$-regular element of prime power order $x\in A\cup B$ if and only if $G$ is $p$-decomposable, i.e. $G=O_p(G) \times O_{p'}(G)$. △ Less

Submitted 7 May, 2020; originally announced May 2020.

MSC Class: 20D20; 20D40; 20E45

Groups whose prime graph on class sizes has a cut vertex

Authors: Silvio Dolfi, Emanuele Pacifici, Lucía Sanus, Víctor Sotomayor

Abstract: Let $G$ be a finite group, and let $Δ(G)$ be the prime graph built on the set of conjugacy class sizes of $G$: this is the simple undirected graph whose vertices are the prime numbers dividing some conjugacy class size of $G$, two vertices $p$ and $q$ being adjacent if and only if $pq$ divides some conjugacy class size of $G$. In the present paper, we classify the finite groups $G$ for which… ▽ More Let $G$ be a finite group, and let $Δ(G)$ be the prime graph built on the set of conjugacy class sizes of $G$: this is the simple undirected graph whose vertices are the prime numbers dividing some conjugacy class size of $G$, two vertices $p$ and $q$ being adjacent if and only if $pq$ divides some conjugacy class size of $G$. In the present paper, we classify the finite groups $G$ for which $Δ(G)$ has a cut vertex. △ Less

Submitted 20 December, 2019; originally announced December 2019.

MSC Class: 20E45

On zeros of irreducible characters lying in a normal subgroup

Authors: M. J. Felipe, N. Grittini, V. Sotomayor

Abstract: Let $N$ be a normal subgroup of a finite group $G$. In this paper, we consider the elements $g$ of $N$ such that $χ(g)\neq 0$ for all irreducible characters $χ$ of $G$. Such an element is said to be non-vanishing in $G$. Let $p$ be a prime. If all $p$-elements of $N$ satisfy the previous property, then we prove that $N$ has a normal Sylow $p$-subgroup. As a consequence, we also study certain arith… ▽ More Let $N$ be a normal subgroup of a finite group $G$. In this paper, we consider the elements $g$ of $N$ such that $χ(g)\neq 0$ for all irreducible characters $χ$ of $G$. Such an element is said to be non-vanishing in $G$. Let $p$ be a prime. If all $p$-elements of $N$ satisfy the previous property, then we prove that $N$ has a normal Sylow $p$-subgroup. As a consequence, we also study certain arithmetical properties of the $G$-conjugacy class sizes of the elements of $N$ which are zeros of some irreducible character of $G$. In particular, if $N=G$, then new contributions are obtained. △ Less

Submitted 28 July, 2019; v1 submitted 8 February, 2019; originally announced February 2019.

MSC Class: 20C15; 20E45