This HTML5 document contains 295 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbt	http://dbpedia.org/resource/Template:
dbpedia-el	http://el.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-sv	http://sv.dbpedia.org/resource/
n58	http://ia.dbpedia.org/resource/
dbpedia-fi	http://fi.dbpedia.org/resource/
dbr	http://dbpedia.org/resource/
dbpedia-sh	http://sh.dbpedia.org/resource/
dbpedia-hr	http://hr.dbpedia.org/resource/
dbpedia-ar	http://ar.dbpedia.org/resource/
dbpedia-ms	http://ms.dbpedia.org/resource/
dbpedia-et	http://et.dbpedia.org/resource/
dbpedia-he	http://he.dbpedia.org/resource/
n31	http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-fr	http://fr.dbpedia.org/resource/
dbpedia-pms	http://pms.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-cs	http://cs.dbpedia.org/resource/
dbpedia-az	http://az.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n59	http://dbpedia.org/resource/File:
dbp	http://dbpedia.org/property/
dbpedia-eo	http://eo.dbpedia.org/resource/
xsdh	http://www.w3.org/2001/XMLSchema#
dbpedia-uk	http://uk.dbpedia.org/resource/
dbpedia-id	http://id.dbpedia.org/resource/
n26	https://erikerlandson.github.io/blog/2016/09/05/expressing-map-reduce-as-a-left-folding-monoid/
dbo	http://dbpedia.org/ontology/
dbpedia-sr	http://sr.dbpedia.org/resource/
dbpedia-vi	http://vi.dbpedia.org/resource/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-hu	http://hu.dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/
dbpedia-is	http://is.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
dbpedia-pl	http://pl.dbpedia.org/resource/
dbpedia-de	http://de.dbpedia.org/resource/
n38	http://yi.dbpedia.org/resource/
yago	http://dbpedia.org/class/yago/
dbpedia-ru	http://ru.dbpedia.org/resource/
dbpedia-ro	http://ro.dbpedia.org/resource/
wikidata	http://www.wikidata.org/entity/
n12	http://ta.dbpedia.org/resource/
dbpedia-nl	http://nl.dbpedia.org/resource/
gold	http://purl.org/linguistics/gold/
yago-res	http://yago-knowledge.org/resource/
n34	https://global.dbpedia.org/id/
dbpedia-sl	http://sl.dbpedia.org/resource/
dbpedia-oc	http://oc.dbpedia.org/resource/
dbpedia-it	http://it.dbpedia.org/resource/
dbpedia-ca	http://ca.dbpedia.org/resource/
prov	http://www.w3.org/ns/prov#
foaf	http://xmlns.com/foaf/0.1/
dbpedia-simple	http://simple.dbpedia.org/resource/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbpedia-ko	http://ko.dbpedia.org/resource/
n29	http://lt.dbpedia.org/resource/
dbpedia-tr	http://tr.dbpedia.org/resource/
dbpedia-fa	http://fa.dbpedia.org/resource/
dbpedia-es	http://es.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
owl	http://www.w3.org/2002/07/owl#

Statements

Subject Item

dbr:Monoid

rdf:type

dbo:Building yago:Artifact100021939 yago:PhysicalEntity100001930 yago:YagoGeoEntity yago:YagoPermanentlyLocatedEntity yago:Structure104341686 owl:Thing yago:Whole100003553 yago:WikicatMathematicalStructures yago:WikicatAlgebraicStructures yago:Object100002684

rdfs:label

Monoïde 幺半群 مونويد Monoido Μονοειδές Monoid Monoid Моноїд Monoide Monoid Monoid Monoide モノイド Monoide Monoide Monoïde Моноид 모노이드 Monoid Monoid

rdfs:comment

