Skip to main content
added 255 characters in body
Source Link
Tim Campion
  • 63.9k
  • 13
  • 143
  • 384

Have a look at Grillet's Commutative Semigroups. Let $C$ be a commutative semigroup. The outline of the structure theory is as follows (I'll include references to Grillet; see also V.5.7 for an outline of some structure theory for commutative semigroups):

  1. $C$ is said to be complete if each archimedean component contains an idempotent, and subcomplete if each archimedean component embeds into a complete archimedean semigroup. An archimedean semigroup always contains at most one idempotent, so $C$ is complete iff the composite map $C^S \to C \to C_S$ (which is always injective (II.1.4)) is an isomorphism. Here $C^S = \{x \in C \mid 2x=x\}$ is the co-universal semilattice on $C$, i.e. the semilattice of idempotents in $C$.
  • If $C$ is finitely-generated, then $C$ is subcomplete, and its (VII.1.1). The archimedean components areof $C$ need not be finitely-generated ([VI.1.5, VI.2.5]), but they do have certain finiteness properties. Thus, arsmath's point that general archimedean commutative semigroups are complicated notwithstanding, for the finitely-generated case, we can focus on the more tractable class of subcomplete archimedean commutative semigroups.
  1. If $C$$A$ is a complete archimedean semigroup, then $C$$A$ is elementary (III.3.1), i.e. $C$$A$ decomposes as an ideal extension $G \to C \to N$$G \to A \to N$ where $G$ is a group and $N$ is a nilsemigroup, i.e. $N$ has an absorbing element -- an element $\infty \in N$ such that for every $x\in N$, there is $n \in \mathbb N$ such that for all $m \geq n$, $mx = \infty$. If $C$$A$ is subcomplete archimedean, then it has a similar decomposition where $G$ is cancellative, i.e. $C$$A$ is subelementary.
  • If $C$$A$ is an archimedean component of a finitely-generated and archimedeancommutative semigroup $C$, then in the decomposition $G \to C \to N$$G \to A \to N$, $G$ is finitely-generated (VI.2.4), but $N$ in general is not. Finitely-generated cancellative commutative semigroups are well-understood (they are products of finite groups and cones in $\mathbb Z^n$), so that part of the structure is comprehensible. But this nilsemigroup part is more mysterious, I think.

