相关论文: On the Andrews-Curtis equivalence

This paper is an invitation to the study and use of general theory of non-gaussian $r-$congruences in the theory of numbers. In this work we classify the two kinds of $r-$congruences that exist (namely the trivial and non-trivial types) and…

The classical Erd{\" o}s-Turan Inequality bounds how far a sequence of points in the circle is from being equidistributed in terms of its exponential moments. We prove an analogous inequality for all compact simply-connected semisimple Lie…

In representation theory of finite groups, there is a well-known and important conjecture due to M. Brou\'e. He conjectures that, for any prime $p$, if a $p$-block $A$ of a finite group $G$ has an abelian defect group $P$, then $A$ and its…

We show that the refinement of Alperin's Conjecture proposed in "Frobenius Categories versus Brauer Blocks", Progress in Math. 274, can be proved by checking that this refinement holds on any central k*-extension of a finite group H…

In a recent work of I.\,Dynnikov and M.\,Prasolov a new method of comparing Legendrian knots is proposed. In general, to apply the method requires a lot of technical work. In particular, one needs to search all rectangular diagrams of…

Asymptotic properties of finitely generated subgroups of free groups, and of finite group presentations, can be considered in several fashions, depending on the way these objects are represented and on the distribution assumed on these…

Bertand's paradox is a fundamental problem in probability that casts doubt on the applicability of the indifference principle by showing that it may yield contradictory results, depending on the meaning assigned to "randomness". Jaynes…

A given monoid usually admits many presentations by generators and relations and the notion of Tietze equivalence characterizes when two presentations describe the same monoid: it is the case when one can transform one presentation into the…

To every minimal model of a complete local isolated cDV singularity Donovan--Wemyss associate a finite dimensional symmetric algebra known as the contraction algebra. We construct the first known standard derived equivalences between these…

We establish that temporal averaging over multiple observations is the degenerate case of algebraic group action with the trivial group $G=\{e\}$. A General Replacement Theorem proves that a group-averaged estimator from one snapshot…

We present a new notion of non-positively curved groups: the collection of discrete countable groups acting (AU-)acylindrically on finite products of $\delta$-hyperbolic spaces with general type factors. Inspired by the classical theory of…

A classic problem in enumerative combinatorics is to count the number of derangements, that is, permutations with no fixed point. Inspired by a recent generalization to facet derangements of the hypercube by Gordon and McMahon, we…

We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…

We formulate a relationship between finite-order rondle invariants with respect to triple-point modifications and the lower central series of subgroups of a pure twin group. Using our formulation, we construct infinitely many infinite…

Every finite simple group can be generated by two elements, and in 2000, Guralnick and Kantor resolved a 1962 question of Steinberg by proving that in a finite simple group every nontrivial element belongs to a generating pair. Groups with…

This thesis consists of three self-contained chapters. The first two concern quantum invariants of links and three manifolds and the third contains results on the word problem for link groups. In chapter 1 we relate the tree part of the…

The cyclically reduced product of two words is the cyclically reduced form of the concatenation of the two words. While the reduced form of such a concatenation (which is the product of the free group) verifies many basic properties like…

This paper gives a constructive treatment of McKenzie's theorem on the existence of general equilibria. While the full theorem does not admit a constructive proof, and hence does not admit a computational realisation, we show that if we…

In this short paper we will show, via elementary arguments, the equivalence of the Twin Prime Conjecture to a problem which might be simpler to prove. Some conclusions are drawn, and it is shown that proving the Twin Prime Conjecture is…

The first and shorter part of this thesis deals with the structural assumption of invertibility in a Lie groupoid. When this assumption is dropped, we obtain the notion of a Lie category: a small category, endowed with a compatible…