English
Related papers

Related papers: On generic properties of finitely presented monoid…

200 papers

We investigate the groups of units of one-relator and special inverse monoids. These are inverse monoids which are defined by presentations where all the defining relations are of the form $r=1$. We develop new approaches for finding…

Group Theory · Mathematics 2023-10-10 Robert D. Gray , Nik Ruskuc

We will explore some properties of minimal graded free resolutions of $R/I$, where $R$ is a trivariate polynomial ring over a field and $I$ is a monomial ideal. Our focus will be to consider a specific form of the resolutions when $I$ is…

Commutative Algebra · Mathematics 2013-03-05 Jared Painter

This paper investigates the class of finitely presented monoids defined by homogeneous (length-preserving) relations from a computational perspective. The properties of admitting a finite complete rewriting system, having finite derivation…

Group Theory · Mathematics 2017-05-16 Alan J. Cain , Robert Gray , António Malheiro

We prove the existence of a regular semigroup F(X) weakly generated by X such that all other regular semigroups weakly generated by X are homomorphic images of F(X). The semigroup F(X) is introduced by a presentation and the word problem…

Group Theory · Mathematics 2023-06-29 Luís Oliveira

We generalize free monoids by defining $k$-monoids. These are nothing other than the one-vertex higher-rank graphs used in $C^{\ast}$-algebra theory with the cardinality requirement waived. The $1$-monoids are precisely the free monoids. We…

Category Theory · Mathematics 2024-06-04 M. V. Lawson , A. Vdovina

In this revised form, the proof of the principal lemma has been simplified and the main theorem has been extended to all characteristics for those varieties which are smooth in codimension one. This principal theorem essentially says the…

alg-geom · Mathematics 2009-09-25 J. Alexander , A. Hirschowitz

For a $k$-algebra $A$, a quiver $Q$, and an ideal $I$ of $kQ$ generated by monomial relations, let $\Lambda: = A\otimes_k kQ/I$. We introduce the monic representations of $(Q, I)$ over $A$. We give properties of the structural maps of monic…

Representation Theory · Mathematics 2016-02-23 Xiu-Hua Luo , Pu Zhang

Marek Kuczma asked in 1980 whether for every positive integer $n,$ there exists a subsemigroup $M$ of a group $G,$ such that $G$ is equal to the $n$-fold product $M\,M^{-1} M\,M^{-1} \dots\,M^{(-1)^{n-1}},$ but not to any proper initial…

Group Theory · Mathematics 2021-10-15 George M. Bergman

Motivated by the application in geometric orthogonal codes (GOCs), Wang et al. introduced the concept of generalized perfect difference families (PDFs), and established the equivalence between GOCs and a certain type of generalized PDFs…

Combinatorics · Mathematics 2022-05-03 Xiaowei Su , Lidong Wang , Zihong Tian

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…

Quantum Algebra · Mathematics 2007-05-23 Vasiliy Dolgushev

The problem of characterizing GKLS-generators and CP-maps with an invariant appeared in different guises in the literature. We prove two unifying results which hold even for weakly closed *-algebras: First, we show how to construct a normal…

Mathematical Physics · Physics 2023-04-21 Markus Hasenöhrl , Matthias C. Caro

The irreducible components of varieties parametrizing the finite dimensional representations of a finite dimensional algebra $\Lambda$ are explored, with regard to both their geometry and the structure of the modules they encode. Provided…

Representation Theory · Mathematics 2014-07-11 E. Babson , B. Huisgen-Zimmermann , R. Thomas

We define intrinsic torsion in generalised geometry and use it to introduce a new notion of generalised special holonomy. We then consider generic warped supersymmetric flux compactifications of M theory and Type II of the form…

High Energy Physics - Theory · Physics 2016-07-07 André Coimbra , Charles Strickland-Constable , Daniel Waldram

Let $A$ be a not necessarily commutative monoid with zero such that projective $A$-acts are free. This paper shows that the algebraic K-groups of $A$ can be defined using the +-construction and the Q-construction. It is shown that these two…

K-Theory and Homology · Mathematics 2010-09-17 Chenghao Chu , Jack Morava

We prove the semisimplicity conjecture for A-motives over finitely generated fields K. This conjecture states that the rational Tate modules V_p(M) of a semisimple A-motive M are semisimple as representations of the absolute Galois group of…

Number Theory · Mathematics 2019-02-20 Nicolas Stalder

We study groupoids and semigroup C*-algebras arising from graphs of monoids, in the setting of right LCM monoids. First, we establish a general criterion when a graph of monoids gives rise to a submonoid of the fundamental group which is…

Operator Algebras · Mathematics 2022-12-06 Cheng Chen , Xin Li

Let $G$ be a finitely generated group, $A$ a finite set of generators and $K$ a subgroup of $G$. We call the pair $(G,K)$ context-free if the set of all words over $A$ that reduce in $G$ to an element of $K$ is a context-free language. When…

Group Theory · Mathematics 2012-12-05 Tullio Ceccherini-Silberstein , Wolfgang Woess

A nontrivial element in a group is a generalized torsion element if some nonempty finite product of its conjugates is the identity. We prove that any generalized torsion element in a free product of torsion-free groups is conjugate to a…

Geometric Topology · Mathematics 2018-11-20 Tetsuya Ito , Kimihiko Motegi , Masakazu Teragaito

We show that for every positive integer $k$ there are positive constants $C$ and $c$ such that if $A$ is a subset of $\{1, 2, \dots, n\}$ of size at least $C n^{1/k}$, then, for some $d \leq k-1$, the set of subset sums of $A$ contains a…

Combinatorics · Mathematics 2023-11-03 David Conlon , Jacob Fox , Huy Tuan Pham

A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a…

Group Theory · Mathematics 2019-06-12 Benjamin Blanchette , Christian Choffrut , Christophe Reutenauer