Related papers: Inductive McKay Condition in defining Characterist…

We prove that Sp\"ath's Character Triple Conjecture holds for every finite group with respect to maximal defect characters at the prime 2. This is done by reducing the maximal defect case of the conjecture to the so-called inductive…

In this article we give sufficient conditions for a group to have simple derived subgroup; the argument is based on generalising properties observed for extremely proximal micro-supported actions on the Cantor space, and generalises…

We generalize the concept of the group determinant and prove a necessary and sufficient novel condition for a subset to be a subgroup. This development is based on the group determinant work by Edward Formanek, David Sibley, and Richard…

We investigate a beautiful conjecture of T. Wilde on character values and element orders of finite groups. We reduce it to a statement on nearly simple groups that can be checked ``prime by prime". For these groups, we show that a strong…

In [7], G. Navarro proposed a refinement of the McKay conjecture involving a special class of Galois automorphisms. In [6] this new conjecture was verified by the author for the alternating groups A(n) when p=2. In this note the Navarro…

The motivation for this paper is to extend the known model theoretic treatment of differential Galois theory to the case of linear difference equations (where the derivative is replaced by an automorphism.) The model theoretic difficulties…

In this note, notwithstanding the generalization, we simplify and shorten the proofs of the main results of the third author's paper \cite{SXY} significantly. In particular, the new proof for \cite[Theorem 1.1]{SXY} is quite short and,…

In this work we extend the Mackey's theory of induced unitary representations on a wide class of Krein-isometric induced representations in Krein spaces. The subgroup theorem and the Kronecker product theorem are shown to be valid for the…

A group is said to be C*-simple if its reduced C*-algebra is simple. We establish an intrinsic (group-theoretic) characterization of groups with this property. Specifically, we prove that a discrete group is C*-simple if and only if it has…

In this article, we study the elements with disconnected centralizer in the Brauer complex associated to a simple algebraic group G defined over a finite field with corresponding Frobenius map F and derive the number of F-stable semisimple…

Navarro has conjectured a necessary and sufficient condition for a finite group $G$ to have a self-normalising Sylow $2$-subgroup, which is given in terms of the ordinary irreducible characters of $G$. The first-named author has reduced the…

We prove a broad generalization of a theorem of W. Burnside on real characters using permutation characters. Under a necessary hypothesis, We can give some control on multiplicities (a result that needs the Classification of Finite Simple…

Causal influence measures for machine learnt classifiers shed light on the reasons behind classification, and aid in identifying influential input features and revealing their biases. However, such analyses involve evaluating the classifier…

Let $p$ be a prime and $G$ a finite group. We propose a strong bound for the number of $p'$-degree irreducible characters of $G$ in terms of the commutator factor group of a Sylow $p$-subgroup of $G$. The bound arises from a recent…

Let $G$ be a $(2,m,n)$-group and let $x$ be the number of distinct primes dividing $\chi$, the Euler characteristic of $G$. We prove, first, that, apart from a finite number of known exceptions, a non-abelian simple composition factor $T$…

Let $G$ be a finite group. Let $K/k$ be a Galois extension of number fields with Galois group isomorphic to $G$, and let $C \subseteq \mathrm{Gal}(K/k) \simeq G$ be a conjugacy invariant subset. It is well known that there exists an…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

We investigate inductive types in type theory, using the insights provided by homotopy type theory and univalent foundations of mathematics. We do so by introducing the new notion of a homotopy-initial algebra. This notion is defined by a…

We generalize the definition of pseudo monomial characters and $M$-groups to the Brauer character and Isaacs' $\pi$-partial character settings. We prove an analogs of Isaacs's generalization of Taketa's theorem in those settings. We…

Induced representations of $\ast$-algebras by unbounded operators in Hilbert space are investigated. Conditional expectations of a $\ast$-algebra $\cA$ onto a unital $\ast$-subalgebra $\cB$ are introduced and used to define inner products…