Morita Equivalence of Many-sorted Algebraic Theories

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F06%3A00125934" target="_blank" >RIV/68407700:21230/06:00125934 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Morita Equivalence of Many-sorted Algebraic Theories
Popis výsledku v původním jazyce
Algebraic theories are called Morita equivalent provided that the corresponding varieties of algebras are equivalent. Generalizing Dukarm's result from one-sorted theories to many-sorted ones, we prove that all theories Morita equivalent to an S-sorted theory T are obtained as idempotent modifications of T. This is analogous to the classical result of Morita that all rings Morita equivalent to a ring R are obtained as idempotent modifications of matrix rings of R. (c) 2006 Published by Elsevier Inc.
Název v anglickém jazyce
Morita Equivalence of Many-sorted Algebraic Theories
Popis výsledku anglicky
Algebraic theories are called Morita equivalent provided that the corresponding varieties of algebras are equivalent. Generalizing Dukarm's result from one-sorted theories to many-sorted ones, we prove that all theories Morita equivalent to an S-sorted theory T are obtained as idempotent modifications of T. This is analogous to the classical result of Morita that all rings Morita equivalent to a ring R are obtained as idempotent modifications of matrix rings of R. (c) 2006 Published by Elsevier Inc.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Rok uplatnění
2006
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)