О пирсовских слоях полуколец с нормальной инволюцией

Автор: Никита Сергеевич Протасов

Журнал: Вестник Пермского университета. Математика. Механика. Информатика @vestnik-psu-mmi

Рубрика: Математика

Статья в выпуске: 1 (72), 2026 года.

Бесплатный доступ

В работе исследуется связь локальных и глобальных условий (полу)нормальности инволюций в *-полукольцах. Под нормальной инволюцией понимается такая инволюция, при которой из равенства aa*= 0 следует a = 0; полунормальная инволюция определяется более слабым условием: aSa*= 0 влечет a = 0. Установлено, что в риккартовых *-полукольцах любая инволюция является нормальной, а в pq-бэровских – полунормальной. Доказано, что при наличии полунормальной инволюции множество центральных дополняемых идемпотентов совпадает с множеством центральных проекций, что может быть использовано при изучении пирсовского пучка *-полуколец. Основной результат работы – доказательство следующих результатов: 1) инволюция в *-полукольце S является нормальной тогда и только тогда, когда она нормальна во всех слоях пирсовского пучка *-полукольца S; 2) инволюция в *-полукольце S, булева алгебра центральных проекций которого конечна, является полунормальной тогда и только тогда, когда она полунормальна во всех слоях пирсовского пучка *-полукольца S.

Еще

*-полукольцо, полукольцо с инволюцией, нормальная инволюция, полунормальная инволюция, риккартово полукольцо с инволюцией, pq-бэровское полукольцо с инволюцией, проекция, булева алгебра центральных проекций, пирсовский пучок, самосопряженный элемент

Еще

Короткий адрес: https://sciup.org/147253750

IDR: 147253750   |   УДК: 512.55   |   DOI: 10.17072/1993-0550-2026-1-35-42

On the Pierce Stalks of Semirings With Proper Involution

In this paper, we study the relationship between local and global conditions for proper and semiproper involutions in *-semirings. An involution is said to be proper if aa* = 0 implies a = 0. A semiproper involution is defined by a weaker condition: aSa*= 0 implies a = 0. It is established that in Rickart (pq-Baer) *-semirings any involution is proper (semiproper). It is proved that in the presence of a semiproper involution, the set of all central complemented idempotents coincides with the set of all central projections, which can be used in the study of the Pierce sheaf of *-semirings. The main result of the paper is the proof of the following results: 1) an involution in a *-semiring S is proper if and only if it is proper in all stalks of the Pierce sheaf of *-semiring S; 2) an involution in a *-semiring S whose Boolean algebra of central projections is finite is semiproper if and only if it is semiproper in all stalks of the Pierce sheaf of *-semiring S.

Еще