We consider the problem of the unification modulo an equational theory associativity and commutativity (ACh), which consists of a function symbol h that is homomorphic over an associative–commutative operator +. Since the unification modulo ACh theory is undecidable, we define a variant of the problem called bounded ACh unification. In this bounded version of ACh unification, we essentially bound the number of times h can be applied to a term recursively and only allow solutions that satisfy this bound. There is no bound on the number of occurrences of h in a term, and the + symbol can be applied an unlimited number of times. We give inference rules for solving the bounded version of the problem and prove that the rules are sound, complete, and terminating. We have implemented the algorithm in Maude and give experimental results. We argue that this algorithm is useful in cryptographic protocol analysis.

We present the form of the solutions $f:S\rightarrow \mathbb{C}$ of the functional equation

$$\begin{eqnarray}\mathop{\sum }_{\unicode[STIX]{x1D706}\in K}f(x+\unicode[STIX]{x1D706}y)=|K|f(x)f(y)\quad \text{for }x,y\in S,\end{eqnarray}$$

$f$

$f(\sum _{\unicode[STIX]{x1D706}\in K}\unicode[STIX]{x1D706}x)\neq 0$

$x\in S$

$(S,+)$

$K$

$S$

We identify a close relation between stable distributions and the limiting homomorphisms central to the theory of regular variation. In so doing some simplifications are achieved in the direct analysis of these laws in Pitman and Pitman (2016); stable distributions are themselves linked to homomorphy.

In this paper, for an arbitrary $\ell ^{1}$-Munn algebra $\mathfrak{A}$ over a Banach algebra $A$ with a sandwich matrix $P$, we characterise all homomorphisms from $\mathfrak{A}$ to a commutative Banach algebra $B$. Especially, we study the character space of this algebra. Then, as an application, its character amenability is investigated. Finally, we apply these results to certain semigroups, which are called Rees matrix semigroups.

We consider several familiar varieties of completely regular semigroups such as groups and completely simple semigroups. For each of them, we characterize their members in terms of absence of certain kinds of subsemigroups, as well as absence of certain divisors, and in terms of a homomorphism of a concrete semigroup into the semigroup itself. For each of these varieties $ \mathcal{V} $ we determine minimal non-$ \mathcal{V} $ varieties, provide a basis for their identities, determine their join and give a basis for its identities. Most of this is complete; one of the items missing is a basis for identities for minimal nonlocal orthogroups. Three tables and a figure illustrate the results obtained.

Let A and B be C*-algebras, let X be an essential Banach A-bimodule and let T : A → B and S : A → X be continuous linear maps with T surjective. Suppose that T(a)T(b) + T(b)T(a) = 0 and S(a)b + bS(a) + aS(b) + S(b)a = 0 whenever a, b ε A are such that ab = ba = 0. We prove that then T = wΦ and S = D + Ψ, where w lies in the centre of the multiplier algebra of B, Φ: A → B is a Jordan epimorphism, D: A → X is a derivation and Ψ: A → X is a bimodule homomorphism.

Let A be a commutative Banach algebra with identity of norm 1, X a Banach A-module and G a locally compact abeian group with Haar measure. Then the multipliers from an A -valued function algebra into an X-valued function space is studied. We characterize the multiplier spaces as the following isometrically isomorphic relations under some appropriate conditions:

All rings have an identity, all homomorphisms map identities to identities, all homomorphisms on algebras over fields are algebra homomorphisms. A ring R is a quotient-embeddable ring (a QE-ring) if for any proper ideal a of R there is an endomorphism of R whose kernel is the ideal a. A QE-ring U is a receptor of R if for any proper ideal a of R there is a homomorphism from R to U whose kernel is the ideal a.

Theorem. A ring R has a receptor if and only if it is a K-algebra over some field K contained in the center of R. If R is a commutative K-algebra of this type, then it has a commutative receptor.