Standard

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 journalArticlepeer-review

Harvard

Batueva, TCD & Schwidefsky, MV 2023, 'Decompositions in Semirings', Siberian Mathematical Journal, vol. 64, no. 4, pp. 836-846. https://doi.org/10.1134/S0037446623040055

APA

Vancouver

Batueva TCD, Schwidefsky MV. Decompositions in Semirings. Siberian Mathematical Journal. 2023 Jul;64(4):836-846. doi: 10.1134/S0037446623040055

Author

Batueva, Ts Ch D. ; Schwidefsky, M. V. / Decompositions in Semirings. In: Siberian Mathematical Journal. 2023 ; Vol. 64, No. 4. pp. 836-846.

BibTeX

@article{ce829e87d78c4eb89789018c839fe676,
title = "Decompositions in Semirings",
abstract = "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.",
keywords = "512.558, canonical decomposition, factorial language, ordered semigroup, semiring",
author = "Batueva, {Ts Ch D.} and Schwidefsky, {M. V.}",
note = "The research was carried out under the support of the Russian Science Foundation (Project 22–21–00104). Публикация для корректировки.",
year = "2023",
month = jul,
doi = "10.1134/S0037446623040055",
language = "English",
volume = "64",
pages = "836--846",
journal = "Siberian Mathematical Journal",
issn = "0037-4466",
publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",
number = "4",

}

RIS

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