数学、とくに抽象代数学における単系（たんけい、英: monoid; モノイド）はひとつの二項演算と単位元をもつ代数的構造である。モノイドは単位元をもつ半群（単位的半群）であるので、半群論の研究対象の範疇に属する。 モノイドの概念は数学のさまざまな分野に現れる。たとえば、モノイドはそれ自身が「ただひとつの対象をもつ圏」と見ることができ、したがって「集合上の写像とその合成」といった概念を捉えたものと考えることもできる。モノイドの概念は計算機科学の分野でも、その基礎付けや実用プログラミングの両面で広く用いられる。 モノイドの歴史や、モノイドに一般的な性質を付加した議論などは半群の項に譲る。 En monoid är inom abstrakt algebra ett par (ofta säger man bara och menar hela monoiden), där är en mängd och är en binär operator på , vilken lyder följande regler: * slutenhet: för alla i , är i (detta följer egentligen direkt ur att * är en binär operator, och behöver inte specificeras separat) * neutralt element: det finns ett element i , så att för alla i , . * associativitet: * är en associativ operator; det vill säga, för alla i . Med andra ord är en monoid en semigrupp med ett neutralt element. * för alla i . En mathématiques, un monoïde est une structure algébrique utilisée en algèbre générale, définie comme un ensemble muni d'une loi de composition interne associative et d'un élément neutre. Autrement dit, c'est un magma associatif et unifère, c'est-à-dire un demi-groupe unifère. Monoido aŭ monojdo en algebro estas duongrupo kun neŭtrala elemento rilate al ĝia (asocia) operacio: Kutime oni skribas (A, *, e) kiel notacion por monoido sur aro A kun operacio * kaj neŭtrala elemento e. Ekzemploj de monoido estas (N, ·, 1), (Z, ·, 1), (Q, ·, 1), (R, ·, 1), (N, +, 0), (Z, +, 0), (Q, +, 0), (R, +, 0) kaj (C, +, 0) En monoido ne ĉiam ekzistas inverso por ĉiu elemento. Monoido en kiu ekzistas inverso por ĉiu elemento nomiĝas grupo. Monoid – półgrupa, której działanie ma element neutralny. Formalnie monoid to algebra sygnatury gdzie jest niepustym zbiorem, natomiast jest działaniem dwuargumentowym, spełniającym warunki: 1. * ( jest elementem neutralnym), 2. * (działanie jest łączne). Szczególny przypadek monoidu stanowi grupa. Wynika stąd następujące zawieranie: klasa półgrup klasa monoidów klasa grup. Każdy monoid jest izomorficzny z półgrupą wszystkich endomorfizmów pewnej algebry Jest to uogólnienie twierdzenia Cayleya. 추상대수학에서 모노이드(영어: monoid)는 항등원을 갖는, 결합 법칙을 따르는 이항 연산을 갖춘 대수 구조이다. 군의 정의에서 역원의 존재를 생략하거나, 반군의 정의에서 항등원의 존재를 추가하여 얻는다. En álgebra abstracta, un monoide es una estructura algebraica con una operación binaria, que es asociativa y tiene elemento neutro, es decir, es un semigrupo con elemento neutro. In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being 0. Monoids are semigroups with identity. Such algebraic structures occur in several branches of mathematics. The functions from a set into itself form a monoid with respect to function composition. More generally, in category theory, the morphisms of an object to itself form a monoid, and, conversely, a monoid may be viewed as a category with a single object. En matemàtiques, un monoide és una estructura algebraica consistent en un conjunt dotat d'una associativa i d'un element neutre. Un monoide és doncs, un magma associatiu i amb element neutre. Amb altres paraules, és un monoide si: 1. * (llei de composició interna). 2. * (associativitat) 3. * (element neutre). Quan no es té l'existència de l'element neutre parlem d'un semigrup. Un monoide es diu simplificable a l'esquerra si De manera similar, es pot definir simplificable a la dreta. In der abstrakten Algebra ist ein Monoid eine algebraische Struktur bestehend aus einer Menge mit einer klammerfrei notierbaren (assoziativen) Verknüpfung und einem neutralen Element. Ein Beispiel sind die natürlichen Zahlen mit der Multiplikation und der Zahl 1 als neutralem Element. Ein Monoid, in dem jedes Element invertierbar ist, heißt Gruppe. In de abstracte algebra, een deelgebied van de wiskunde, is een monoïde een algebraïsche structuur die bestaat uit een verzameling, die is uitgerust met een enkele associatieve binaire operatie en een neutraal element, ook wel eenheids- of identiteitselement genoemd. Een voorbeeld van een monoïde is de verzameling van de natuurlijke getallen met de operatie optellen en het getal 0 als neutraal element. Em álgebra abstrata, um monoide é uma estrutura algébrica com uma única operação binária, associativa e com um elemento neutro. Monoides ocorrem em alguns ramos da matemática. Em geometria, um monoide captura a ideia de composição de função. Essa noção é abstraída da teoria das categorias, no qual o monoide é uma categoria com um objeto. Os monoides são usados comumente para fornecer fundações algébricas à ciência da computação. Nesse caso, alguns tipos de monoides são usados para descrever uma máquina de estado finito. Dalam aljabar abstrak, cabang matematika, monoid adalah himpunan kompleks dengan asosiatif operasi biner dan elemen identitas Monoid adalah semigrup dengan identitas. Struktur aljabar terjadi di beberapa cabang matematika. Misal, fungsi dari suatu himpunan membentuk monoid dengan komposisi fungsi. Secara lebih umum, dalam teori kategori, morfisme dari sebuah objek dengan membentuk sebuah monoid, dan, sebaliknya, sebuah monoid dapat dipandang sebagai kategori dengan satu objek. Dalam , studi tentang monoid sangat penting untuk (teori Krohn–Rhodes), dan . في الجبر التجريدي، المونويد بنية جبرية مزودة بعملية وحيدة تتصف بأنها تجميعية ولها عنصر حيادي . باختصار هي نصف زمرة وحدوية unital. Моноид — полугруппа с нейтральным элементом. Более подробно, моноидом называется множество , на котором задана бинарная ассоциативная операция, обычно именуемая умножением, и в котором существует такой элемент , что для любого .Элемент называется единицей и часто обозначается .В любом моноиде имеется ровно одна единица. Моноиды возникают в различных областях математики; например, моноиды можно рассматривать как категории из одного объекта. Таким образом, моноиды обобщают свойства композиции функций. Также моноиды используются в информатике и в теории формальных языков. Nell'algebra astratta, una branca della matematica, un monoide è una struttura algebrica dotata dell'operazione binaria associativa e di un elemento neutro. I monoidi sono studiati nella teoria dei semigruppi in quanto sono semigruppi dotati di elemento neutro. Моноїд — це алгебрична структура з бінарною операцією, що є асоціативною та має нейтральний елемент. Стисліше, моноїд — це напівгрупа з нейтральним елементом. Якщо для всіх елементів моноїда існує обернений елемент тоді це група. 在抽象代數中，幺半群，又稱為單群、亞群、独异点、具幺半群或四分之三群（英語：Monoid）是指一個帶有可結合二元運算和單位元的代數結構。 么半群在許多的數學分支中都會出現。在幾何學中，幺半群捉取了函數複合的概念；更確切地，此一概念是從範疇論中抽象出來的，之中的幺半群是個帶有一個物件的範疇。幺半群也常被用來當做電腦科學的堅固代數基礎；在此，變換幺半群和語法幺半群被用來描述有限狀態自動機，而和則是做為進程演算和並行計算的基礎。幺半群的研究中一些較重要的結論有和。 V algebře je monoid algebraická struktura s jednou asociativní binární operací a neutrálním prvkem. Je to tedy grupoid, jehož operace je asociativní a který má neutrální prvek. Το µονοειδές είναι ίσως η απλούστερη µε ενδιαφέρουσες ιδιότητες. Ένα ζεύγος (X,*), όπου «*» είναι µια πράξη επί ενός συνόλου X καλείται µονοειδές, αν: 1. Η πράξη «*» είναι προσεταιριστική. 2. Υπάρχει ουδέτερο στοιχείο e για την πράξη «*» επί του X. Το µονοειδές (X,*) καλείται µεταθετικό µονοειδές, αν η πράξη «*» είναι µεταθετική.

