Semigroup action (original) (raw)
Em álgebra e ciência da computação teórica, uma ação de um semigrupo em um conjunto é uma regra que associa a cada elemento do semigrupo uma transformação do conjunto de tal modo que o produto de dois elementos do grupo (usando a operação binária do semigrupo) é associado com a composta das duas transformações correspondentes. A terminologia transmite a ideia de que os elementos do semigrupo estão agindo como transformações do conjunto. De um ponto de vista algébrico, uma ação de semigrupo é uma generalização da noção de ação de grupo da teoria de grupos. Do ponto de vista da ciência da computação, ações de semigrupos estão intimamente relacionadas aos autômatos: o conjunto de modela os estados do autômato e a ação modela mudanças de estado em resposta à entrada.
| Property | Value |
|---|---|
| dbo:abstract | In algebra and theoretical computer science, an action or act of a semigroup on a set is a rule which associates to each element of the semigroup a transformation of the set in such a way that the product of two elements of the semigroup (using the semigroup operation) is associated with the composite of the two corresponding transformations. The terminology conveys the idea that the elements of the semigroup are acting as transformations of the set. From an algebraic perspective, a semigroup action is a generalization of the notion of a group action in group theory. From the computer science point of view, semigroup actions are closely related to automata: the set models the state of the automaton and the action models transformations of that state in response to inputs. An important special case is a monoid action or act, in which the semigroup is a monoid and the identity element of the monoid acts as the identity transformation of a set. From a category theoretic point of view, a monoid is a category with one object, and an act is a functor from that category to the category of sets. This immediately provides a generalization to monoid acts on objects in categories other than the category of sets. Another important special case is a transformation semigroup. This is a semigroup of transformations of a set, and hence it has a tautological action on that set. This concept is linked to the more general notion of a semigroup by an analogue of Cayley's theorem. (A note on terminology: the terminology used in this area varies, sometimes significantly, from one author to another. See the article for details.) (en) Em álgebra e ciência da computação teórica, uma ação de um semigrupo em um conjunto é uma regra que associa a cada elemento do semigrupo uma transformação do conjunto de tal modo que o produto de dois elementos do grupo (usando a operação binária do semigrupo) é associado com a composta das duas transformações correspondentes. A terminologia transmite a ideia de que os elementos do semigrupo estão agindo como transformações do conjunto. De um ponto de vista algébrico, uma ação de semigrupo é uma generalização da noção de ação de grupo da teoria de grupos. Do ponto de vista da ciência da computação, ações de semigrupos estão intimamente relacionadas aos autômatos: o conjunto de modela os estados do autômato e a ação modela mudanças de estado em resposta à entrada. (pt) |
| dbo:wikiPageID | 1058218 (xsd:integer) |
| dbo:wikiPageLength | 12362 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1047077107 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Module_(mathematics) dbr:Deterministic_finite_automaton dbr:Algebraic_structure dbr:Currying dbc:Semigroup_theory dbr:Function_composition dbr:Monoid dbr:Identity_element dbr:String_(computer_science) dbr:Theoretical_computer_science dbr:Category_of_sets dbr:Transformation_(geometry) dbr:Transition_monoid dbr:Faithful_action dbr:Semigroup dbr:Algebra dbr:Cayley's_theorem dbr:Isomorphism dbr:Ring_(mathematics) dbr:Group_(mathematics) dbr:Group_action_(mathematics) dbr:Associativity dbc:Theoretical_computer_science dbr:Binary_operation dbr:Automata_theory dbr:Free_monoid dbr:Category_(mathematics) dbr:Set_(mathematics) dbr:Category_theoretic dbr:Image_(mathematics) dbr:Injective dbr:Transformation_semigroup dbr:Semigroup_homomorphism dbr:Characteristic_semigroup dbr:Finite_state_machine dbr:G._B._Preston dbr:A._H._Clifford dbr:Identity_transformation |
| dbp:wikiPageUsesTemplate | dbt:Main dbt:Redirect dbt:Reflist dbt:Isbn |
| dct:subject | dbc:Semigroup_theory dbc:Theoretical_computer_science |
| gold:hypernym | dbr:Rule |
| rdf:type | dbo:Country |
| rdfs:comment | Em álgebra e ciência da computação teórica, uma ação de um semigrupo em um conjunto é uma regra que associa a cada elemento do semigrupo uma transformação do conjunto de tal modo que o produto de dois elementos do grupo (usando a operação binária do semigrupo) é associado com a composta das duas transformações correspondentes. A terminologia transmite a ideia de que os elementos do semigrupo estão agindo como transformações do conjunto. De um ponto de vista algébrico, uma ação de semigrupo é uma generalização da noção de ação de grupo da teoria de grupos. Do ponto de vista da ciência da computação, ações de semigrupos estão intimamente relacionadas aos autômatos: o conjunto de modela os estados do autômato e a ação modela mudanças de estado em resposta à entrada. (pt) In algebra and theoretical computer science, an action or act of a semigroup on a set is a rule which associates to each element of the semigroup a transformation of the set in such a way that the product of two elements of the semigroup (using the semigroup operation) is associated with the composite of the two corresponding transformations. The terminology conveys the idea that the elements of the semigroup are acting as transformations of the set. From an algebraic perspective, a semigroup action is a generalization of the notion of a group action in group theory. From the computer science point of view, semigroup actions are closely related to automata: the set models the state of the automaton and the action models transformations of that state in response to inputs. (en) |
| rdfs:label | Semigroup action (en) Ação de semigrupo (pt) |
| owl:sameAs | freebase:Semigroup action wikidata:Semigroup action dbpedia-pt:Semigroup action https://global.dbpedia.org/id/4unAY |
| prov:wasDerivedFrom | wikipedia-en:Semigroup_action?oldid=1047077107&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Semigroup_action |
| is dbo:wikiPageDisambiguates of | dbr:Action |
| is dbo:wikiPageRedirects of | dbr:S-act dbr:Monoid_action dbr:Act_(mathematics) dbr:Right_S-act dbr:Right_act dbr:S-operand dbr:S-set dbr:Operator_monoid dbr:Category_of_acts dbr:Act-S dbr:Action_of_a_monoid dbr:Action_of_a_semigroup dbr:Left_S-act dbr:Left_act dbr:M-act dbr:Monoid_act |
| is dbo:wikiPageWikiLink of | dbr:Module_(mathematics) dbr:M-set dbr:Dynamical_system dbr:S-act dbr:Monoid_action dbr:Krohn–Rhodes_theory dbr:Semiautomaton dbr:Act_(mathematics) dbr:Group_action dbr:Action dbr:Transition_system dbr:Extended_natural_numbers dbr:Finite-state_machine dbr:Representation_of_a_Lie_superalgebra dbr:Transformation_semigroup dbr:Right_group dbr:Right_S-act dbr:Right_act dbr:S-operand dbr:S-set dbr:Operator_monoid dbr:Category_of_acts dbr:Act-S dbr:Action_of_a_monoid dbr:Action_of_a_semigroup dbr:Left_S-act dbr:Left_act dbr:M-act dbr:Monoid_act |
| is foaf:primaryTopic of | wikipedia-en:Semigroup_action |