# Tagged Questions

18 views

### Finite Linearly Ordered Abelian Monoids

This question concerns the proper definition of the phrase "finite linearly ordered abelian monoids". The sequence A030453 of OEIS counts the number of "finite linearly ordered abelian monoids". The ...
81 views

### About translating subsets of $\Bbb Z.$

This is a continuation of About translating subsets of R2. Is it possible to find a pair of sets $A,B\subseteq\Bbb Z$ such that A is a union of translated (only translations are allowed) copies of ...
192 views

### Describing the Wreath product categorically.

The Details: Let's have a recap of some definitions (taken from "Nine Chapters in the Semigroup Art" (pdf), by A. J. Cain). Definition 1: Let $P$ be a semigroup. The left action of $P$ on a set ...
20 views

102 views

### Naturally Ordered Semigroup: Why does axioms imply order of group is infinite countable ? Why are every group equal up to isomorphism?

Naturally Ordered Semigroup: http://www.proofwiki.org/wiki/Definition:Naturally_Ordered_Semigroup I know $\mathbb N$ is a naturally ordered semigroup by definition. Also I know that the naturally ...
52 views

### Necessary and sufficient conditions for the embeddability of a semigroup in a group

According to wikipedia, The first set of necessary and sufficient conditions for the embeddability of a semigroup in a group were given in (Malcev 1939).[5] Though theoretically important, the ...
70 views

### If $S$ is a right group, then every $\mathcal L$-class is a $\mathcal H$-class and also a subgroup.

A semigroup $S$ is called right simple if it contains no proper right ideal. A semigroup that is right simple and left cancellative is called a right group. This is equivalent to saying that, for any ...
96 views

### definition of (semi)group (co)homology

I'm puzzled why "group cohomology" contains terms 'group' (instead of 'semigroup') and 'cohomology' (instead oh 'homology and cohomology'). I'm new to the subject. Please inform me of any claims ...
203 views

### G is a group if and only if for all $a,b∈G$, $ax=b$ has solution; true or false? Why?

I think we only need $ax=b$ or $ya=b$ have solutions in $G$, I'll prove it. Proof: (I) $G$ is a group $\implies$ $a^{-1}ax=a^{-1}b$ $\implies$ $x=a^{-1}b$ $\implies$ $ax=b$ has solutions in $G$ ...
108 views

### How could I understand this sentence:

How could I understand this sentence: For any subgroup $H$ of a group $G$ we have $H^2=HH=H$. However, in general, the same is not true for subsemigroups of semigroups. Thanks a lot!
119 views

### Does representation theory exists without Groups?

I need to know: is representation theory all about Groups? Is it necessary to be a finite group? Does representation theory exists without Groups? For example is there sample where representation is ...
420 views

### Is a semigroup $G$ with left identity and right inverses a group?

Hungerford's Algebra poses the question: Is it true that a semigroup $G$ that has a left identity element and in which every element has a right inverse is a group? Now, If both the identity and the ...
114 views

### Structure theorem for finitely generated commutative $semi$groups.

$\newcommand{\ZZ}{\mathbb{Z}}$ It is a classical theorem that a finitely generated commutative group is isomorphic to one of the form:  \ZZ^n \oplus \ZZ/{m_1}\ZZ \oplus \ZZ/{m_2}\ZZ \oplus \dots ...
227 views

### Structure Descriptions (GAP) in semigroups

As can be easily seen through GAP manual: 37.6 Structure Descriptions StructureDescription( G ) A The method for StructureDescription exhibits the ...
201 views

### Inverse elements in the absence of identities/associativity.

Lets view groups as consisting of a binary operation, a distinguished element $e$, and unary operation $x \mapsto x^{-1}$. Then the group axioms can be stated as follows. $(xy)z=x(yz).$ $xe=ex=x.$ ...
189 views

### Rees matrix semigroup

