arXiv subjects
Publications and source records attributed to Víctor Sotomayor.
We consider finite groups with at least three conjugacy class sizes that are composite numbers and we prove that, in that situation, the number of prime class sizes is bounded by the number of composite class sizes. The analogous result for (non-)prime-power class sizes is also addressed.
Let $\mathbb{F}_q$ be a finite field of $q$ elements, for some prime power $q$, and let $G$ be a finite group. A (left) group code, or simply a $G$-code, is a (left) ideal of the group algebra $\mathbb{F}_q[G]$. In this paper, we provide a complete group-algebraic description for the Hermitian dual code of any $D_n$-code over $\mathbb{F}_{q^2}$, where $D_n$ is a dihedral group of order $2n$ with $n$ not divisible by $\operatorname{char}(\mathbb{F}_{q^2})$, through a suitable Wedderburn-Artin decomposition of the group algebra $\mathbb{F}_{q^2}[D_n]$, and we determine all distinct Hermitian self-orthogonal $D_n$-codes over $\mathbb{F}_{q^2}$. We also present a thorough representation of the Euclidean dual code of any $Q_n$-code over $\mathbb{F}_q$, where $Q_n$ is a generalised quaternion group of order $4n$ not divisible by $\operatorname{char}(\mathbb{F}_q)$, via the Wedderburn-Artin decomposition of the group algebra $\mathbb{F}_q[Q_n]$. In particular, since the semisimple group algebras $\mathbb{F}_{q^2}[Q_n]$ and $\mathbb{F}_{q^2}[D_{2n}]$ are isomorphic, then the Hermitian dual code of any $Q_n$-code has also been fully described. As an application of the Hermitian dualities computed, we give a systematic construction, via the structure of the group algebra, to obtain quantum error-correcting codes, and in fact, with this methodical approach, we recover some already known quantum codes that achieve the best known minimum distance for their length and dimension.
In this paper we study arithmetical and structural features of a finite group that possesses exactly two conjugacy class sizes that are composite numbers.
Suppose that $x$, $y$ are elements of a finite group $G$ lying in conjugacy classes of coprime sizes. We prove that $\langle x^G \rangle \cap \langle y^G \rangle$ is an abelian normal subgroup of $G$ and, as a consequence, that if $x$ and $y$ are $\pi$-regular elements for some set of primes $\pi$, then $x^G y^G$ is a $\pi$-regular conjugacy class in $G$. The latter statement was previously known for $\pi$-separable groups $G$ and this generalisation permits us to extend several results concerning the common divisor graph on $p$-regular conjugacy classes, for some prime $p$.
Let $G$ be a finite group. For some fixed prime $p$, let $\Gamma_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 $\Gamma_p(G)$ is a $k$-regular graph with $k\geq 1$, then it is a complete graph with $k+1$ vertices.
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.
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$.
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 $G$ be a finite group, and let $\pi$ be a set of primes. The aim of this paper is to obtain some results concerning how much information about the $\pi$-structure of $G$ can be gathered from the knowledge of the lengths of conjugacy classes of its $\pi$-elements and of their multiplicities. Among other results, we prove that this multiset of class lengths determine whether $G$ has a hypercentral Hall $\pi$-subgroup.
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.
Let $G$ be a finite group, and let $\Delta(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 $\Delta(G)$ is a block square.
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 $G$ be a finite group, and let $\Delta(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 $\Delta(G)$ has a cut vertex.