Related papers: Conditions for a Schunck class to be a formation

Let $G$ be a finite group. Let $X_1(G)$ be the first column of the ordinary character table of $G.$ In this paper, we will show that if $X_1(G)=X_1(S_n),$ then $G\cong S_n.$ As a consequence, we show that $S_n$ is uniquely determined by the…

We show that for any $k$ at least $6$ and $g$ sufficiently large, the mapping class group of a surface of genus $g$ can be generated by three elements of order $k$. We also show that this can be done with four elements of order $5$. We…

In this paper, by using the Groebner-Shirshov bases, we give characterizations of the Schreier extensions of groups when the group is presented by generators and relations. An algorithm to find the conditions of a group to be a Schreier…

A problem of constructing of local definitions for formations of finite groups is discussed in the article. The author analyzes relations between local definitions of various types. A new proof of existence of an $\omega$-composition…

We establish a sufficient condition for a finitely generated pro-$p$ group to be accessible in terms of finite generation of the module of ends.

Let $H$ be a group and $E$ a set such that $H \subseteq E$. We shall describe and classify up to an isomorphism of groups that stabilizes $H$ the set of all group structures that can be defined on $E$ such that $H$ is a subgroup of $E$. A…

Let $H$ be a finite quasisimple classical group, i.e. $H$ is perfect and $S:=H/Z(H)$ is a finite simple classical group. We prove in this paper that, excluding the cases when the simple group $S$ has a very exceptional Schur multiplier such…

We give explicit, practical conditions that determine whether or not a closed, connected subgroup H of G = SU(2,n) has the property that there exists a compact subset C of G with CHC = G. To do this, we fix a Cartan decomposition G = K A K…

Let R be an o-minimal field with a proper convex subring V. We axiomatize the class of all structures (R,V) such that k_ind, the corresponding residue field with structure induced from R via the residue map, is o-minimal. More precisely, in…

The Hecke category is bigraded. For completeness, we classify gradings on the Hecke category. We also classify object-preserving autoequivalences.

We construct the first example of a finitely-presented, residually-finite group that contains an infinite sequence of non-isomorphic finitely-presented subgroups such that each of the inclusion maps induces an isomorphism of profinite…

A quadratic form has a one-class spinor genus if its spinor genus consists of a single equivalence class. In this paper, we determine that there is only one primitive quaternary genus which has a one-class spinor genus but not a one-class…

We consider a class of homogeneous self-similar sets with complete overlaps and give a sufficient condition for the Lipschitz equivalence between members in this class.

Given an automorphism $x$ of order bigger than $2$ of a sporadic simple group $S$, we show that there are at most $3$ conjugates of $x$ required to generate a subgroup of order divisible by a fixed prime divisor $r$ of $|S|$. The only…

An important measure of bipartite entanglement is the entanglement of formation, which is defined as the minimum average pure state entanglement of all decompositions realizing a given state. A decomposition which achieves this minimum is…

A multiple (loc. Cohen Macaulay) structure, X, on a space curve C in P3 is said to be primitive if X is locally contained in a smooth surface. We give numerical conditions for C to be a "primitive" set theoretic complete intersection (i.e.…

We give positivity conditions on the embedding of a smooth variety which guarantee the normality of the secant variety, generalizing earlier results of the author and others. We also give classes of secant varieties satisfying the Hodge…

Let $\mathbb{E}$ be the HNN-extension of a group $B$ with subgroups $H$ and $K$ associated according to an isomorphism $\varphi\colon H \to K$. Suppose that $H$ and $K$ are normal in $B$ and $(H \cap K)\varphi = H \cap K$. Under these…

Nested conditions are used, among other things, as a graphical way to express first order formulas ruling the applicability of a graph transformation rule to a given match. In this paper, we propose (for the first time) a notion of…

Let $X$ be a Banach space, $(e_n)_{n=1}^\infty$ be its basis, and $S_\alpha$ be a Schreier family of order alpha. We introduce Condition A which is a weaker version of the Continuum Hypothesis. Granted Condition A, we show that if the basis…