| dbo:abstract
|
- En matemàtiques, un semigrup és una estructura algebraica consistent en un conjunt dotat d'una associativa. Un semigrup és doncs, un magma associatiu. Formalment, és un semigrup si: 1.
* (llei de composició interna). 2.
* (associativitat) Quan un semigrup té a més element neutre s'anomena monoide. (ca)
- V algebře je pologrupa algebraická struktura s jednou asociativní binární operací. Je to tedy grupoid, jehož operace je asociativní. (cs)
- في الرياضيات ، نصف الزمرة (بالإنجليزية: semigroup) هي بنية جبرية مؤلفة من مجموعة مغلقة بالنسبة لعملية ثنائية تجميعية. بكلام آخر تكون نصف الزمرة تجميعية . اشتق مصطلح نصف الزمرة من المصطلح الأساسي الزمرة . غالبا ما تمثل العملية في نصف الزمرة برمز الجداء أي، أو ببساطة xy وهي تعطي نتيجة تطبيق عملية نصف الزمرة الثنائية على الزوج المرتب : (x, y). هناك خلاف فيما إذا كانت المجموعة الخالية يمكن اعتبارها نصف زمرة أو لا . بدأت دراسة أنصاف الزمر في أوائل القرن العشرين لكن أهميتها بدأت في منتصف الخمسينات حين أصبحت نظرية انصاف الزمر المنتهية ذات أهمية في المعلوماتية النظرية بسبب الارتباط الطبيعي بين أنصاف الزمر المنتهية Finite automata (ar)
- Στα μαθημάτικά , μια ημιομάδα είναι μια που αποτελείται απο ενα σύνολο εφοδιασμένο με μία διμελή πράξη που επιπλέον είναι προσεταιριστική. Μία ημίομάδα πέραν απο τη συνήθη δόμη της μπορεί να εξοπλιστεί με πληθώρα ιδιοτήτων όπως αυτή της διάταξης (διατεταγμένη ημιομάδα), του ουδέτερου στοιχείου (μονοειδές) , του αντίστροφου στοιχείου , του μηδενικού στοιχείου κ.α. Ο κλάδος των ημιομάδων αποτελεί ενα σχετικά σύγχρονο επιστημονικο κλάδο καθώς άρχισε να μελετάται στις αρχές του 20ου αιώνα. Γύρω στο 1950 εφαρμόστηκε στην επιστήμη υπολογιστων μιας και υπάρχει άμεση σύνδεση μεταξύ πεπερασμένων ημιομάδων και μέσω συντακτικού μονοειδούς. Παράλληλα βρίσκει εφαρμογή σε διάφορους τομείς των εφαρμοσμένων μαθηματικών όπως στις αλυσίδες Μάρκοφ (θεωρία πιθανοτήτων) ,σε γραμμικά χρονικά αναλλοίωτα συστήματα , επίλυση μερικών διαφορικών εξισώσεων κ.α. (el)
- Duongrupo aŭ semigrupo en algebro estas algebra strukturo kun asocia interna duvalenta operacio, t.e. aro kun tia operacio , ke Alivorte, semigrupo estas laŭdifine asocia magmo.Kutime oni skribas (A, *) pri duongrupo sur aro A kun operacio *. Ekzemploj de duongrupo estas (N, ·), (Z, ·), (Q, ·), (R, ·), (C, ·), (N, +), (Z, +), (Q, +), (R, +) kaj (C, +) En duongrupo ne ĉiam ekzistas neŭtrala elemento kaj ne nepre ekzistas inverso por ĉiu elemento. (eo)
- In der Mathematik ist eine Halbgruppe eine algebraische Struktur bestehend aus einer Menge mit einer inneren zweistelligen Verknüpfung, die dem Assoziativgesetz genügt (also ein assoziatives Magma). Sie ist eine Verallgemeinerung einer Gruppe. (de)
- En mathématiques plus précisément en algèbre générale, un demi-groupe (ou semi-groupe) est une structure algébrique constituée d'un ensemble muni d'une loi de composition interne associative. Il est dit commutatif si sa loi est de plus commutative. (fr)
- Un semigrupo es un sistema algebraico de la forma en la cual A es un conjunto no vacío, es una operación interna definida en A: Un semigrupo cumple las dos siguientes propiedades: En otras palabras, un semigrupo es un magma asociativo. Si además se cumple la propiedad conmutativa: se dice que es un semigrupo conmutativo o abeliano. (es)
- Dalam matematika, semigrup adalah struktur aljabar yang terdiri dari himpunan dengan asosiatif operasi biner. Operasi biner semigroup paling sering dilambangkan perkalian: x·y, atau xy, menunjukkan hasil operasi semigrup ke pasangan terurut (x, y). Asosiatif secara formal diungkapkan (x·y)·z = x·(y·z) untuk semua x, y dan z diantara semigrup. Semigrup sebagai kasus khusus magma, dimana operasi asosiatif, atau sebagai generalisasi grup, tanpa elemen identitas atau invers. Dalam kasus grup atau magma, operasi semigrup non-komutatif, jadi x·y tidak harus sama dengan y·x; contoh yang terkenal dari operasi asosiatif tetapi non-komutatif adalah perkalian matriks. Jika operasi semigrup bersifat komutatif, maka semigrup disebut semigrup komutatif atau (lebih jarang disebut kasus analogi grup) ini bisa disebut semigrup abelian. Monoid adalah struktur aljabar antara grup dan semigrup, dan merupakan semigrup yang memiliki elemen identitas, dengan demikian mematuhi semua kecuali satu aksioma grup; keberadaan invers tidak diperlukan dari sebuah monoid. Contoh alami adalah dengan penggabungan sebagai operasi biner, dan string kosong sebagai elemen identitas. Membatasi ke tidak kosong memberikan contoh grup semigrup yang bukan monoid. Bilangan bulat positif dengan penjumlahan membentuk semigrup komutatif yang bukan monoid, sedangkan bilangan bulat non-negatif membentuk monoid. Semigrup tanpa elemen identitas dapat dengan diubah menjadi monoid dengan menambahkan elemen identitas. Maka, monoid dipelajari dalam teori semigrup dari teori grup. Semigrup tidak sama dengan grup semu, yang merupakan generalisasi grup ke arah yang berbeda; operasi dalam grup semu tidak menggunakan asosiatif tetapi grup semu dari grup gagasan pembagian. Pembagian dalam semigrup (atau dalam monoid) tidak dimungkinkan secara umum. Studi formal semigrup dimulai pada awal abad ke-20. Hasil awal termasuk teorema Cayley untuk semigrup sebagai transformasi semigrup, dimana fungsi arbitrer menggantikan peran bias dari teori grup. Hasil yang dalam dalam klasifikasi semigrup hingga adalah teori Krohn–Rhodes, analog dengan untuk grup hingga. Beberapa teknik lain untuk mempelajari semigrup, seperti Relasi Green, tidak menyerupai dalam teori grup. Teori semigrup hingga menjadi sangat penting dalam sejak tahun 1950-an karena relasi alami antara semigrup hingga dan melalui monoid sintaktik. Dalam teori probabilitas, semigrup dikaitkan dengan . Di bidang lain matematika terapan, semigrup adalah model fundamental untuk . Dalam persamaan diferensial parsial, semigrup dikaitkan dengan setiap persamaan yang evolusi spasialnya tidak bergantung pada waktu. Terdapat , semigrup dengan difat tambahan, yang muncul dalam aplikasi tertentu. Beberapa dari kelas ini bahkan lebih dekat ke grup dengan beberapa sifat tambahan tetapi tidak semua dari grup. Dari jumlah tersebut menyebutkan: , , , dan . Ada pula kelas dari semigrup yang tidak menggunakan grup kecuali ; contoh dari jenis yang terakhir adalah dan subkelas komutatifnya semikisi, lihat pula . (in)
- In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it. The binary operation of a semigroup is most often denoted multiplicatively: x·y, or simply xy, denotes the result of applying the semigroup operation to the ordered pair (x, y). Associativity is formally expressed as that (x·y)·z = x·(y·z) for all x, y and z in the semigroup. Semigroups may be considered a special case of magmas, where the operation is associative, or as a generalization of groups, without requiring the existence of an identity element or inverses. As in the case of groups or magmas, the semigroup operation need not be commutative, so x·y is not necessarily equal to y·x; a well-known example of an operation that is associative but non-commutative is matrix multiplication. If the semigroup operation is commutative, then the semigroup is called a commutative semigroup or (less often than in the analogous case of groups) it may be called an abelian semigroup. A monoid is an algebraic structure intermediate between semigroups and groups, and is a semigroup having an identity element, thus obeying all but one of the axioms of a group: existence of inverses is not required of a monoid. A natural example is strings with concatenation as the binary operation, and the empty string as the identity element. Restricting to non-empty strings gives an example of a semigroup that is not a monoid. Positive integers with addition form a commutative semigroup that is not a monoid, whereas the non-negative integers do form a monoid. A semigroup without an identity element can be easily turned into a monoid by just adding an identity element. Consequently, monoids are studied in the theory of semigroups rather than in group theory. Semigroups should not be confused with quasigroups, which are a generalization of groups in a different direction; the operation in a quasigroup need not be associative but quasigroups preserve from groups a notion of division. Division in semigroups (or in monoids) is not possible in general. The formal study of semigroups began in the early 20th century. Early results include a Cayley theorem for semigroups realizing any semigroup as transformation semigroup, in which arbitrary functions replace the role of bijections from group theory. A deep result in the classification of finite semigroups is Krohn–Rhodes theory, analogous to the Jordan–Hölder decomposition for finite groups. Some other techniques for studying semigroups, like Green's relations, do not resemble anything in group theory. The theory of finite semigroups has been of particular importance in theoretical computer science since the 1950s because of the natural link between finite semigroups and finite automata via the syntactic monoid. In probability theory, semigroups are associated with Markov processes. In other areas of applied mathematics, semigroups are fundamental models for linear time-invariant systems. In partial differential equations, a semigroup is associated to any equation whose spatial evolution is independent of time. There are numerous special classes of semigroups, semigroups with additional properties, which appear in particular applications. Some of these classes are even closer to groups by exhibiting some additional but not all properties of a group. Of these we mention: regular semigroups, orthodox semigroups, semigroups with involution, inverse semigroups and cancellative semigroups. There are also interesting classes of semigroups that do not contain any groups except the trivial group; examples of the latter kind are bands and their commutative subclass—semilattices, which are also ordered algebraic structures. (en)
- 数学における半群（はんぐん、英: semigroup）は、集合 S とその上の結合的二項演算とをあわせて考えた代数的構造である。言い換えれば、半群とは演算が結合的なマグマのことをいう。半群の名は、既存の群の概念に由来するものである。半群は、各元が必ずしも逆元を持たないこと（さらに、単位元すら持たないかもしれないこと）が、群と異なる。 半群の演算はほとんど乗法的に書かれる（順序対 (x, y) に対して演算を施した結果を x • y などで、あるいは単に xy で表す）。 半群についてきちんとした形での研究が行われるようになるのは20世紀の初めごろからである。半群は、「無記憶」系 ("memoryless" system) すなわち各反復時点でゼロから開始される時間依存系 (time-dependent system) の抽象代数的な定式化の基盤であるので、数学の各種分野において重要な概念である。応用数学においては、半群はの基本モデルである。また偏微分方程式論では、半群は空間発展的かつ時間非依存な任意の方程式に対応している。有限半群論は1950年代以降、有限半群と有限オートマトンとの間の自然な関連性から、理論計算機科学の分野で特に重要となった。確率論では半群はマルコフ過程に関連付けられている。 (ja)
- ( 이 문서는 대수 구조에 관한 것입니다. 반란을 일으킨 군대인 반군(叛軍)에 대해서는 반란 문서를 참고하십시오.) 추상대수학에서 반군(半群, 영어: semigroup)은 결합법칙을 따르는 하나의 이항 연산이 부여된 대수 구조이다. (ko)
- Een halfgroep of semigroep is in de wiskunde, meer specifiek in de abstracte algebra, een algebraïsche structuur die bestaat uit een verzameling samen met een associatieve binaire operatie. Een halfgroep is met andere woorden een associatief magma. De formele studie van halfgroepen begon ongeveer honderd jaar geleden, in het begin van de twintigste eeuw. Sinds de jaren vijftig is de theorie van de eindige halfgroepen van bijzonder belang geweest in de theoretische informatica, vooral vanwege het natuurlijke verband tussen eindige halfgroepen en eindigetoestandsautomaten. (nl)
- In matematica, un semigruppo è un insieme munito di un'operazione binaria associativa.In altre parole per semigruppo si intende una struttura algebricaespressa da una coppia (A,*) con A insieme e * funzione definita su tutto A × A a valori in A per la quale si ha . Equivalentemente si può definire come semigruppo ogni magma associativo. (it)
- Полугруппа в общей алгебре — множество с заданной на нём ассоциативной бинарной операцией . Существуют разногласия по поводу того, нужно ли включать требование непустоты в определение полугруппы; отдельные авторы даже настаивают на необходимости наличия нейтрального элемента («единицы»). Однако более общепринятым является подход, согласно которому полугруппа не обязательно является непустой и не обязательно содержит нейтральный элемент. Полугруппа с нейтральным элементом называется моноидом; любую полугруппу , не содержащую нейтральный элемент, можно превратить в моноид, добавив к ней некоторый элемент и определив полученный моноид обычно обозначается как . Примеры полугрупп: натуральные числа с операцией сложения, множество всех отображений множества в себя с операцией композиции, множество всех слов над некоторым алфавитом с операцией конкатенации. Любая группа является также и полугруппой; Идеал кольца всегда является полугруппой относительно операции умножения. (ru)
- En semigrupp (även halvgrupp) är, inom matematiken, en mängd med en associativ binär operator på mängden. En semigrupp är således en associativ magma. En semigrupp med ett neutralt element kallas monoid. Varje semigrupp S kan fås att bli en monoid genom att lägga till ett element e som inte ligger i S och definiera ee = e och es = s = se för alla s ∈ S. Några exempel på semigrupper:
* De positiva heltalen med addition.
* Varje monoid, och därför varje grupp.
* Varje ideal till en ring, med operationen multiplikation.
* Varje delmängd till en semigrupp, som är sluten under semigruppens operator.
* Mängden av alla ändliga strängar över något fixt alfabet Σ, med strängihopsättning som operator. Om den tomma strängen inkluderas, så är detta i själva verket en monoid, kallad "den fria monoiden över Σ"; om den exkluderas har vi en semigrupp kallad "den fria semigruppen över Σ". Två semigrupper S och T kallas isomorfa om det finns en bijektion f : S → T med egenskapen att, för alla element a, b i S, f(ab) = f(a)f(b), där juxtaposition anger den binära operationen i S respektive T. (sv)
- Półgrupa – grupoid, w którym działanie jest łączne, czyli zbiór z określonym na nim działaniem dwuargumentowym w którym dla wszelkich elementów zachodzi: Gdy działanie jest dodatkowo przemienne, półgrupę nazywa się przemienną bądź abelową. Szczególnymi przypadkami półgrup są:
* monoidy, w których wyróżniony jest ponadto element neutralny działania ;
* grupy, w których dodatkowo istnieje element neutralny, a każdy element ma dany element odwrotny. (pl)
- Um semigrupo pode ser definido de 2 maneiras completamente equivalentes 1.
* é um conjunto G dotado de uma operação binária para a qual valem as seguintes propriedades: 2. 1.
* fechamento: dado o elemento resultante da composição de a e b pertence a G 3. 2.
* associatividade: para todos vale 4.
* é um magma dotado da propriedade associativa (associatividade) 1.
* associatividade: para todos vale Acrescentando outros axiomas à operação binária *, temos:
* Monóide - se existe elemento neutro (pt)
- 在数学中，半群是闭合于结合性二元运算之下的集合 S 构成的代数结构。 半群的运算经常指示为乘号，也就是 或简写为 xy 来指示应用半群运算于有序对 (x, y) 的结果。 半群的正式研究开始于二十世纪早期。自从1950年代，有限半群的研究在理论计算机科学中变得特别重要，因为在有限半群和有限自动机之间有自然的联系。 (zh)
- Напівгрупа — алгебрична структура в абстрактній алгебрі з непорожньої множини та асоціативної бінарної операції (тобто, асоціативна магма). Відрізняється від групи тим, що для елементів множини може не існувати оберненого елемента і навіть може не існувати нейтрального елемента (одиниці). Моноїд — напівгрупа з нейтральним елементом. Довільну напівгрупу можна перетворити в моноїд, добавивши до неї деякий елемент e і визначивши es = se = s для всіх елементів моноїда. (uk)
|
| rdfs:comment
|
- En matemàtiques, un semigrup és una estructura algebraica consistent en un conjunt dotat d'una associativa. Un semigrup és doncs, un magma associatiu. Formalment, és un semigrup si: 1.
* (llei de composició interna). 2.
* (associativitat) Quan un semigrup té a més element neutre s'anomena monoide. (ca)
- V algebře je pologrupa algebraická struktura s jednou asociativní binární operací. Je to tedy grupoid, jehož operace je asociativní. (cs)
- Duongrupo aŭ semigrupo en algebro estas algebra strukturo kun asocia interna duvalenta operacio, t.e. aro kun tia operacio , ke Alivorte, semigrupo estas laŭdifine asocia magmo.Kutime oni skribas (A, *) pri duongrupo sur aro A kun operacio *. Ekzemploj de duongrupo estas (N, ·), (Z, ·), (Q, ·), (R, ·), (C, ·), (N, +), (Z, +), (Q, +), (R, +) kaj (C, +) En duongrupo ne ĉiam ekzistas neŭtrala elemento kaj ne nepre ekzistas inverso por ĉiu elemento. (eo)
- In der Mathematik ist eine Halbgruppe eine algebraische Struktur bestehend aus einer Menge mit einer inneren zweistelligen Verknüpfung, die dem Assoziativgesetz genügt (also ein assoziatives Magma). Sie ist eine Verallgemeinerung einer Gruppe. (de)
- En mathématiques plus précisément en algèbre générale, un demi-groupe (ou semi-groupe) est une structure algébrique constituée d'un ensemble muni d'une loi de composition interne associative. Il est dit commutatif si sa loi est de plus commutative. (fr)
- Un semigrupo es un sistema algebraico de la forma en la cual A es un conjunto no vacío, es una operación interna definida en A: Un semigrupo cumple las dos siguientes propiedades: En otras palabras, un semigrupo es un magma asociativo. Si además se cumple la propiedad conmutativa: se dice que es un semigrupo conmutativo o abeliano. (es)
- 数学における半群（はんぐん、英: semigroup）は、集合 S とその上の結合的二項演算とをあわせて考えた代数的構造である。言い換えれば、半群とは演算が結合的なマグマのことをいう。半群の名は、既存の群の概念に由来するものである。半群は、各元が必ずしも逆元を持たないこと（さらに、単位元すら持たないかもしれないこと）が、群と異なる。 半群の演算はほとんど乗法的に書かれる（順序対 (x, y) に対して演算を施した結果を x • y などで、あるいは単に xy で表す）。 半群についてきちんとした形での研究が行われるようになるのは20世紀の初めごろからである。半群は、「無記憶」系 ("memoryless" system) すなわち各反復時点でゼロから開始される時間依存系 (time-dependent system) の抽象代数的な定式化の基盤であるので、数学の各種分野において重要な概念である。応用数学においては、半群はの基本モデルである。また偏微分方程式論では、半群は空間発展的かつ時間非依存な任意の方程式に対応している。有限半群論は1950年代以降、有限半群と有限オートマトンとの間の自然な関連性から、理論計算機科学の分野で特に重要となった。確率論では半群はマルコフ過程に関連付けられている。 (ja)
- ( 이 문서는 대수 구조에 관한 것입니다. 반란을 일으킨 군대인 반군(叛軍)에 대해서는 반란 문서를 참고하십시오.) 추상대수학에서 반군(半群, 영어: semigroup)은 결합법칙을 따르는 하나의 이항 연산이 부여된 대수 구조이다. (ko)
- Een halfgroep of semigroep is in de wiskunde, meer specifiek in de abstracte algebra, een algebraïsche structuur die bestaat uit een verzameling samen met een associatieve binaire operatie. Een halfgroep is met andere woorden een associatief magma. De formele studie van halfgroepen begon ongeveer honderd jaar geleden, in het begin van de twintigste eeuw. Sinds de jaren vijftig is de theorie van de eindige halfgroepen van bijzonder belang geweest in de theoretische informatica, vooral vanwege het natuurlijke verband tussen eindige halfgroepen en eindigetoestandsautomaten. (nl)
- In matematica, un semigruppo è un insieme munito di un'operazione binaria associativa.In altre parole per semigruppo si intende una struttura algebricaespressa da una coppia (A,*) con A insieme e * funzione definita su tutto A × A a valori in A per la quale si ha . Equivalentemente si può definire come semigruppo ogni magma associativo. (it)
- Półgrupa – grupoid, w którym działanie jest łączne, czyli zbiór z określonym na nim działaniem dwuargumentowym w którym dla wszelkich elementów zachodzi: Gdy działanie jest dodatkowo przemienne, półgrupę nazywa się przemienną bądź abelową. Szczególnymi przypadkami półgrup są:
* monoidy, w których wyróżniony jest ponadto element neutralny działania ;
* grupy, w których dodatkowo istnieje element neutralny, a każdy element ma dany element odwrotny. (pl)
- Um semigrupo pode ser definido de 2 maneiras completamente equivalentes 1.
* é um conjunto G dotado de uma operação binária para a qual valem as seguintes propriedades: 2. 1.
* fechamento: dado o elemento resultante da composição de a e b pertence a G 3. 2.
* associatividade: para todos vale 4.
* é um magma dotado da propriedade associativa (associatividade) 1.
* associatividade: para todos vale Acrescentando outros axiomas à operação binária *, temos:
* Monóide - se existe elemento neutro (pt)
- 在数学中，半群是闭合于结合性二元运算之下的集合 S 构成的代数结构。 半群的运算经常指示为乘号，也就是 或简写为 xy 来指示应用半群运算于有序对 (x, y) 的结果。 半群的正式研究开始于二十世纪早期。自从1950年代，有限半群的研究在理论计算机科学中变得特别重要，因为在有限半群和有限自动机之间有自然的联系。 (zh)
- Напівгрупа — алгебрична структура в абстрактній алгебрі з непорожньої множини та асоціативної бінарної операції (тобто, асоціативна магма). Відрізняється від групи тим, що для елементів множини може не існувати оберненого елемента і навіть може не існувати нейтрального елемента (одиниці). Моноїд — напівгрупа з нейтральним елементом. Довільну напівгрупу можна перетворити в моноїд, добавивши до неї деякий елемент e і визначивши es = se = s для всіх елементів моноїда. (uk)
- في الرياضيات ، نصف الزمرة (بالإنجليزية: semigroup) هي بنية جبرية مؤلفة من مجموعة مغلقة بالنسبة لعملية ثنائية تجميعية. بكلام آخر تكون نصف الزمرة تجميعية . اشتق مصطلح نصف الزمرة من المصطلح الأساسي الزمرة . غالبا ما تمثل العملية في نصف الزمرة برمز الجداء أي، أو ببساطة xy وهي تعطي نتيجة تطبيق عملية نصف الزمرة الثنائية على الزوج المرتب : (x, y). هناك خلاف فيما إذا كانت المجموعة الخالية يمكن اعتبارها نصف زمرة أو لا . (ar)
- Στα μαθημάτικά , μια ημιομάδα είναι μια που αποτελείται απο ενα σύνολο εφοδιασμένο με μία διμελή πράξη που επιπλέον είναι προσεταιριστική. Μία ημίομάδα πέραν απο τη συνήθη δόμη της μπορεί να εξοπλιστεί με πληθώρα ιδιοτήτων όπως αυτή της διάταξης (διατεταγμένη ημιομάδα), του ουδέτερου στοιχείου (μονοειδές) , του αντίστροφου στοιχείου , του μηδενικού στοιχείου κ.α. Ο κλάδος των ημιομάδων αποτελεί ενα σχετικά σύγχρονο επιστημονικο κλάδο καθώς άρχισε να μελετάται στις αρχές του 20ου αιώνα. Γύρω στο 1950 εφαρμόστηκε στην επιστήμη υπολογιστων μιας και υπάρχει άμεση σύνδεση μεταξύ πεπερασμένων ημιομάδων και μέσω συντακτικού μονοειδούς. Παράλληλα βρίσκει εφαρμογή σε διάφορους τομείς των εφαρμοσμένων μαθηματικών όπως στις αλυσίδες Μάρκοφ (θεωρία πιθανοτήτων) ,σε γραμμικά χρονικά αναλλοίωτα συστήμ (el)
- Dalam matematika, semigrup adalah struktur aljabar yang terdiri dari himpunan dengan asosiatif operasi biner. Operasi biner semigroup paling sering dilambangkan perkalian: x·y, atau xy, menunjukkan hasil operasi semigrup ke pasangan terurut (x, y). Asosiatif secara formal diungkapkan (x·y)·z = x·(y·z) untuk semua x, y dan z diantara semigrup. (in)
- In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it. The binary operation of a semigroup is most often denoted multiplicatively: x·y, or simply xy, denotes the result of applying the semigroup operation to the ordered pair (x, y). Associativity is formally expressed as that (x·y)·z = x·(y·z) for all x, y and z in the semigroup. (en)
- En semigrupp (även halvgrupp) är, inom matematiken, en mängd med en associativ binär operator på mängden. En semigrupp är således en associativ magma. En semigrupp med ett neutralt element kallas monoid. Varje semigrupp S kan fås att bli en monoid genom att lägga till ett element e som inte ligger i S och definiera ee = e och es = s = se för alla s ∈ S. Några exempel på semigrupper: Två semigrupper S och T kallas isomorfa om det finns en bijektion f : S → T med egenskapen att, för alla element a, b i S, f(ab) = f(a)f(b), där juxtaposition anger den binära operationen i S respektive T. (sv)
- Полугруппа в общей алгебре — множество с заданной на нём ассоциативной бинарной операцией . Существуют разногласия по поводу того, нужно ли включать требование непустоты в определение полугруппы; отдельные авторы даже настаивают на необходимости наличия нейтрального элемента («единицы»). Однако более общепринятым является подход, согласно которому полугруппа не обязательно является непустой и не обязательно содержит нейтральный элемент. Полугруппа с нейтральным элементом называется моноидом; любую полугруппу , не содержащую нейтральный элемент, можно превратить в моноид, добавив к ней некоторый элемент и определив полученный моноид обычно обозначается как . (ru)
|
