# Category:Semigroups

Jump to navigation
Jump to search

This category contains results about Semigroups.

Definitions specific to this category can be found in Definitions/Semigroups.

- A
**semigroup**is an algebraic structure which is closed and whose operation is associative.

## Subcategories

This category has the following 20 subcategories, out of 20 total.

### C

### E

### G

### I

### L

### M

### N

### O

### P

### S

## Pages in category "Semigroups"

The following 74 pages are in this category, out of 74 total.

### C

- Cancellable Finite Semigroup is Group
- Cancellable Infinite Semigroup is not necessarily Group
- Commutative Semigroup is Entropic Structure
- Commutativity of Powers in Semigroup
- Composition of Left Regular Representation with Right
- Composition of Left Regular Representations
- Composition of Regular Representations
- Composition of Right Regular Representations
- Construction of Inverse Completion/Cartesian Product with Cancellable Elements
- Construction of Inverse Completion/Congruence Relation
- Construction of Inverse Completion/Equivalence Relation
- Construction of Inverse Completion/Equivalence Relation/Equivalence Class of Equal Elements
- Construction of Inverse Completion/Equivalence Relation/Members of Equivalence Classes
- Construction of Inverse Completion/Generator for Quotient Structure
- Construction of Inverse Completion/Identity of Quotient Structure
- Construction of Inverse Completion/Invertible Elements in Quotient Structure
- Construction of Inverse Completion/Properties of Quotient Structure
- Construction of Inverse Completion/Quotient Mapping is Injective
- Construction of Inverse Completion/Quotient Mapping is Monomorphism
- Construction of Inverse Completion/Quotient Mapping to Image is Isomorphism
- Construction of Inverse Completion/Quotient Mapping/Image of Cancellable Elements
- Construction of Inverse Completion/Quotient Structure
- Construction of Inverse Completion/Quotient Structure is Commutative Semigroup
- Construction of Inverse Completion/Quotient Structure is Inverse Completion

### E

- Element Commutes with Square in Semigroup
- Element has Idempotent Power in Finite Semigroup
- Epimorphism Preserves Semigroups
- Extension Theorem for Distributive Operations
- Extension Theorem for Homomorphisms
- Extension Theorem for Isomorphisms
- Extension Theorem for Total Orderings
- External Direct Product of Semigroups

### I

- Identity Property in Semigroup
- Index Laws for Semigroup
- Index Laws for Semigroup/Product of Indices
- Index Laws for Semigroup/Sum of Indices
- Index Laws/Product of Indices/Semigroup
- Index Laws/Sum of Indices/Semigroup
- Inverse Completion is Unique
- Inverse Completion Theorem
- Isomorphism Preserves Semigroups

### L

### P

- Power of Element of Semigroup
- Power of Element/Semigroup
- Power of Product of Commutative Elements in Semigroup
- Power of Product of Commuting Elements in Semigroup equals Product of Powers
- Power Set of Group under Induced Operation is Semigroup
- Power Set of Semigroup under Induced Operation is Semigroup
- Powers of Commutative Elements in Semigroups
- Powers of Commuting Elements of Semigroup Commute
- Powers of Semigroup Element Commute
- Product is Left Identity Therefore Left Cancellable
- Product is Right Identity Therefore Right Cancellable
- Product of Commuting Idempotent Elements is Idempotent
- Product of Semigroup Element with Left Inverse is Idempotent
- Product of Semigroup Element with Right Inverse is Idempotent

### R

- Real Numbers under Subtraction do not form Semigroup
- Regular Representation wrt Cancellable Element on Finite Semigroup is Bijection
- Right Identity while exists Right Inverse for All is Identity
- Right Inverse for All is Left Inverse
- Right Regular Representation wrt Right Cancellable Element on Finite Semigroup is Bijection
- Ring Less Zero is Semigroup for Product iff No Proper Zero Divisors