Related papers: Testability in group theory
We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $\Gamma…
We say that a group $G$ is of \textit{profinite type} if it can be realized as a Galois group of some field extension. Using Krull's theory, this is equivalent to the ability of $G$ to be equipped with a profinite topology. We also say that…
In a recent paper, Dave Benson and Peter Symonds defined a new invariant $\gamma_G(M)$ for a finite dimensional module $M$ of a finite group $G$ which attempts to quantify how close a module is to being projective. In this paper, we…
We discuss various modifications of separability, precompactnmess and narrowness in topological groups and test those modifications in the permutation groups $S(X)$ and $S_{<\omega}(X)$.
We provide a brief overview into recent tests of gravity, focusing on its foundational spacetime symmetries. In particular, we work with an agnostic, effective field-theory framework, named the Standard-Model Extension, that allows for…
Let $G$ be a finite group and $\psi(G) = \sum_{g \in G} o(g)$, where $o(g)$ denotes the order of $g \in G$. In [M. Herzog, et. al., Two new criteria for solvability of finite groups, J. Algebra, 2018], the authors put forward the following…
Invariant and equivariant models incorporate the symmetry of an object to be estimated (here non-parametric regression functions $f : \mathcal{X} \rightarrow \mathbb{R}$). These models perform better (with respect to $L^2$ loss) and are…
In recent times, there has been a lot of active research on monomial groups in two different directions. While group theorists are interested in the study of their normal subgroups and Hall subgroups, the interest of group ring theorists…
In group testing, the task is to determine the distinguished members of a set of objects L by asking subset queries of the form ``does the subset Q of L contain a distinguished object?'' The primary biological application of group testing…
Ab\'ert-Weiss have shown that the Bernoulli shift s of a countably infinite group \Gamma is weakly contained in any free measure preserving action (mpa) b of \Gamma. We establish a strong version of this result, conjectured by Ioana, by…
Motivated by the quest for a logic for PTIME and recent insights that the descriptive complexity of problems from linear algebra is a crucial aspect of this problem, we study the solvability of linear equation systems over finite groups and…
Some models within the framework of Gauss-Bonnet gravities are considered in the presence of a non-minimally coupled scalar field. By imposing a particular constraint on the scalar field coupling, an extension of the called…
A class of the Benjamin-Bona-Mahony-Burgers (BBMB) equations with time-dependent coefficients is investigated with the Lie symmetry point of view. The set of admissible transformations of the class is described exhaustively. The complete…
We generalize a theorem of Chifan and Ioana by proving that for any, possibly type III, amenable von Neumann algebra $A_0$, any faithful normal state $\varphi_0$ and any discrete group $\Gamma$, the associated Bernoulli crossed product von…
This paper studies the problem of testing whether a system of linear equality and inequality constraints admits a solution when the coefficients of that system may have to be estimated. We show that a wide range of inferential questions in…
Let $G$ be a finite insoluble group with soluble radical $ R(G)$. The solubility graph $\Gamma_{\rm S}(G)$ of $G$ is a simple graph whose vertices are the elements of $G\setminus R(G) $ and two distinct vertices $x$ and $y$ are adjacent if…
A method is described to probe high-scale physics in lower-energy experiments by employing sum rules in terms of renormalisation group invariants. The method is worked out in detail for the study of supersymmetry-breaking mechanisms in the…
We show that the Skolem Problem is decidable in finitely generated commutative rings of positive characteristic. More precisely, we show that there exists an algorithm which, given a finite presentation of a (unitary) commutative ring…
We prove new homological stability results for general linear groups over finite fields. These results are obtained by constructing CW approximations to the classifying spaces of these groups, in the category of $E_\infty$-algebras, guided…
The signed permutation modules are a simultaneous generalization of the ordinary permutation modules and the twisted permutation modules of the symmetric group. In a recent paper Dave Benson and Peter Symonds defined a new invariant…