This HTML5 document contains 20 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
dct	http://purl.org/dc/terms/
yago-res	http://yago-knowledge.org/resource/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
n13	http://en.wikipedia.org/wiki/
dbp	http://dbpedia.org/property/
dbc	http://dbpedia.org/resource/Category:
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
gold	http://purl.org/linguistics/gold/
dbr	http://dbpedia.org/resource/

Statements

Subject Item

dbr:Semigroup_with_involution

rdfs:label

Semigroup with involution

rdfs:comment

In mathematics, particularly in abstract algebra, a semigroup with involution or a *-semigroup is a semigroup equipped with an involutive anti-automorphism, which—roughly speaking—brings it closer to a group because this involution, considered as unary operator, exhibits certain fundamental properties of the operation of taking the inverse in a group: uniqueness, double application "cancelling itself out", and the same interaction law with the binary operation as in the case of the group inverse. It is thus not a surprise that any group is a semigroup with involution. However, there are significant natural examples of semigroups with involution that are not groups.

owl:sameAs

yago-res:Semigroup_with_involution freebase:m.05zxx_1

dbp:wikiPageUsesTemplate

dbt:Expand_section dbt:PlanetMath_attribution dbt:Reflist dbt:Anchor dbt:Use_dmy_dates dbt:Tmath dbt:Isbn

dct:subject

dbc:Algebraic_structures dbc:Semigroup_theory

gold:hypernym

dbr:Semigroup

prov:wasDerivedFrom

n13:Semigroup_with_involution?oldid=1003639006&ns=0

dbo:wikiPageID

22679231

dbo:wikiPageLength

25709

dbo:wikiPageRevisionID

1003639006

dbo:abstract

In mathematics, particularly in abstract algebra, a semigroup with involution or a *-semigroup is a semigroup equipped with an involutive anti-automorphism, which—roughly speaking—brings it closer to a group because this involution, considered as unary operator, exhibits certain fundamental properties of the operation of taking the inverse in a group: uniqueness, double application "cancelling itself out", and the same interaction law with the binary operation as in the case of the group inverse. It is thus not a surprise that any group is a semigroup with involution. However, there are significant natural examples of semigroups with involution that are not groups. An example from linear algebra is the multiplicative monoid of real square matrices of order n (called the full linear monoid). The map which sends a matrix to its transpose is an involution because the transpose is well defined for any matrix and obeys the law (AB)T = BTAT, which has the same form of interaction with multiplication as taking inverses has in the general linear group (which is a subgroup of the full linear monoid). However, for an arbitrary matrix, AAT does not equal the identity element (namely the diagonal matrix). Another example, coming from formal language theory, is the free semigroup generated by a nonempty set (an alphabet), with string concatenation as the binary operation, and the involution being the map which reverses the linear order of the letters in a string. A third example, from basic set theory, is the set of all binary relations between a set and itself, with the involution being the converse relation, and the multiplication given by the usual composition of relations. Semigroups with involution appeared explicitly named in a 1953 paper of Viktor Wagner (in Russian) as result of his attempt to bridge the theory of semigroups with that of semiheaps.

foaf:isPrimaryTopicOf

n13:Semigroup_with_involution