About: E-dense semigroup     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FE-dense_semigroup

In abstract algebra, an E-dense semigroup (also called an E-inversive semigroup) is a semigroup in which every element a has at least one weak inverse x, meaning that xax = x. The notion of weak inverse is (as the name suggests) weaker than the notion of inverse used in a regular semigroup (which requires that axa=a). The above definition of an E-inversive semigroup S is equivalent with any of the following: * for every element a ∈ S there exists another element b ∈ S such that ab is an idempotent. * for every element a ∈ S there exists another element c ∈ S such that ca is an idempotent.

AttributesValues
rdfs:label
  • E-dense semigroup (en)
rdfs:comment
  • In abstract algebra, an E-dense semigroup (also called an E-inversive semigroup) is a semigroup in which every element a has at least one weak inverse x, meaning that xax = x. The notion of weak inverse is (as the name suggests) weaker than the notion of inverse used in a regular semigroup (which requires that axa=a). The above definition of an E-inversive semigroup S is equivalent with any of the following: * for every element a ∈ S there exists another element b ∈ S such that ab is an idempotent. * for every element a ∈ S there exists another element c ∈ S such that ca is an idempotent. (en)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • In abstract algebra, an E-dense semigroup (also called an E-inversive semigroup) is a semigroup in which every element a has at least one weak inverse x, meaning that xax = x. The notion of weak inverse is (as the name suggests) weaker than the notion of inverse used in a regular semigroup (which requires that axa=a). The above definition of an E-inversive semigroup S is equivalent with any of the following: * for every element a ∈ S there exists another element b ∈ S such that ab is an idempotent. * for every element a ∈ S there exists another element c ∈ S such that ca is an idempotent. This explains the name of the notion as the set of idempotents of a semigroup S is typically denoted by E(S). The concept of E-inversive semigroup was introduced by in 1955. Some authors use E-dense to refer only to E-inversive semigroups in which the idempotents commute. More generally, a subsemigroup T of S is said dense in S if, for all x ∈ S, there exists y ∈ S such that both xy ∈ T and yx ∈ T. A semigroup with zero is said to be an E*-dense semigroup if every element other than the zero has at least one non-zero weak inverse. Semigroups in this class have also been called 0-inversive semigroups. (en)
gold:hypernym
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software