English
Related papers

Related papers: Automatic structures for subsemigroups of Baumslag…

200 papers

We answer a question of Calderoni and Clay by showing that the conjugation equivalence relation of left orderings of the Baumslag-Solitar groups $\mathrm{BS}(1,n)$ is hyperfinite for any $n$. Our proof relies on a classification of…

Logic · Mathematics 2024-05-15 Meng-Che "Turbo" Ho , Khanh Le , Dino Rossegger

Suzuki recently gave constructions of non-discrete examples of locally compact C*-simple groups and Raum showed C*-simplicity of the relative profinite completions of the Baumslag-Solitar groups by using Suzuki's results. We extend this…

Operator Algebras · Mathematics 2022-01-28 Miho Mukohara

We study a class $\mathfrak{M}$ of cyclically presented groups that includes both finite and infinite groups and is defined by a certain combinatorial condition on the defining relations. This class includes many finite metacyclic…

Group Theory · Mathematics 2016-06-02 W. A. Bogley , Gerald Williams

We prove an identity for five arguments, valid in the lattice of natural numbers with gcd and lcm as lattice operations. More generally, this identity characterizes arbitrary distributive lattices. Fixing three of the five arguments, we…

Group Theory · Mathematics 2020-06-09 Wolfgang Bertram

Automatic structures are finitely presented structures where the universe and all relations can be recognized by finite automata. It is known that the isomorphism problem for automatic structures is complete for $\Sigma^1_1$; the first…

Logic in Computer Science · Computer Science 2010-01-14 Dietrich Kuske , Jiamou Liu , Markus Lohrey

Every finitely generated self-similar group naturally produces an infinite sequence of finite $d$-regular graphs $\Gamma_n$. We construct self-similar groups, whose graphs $\Gamma_n$ can be represented as an iterated zig-zag product and…

Group Theory · Mathematics 2014-09-01 Ievgen Bondarenko

We prove the following results: (1) Every group is a maximal subgroup of some free idempotent generated semigroup. (2) Every finitely presented group is a maximal subgroup of some free idempotent generated semigroup arising from a finite…

Group Theory · Mathematics 2011-08-02 Robert Gray , Nik Ruskuc

In this paper, we introduce some new classes of algebras related to UP-algebras and semigroups, called a left UP-semigroup, a right UP-semigroup, a fully UP-semigroup, a left-left UP-semigroup, a right-left UP-semigroup, a left-right…

General Mathematics · Mathematics 2018-08-13 Aiyared Iampan

In this paper, the complete algebraic structure of finite semisimple group algebra of a normally monomial group is described. The main result is illustrated by computing the explicit Wedderburn decomposition of finite semisimple group…

Rings and Algebras · Mathematics 2017-07-27 Shalini Gupta , Sugandha Maheshwary

The action of any group on itself by conjugation and the corresponding conjugacy relation play an important role in group theory. There have been many attempts to find notions of conjugacy in semigroups that would be useful in special…

Group Theory · Mathematics 2021-01-19 J. Araújo , Michael Kinyon , Janusz Konieczny , António Malheiro

Let $S$ be a semigroup, $\Lambda$ a non-empty set and $P$ a mapping of $\Lambda$ into $S$. The set $S\times \Lambda$ together with the operation $\circ _P$ defined by $(s, \lambda)\circ _P(t, \mu )=(sP(\lambda)t, \mu )$ form a semigroup…

Group Theory · Mathematics 2015-10-20 Attila Nagy

We consider the growth, order, and finiteness problems for automaton (semi)groups. We propose new implementations and compare them with the existing ones. As a result of extensive experimentations, we propose some conjectures on the order…

Formal Languages and Automata Theory · Computer Science 2013-10-21 Ines Klimann , Jean Mairesse , Matthieu Picantin

Right groups are direct products of right zero semigroups and groups and they play a significant role in the semilattice decomposition theory of semigroups. Right groups can be characterized as associative right quasigroups (magmas in which…

Group Theory · Mathematics 2012-10-01 Michael K. Kinyon , Aleksandar Krapež , J. D. Phillips

We study the structure of the family of numerical semigroups with fixed multiplicity and Frobenius number. We give an algorithmic method to compute all the semigroups in this family. As an application we compute the set of all numerical…

Group Theory · Mathematics 2021-12-14 M. B. Branco , I. Ojeda , J. C. Rosales

A semigroupoid is a set equipped with a partially defined associative operation. Given a semigroupoid \Lambda we construct a C*-algebra C*(\Lambda) from it. We then present two main examples of semigroupoids, namely the Markov semigroupoid…

Operator Algebras · Mathematics 2007-05-23 Ruy Exel

In this paper, we consider a question of sum-keeping about a multiplicative subsemigroup and its generator subsets in a semiring, and develop some elementary (collapse) process of the sum-keeping retraction through subsets until one minimal…

Number Theory · Mathematics 2025-04-04 Derong Qiu

The left regular band structure on a hyperplane arrangement and its representation theory provide an important connection between semigroup theory and algebraic combinatorics. A finite semigroup embeds in a real hyperplane face monoid if…

Group Theory · Mathematics 2013-01-01 Stuart Margolis , Franco Saliola , Benjamin Steinberg

An algorithm for the explicit computation of a complete set of primitive central idempotents, Wedderburn decomposition and the automorphism group of the semisimple group algebra of a finite metabelian group is developed. The algorithm is…

Representation Theory · Mathematics 2013-11-07 Gurmeet K. Bakshi , Shalini Gupta , Inder Bir S. Passi

The thesis is devoted to abstract, geometric and symmetric aspects of modern elementary particle theories. A new direction in constructing supersymmetric and superstring models based on consequent and strong consideration and inclusion of…

Mathematical Physics · Physics 2007-05-23 Steven Duplij

We present a procedure to enumerate the whole set of numerical semigroups with a given Frobenius number F, S(F). The methodology is based on the construction of a partition of S(F) by a congruence relation. We identify exactly one…

Commutative Algebra · Mathematics 2011-05-26 V. Blanco , J. C. Rosales