相关论文: Minimal bounded index subgroup for dependent theor…

Let $\ell$ be a prime divisor of the order of a finite unitary reflection group. We classify up to conjugacy the parabolic and reflection subgroups that are minimal with respect to inclusion, subject to containing an $\ell$-Sylow subgroup.…

Groups, in which every subgroup containing some fixed primary cyclic subgroup has a complement, are investigated.

We continue in this paper the study of locally minimal groups started in \cite{LocMin}. The minimality criterion for dense subgroups of compact groups is extended to local minimality. Using this criterion we characterize the compact abelian…

We show that a connected split reductive group G over a field of characteristic 0 is uniquely determined up to isomorphism by specifying a maximal torus T of G, the set of isomorphism classes of irreducible representations of G, and the…

This article describes a practical approach for determining the lattice of subgroups U < V < G between given subgroups U and G, provided the total number of such subgroups is not too large. It builds on existing functionality for element…

Let $G$ be a minimal split Kac-Moody group over a valued field {\mathcal{K}. Motivated by the representation theory of $G$, we define two topologies of topological group on $G$, which take into account the topology on {\mathcal{K}.

We prove an accessibility theorem for finite-index splittings of groups. Given a finitely presented group G there is a number n(G) such that, for every reduced locally finite G-tree T with finitely generated stabilizers, T/G has at most…

For a Lie groupoid there is an analytic index morphism which takes values in the $K-$theory of the $C^*$-algebra associated to the groupoid. This is a good invariant but extracting numerical invariants from it, with the existent tools, is…

For each Turing machine T, we construct an algebra A'(T) such that the variety generated by A'(T) has definable principal subcongruences if and only if T halts, thus proving that the property of having definable principal subcongruences is…

We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…

In this paper, for given an algebraic theory $T$ whose category $C$ of models is semi-abelian, we consider the topological models of $T$ called topological $T$-algebras and obtain some results related to the fundamental groups of…

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

If G is a finite group and H is a subgroup of G, we characterize when restriction of Brauer characters from G to H is injective.

We define a type system with intersection types for an extension of lambda-calculus with unbind and rebind operators. In this calculus, a term with free variables, representing open code, can be packed into an "unbound" term, and passed…

A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…

Given a GGS-group $G$ with non-constant defining tuple over a prime-regular rooted tree, we calculate the indices $|G:G^{(n)}|$ and describe the structure of the higher derived subgroups $G^{(n)}$ for all $n \in \mathbb{N}$. We find that…

In this paper we give sufficient conditions under which a subsemigroup of a topological group is a subgroup, adding to the results given in \cite{Kosh, can, axioms, forum, Hof, cc, locally} where conditions exist (such as locally…

Assume that a finite almost simple group with simple socle isomorphic to an exceptional group of Lie type possesses a solvable Hall subgroup. Then there exist four conjugates of the subgroup such that their intersection is trivial.

We give necessary and sufficient geometric conditions for a theory definable in an o-minimal structure to interpret a real closed field. The proof goes through an analysis of thorn-minimal types in super-rosy dependent theories of finite…

We classify minimal transitive subsemigroups of the finitary inverse symmetric semigroup modulo the classification of minimal transitive subgroups of finite symmetric groups; and semitransitive subsemigroups of the finite inverse symmetric…