The lattice of equational classes of idempotent semigroups is completely described. It is shown that every equational class of idempotent semigroups is determined by a single equation (in addition to the associative and idempotent equations). A method is presented for finding which class a given equation determines, and when the class determined by one equation is contained in the class determined by a second equation. / Thesis / Doctor of Philosophy (PhD)

Die Arbeit beschäftigt sich mit fast-idempotenten Halbringen, die eine Verallgemeinerung der idempotenten Halbringe darstellen. Es werden - ausgehend von Halbringen mit zwei Elementen - bis auf isomorphe Bilder sämtliche fast-idempotente Halbringe mit drei Elementen generiert, diejenigen Halbringe, die schon in durch zweielementige Halbringe erzeugten Varietäten liegen, aussortiert und die in den verbleibenden elf Halbringen gültigen Gleichungen charakterisiert. Der Verband L(IA3) der Varietäten generiert durch fast-idempotente Halbringe mit maximal drei Elementen wird mit Hilfe eines Kontexts mit 21 Halbringen als Attribute und 28 trennenden Gleichungen als Objekte vollständig bestimmt und besteht aus 19.901 Varietäten. Im Anschluss richtet sich der Fokus der Arbeit auf den Verband L(IA) der fast-idempotenten Halbringe. In diesem werden insbesondere die Varietät V = [xy = yx, xy = xy+x] und deren Untervarietäten V_k = [x^k = x^(k+1)], k >= 2; untersucht. Für all diese Varietäten wird jeweils eine Konstruktionsmethode für eine abzählbare Kette an Untervarietäten der gegebenen Varietät eingeführt und somit schließlich gezeigt, dass der Verband L(IA) aus mindestens abzählbar unendlich vielen Varietäten besteht.

Die Arbeit beschäftigt sich mit fast-idempotenten Halbringen, die eine Verallgemeinerung der idempotenten Halbringe darstellen. Es werden - ausgehend von Halbringen mit zwei Elementen - bis auf isomorphe Bilder sämtliche fast-idempotente Halbringe mit drei Elementen generiert, diejenigen Halbringe, die schon in durch zweielementige Halbringe erzeugten Varietäten liegen, aussortiert und die in den verbleibenden elf Halbringen gültigen Gleichungen charakterisiert. Der Verband L(IA3) der Varietäten generiert durch fast-idempotente Halbringe mit maximal drei Elementen wird mit Hilfe eines Kontexts mit 21 Halbringen als Attribute und 28 trennenden Gleichungen als Objekte vollständig bestimmt und besteht aus 19.901 Varietäten. Im Anschluss richtet sich der Fokus der Arbeit auf den Verband L(IA) der fast-idempotenten Halbringe. In diesem werden insbesondere die Varietät V = [xy = yx, xy = xy+x] und deren Untervarietäten V_k = [x^k = x^(k+1)], k >= 2; untersucht. Für all diese Varietäten wird jeweils eine Konstruktionsmethode für eine abzählbare Kette an Untervarietäten der gegebenen Varietät eingeführt und somit schließlich gezeigt, dass der Verband L(IA) aus mindestens abzählbar unendlich vielen Varietäten besteht.

Let P and Q be two idempotents, we review the results about the equivalence between the invertibility of a linear combination aP +bQ and that of P +Q, where a and b are any nonzero complex numbers with a + b eq 0. It is possible to extend the results to the case P and Q are square-zero elements. However, we will show that these extensions are impossible in general for P and Q being partial isometries or n-potents with n geq 3. We will show in case P and Q are square-zero elements, the invertibility of P +Q is equivalent to that of aP +bQ for nonzero a, b.

Tech. Universiẗat, Diss., 2003--Aachen.

This thesis covers the topic of the computation of Galois groups over the rationals. Beginning with the classic algorithm by R. Stauduhar, we then review the theory necessary to explain the modular algorithm by K. Yokoyama. More precisely, we discuss the notion of the universal splitting ring of a polynomial. For a separable polynomial, we then study idempotents in the universal splitting ring. The modular algorithm involves computations in the ring of p-adic integers. Examples are given for polynomials of degree 3 and 4.

