arXiv subjects
Publications and source records attributed to Max Neunhöffer.
We explore a natural class of semigroups that have word problem decidable by finite state automata. Among the main results are invariance of this property under change of generators, invariance under basic algebraic constructions and algebraic properties of these semigroups.
FinInG is a package for computation in Finite Incidence Geometry. It provides users with the basic tools to work in various areas of finite geometry from the realms of projective spaces to the flat lands of generalised polygons. The algebraic power of GAP is exploited, particularly in its facility with matrix and permutation groups.
Lehnert and Schweitzer show in [20] that R. Thompson's group $V$ is a co-context-free ($co\mathcal{CF}$) group, thus implying that all of its finitely generated subgroups are also $co\mathcal{CF}$ groups. Also, Lehnert shows in his thesis that $V$ embeds inside the $co\mathcal{CF}$ group $\mathrm{QAut}(\mathcal{T}_{2,c})$, which is a group of particular bijections on the vertices of an infinite binary $2$-edge-colored tree, and he conjectures that $\mathrm{QAut}(\mathcal{T}_{2,c})$ is a universal $co\mathcal{CF}$ group. We show that $\mathrm{QAut}(\mathcal{T}_{2,c})$ embeds into $V$, and thus obtain a new form for Lehnert's conjecture. Following up on these ideas, we begin work to build a representation theory into R. Thompson's group $V$. In particular we classify precisely which Baumslag-Solitar groups embed into $V$.
Let $X$ be a finite set such that $|X|=n$. Let $\trans$ and $\sym$ denote respectively the transformation monoid and the symmetric group on $n$ points. Given $a\in \trans\setminus \sym$, we say that a group $G\leq \sym$ is $a$-normalizing if $$ \setminus G= .$$ If $G$ is $a$-normalizing for all $a\in \trans\setminus \sym$, then we say that $G$ is normalizing. The goal of this paper is to classify normalizing groups and hence answer a question posed elsewhere. The paper ends with a number of problems for experts in groups, semigroups and matrix theory.
We denote by A the ring of Laurent polynomials in the indeterminate v and by K its field of fractions. In this paper, we are interested in representation theory of the "generic" q-Schur algebra S_q(n,r) over A. We will associate to every non-degenerate symmetrising trace form τon KS_q(n,r) a subalgebra J_τ of KS_q(n,r) which is isomorphic to the "asymptotic" algebra \J(n,r)_A defined by J. Du. As a consequence, we give a new criterion for James' conjecture.