The order of hypersubstitutions, all idempotent elements on the monoid of all hypersubstitutions of type τ 2 were studied by K. Denecke and Sh. L. Wismath and all idempotent elements on the monoid of all hypersubstitutions of type τ 2, 2 were studied by Th. Changpas and K. Denecke. We want to study similar problems for the monoid of all generalized hypersubstitutions of type τ 2 . In this paper...

We consider a common generalization of the embedding and intersection problems for latin squares. Specifically, we extend the definition of embedding to squares whose sides do not meet the necessary condition for embedding and extend the intersection problem to squares of different orders. Results are given for arbitrary latin squares, and those which are idempotent and idempotent symmetric. Th...

A language L ⊆ A∗ is literally idempotent in case that uav ∈ L if and only if uav ∈ L, for each u, v ∈ A∗, a ∈ A. We already studied classes of such languages closely related to the (positive) varieties of the famous StraubingThérien hierarchy. In the present paper we start a systematic study of literal varieties of literally idempotent languages, namely we deal with the case of two letter alph...

We show that every (finite or not) typing derivation of system M, using non-idempotent intersection, which is the infinitary version of de Carvalho’s system M0, can be represented in a rigid, non-idempotent intersection type system S. Namely, whereas non-idempotent intersection is represented by multisets in system M, system S resort to families of types indexed by integers, called tracks. The ...

We construct the freest idempotent-pure expansion of an inverse semigroup, generalizing an expansion of Margolis and Meakin for the group case. We also generalize the Birget-Rhodes prefix expansion to inverse semigroups with an application to partial actions of inverse semigroups. In the process of generalizing the latter expansion, we are led to a new class of idempotent-pure homomorphisms whi...

Cyclic codes are very useful in error correcting codes. Hence, the construction of good cyclic codes is of utmost importance. A generic class of polynomials called generator polynomials is used to construct the cyclic codes. Finding a generator polynomial necessitates factoring a base polynomial called monic polynomial. Unfortunately, factoring a polynomial is not always an easy task. Idempoten...

A graph G is said to be hom-idempotent if there is a homomorphism from G2 to G, and weakly hom-idempotent if for some n ≥ 1 there is a homomorphism from Gn+1 to Gn . We characterize both classes of graphs in terms of a special class of Cayley graphs called normal Cayley graphs. This allows us to construct, for any integer n, a Cayley graph G such that Gn+1 → Gn 6→ Gn−1, answering a question of ...

A new bidirectional isolated Zero-VoltageSwitching (ZVS) DC-DC converter with nonpulsating input and output current is proposed. This converter is ideally suited for battery charging application and is applied as a submodule in a battery storage system based on a modular multilevel converter (MC). The current output of the proposed DC-DC converter enables small current ripple for directly inter...

Each symplectic group over the field of two elements has two exceptional doubly transitive actions on sets of quadratic forms on the defining symplectic vector space. This paper studies the associated 2-modular permutation modules. Filtrations of these modules are constructed which have subquotients which are modules for the symplectic group over an algebraically closed field of characteristic ...