BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Wolfram Bentz

Wolfram Bentz contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GRmath.RAmath.CO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

CREAM: a Package to Compute [Auto, Endo, Iso, Mono, Epi]-morphisms, Congruences, Divisors and More for Algebras of Type $(2^n,1^n)$

The CREAM GAP package computes automorphisms, congruences, endomorphisms and subalgebras of algebras with an arbitrary number of binary and unary operations; it also decides if between two such algebras there exists a monomorphism, an epimorphism, an isomorphism or if one is a divisor of the other. Thus it finds those objects for almost all algebras used in practice (groups, quasigroups in their various signatures, semigroups possibly with many unary operations, fields, semi-rings, quandles, logic algebras, etc). As a one-size-fits-all package, it only relies on universal algebra theorems, without taking advantage of specific theorems about, eg, groups or semigroups to reduce the search space. Canon and Holt produced very fast code to compute automorphisms of groups that outperform CREAM on orders larger than 128. Similarly, Mitchell et al. take advantage of deep theorems to compute automorphisms and congruences of completely 0-simple semigroups in a very efficient manner. However these domains (groups of order above 128 and completely 0-simple semigroups) are among the very few examples of GAP code faster than our general purpose package CREAM. For the overwhelming majority of other classes of algebras, either ours is the first code computing the above mentioned objects, or the existing algorithms are outperformed by CREAM, in some cases by several orders of magnitude. To get this performance, CREAM uses a mixture of universal algebra algorithms together with GAP coupled with artificial intelligence theorem proving tools (AITP) and very delicate C implementations. As an example of the latter, we re-implement Freese's very clever algorithm for computing congruences in universal algebras, in a way that outperforms all other known implementations.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Finite Abelian algebras are fully dualizable

We show that every finite Abelian algebra A from congruence-permutable varieties admits a full duality. In the process, we prove that A also allows a strong duality, and that the duality may be induced by a dualizing structure of finite type. We give an explicit bound on the arities of the partial and total operations appearing in the dualizing structure. In addition, we show that the enriched partial hom-clone of A is finitely generated as a clone.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Largest Subsemilattices of the Endomorphism Monoid of an Independence Algebra

An algebra $\A$ is said to be an independence algebra if it is a matroid algebra and every map $\al:X\to A$, defined on a basis $X$ of $\A$, can be extended to an endomorphism of $\A$. These algebras are particularly well behaved generalizations of vector spaces, and hence they naturally appear in several branches of mathematics such as model theory, group theory, and semigroup theory. It is well known that matroid algebras have a well defined notion of dimension. Let $\A$ be any independence algebra of finite dimension $n$, with at least two elements. Denote by $\End(\A)$ the monoid of endomorphisms of $\A$. We prove that a largest subsemilattice of $\End(\A)$ has either $2^{n-1}$ elements (if the clone of $\A$ does not contain any constant operations) or $2^n$ elements (if the clone of $\A$ contains constant operations). As corollaries, we obtain formulas for the size of the largest subsemilattices of: some variants of the monoid of linear operators of a finite-dimensional vector space, the monoid of full transformations on a finite set $X$, the monoid of partial transformations on $X$, the monoid of endomorphisms of a free $G$-set with a finite set of free generators, among others. The paper ends with a relatively large number of problems that might attract attention of experts in linear algebra, ring theory, extremal combinatorics, group theory, semigroup theory, universal algebraic geometry, and universal algebra.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Dualizability of automatic algebras

We make a start on one of George McNulty's Dozen Easy Problems: "Which finite automatic algebras are dualizable?" We give some necessary and some sufficient conditions for dualizability. For example, we prove that a finite automatic algebra is dualizable if its letters act as an abelian group of permutations on its states. To illustrate the potential difficulty of the general problem, we exhibit an infinite ascending chain $\mathbf A_1 \le \mathbf A_2 \le \mathbf A_3 \le ...b$ of finite automatic algebras that are alternately dualizable and non-dualizable.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Groups Synchronizing a Transformation of Non-Uniform Kernel

This paper concerns the general problem of classifying the finite deterministic automata that admit a synchronizing (or reset) word. (For our purposes it is irrelevant if the automata has initial or final states.) Our departure point is the study of the transition semigroup associated to the automaton, taking advantage of the enormous and very deep progresses made during the last decades on the theory of permutation groups, their geometry and their combinatorial structure. Let $X$ be a finite set. We say that a primitive group $G$ on $X$ is {\em synchronizing} if $G$ together with any non-invertible map on $X$ generates a constant map. It is known (by some recent results proved by P. M. Neumann) that for some primitive groups $G$ and for some singular transformations $t$ of uniform kernel (that is, all blocks have the same number of elements), the semigroup $< G,t>$ does not generate a constant map. Therefore the following concept is very natural: a primitive group $G$ on $X$ is said to be {\em almost synchronizing} if $G$ together with any map of non-uniform kernel generates a constant map. In this paper we use two different methods to provide several infinite families of groups that are not synchronizing, but are almost synchronizing. The paper ends with a number of problems on synchronization likely to attract the attention of experts in computer science, combinatorics and geometry, groups and semigroups, linear algebra and matrix theory.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The Commuting Graph of the Symmetric Inverse Semigroup

The commuting graph of a finite non-commutative semigroup $S$, denoted $\cg(S)$, is a simple graph whose vertices are the non-central elements of $S$ and two distinct vertices $x,y$ are adjacent if $xy=yx$. Let $\mi(X)$ be the symmetric inverse semigroup of partial injective transformations on a finite set $X$. The semigroup $\mi(X)$ has the symmetric group $\sym(X)$ of permutations on $X$ as its group of units. In 1989, Burns and Goldsmith determined the clique number of the commuting graph of $\sym(X)$. In 2008, Iranmanesh and Jafarzadeh found an upper bound of the diameter of $\cg(\sym(X))$, and in 2011, Doluzan and Oblak claimed (but their proof has a GAP) that this upper bound is in fact the exact value. The goal of this paper is to begin the study of the commuting graph of the symmetric inverse semigroup $\mi(X)$. We calculate the clique number of $\cg(\mi(X))$, the diameters of the commuting graphs of the proper ideals of $\mi(X)$, and the diameter of $\cg(\mi(X))$ when $|X|$ is even or a power of an odd prime. We show that when $|X|$ is odd and divisible by at least two primes, then the diameter of $\cg(\mi(X))$ is either 4 or 5. In the process, we obtain several results about semigroups, such as a description of all commutative subsemigroups of $\mi(X)$ of maximum order, and analogous results for commutative inverse and commutative nilpotent subsemigroups of $\mi(X)$. The paper closes with a number of problems for experts in combinatorics and in group or semigroup theory.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The modularity conjecture holds for linear idempotent varieties

The &#34;Modularity Conjecture&#34; is the assertion that the join of two nonmodular varieties is nonmodular. We establish the veracity of this conjecture for the case of linear idempotent varieties. We also establish analogous results concerning $n$-permutability for some $n$, and the satisfaction of nontrivial congruence identities. Our theorems require a technical result about the equational theory of linear varieties, which might be of independent interest.

0 citations0 reviewsNo code linkedOpen access