owl:differentFrom

dbr:Monad_(disambiguation)

foaf:depiction

n31:Exponentiation_as_monoid_homomorphism_svg.svg n31:Algebraic_structures_-_magma_to_group.svg

dcterms:subject

dbc:Algebraic_structures dbc:Semigroup_theory dbc:Category_theory

dbo:wikiPageID

19652

dbo:wikiPageRevisionID

1124614739

dbo:wikiPageWikiLink

dbr:Exclusive_disjunction dbr:Star_height_problem dbr:Power_set dbr:Monoid_(category_theory) dbr:Monad_(functional_programming) dbr:Function_composition dbr:String_concatenation dbr:Concurrent_computation dbr:Concurrent_computing dbr:Logical_disjunction dbr:Index_set dbr:History_monoid dbr:Numerical_monoid dbr:Idempotent dbr:Functor dbr:Constant_function dbr:Transformation_semigroup dbr:MapReduce dbr:Lexicographical_order dbr:Compact_surface dbr:Finite-state_machine dbr:Logical_biconditional dbr:Equivalence_of_categories dbr:Data_structure dbr:Real_number dbr:Semigroup dbr:Operator_monoid dbr:Closure_(mathematics) dbr:Preorder dbr:Ordered_group dbr:String_(computer_science) dbr:Semiring dbr:Trace_monoid dbr:Cambridge_University_Press dbr:Krohn–Rhodes_theory dbr:Associative dbr:Singleton_set dbr:0_(number) dbr:Multiset dbr:Zerosumfree_monoid dbr:Commutative dbr:Morphism dbr:Category_(mathematics) dbr:Nonnegative_integer dbr:Pointwise dbr:Connected_sum dbr:Prefix_sum dbr:Left_zero_semigroup dbr:Category_of_monoids dbr:Torus dbr:Truth_table dbr:Absorbing_element dbr:Semiautomata dbr:Category_theory dbr:Empty_string dbr:Magma_(algebra) dbr:Semilattice dbr:Inverse_element dbr:Theoretical_computer_science dbr:Free_functor dbr:Object_(category_theory) dbr:Logical_conjunction dbr:Transition_monoid dbr:Parallelization dbr:Lattice_(order) dbr:Cyclic_group dbr:Category_of_groups dbr:Computer_science dbr:Least_upper_bound dbr:Isomorphism dbr:Computer_programming dbr:Full_transformation_monoid dbr:Bijective dbr:Fold_(higher-order_function) dbr:Identity_element dbr:Partially_ordered_set dbr:Positive_integer dbr:Frobenioid dbc:Algebraic_structures dbr:Free_monoid dbr:Right_zero_semigroup dbr:Character_(computing) dbr:Product_of_group_subsets dbr:Group_(mathematics) dbr:Heyting_algebra dbr:Vedic_square dbr:Tuple dbr:Identity_function dbr:Matrix_addition dbr:Semigroup_homomorphism dbr:Green's_relations dbr:Abstract_algebra dbr:Integer dbr:Class_(set_theory) dbr:Formal_language_theory dbc:Semigroup_theory dbr:1_(number) dbr:Ring_(algebra) dbr:Trivial_group dbr:Mathematics dbr:Natural_number dbr:Residue_class dbr:Complex_number dbr:Abelian_group dbr:Group_action_(mathematics) dbr:Category_of_sets dbr:Bicyclic_monoid dbr:Binary_tree dbr:Algebraic_structure dbr:Join_and_meet dbr:Transition_system dbr:Homeomorphism dbr:Group_presentation dbr:Homomorphism dbr:Endomorphism dbr:Binary_relation dbr:Rational_number dbr:Cancellation_property dbr:Abstract_data_types dbr:Subset dbr:Binary_operation dbr:Sequence dbr:Kleene_algebra dbr:Boolean_algebra_(structure) dbr:Matrix_(mathematics) dbr:Process_calculi dbr:Plactic_monoid dbc:Category_theory dbr:Cartesian_product dbr:Group_homomorphism n59:Algebraic_structures_-_magma_to_group.svg dbr:Partial_ordering dbr:Syntactic_monoid n59:Exponentiation_as_monoid_homomorphism_svg.svg dbr:Constant_(mathematics) dbr:Directed_set dbr:Empty_set dbr:Set_(mathematics) dbr:Matrix_multiplication dbr:Finitary dbr:Automata_theory dbr:Tree_traversal