No description available.

Ce manuscrit a été rédigé en vue d'obtenir l'habilitation à diriger des recherches. J'y présente mon implication dans l'enseignement supérieur et la recherche au sein de l'Université d'Angers depuis mon recrutement en tant que maître de conférences, et plus précisément en tant qu'enseignant à l'ISTIA et en tant que chercheur au LISA. Au LISA, dirigé par Jean-Louis Ferrier au moment de mon recrutement, j'ai intégré l'équipe Modèles et Systèmes Dynamiques. Mon travail de recherche a profité des interactions avec les différents membres de cette équipe, et en particulier avec Jean-Louis Boimond (comme le laisseront apparaître les références dans la suite de ce manuscrit). Il concerne le comportement temporisé des systèmes à événements discrets en utilisant des modèles définis sur une structure algébrique de semi-anneau idempotent, encore appelée dioïde. Le document est structuré de la manière suivante. - Le premier chapitre présente mon curriculum vitae ainsi qu'un survol général de mes activités de recherche. - Le deuxième chapitre fait une synthèse plus détaillée de travaux motivés par deux préoccupations principales durant ces onze dernières années : élargir la classe des modèles relevant de la théorie des systèmes sur l'algèbre des dioïdes ; appliquer les résultats de la théorie des systèmes sur les dioïdes à l'analyse des systèmes de transport. En annexe, trois publications sont jointes pour que le lecteur puisse trouver plus de détails sur ces travaux. - Dans le troisième et dernier chapitre, je tire un bilan et envisage des perspectives à mes travaux.

In this paper, we provide a generalization of binary quadratic residue codes to the cases of higher power prime residues over the finite field of the same order, which we will call qth power residue codes. We find generating polynomials for such codes, define a new notion corresponding to the binary concept of an idempotent, and use this to find square root lower bound for the codeword weight of the duals of such codes, which leads to a lower bound on the weight of the codewords themselves. In addition, we construct a family of asymptotically bad qth power residue codes. / text

For $n\geq2$, a variety $\mathcal{V}$ is said to be congruence $n$-permutable if every algebra $\mathbf{A}\in\mathcal{V}$ satisfies $\alpha\circ^n\beta=\beta\circ^n\alpha$, for all $\alpha,\beta\in \Con(\mathbf{A})$. Furthermore, given any algebra $\mathbf{A}$ and $k\geq1$, a $k$-dimensional Hagemann relation on $\mathbf{A}$ is a reflexive compatible relation $R\subseteq A\times A$ such that $R^{-1}\not\subseteq R\circ^k R$. A famous result of J. Hagemann and A. Mitschke shows that a variety $\mathcal{V}$ is congruence $n$-permutable if and only if $\mathcal{V}$ has no member carrying an $(n-1)$-dimensional Hagemann relation: by using this criterion, we provide another Maltsev characterization of congruence $n$-permutability, equivalent to the well-known Schmidt's and Hagemann-Mitschke's (\cite{HagMit}) term-based descriptions. We further establish that the omission by varieties of certain special configurations of Hagemann relations induces the satisfaction of suitable Maltsev conditions. These omission properties may be used to characterize congruence $n$-permutable idempotent varieties for some $n\geq2$, congruence 2-permutable idempotent varieties and congruence 3-permutable locally finite idempotent varieties, yielding that the following are prime Maltsev conditions: \begin{enumerate} \item congruence $n$-permutability for some $n\geq2$ with respect to idempotent varieties; \item congruence 2-permutability with respect to idempotent varieties; \item congruence 3-permutability with respect to locally finite idempotent varieties. \end{enumerate} Finally, we focus on the analysis of a family of strong Maltsev conditions, which we denote by $\{\mathcal{D}_n:2\leq n<\omega\}$, such that any variety $\mathcal{V}$ is congruence $n$-permutable whenever $\mathcal{D}_n$ is interpretable in $\mathcal{V}$. Among various other properties, we also show that the $\mathcal{D}_n$'s with odd $n\geq3$ generate decomposable strong Maltsev filters in the lattice of interpretability types. / Thesis / Doctor of Philosophy (PhD)