Related papers: A complete rewrite system and normal forms for (S)…
The article gives the second part of the treatise on Regular Algebraic $K$-theory (Sections V & VI) of the author. Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected to (but different from)…
We give a simple proof of the splitting lemma in singularity theory, also known as generalized Morse lemma, for formal power series over arbitrary fields. Our proof for the uniqueness of the residual part in any characteristic is new and…
In the paper, we describe all total orders $\succ$ compatible with addition on additive subsemigroup $S$ of finite dimensional spaces over rational numbers. We provide a necessary and sufficient condition under which a finitely generated…
The aim of this paper is to give a proof of the restriction theorems for principal bundles with a reductive algebraic group as structure group in arbitrary characteristic. Let $G$ be a reductive algebraic group over any field $k=\bar{k}$,…
In this paper we investigate right uniform notion on some classes of semigroups. The main objective of this paper is realizing the structure of regular right uniform semigroups which can be applied as a cornerstone of characterizing regular…
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised proof tactics for rewriting. This results in an interleaving…
We develop a structure theory of connected solvable spherical subgroups in semisimple algebraic groups. Based on this theory, we obtain an explicit classification of all such subgroups up to conjugation.
Inspired by results for graph $C^*$-algebras, we investigate connections between the ideal structure of an inverse semigroup $S$ and that of its tight $C^*$-algebra by relating ideals in $S$ to certain open invariant sets in the associated…
A semigroup $S$ is called an equational domain if any finite union of algebraic sets over $S$ is algebraic. We prove if a completely regular semigroup $S$ is an equational domain then $S$ is completely simple.
In this paper we characterize the congruence associated to the direct sum of all irreducible representations of a finite semigroup over an arbitrary field, generalizing results of Rhodes for the field of complex numbers. Applications are…
In this article, we present a new method to study uniqueness of form extensions in a rather general setting. The method is based on the theory of ordered Hilbert spaces and the concept of domination of semigroups. Our main abstract result…
Conditional term rewriting is an intuitive yet complex extension of term rewriting. In order to benefit from the simpler framework of unconditional rewriting, transformations have been defined to eliminate the conditions of conditional term…
This paper develops an algorithmic-based approach for proving inductive properties of propositional sequent systems such as admissibility, invertibility, cut-elimination, and identity expansion. Although undecidable in general, these…
The role of integrable systems in string theory is discussed. We remind old examples of the correspondence between stringy partition functions or effective actions and integrable equations, based on effective application of the matrix model…
In 1999, Reg Wood conjectured that the quotient of Q[x_1,...,x_n] by the action of the rational Steenrod algebra is a graded regular representation of the symmetric group S_n. As pointed out by Reg Wood, the analog of this statement is a…
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…
We give a new proof of Glauberman's ZJ Theorem, in a form that clarifies the choices involved and offers more choices than classical treatments. In particular, we introduce two new ZJ-type subgroups of a $p$-group $S$, that contain…
We use George Bergman's recent normal form for universally adjoining an inner inverse to show that, for general rings, a nilpotent regular element $x$ need not be unit-regular. This contrasts sharply with the situation for nilpotent regular…
We consider finite groups having a conjugacy class that is the difference of two normal subgroups. That is, suppose $G$ is a group and $M$ and $N$ are normal subgroups so that $N < M$, and suppose that there is an element $g \in G$ so that…
In this paper, we discuss Semantic Construction Grammar (SCG), a system developed over the past several years to facilitate translation between natural language and logical representations. Crucially, SCG is designed to support a variety of…