dbo:wikiPageExternalLink

n26:

owl:sameAs

dbpedia-hu:Monoid dbpedia-vi:Monoid dbpedia-de:Monoid dbpedia-sh:Monoid n12:ஒற்றைக்குலம் dbpedia-fr:Monoïde dbpedia-eo:Monoido dbpedia-ar:مونويد dbpedia-fi:Monoidi dbpedia-sr:Моноид dbpedia-sl:Monoid dbpedia-ja:モノイド dbpedia-ca:Monoide dbpedia-ro:Monoid dbpedia-es:Monoide dbpedia-fa:مونوئید dbpedia-ms:Monoid dbpedia-hr:Monoid n29:Monoidas freebase:m.04z49 dbpedia-cs:Monoid dbpedia-pms:Monòid n34:yjXS dbpedia-el:Μονοειδές dbpedia-pt:Monoide n38:מאנאאיד dbpedia-id:Monoid dbpedia-he:מונואיד_(מבנה_אלגברי) dbpedia-et:Monoid dbpedia-uk:Моноїд yago-res:Monoid dbpedia-oc:Monoïde dbpedia-sv:Monoid dbpedia-az:Monoid dbpedia-ko:모노이드 dbpedia-simple:Monoid dbpedia-nl:Monoïde dbpedia-it:Monoide dbpedia-zh:幺半群 dbpedia-ru:Моноид dbpedia-tr:Birlik n58:Monoide dbpedia-pl:Monoid wikidata:Q208237 dbpedia-is:Einungur

