Results 221 to 230 of about 597,740 (256)

All 2-Solid Varieties of Semigroups

Semigroup Forum, 2000
For a given type \(\tau\), a mapping from a set of operation symbols into the set of all terms of type \(\tau\) is called a hypersubstitution. The set \(\text{Hyp}(\tau)\) of all hypersubstitutions is a monoid with respect to composition and the identity map.
openaire   +2 more sources

\(M\)-solid varieties of semigroups

1995
Fix a type \(\tau = (n_i)_{i \in I}\), \(n_i > 0\) for all \(i \in I\), and operation symbols \((f_i)_{i \in I}\), where \(f_i\) is \(n_i\)-ary. Let \(W_\tau(X)\) be the set of all terms of type \(\tau\) over some fixed alphabet \(X\). A mapping \(\sigma: \{f_i \mid i\in I\} \to W_\tau(X)\) is called a hypersubstitution of type \(\tau\) if it assigns ...
Denecke, Klaus-Dieter, Koppitz, Jörg
openaire   +2 more sources

M-Solid Varieties of Semigroups

2006
exaly   +2 more sources

M-Solid Varieties of Algebras

2006
exaly   +2 more sources

Varieties of magnetic order in solids

Contemporary Physics, 1982
Abstract Mictomagnetism, metamagnetism, asperomagnetism, sperimagnet-ism, speromagnetism, spin glass or cluster glass—this string of jargon is part of a score or more of new terms recently added to the lexicon of magnetism. Few of them appear in standard textbooks.
openaire   +1 more source

\(M\)-solid polynomial varieties of semigroups

2001
In a previous article by the same authors [Contributions to general algebra 12, 155-163 (2000; Zbl 0970.20032)] it was proved that there exist exactly 2 non-trivial solid polynomial varieties of semigroups which are definable by identities, namely the polynomial varieties given by the identities \(\{xyz=xy\}\) and \(\{xy=x^2y=xy^2\), \(xyzt=xzyt ...
Denecke, Klaus-Dieter, Leeratanavalee, Sorasak   +1 more
openaire   +2 more sources

G. Birkhoff's theorems for M -solid varieties

Algebra Universalis, 1998
Let \(M\) be a submonoid of hypersubstitutions of type \(\tau \). For an algebra \(A=(A,(f_i\); \(i\in I))\) of type \(\tau \) and for \(\delta \in M\), an algebra \((A,(\delta (f_i)\); \(i\in I))\) is called an \(M\)-derived algebra of \(A\). Further, \(D_M\) denotes the operator of taking \(M\)-derived algebras. An \(M\)-hypervariety of type \(\tau \)
openaire   +3 more sources

Boolean Operations on Solids Bounded by a Variety of Surfaces

1991
In the CAD/CAM/CAE field, it is important that solid modeling systems support and handle characteristics of many different types of surfaces. This paper describes a Boolean operations algorithm for such solid modeling systems. The algorithm works for solids with a wide range of surfaces.
Toshiaki Satoh, Teiji Takamura, Hiroshi Toriya, Hiroaki Chiyokura   +3 more
openaire   +2 more sources

Lattices of \(M\)-solid generalized varieties and \(M\)-solid pseudovarieties

2003
The authors elaborate on lattices and Galois connections arising from a certain seemingly self-induced generalization of concepts conceived by \textit{C. J. Ash} [J. Algebra 92, 104--115 (1985; Zbl 0548.08007)] and \textit{E. Graczyńska, R. Pöschel} and \textit{M.Volkov} [in: K. Denecke et al.
Denecke, Klaus-Dieter, Pibaljommee, Bundit   +1 more
openaire   +2 more sources

Pre-solid varieties of semigroups

1995
An identity \(t \approx t'\) of terms of type \(\tau\) is called a hyperidentity [pre-hyperidentity] of a variety \(V\) of this type if substituting terms of the appropriate arity [which are different from variables for operation symbols] the resulting identities are valid in \(V\).
Denecke, Klaus-Dieter, Koppitz, Jörg
openaire   +2 more sources