# Search results for: Klaus Denecke

*s ≈ t*is normal when neither of the terms

*s*and

*t*is a variable. Using several common measures of the complexity of a term, this requires exactly that both

*s*and t have complexity ≥ 1. We generalize this definition to any integer

*k*≥1 by saying that a non-trivial identity

*s ≈ t*is

*k*-normal when both

*s*and

*t*have complexity ≥

*k*. A variety will be called

*k*-normal when all its...

Discussiones Mathematicae - General Algebra and Applications > 2012 > 32 > 1 > 115-136

Discussiones Mathematicae - General Algebra and Applications > 2012 > 32 > 1 > 101-114

Discussiones Mathematicae - General Algebra and Applications > 2009 > 29 > 1 > 47-74

Discussiones Mathematicae - General Algebra and Applications > 2009 > 29 > 2 > 123-151

Discussiones Mathematicae - General Algebra and Applications > 2008 > 28 > 1 > 91-119

Semigroup Forum > 2008 > 76 > 3 > 525-539

*σ*which takes the binary operation symbols

*f*and

*g*to binary terms

*σ*(

*f*) and

*σ*(

*g*). Any such

*σ*can be inductively extended to a map on the set of all terms of type (2,2). By using this extension on the set

*Hyp*(2,2) of all hypersubstitutions of type (2,2) a binary operation can be defined. Together with the identity hypersubstitution mapping...

Studia Logica > 2008 > 90 > 2 > 263-286

Discussiones Mathematicae - General Algebra and Applications > 2007 > 27 > 2 > 245-262

Science China Mathematics > 2007 > 50 > 5 > 715-726

*G*be a finite group and

*S*be a finite simple group. In this paper, we prove that if

*G*and

*S*have the same sets of all orders of solvable subgroups, then

*G*is isomorphic to

*S*, or

*G*and

*S*are isomorphic to

*B*

_{n}(

*q*),

*C*

_{n}(

*q*), where

*n*⩾ 3 and

*q*is odd. This gives a positive answer to the problem put forward by Abe and Iiyori.

Acta Mathematica Sinica, English Series > 2007 > 23 > 4 > 659-670

*M*-hyperidentities. A variety in which every identity is satisfied as a hyperidentity is called solid. If every identity is an

*M*-hyperidentity for a subset

*M*of the set of all hypersubstitutions, the...

Discussiones Mathematicae - General Algebra and Applications > 2006 > 26 > 1 > 85-109

Discussiones Mathematicae - General Algebra and Applications > 2006 > 26 > 2 > 233-251

Discussiones Mathematicae - General Algebra and Applications > 2005 > 25 > 1 > 89-101

Discussiones Mathematicae - General Algebra and Applications > 2003 > 23 > 1 > 31-43

Discussiones Mathematicae - General Algebra and Applications > 2003 > 23 > 2 > 139-148

Discussiones Mathematicae - General Algebra and Applications > 2001 > 21 > 2 > 175-200

Discussiones Mathematicae - General Algebra and Applications > 2001 > 21 > 2 > 219-227

Discussiones Mathematicae - General Algebra and Applications > 2000 > 20 > 2 > 183-192