dbp:wikiPageUsesTemplate

dbt:Reflist dbt:Sub dbt:Mvar dbt:Pb dbt:Mset dbt:Color dbt:! dbt:Group-like_structures dbt:Math dbt:MathWorld dbt:Algebraic_structures dbt:Distinguish dbt:Citation dbt:Sfn dbt:Main dbt:Springer dbt:Short_description dbt:For dbt:PlanetMath

dbo:thumbnail

n31:Algebraic_structures_-_magma_to_group.svg?width=300

dbp:id

p/m064740 389

dbp:title

Monoid

dbp:urlname

Monoid

dbo:abstract

Em álgebra abstrata, um monoide é uma estrutura algébrica com uma única operação binária, associativa e com um elemento neutro. Monoides ocorrem em alguns ramos da matemática. Em geometria, um monoide captura a ideia de composição de função. Essa noção é abstraída da teoria das categorias, no qual o monoide é uma categoria com um objeto. Os monoides são usados comumente para fornecer fundações algébricas à ciência da computação. Nesse caso, alguns tipos de monoides são usados para descrever uma máquina de estado finito. 数学、とくに抽象代数学における単系（たんけい、英: monoid; モノイド）はひとつの二項演算と単位元をもつ代数的構造である。モノイドは単位元をもつ半群（単位的半群）であるので、半群論の研究対象の範疇に属する。 モノイドの概念は数学のさまざまな分野に現れる。たとえば、モノイドはそれ自身が「ただひとつの対象をもつ圏」と見ることができ、したがって「集合上の写像とその合成」といった概念を捉えたものと考えることもできる。モノイドの概念は計算機科学の分野でも、その基礎付けや実用プログラミングの両面で広く用いられる。 モノイドの歴史や、モノイドに一般的な性質を付加した議論などは半群の項に譲る。 Nell'algebra astratta, una branca della matematica, un monoide è una struttura algebrica dotata dell'operazione binaria associativa e di un elemento neutro. I monoidi sono studiati nella teoria dei semigruppi in quanto sono semigruppi dotati di elemento neutro. في الجبر التجريدي، المونويد بنية جبرية مزودة بعملية وحيدة تتصف بأنها تجميعية ولها عنصر حيادي . باختصار هي نصف زمرة وحدوية unital. Monoid – półgrupa, której działanie ma element neutralny. Formalnie monoid to algebra sygnatury gdzie jest niepustym zbiorem, natomiast jest działaniem dwuargumentowym, spełniającym warunki: 1. * ( jest elementem neutralnym), 2. * (działanie jest łączne). Szczególny przypadek monoidu stanowi grupa. Wynika stąd następujące zawieranie: klasa półgrup klasa monoidów klasa grup. Każdy monoid jest izomorficzny z półgrupą wszystkich endomorfizmów pewnej algebry Jest to uogólnienie twierdzenia Cayleya. Моноїд — це алгебрична структура з бінарною операцією, що є асоціативною та має нейтральний елемент. Стисліше, моноїд — це напівгрупа з нейтральним елементом. Якщо для всіх елементів моноїда існує обернений елемент тоді це група. 在抽象代數中，幺半群，又稱為單群、亞群、独异点、具幺半群或四分之三群（英語：Monoid）是指一個帶有可結合二元運算和單位元的代數結構。 么半群在許多的數學分支中都會出現。在幾何學中，幺半群捉取了函數複合的概念；更確切地，此一概念是從範疇論中抽象出來的，之中的幺半群是個帶有一個物件的範疇。幺半群也常被用來當做電腦科學的堅固代數基礎；在此，變換幺半群和語法幺半群被用來描述有限狀態自動機，而和則是做為進程演算和並行計算的基礎。幺半群的研究中一些較重要的結論有和。 In de abstracte algebra, een deelgebied van de wiskunde, is een monoïde een algebraïsche structuur die bestaat uit een verzameling, die is uitgerust met een enkele associatieve binaire operatie en een neutraal element, ook wel eenheids- of identiteitselement genoemd. Een voorbeeld van een monoïde is de verzameling van de natuurlijke getallen met de operatie optellen en het getal 0 als neutraal element. Een monoïde heeft een iets rijkere algebraïsche structuur dan een halfgroep waarvoor het bestaan van een neutraal element niet is vereist. Een monoïde wordt daarom wel aangeduid als een unitaire halfgroep, dat wil zeggen een halfgroep met een eenheidselement. De geschiedenis van de monoïden en een verdere discussie van enige aanvullende algemene eigenschappen van de monoiden wordt beschreven in het artikel over halfgroepen. 추상대수학에서 모노이드(영어: monoid)는 항등원을 갖는, 결합 법칙을 따르는 이항 연산을 갖춘 대수 구조이다. 군의 정의에서 역원의 존재를 생략하거나, 반군의 정의에서 항등원의 존재를 추가하여 얻는다. En álgebra abstracta, un monoide es una estructura algebraica con una operación binaria, que es asociativa y tiene elemento neutro, es decir, es un semigrupo con elemento neutro. Το µονοειδές είναι ίσως η απλούστερη µε ενδιαφέρουσες ιδιότητες. Ένα ζεύγος (X,*), όπου «*» είναι µια πράξη επί ενός συνόλου X καλείται µονοειδές, αν: 1. Η πράξη «*» είναι προσεταιριστική. 2. Υπάρχει ουδέτερο στοιχείο e για την πράξη «*» επί του X. Το µονοειδές (X,*) καλείται µεταθετικό µονοειδές, αν η πράξη «*» είναι µεταθετική. In der abstrakten Algebra ist ein Monoid eine algebraische Struktur bestehend aus einer Menge mit einer klammerfrei notierbaren (assoziativen) Verknüpfung und einem neutralen Element. Ein Beispiel sind die natürlichen Zahlen mit der Multiplikation und der Zahl 1 als neutralem Element. Ein Monoid, in dem jedes Element invertierbar ist, heißt Gruppe. En mathématiques, un monoïde est une structure algébrique utilisée en algèbre générale, définie comme un ensemble muni d'une loi de composition interne associative et d'un élément neutre. Autrement dit, c'est un magma associatif et unifère, c'est-à-dire un demi-groupe unifère. Monoido aŭ monojdo en algebro estas duongrupo kun neŭtrala elemento rilate al ĝia (asocia) operacio: Kutime oni skribas (A, *, e) kiel notacion por monoido sur aro A kun operacio * kaj neŭtrala elemento e. Ekzemploj de monoido estas (N, ·, 1), (Z, ·, 1), (Q, ·, 1), (R, ·, 1), (N, +, 0), (Z, +, 0), (Q, +, 0), (R, +, 0) kaj (C, +, 0) En monoido ne ĉiam ekzistas inverso por ĉiu elemento. Monoido en kiu ekzistas inverso por ĉiu elemento nomiĝas grupo. In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being 0. Monoids are semigroups with identity. Such algebraic structures occur in several branches of mathematics. The functions from a set into itself form a monoid with respect to function composition. More generally, in category theory, the morphisms of an object to itself form a monoid, and, conversely, a monoid may be viewed as a category with a single object. In computer science and computer programming, the set of strings built from a given set of characters is a free monoid. Transition monoids and syntactic monoids are used in describing finite-state machines. Trace monoids and history monoids provide a foundation for process calculi and concurrent computing. In theoretical computer science, the study of monoids is fundamental for automata theory (Krohn–Rhodes theory), and formal language theory (star height problem). See semigroup for the history of the subject, and some other general properties of monoids. Dalam aljabar abstrak, cabang matematika, monoid adalah himpunan kompleks dengan asosiatif operasi biner dan elemen identitas Monoid adalah semigrup dengan identitas. Struktur aljabar terjadi di beberapa cabang matematika. Misal, fungsi dari suatu himpunan membentuk monoid dengan komposisi fungsi. Secara lebih umum, dalam teori kategori, morfisme dari sebuah objek dengan membentuk sebuah monoid, dan, sebaliknya, sebuah monoid dapat dipandang sebagai kategori dengan satu objek. Dalam ilmu komputer dan pemrograman komputer, himpunan dari himpunan karakter adalah monoid bebas. dan monoid sintaktik digunakan untuk mendeskripsikan . dan memberikan dasar untuk dan . Dalam , studi tentang monoid sangat penting untuk (teori Krohn–Rhodes), dan . Lihat semigrup untuk sejarah subjek, dan beberapa sifat umum monoid lainnya. En matemàtiques, un monoide és una estructura algebraica consistent en un conjunt dotat d'una associativa i d'un element neutre. Un monoide és doncs, un magma associatiu i amb element neutre. Amb altres paraules, és un monoide si: 1. * (llei de composició interna). 2. * (associativitat) 3. * (element neutre). Quan no es té l'existència de l'element neutre parlem d'un semigrup. Un monoide es diu simplificable a l'esquerra si De manera similar, es pot definir simplificable a la dreta. V algebře je monoid algebraická struktura s jednou asociativní binární operací a neutrálním prvkem. Je to tedy grupoid, jehož operace je asociativní a který má neutrální prvek. En monoid är inom abstrakt algebra ett par (ofta säger man bara och menar hela monoiden), där är en mängd och är en binär operator på , vilken lyder följande regler: * slutenhet: för alla i , är i (detta följer egentligen direkt ur att * är en binär operator, och behöver inte specificeras separat) * neutralt element: det finns ett element i , så att för alla i , . * associativitet: * är en associativ operator; det vill säga, för alla i . Med andra ord är en monoid en semigrupp med ett neutralt element. En kommutativ monoid eller abelsk monoid är en monoid där operatorn även är kommutativ, dvs.: * för alla i . sägs vara en submonoid till en monoid om är en delmängd till , innehåller det neutrala elementet och för alla i så ligger även i . är då även monoid i sig själv. Моноид — полугруппа с нейтральным элементом. Более подробно, моноидом называется множество , на котором задана бинарная ассоциативная операция, обычно именуемая умножением, и в котором существует такой элемент , что для любого .Элемент называется единицей и часто обозначается .В любом моноиде имеется ровно одна единица. Моноиды возникают в различных областях математики; например, моноиды можно рассматривать как категории из одного объекта. Таким образом, моноиды обобщают свойства композиции функций. Также моноиды используются в информатике и в теории формальных языков.

gold:hypernym

dbr:Structure

prov:wasDerivedFrom

wikipedia-en:Monoid?oldid=1124614739&ns=0

dbo:wikiPageLength

33651

foaf:isPrimaryTopicOf

wikipedia-en:Monoid