Research output: Contribution to journal › Article › peer-review
Decompositions in Semirings. / Batueva, Ts Ch D.; Schwidefsky, M. V.
In: Siberian Mathematical Journal, Vol. 64, No. 4, 07.2023, p. 836-846.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - Decompositions in Semirings
AU - Batueva, Ts Ch D.
AU - Schwidefsky, M. V.
N1 - The research was carried out under the support of the Russian Science Foundation (Project 22–21–00104). Публикация для корректировки.
PY - 2023/7
Y1 - 2023/7
N2 - We prove that each element of a complete atomic $ l $ -semiring has a canonical decomposition.We also find some sufficient conditions for the decomposition to be uniquethat are expressed by first-order sentences.As a corollary, we obtain a theorem of Avgustinovich–Frid which claims thateach factorial language has the unique canonical decomposition.
AB - We prove that each element of a complete atomic $ l $ -semiring has a canonical decomposition.We also find some sufficient conditions for the decomposition to be uniquethat are expressed by first-order sentences.As a corollary, we obtain a theorem of Avgustinovich–Frid which claims thateach factorial language has the unique canonical decomposition.
KW - 512.558
KW - canonical decomposition
KW - factorial language
KW - ordered semigroup
KW - semiring
UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-85165566212&origin=inward&txGid=ed7a0d1522f7101b5eafccaa1c8f2e4c
UR - https://www.mendeley.com/catalogue/fafab51c-3589-3f61-93eb-243ed0d75ddd/
U2 - 10.1134/S0037446623040055
DO - 10.1134/S0037446623040055
M3 - Article
VL - 64
SP - 836
EP - 846
JO - Siberian Mathematical Journal
JF - Siberian Mathematical Journal
SN - 0037-4466
IS - 4
ER -
ID: 59258563