a subgroup $h$ is said to be $s$-permutable in a group $g$‎, ‎if‎ ‎$hp=ph$ holds for every sylow subgroup $p$ of $g$‎. ‎if there exists a‎ ‎subgroup $b$ of $g$ such that $hb=g$ and $h$ permutes with every‎ ‎sylow subgroup of $b$‎, ‎then $h$ is said to be $ss$-quasinormal in‎ ‎$g$‎. ‎in this paper‎, ‎we say that $h$ is a weakly $ss$-quasinormal‎ ‎subgroup of $g$‎, ‎if there is a normal subgroup ...

We show that some results from the theory of group automata and monoid automata still hold for more general classes of monoids and models. Extending previous work for finite automata over commutative groups, we prove that the context-free language L1 ∗ = {ab : n ≥ 1}∗ can not be recognized by any rational monoid automaton over a finitely generated permutable monoid. We show that the class of la...

Tiling is a technique used for exploiting medium-grain parallelism in nested loops. It relies on a rst step that detects sets of permutable nested loops. All algorithms developed so far consider the statements of the loop body as a single block, in other words, they are not able to take advantage of the structure of dependences between diierent statements. In this paper, we overcome this limita...

A subgroup H is said to be s-permutable in a group G, if HP = PH holds for every Sylow subgroup P of G. If there exists a subgroup B of G such that HB = G and H permutes with every Sylow subgroup of B, then H is said to be SS-quasinormal in G. In this paper, we say that H is a weakly SS-quasinormal subgroup of G, if there is a normal subgroup T of G such that HT is s-permutable and H ∩ T is SS-...

We propose local versions of monotonicity for Boolean and pseudoBoolean functions: say that a pseudo-Boolean (Boolean) function is p-locally monotone if none of its partial derivatives changes in sign on tuples which differ in less than p positions. As it turns out, this parameterized notion provides a hierarchy of monotonicities for pseudo-Boolean (Boolean) functions. Local monotonicities are ...

Partial orders and the clones of functions preserving them have been thoroughly studied in recent years. The topic of this papers is strict orders which are irreflexive, asymmetric and transitive subrelations of partial orders. We call an algebra A = (A,Ω) strictly order primal if for some strict order (A,<) the term functions are precisely the functions which preserve this strict order. Our ap...

Tiling is a technique used for exploitingmedium grain parallelism in nested loops It relies on a rst step that detects sets of permutable nested loops All algorithms developed so far consider the statements of the loop body as a single block in other words they are not able to take advantage of the structure of dependences between di erent statements In this report we overcome this limitation b...