Let $\mathcal{M}^0 = \mathcal{M}^0 ( G; I , \Lambda ;P)$ be a Rees matrix semigroup ($G$ a group, $I$, $\Lambda$ non-empty sets, $P=(p_{\lambda i})$ a $\Lambda \times I$ matrix over $G \cup \{0\}$ ...
259 views

### Properties of Group $\to$ Monoid $\to$ Semigroup.

In How to get a group from a semigroup Arturo Madigin writes: So if we look at the composition of the forgetful functors $\bf Group \to \bf Monoid \to \bf Semigroup$, we obtain a right adjoint by ...
58 views

### Definition of tautological action

What is the precise meaning of the term 'tautological action' as used for example in this Wikipedia page in the context of semigroup actions? For reference the particular sentence is: "A ...
1k views

### Prove that this is a group

Let $G$ be a finite, nonempty set with an operation $*$ such that $G$ is closed under $*$ and $*$ is associative Given $a,b,c \in G$ with $a*b=a*c$, then $b=c$. Given $a,b,c \in G$ with $b*a=c*a$, ...
77 views

### Is there a name for a subset $S$ of a group or a semigroup such that every two elements of $S$ commute?

Let $G$ be a group and $S$ its subset. I would like to consider the following condition on $S$. For every $x,y\in S,$ we have $xy=yx.$ This is trivially equivalent to $S\subseteq C(S).$ The ...
213 views

### If every element of a monoid is right invertible, then every element is invertible

Let $G$ be a set with associative binary operation and a unit. Assume that for every $g\in G$ there exists $x \in G$ with $gx = 1$. Prove that $xg = 1$ is a consequence.
998 views

### If cancellation laws hold, then a finite semi-group is a group [duplicate]

Show that if both cancellation laws i.e $w.a = w.b \implies a = b$ and $a.w = b.w \implies a = b$ holds then a finite semi-group (a finite set with associative binary operation) is a group. I have ...
318 views

### Why isn't there much study on right groups (left groups)?

This question is related to and inspired by the question Why are groups more important than semigroups?. I am curious why I don't see much studies on right groups. On Pp.37 of Clifford& ...
1k views

### Group identities and inverses

A set is a set. A magma is a set with a binary operator. A semigroup is a magma with an associative binary operator. A monoid has a two-sided identity. And a group has two-sided inverses. I am ...
263 views

### give a counterexample of monoid

$G$ is a monoid,$e$ is its identity,if $ab=e$ and $ac=e$, can you give me a counterexample such that $b\neq c$. if not,please prove $b=c$ thanks a lot.
598 views

### Cayley Graph of Semigroups

I did Google search and can't find a good answer. I thought I should ask experts here. http://en.wikipedia.org/wiki/Cayley_graph is for groups. My question is, Is there a special name for the ...
627 views

### How many associative binary operations there are on a finite set?

I am studying Scott's book Group Theory. In the Exercise $1.1.17$ he asks us to show that if $S$ is a set and $|S|=n$, then there are $n^{\frac{n^{2}+n}{2}}$ commutative binary operations on $S$. But ...
312 views

### clarification on the definition of meaningful product

I am studying Hungerford's book "Algebra". In the page 27 he defines the meaningful product as follows. Given any sequence of elements of a semigroup $G, > \{a_{1},a_{2},\dots\}$ define ...
2k views

### Why are groups more important than semigroups?

This is an open-ended question, as is probably obvious from the title. I understand that it may not be appreciated and I will try not to ask too many such questions. But this one has been bothering me ...
935 views

### What can we learn about a group by studying its monoid of subsets?

If $G$ is a group, then $M(G)=2^G$ is has a monoid structure when we define $AB$ to be $\{ab|a\in A,b\in B\}$ and $1_{M(G)}=\{1\}$. How much of the structure of $G$ can be recovered by studying the ...
244 views

### When a semigroup can be embedded into a group

Under what assumptions can a semigroup $(S,*)$ be embedded into a group?
598 views

### How to get a group from a semigroup

I am sorry if my question is too simple. Is every semigroup associated to a group? If no, what conditions should be satisfied for a semigroup to have an associated group? If yes, how can I find the ...
247 views

### Inverse of the Grothendieck group construction?

Is there an "inverse" of the Grothendieck group construction that would generate a (somehow "simplest") Abelian semigroup given some (suitably qualified, if necessary) Abelian group? (I realize that ...
1k views

### (Organic) Chemistry for Mathematicians

Recently I've been reading "The Wild Book" which applies semigroup theory to, among other things, chemical reactions. If I google for mathematics and chemistry together, most of the results are to do ...
I have a semigroup $G$ (a set with associative binary operation) such that for all $a,b\in G$ there exists $x,y\in G$ such that $ax=ya=b$. Is this property enough to show that $G$ is a group, and if ...