Finite generation of $C$ does imply some good properties of $N$, though -- the nilpotence degree has a uniform bound (VI.2.7), i.e. $N$ is a nilpotent semigroup (I find the terminology "nilpotent semigroup" vs. "nilsemigroup" to be confusing, but it's what Grillet uses; presumably it is standard in semigroup theory.). There's more to say here about control over $N$ -- see Proposition 3(VI.3 in Chapter VI of Grillet --.3) but it involves more terminology which I do not have a great handle on.

Have a look at Grillet's Commutative Semigroups. Let $C$ be a commutative semigroup. The outline of the structure theory is as follows:

  1. $C$ is said to be complete if each archimedean component contains an idempotent, and subcomplete if each archimedean component embeds into a complete archimedean semigroup. An archimedean semigroup always contains at most one idempotent, so $C$ is complete iff the composite map $C^S \to C \to C_S$ (which is always injective) is an isomorphism. Here $C^S = \{x \in C \mid 2x=x\}$ is the co-universal semilattice on $C$, i.e. the semilattice of idempotents in $C$.
  • If $C$ is finitely-generated, then $C$ is subcomplete, and its archimedean components are finitely-generated. Thus, arsmath's point that general archimedean commutative semigroups are complicated notwithstanding, for the finitely-generated case, we can focus on the more tractable class of subcomplete archimedean commutative semigroups.
  1. If $C$ is complete archimedean, then $C$ is elementary, i.e. $C$ decomposes as an ideal extension $G \to C \to N$ where $G$ is a group and $N$ is a nilsemigroup, i.e. $N$ has an absorbing element -- an element $\infty \in N$ such that for every $x\in N$, there is $n \in \mathbb N$ such that for all $m \geq n$, $mx = \infty$. If $C$ is subcomplete archimedean, then it has a similar decomposition where $G$ is cancellative, i.e. $C$ is subelementary.
  • If $C$ is finitely-generated and archimedean, then in the decomposition $G \to C \to N$, $G$ is finitely-generated, but $N$ in general is not. Finitely-generated cancellative commutative semigroups are well-understood (they are products of finite groups and cones in $\mathbb Z^n$), so that part of the structure is comprehensible. But this nilsemigroup part is more mysterious, I think.

Finite generation of $C$ does imply some good properties of $N$, though -- the nilpotence degree has a uniform bound, i.e. $N$ is a nilpotent semigroup (I find the terminology "nilpotent semigroup" vs. "nilsemigroup" to be confusing, but it's what Grillet uses; presumably it is standard in semigroup theory.). There's more to say here about control over $N$ -- see Proposition 3.3 in Chapter VI of Grillet -- but it involves more terminology which I do not have a great handle on.

Have a look at Grillet's Commutative Semigroups. Let $C$ be a commutative semigroup. The outline of the structure theory is as follows (I'll include references to Grillet; see also V.5.7 for an outline of some structure theory for commutative semigroups):

  1. $C$ is said to be complete if each archimedean component contains an idempotent, and subcomplete if each archimedean component embeds into a complete archimedean semigroup. An archimedean semigroup always contains at most one idempotent, so $C$ is complete iff the composite map $C^S \to C \to C_S$ (which is always injective (II.1.4)) is an isomorphism. Here $C^S = \{x \in C \mid 2x=x\}$ is the co-universal semilattice on $C$, i.e. the semilattice of idempotents in $C$.
  • If $C$ is finitely-generated, then $C$ is subcomplete (VII.1.1). The archimedean components of $C$ need not be finitely-generated ([VI.1.5, VI.2.5]), but they do have certain finiteness properties. Thus, arsmath's point that general archimedean commutative semigroups are complicated notwithstanding, for the finitely-generated case, we can focus on the more tractable class of subcomplete archimedean commutative semigroups.
  1. If $A$ is a complete archimedean semigroup, then $A$ is elementary (III.3.1), i.e. $A$ decomposes as an ideal extension $G \to A \to N$ where $G$ is a group and $N$ is a nilsemigroup, i.e. $N$ has an absorbing element -- an element $\infty \in N$ such that for every $x\in N$, there is $n \in \mathbb N$ such that for all $m \geq n$, $mx = \infty$. If $A$ is subcomplete archimedean, then it has a similar decomposition where $G$ is cancellative, i.e. $A$ is subelementary.
  • If $A$ is an archimedean component of a finitely-generated commutative semigroup $C$, then in the decomposition $G \to A \to N$, $G$ is finitely-generated (VI.2.4), but $N$ in general is not. Finitely-generated cancellative commutative semigroups are well-understood (they are products of finite groups and cones in $\mathbb Z^n$), so that part of the structure is comprehensible. But this nilsemigroup part is more mysterious, I think.

Finite generation of $C$ does imply some good properties of $N$, though -- the nilpotence degree has a uniform bound (VI.2.7), i.e. $N$ is a nilpotent semigroup (I find the terminology "nilpotent semigroup" vs. "nilsemigroup" to be confusing, but it's what Grillet uses; presumably it is standard in semigroup theory.). There's more to say here about control over $N$ (VI.3.3) but it involves more terminology which I do not have a great handle on.

added 561 characters in body
Source Link
Tim Campion
  • 63.9k
  • 13
  • 143
  • 384
  1. As arsmath says, $C$ decomposes as a semilattice of archimedean semigroups. The relevant semilattice is the universal semilattice $C_S = C / (2=1)$ on $C$. The decomposition is as follows: the the fibers of the universal map $C \to C_S$ are archimedean semigroups, called the archimedean components of $C$.
  • As arsmath says, $C$ decomposes as a semilattice of archimedean semigroups. The relevant semilattice is the universal semilattice $C_S = C / (2=1)$ on $C$. The decomposition is as follows: the the fibers of the universal map $C \to C_S$ are archimedean semigroups, called the archimedean components of $C$.

  • If $C$ is finitely-generated, then so is $C_S$, and hence $C_S$ is finite.

    If $C$ is finitely-generated, then so is $C_S$, and hence $C_S$ is finite.
  • $C$ is said to be complete if each archimedean component contains an idempotent, and subcomplete if each archimedean component embeds into a complete archimedean semigroup. An archimedean semigroup always contains at most one idempotent, so $C$ is complete iff the composite map $C^S \to C \to C_S$ (which is always injective) is an isomorphism. Here $C^S = \{x \in C \mid 2x=x\}$ is the co-universal semilattice on $C$, i.e. the semilattice of idempotents in $C$.

  1. $C$ is said to be complete if each archimedean component contains an idempotent, and subcomplete if each archimedean component embeds into a complete archimedean semigroup. An archimedean semigroup always contains at most one idempotent, so $C$ is complete iff the composite map $C^S \to C \to C_S$ (which is always injective) is an isomorphism. Here $C^S = \{x \in C \mid 2x=x\}$ is the co-universal semilattice on $C$, i.e. the semilattice of idempotents in $C$.
  • If $C$ is finitely-generated, then $C$ is subcomplete, and its archimedean components are finitely-generated. Thus, arsmath's point that general archimedean commutative semigroups are complicated notwithstanding, for the finitely-generated case, we can focus on the more tractable class of subcomplete archimedean commutative semigroups.

    If $C$ is finitely-generated, then $C$ is subcomplete, and its archimedean components are finitely-generated. Thus, arsmath's point that general archimedean commutative semigroups are complicated notwithstanding, for the finitely-generated case, we can focus on the more tractable class of subcomplete archimedean commutative semigroups.
  • If $C$ is complete archimedean, then it decomposes as an ideal extension $G \to C \to N$ where $G$ is a group and $N$ is nilpotent, i.e. $N$ has an absorbing element -- an element $\infty \in N$ such that for every $x\in N$, there is $n \in \mathbb N$ such that for all $m \geq n$, $mx = \infty$. If $C$ is subcomplete archimedean, then it has a similar decomposition where $G$ is cancellative.

  1. If $C$ is complete archimedean, then $C$ is elementary, i.e. $C$ decomposes as an ideal extension $G \to C \to N$ where $G$ is a group and $N$ is a nilsemigroup, i.e. $N$ has an absorbing element -- an element $\infty \in N$ such that for every $x\in N$, there is $n \in \mathbb N$ such that for all $m \geq n$, $mx = \infty$. If $C$ is subcomplete archimedean, then it has a similar decomposition where $G$ is cancellative, i.e. $C$ is subelementary.
  • If $C$ is finitely-generated and archimedean, then in the decomposition $G \to C \to N$, $G$ is finitely-generated, but $N$ in general is not. Finitely-generated cancellative commutative semigroups are well-understood (they are products of finite groups and cones in $\mathbb Z^n$), so that part of the structure is comprehensible. But this nilpotent part is more mysterious, I think.

    If $C$ is finitely-generated and archimedean, then in the decomposition $G \to C \to N$, $G$ is finitely-generated, but $N$ in general is not. Finitely-generated cancellative commutative semigroups are well-understood (they are products of finite groups and cones in $\mathbb Z^n$), so that part of the structure is comprehensible. But this nilsemigroup part is more mysterious, I think.

Finite generation of $C$ does imply some good properties of $N$, though -- the nilpotence degree has a uniform bound, i.e. $N$ is a nilpotent semigroup (I find the terminology "nilpotent semigroup" vs. "nilsemigroup" to be confusing, but it's what Grillet uses; presumably it is standard in semigroup theory.). There's more to say here about control over $N$ -- see Proposition 3.3 in Chapter VI of Grillet -- but it involves more terminology which I do not have a great handle on.


  • As arsmath says, $C$ decomposes as a semilattice of archimedean semigroups. The relevant semilattice is the universal semilattice $C_S = C / (2=1)$ on $C$. The decomposition is as follows: the the fibers of the universal map $C \to C_S$ are archimedean semigroups, called the archimedean components of $C$.

  • If $C$ is finitely-generated, then so is $C_S$, and hence $C_S$ is finite.

  • $C$ is said to be complete if each archimedean component contains an idempotent, and subcomplete if each archimedean component embeds into a complete archimedean semigroup. An archimedean semigroup always contains at most one idempotent, so $C$ is complete iff the composite map $C^S \to C \to C_S$ (which is always injective) is an isomorphism. Here $C^S = \{x \in C \mid 2x=x\}$ is the co-universal semilattice on $C$, i.e. the semilattice of idempotents in $C$.

  • If $C$ is finitely-generated, then $C$ is subcomplete, and its archimedean components are finitely-generated. Thus, arsmath's point that general archimedean commutative semigroups are complicated notwithstanding, for the finitely-generated case, we can focus on the more tractable class of subcomplete archimedean commutative semigroups.

  • If $C$ is complete archimedean, then it decomposes as an ideal extension $G \to C \to N$ where $G$ is a group and $N$ is nilpotent, i.e. $N$ has an absorbing element -- an element $\infty \in N$ such that for every $x\in N$, there is $n \in \mathbb N$ such that for all $m \geq n$, $mx = \infty$. If $C$ is subcomplete archimedean, then it has a similar decomposition where $G$ is cancellative.

  • If $C$ is finitely-generated and archimedean, then in the decomposition $G \to C \to N$, $G$ is finitely-generated, but $N$ in general is not. Finitely-generated cancellative commutative semigroups are well-understood (they are products of finite groups and cones in $\mathbb Z^n$), so that part of the structure is comprehensible. But this nilpotent part is more mysterious, I think.

  1. As arsmath says, $C$ decomposes as a semilattice of archimedean semigroups. The relevant semilattice is the universal semilattice $C_S = C / (2=1)$ on $C$. The decomposition is as follows: the the fibers of the universal map $C \to C_S$ are archimedean semigroups, called the archimedean components of $C$.
  • If $C$ is finitely-generated, then so is $C_S$, and hence $C_S$ is finite.
  1. $C$ is said to be complete if each archimedean component contains an idempotent, and subcomplete if each archimedean component embeds into a complete archimedean semigroup. An archimedean semigroup always contains at most one idempotent, so $C$ is complete iff the composite map $C^S \to C \to C_S$ (which is always injective) is an isomorphism. Here $C^S = \{x \in C \mid 2x=x\}$ is the co-universal semilattice on $C$, i.e. the semilattice of idempotents in $C$.
  • If $C$ is finitely-generated, then $C$ is subcomplete, and its archimedean components are finitely-generated. Thus, arsmath's point that general archimedean commutative semigroups are complicated notwithstanding, for the finitely-generated case, we can focus on the more tractable class of subcomplete archimedean commutative semigroups.
  1. If $C$ is complete archimedean, then $C$ is elementary, i.e. $C$ decomposes as an ideal extension $G \to C \to N$ where $G$ is a group and $N$ is a nilsemigroup, i.e. $N$ has an absorbing element -- an element $\infty \in N$ such that for every $x\in N$, there is $n \in \mathbb N$ such that for all $m \geq n$, $mx = \infty$. If $C$ is subcomplete archimedean, then it has a similar decomposition where $G$ is cancellative, i.e. $C$ is subelementary.
  • If $C$ is finitely-generated and archimedean, then in the decomposition $G \to C \to N$, $G$ is finitely-generated, but $N$ in general is not. Finitely-generated cancellative commutative semigroups are well-understood (they are products of finite groups and cones in $\mathbb Z^n$), so that part of the structure is comprehensible. But this nilsemigroup part is more mysterious, I think.

Finite generation of $C$ does imply some good properties of $N$, though -- the nilpotence degree has a uniform bound, i.e. $N$ is a nilpotent semigroup (I find the terminology "nilpotent semigroup" vs. "nilsemigroup" to be confusing, but it's what Grillet uses; presumably it is standard in semigroup theory.). There's more to say here about control over $N$ -- see Proposition 3.3 in Chapter VI of Grillet -- but it involves more terminology which I do not have a great handle on.


added 3 characters in body
Source Link
Tim Campion
  • 63.9k
  • 13
  • 143
  • 384

Have a look at Grillet's Commutative Semigroups. Let $C$ be a commutative semigroup. The outline of the structure theory is as follows:

  • As arsmath says, $C$ decomposes as a semilattice of archimedean semigroups. The relevant semilattice is the universal semilattice $C_S = C / (2=1)$ on $C$. The decomposition is as follows: the the fibers of the universal map $C \to C_S$ are archimedean semigroups, called the archimedean components of $C$.

  • If $C$ is finitely-generated, then so is $C_S$, and hence $C_S$ is finite.

  • $C$ is said to be complete if each archimedean component contains an idempotent, and subcomplete if each archimedean component embeds into a complete archimedean semigroup. An archimedean semigroup always contains at most one idempotent, so $C$ is complete iff the composite map $C^S \to C \to C_S$ (which is always injective) is an isomorphism. Here $C^S = \{x \in C \mid 2x=x\}$ is the co-universal semilattice on $C$, i.e. the semilattice of idempotents in $C$.

  • If $C$ is finitely-generated, then $C$ is subcomplete, and its archimedean components are finitely-generated. Thus, arsmath's point that general archimedean commutative semigroups are complicated notwithstanding, for the finitely-generated case, we can focus on the more tractable class of subcomplete archimedean commutative semigroups.

  • If $C$ is complete archimedean, then it decomposes as an ideal extension $G \to C \to N$ where $G$ is a group and $N$ is nilpotent, i.e. $N$ has an absorbing element $\infty$-- an element $\infty \in N$ such that for every $x\in N$, there is $n \in \mathbb N$ such that $mx = \infty$ for all $m \geq n$ and all, $x \in N$$mx = \infty$. If $C$ is subcomplete archimedean, then it has a similar decomposition where $G$ is cancellative.

  • If $C$ is finitely-generated and archimedean, then in the decomposition $G \to C \to N$, $G$ is finitely-generated, but $N$ in general is not. Finitely-generated cancellative commutative semigroups are well-understood (they are products of finite groups and cones in $\mathbb Z^n$), so that part of the structure is comprehensible. But this nilpotent part is more mysterious, I think.

Putting it all together, if you have a finitely-generated commutative semigroup $C$, then you can think of it as a finite lattice of a bunch of finite abelian groups equipped with certain positive cones, each of which has a nilpotent commutative semigroup on which it acts, with homomorphisms between these corresponding to the relations in the lattice.

Have a look at Grillet's Commutative Semigroups. Let $C$ be a commutative semigroup. The outline of the structure theory is as follows:

  • As arsmath says, $C$ decomposes as a semilattice of archimedean semigroups. The relevant semilattice is the universal semilattice $C_S = C / (2=1)$ on $C$. The decomposition is as follows: the the fibers of the universal map $C \to C_S$ are archimedean semigroups, called the archimedean components of $C$.

  • If $C$ is finitely-generated, then so is $C_S$, and hence $C_S$ is finite.

  • $C$ is said to be complete if each archimedean component contains an idempotent, and subcomplete if each archimedean component embeds into a complete archimedean semigroup. An archimedean semigroup always contains at most one idempotent, so $C$ is complete iff the composite map $C^S \to C \to C_S$ (which is always injective) is an isomorphism. Here $C^S = \{x \in C \mid 2x=x\}$ is the co-universal semilattice on $C$, i.e. the semilattice of idempotents in $C$.

  • If $C$ is finitely-generated, then $C$ is subcomplete, and its archimedean components are finitely-generated. Thus, arsmath's point that general archimedean commutative semigroups are complicated notwithstanding, for the finitely-generated case, we can focus on the more tractable class of subcomplete archimedean commutative semigroups.

  • If $C$ is complete archimedean, then it decomposes as an ideal extension $G \to C \to N$ where $G$ is a group and $N$ is nilpotent, i.e. $N$ has an absorbing element $\infty$ such that for every $x\in N$, there is $n \in \mathbb N$ such that $mx = \infty$ for all $m \geq n$ and all $x \in N$. If $C$ is subcomplete archimedean, then it has a similar decomposition where $G$ is cancellative.

  • If $C$ is finitely-generated and archimedean, then in the decomposition $G \to C \to N$, $G$ is finitely-generated, but $N$ in general is not. Finitely-generated cancellative commutative semigroups are well-understood (they are products of finite groups and cones in $\mathbb Z^n$), so that part of the structure is comprehensible. But this nilpotent part is more mysterious, I think.

Putting it all together, if you have a finitely-generated commutative semigroup $C$, then you can think of it as a finite lattice of a bunch of finite abelian groups equipped with certain positive cones, each of which has a nilpotent commutative semigroup on which it acts, with homomorphisms between these corresponding to the relations in the lattice.

Have a look at Grillet's Commutative Semigroups. Let $C$ be a commutative semigroup. The outline of the structure theory is as follows:

  • As arsmath says, $C$ decomposes as a semilattice of archimedean semigroups. The relevant semilattice is the universal semilattice $C_S = C / (2=1)$ on $C$. The decomposition is as follows: the the fibers of the universal map $C \to C_S$ are archimedean semigroups, called the archimedean components of $C$.

  • If $C$ is finitely-generated, then so is $C_S$, and hence $C_S$ is finite.

  • $C$ is said to be complete if each archimedean component contains an idempotent, and subcomplete if each archimedean component embeds into a complete archimedean semigroup. An archimedean semigroup always contains at most one idempotent, so $C$ is complete iff the composite map $C^S \to C \to C_S$ (which is always injective) is an isomorphism. Here $C^S = \{x \in C \mid 2x=x\}$ is the co-universal semilattice on $C$, i.e. the semilattice of idempotents in $C$.

  • If $C$ is finitely-generated, then $C$ is subcomplete, and its archimedean components are finitely-generated. Thus, arsmath's point that general archimedean commutative semigroups are complicated notwithstanding, for the finitely-generated case, we can focus on the more tractable class of subcomplete archimedean commutative semigroups.

  • If $C$ is complete archimedean, then it decomposes as an ideal extension $G \to C \to N$ where $G$ is a group and $N$ is nilpotent, i.e. $N$ has an absorbing element -- an element $\infty \in N$ such that for every $x\in N$, there is $n \in \mathbb N$ such that for all $m \geq n$, $mx = \infty$. If $C$ is subcomplete archimedean, then it has a similar decomposition where $G$ is cancellative.

  • If $C$ is finitely-generated and archimedean, then in the decomposition $G \to C \to N$, $G$ is finitely-generated, but $N$ in general is not. Finitely-generated cancellative commutative semigroups are well-understood (they are products of finite groups and cones in $\mathbb Z^n$), so that part of the structure is comprehensible. But this nilpotent part is more mysterious, I think.

Putting it all together, if you have a finitely-generated commutative semigroup $C$, then you can think of it as a finite lattice of a bunch of finite abelian groups equipped with certain positive cones, each of which has a nilpotent commutative semigroup on which it acts, with homomorphisms between these corresponding to the relations in the lattice.

added 10 characters in body
Source Link
Tim Campion
  • 63.9k
  • 13
  • 143
  • 384
Loading
Source Link
Tim Campion
  • 63.9k
  • 13
  • 143
  • 384
Loading