Nilsemigroup - Nilsemigroup - Wikipedia

Matematikte ve daha doğrusu yarı grup teori, bir Nilsemigroup veya üstelsıfır yarı grup her elemanı olan bir yarı gruptur üstelsıfır.

Tanımlar

Resmi olarak, bir yarı grup S bir nilsemigroup, eğer:

  • S içerir 0 ve
  • her eleman için aS, pozitif bir tam sayı var k öyle ki ak=0.

Sonlu nilsemigroups

Sonlu yarı grup için eşdeğer tanımlar mevcuttur. Sonlu bir yarı grup S üstelsıfırdır, eşdeğer olarak:

  • her biri için , nerede kardinalliği S.
  • Sıfır, tek idempotentidir S.

Örnekler

Tek bir elemanın önemsiz yarı grubu, önemsiz bir şekilde nilsemigruptur.

Kümesi kesinlikle üst üçgen matris matris çarpımı ile üstelsıfırdır.

İzin Vermek pozitif gerçek sayıların sınırlı bir aralığı. İçin x, y ait ben, tanımlamak gibi . Şimdi bunu gösteriyoruz sıfır olan bir nilsemigrubu n. Her doğal sayı için k, kx eşittir . İçin k en azından eşit , kx eşittir n. Bu örnek, herhangi bir sınırlı aralık için genelleme Arşimet sıralı yarı grup.

Özellikleri

Önemsiz olmayan bir nilsemigroup, bir kimlik öğesi içermez. Buradan tek üstelsıfır monoidin önemsiz monoid olduğu sonucu çıkar.

Nilsemigroups sınıfı:

  • alt gruplar alarak kapatıldı
  • alma altında kapalı bölümler
  • sonlu ürünler altında kapalı
  • ama değil keyfi olarak kapalı direkt ürün. Aslında, yarı grubu al , nerede yukarıdaki gibi tanımlanır. Yarı grup S nilsemigroups öğesinin doğrudan bir ürünüdür, ancak üstelsıfır öğe içermez.

Bu, nilsemigroups sınıfının bir evrensel cebir çeşitliliği. Ancak, sonlu nilsemigroups kümesi bir sonlu yarı grupların çeşitliliği. Sonlu sıfır gruplarının çeşitliliği vurgulu eşitlikler tarafından tanımlanır .

Referanslar

  • Pin, Jean-Éric (2018-06-15). Otomata Teorisinin Matematiksel Temelleri (PDF). s. 198.
  • Grillet, PA (1995). Yarıgruplar. CRC Basın. s. 110. ISBN  978-0-8247-9662-4.