Related papers: Inductive McKay Condition in defining Characterist…

Model theoretic internality provides conditions under which the group of automorphisms of a model over a reduct is itself a definable group. In this paper we formulate a categorical analogue of the condition of internality, and prove an…

Let $N$ be normal subgroup of a finite group $G$, $p$ be a prime, $P$ be a Sylow $p$-subgroup of $G$ and $\theta$ be a $P$-invariant irreducible character of $N$. Suppose that $G/N$ is a $p$-solvable group. In this note we show that,…

In this paper, we show that the Alperin-McKay conjecture holds for 2-blocks of maximal defect. A major step in the proof is the verification of the inductive Alperin-McKay condition for the principal 2-block of groups of Lie type in odd…

Recently Navarro proposed a strengthening of the unsolved McKay conjecture using Galois automorphisms. We prove that the Navarro conjecture holds for the alternating groups when the prime p is odd.

In this note, we give a group-theoretic condition which is equivalent to the fact that the trivial character is the only complex irreducible character of a finite group G which is contained in the principal p-block for each prime p in a…

In recent work, we study certain Cayley graphs associated with a finite commutative ring and their multiplicative subgroups. Among various results that we prove, we provide the necessary and sufficient conditions for such a Cayley graph to…

We provide a type theoretic treatment of the paper "On Tarski's fixed point theorem" by Giovanni Curi. There are benefits to having a type theoretic formulation apart from routine implementation in a proof assistant. By taking advantage of…

Recent work has unveiled a theory for reasoning about the decisions made by binary classifiers: a classifier describes a Boolean function, and the reasons behind an instance being classified as positive are the prime-implicants of the…

In the setting of the modal logic that characterizes modal refinement over modal transition systems, Boudol and Larsen showed that the formulae for which model checking can be reduced to preorder checking, that is, the characteristic…

We work towards a version of generalized Harish-Chandra theory compatible with Clifford theory and with the action of automorphisms on irreducible characters. This provides a fundamental tool to verify the inductive conditions for the…

We study a class of determinantal ideals that are related to conditional independence (CI) statements with hidden variables. Such CI statements correspond to determinantal conditions on a matrix whose entries are probabilities of events…

In this paper, we describe the induction functor from the category of native Mackey functors to the category of biset functors for a finite group $G$ over an algebraically closed field $k$ of characteristic zero. We prove two applications…

In this paper, we introduce a new generalization of weakly prime ideals called $I$-prime. Suppose $R$ is a commutative ring with identity and $I$ a fixed ideal of $R$. A proper ideal $P$ of $R$ is $I$-prime if for $a, b \in R$ with $ab \in…

Given an almost simple group $A$, we algorithmically show that the character table of $A$ determines whether or not the Sylow 3-subgroups of $A$ are 2-generated. We show this property is equivalent to a condition involving the Galois action…

Famous descriptive characterisations of P and PSPACE are restated in terms of the Cook-Nguyen style second order bounded arithmetic. We introduce an axiom of inductive definitions over second order bounded arithmetic. We show that P can be…

A Bayesian estimator aiming at improving the conditional MLE is proposed by introducing a pair of priors. After explaining the conditional MLE by the posterior mode under a prior, we define a promising estimator by the posterior mean under…

The Mackey-type identity mentioned in the title relates the operations of parabolic induction and restriction for invariant functions on the Lie algebras of the finite unitary groups $U(N, q^2)$. This result is applied to constructing…

In 1883, as an early result, Sophus Lie established an explicit necessary and sufficient condition for an analytic second order ordinary differential equation y_xx = F(x,y,y_x) to be equivalent, through a point transformation (x,y) -->…

We produce new short laws in two variables valid in finite groups of Lie type. Our result improves upon results of Kozma and the second named author, and is sharp up to logarithmic factors, for all families except possibly the Suzuki…

We show that finite quasisimple groups of Lie type in characteristic $p$ with an irreducible representation of prime degree $r$ over a finite field of characteristic $p$ have orders bounded above by a function of $r$, independent of $p$. We…