-1
votes
1answer
84 views

Variety of commutative semi group [closed]

V is a variety of commutative semi group satisfying the identity $x^2 = x^3$. I need to prove that: $|F_V(\{x_1\dots,x_n\})|$ = $3^n -1$. Any hints on this ? $F_V$ is V-free algebra.
12
votes
3answers
434 views

Varieties where every algebra is free

I'd like to know more about varieties (in the sense of universal algebra) where every algebra is free. Another way to state the condition is that the comparison functor from the Kleisli category to ...
12
votes
2answers
362 views

Do all subtraction-free identities tropicalize?

If you take a subtraction-free rational identity like $(xxx+yyy)/(x+y)+xy=xx+yy$ and replace $\times$,$/$,$+$,$1$ by $+$,$-$,min,$0$, do you always get a valid min,plus,minus identity like ...
6
votes
0answers
526 views

Invertible elements in generalized fields

Durov's theory of generalized rings also includes generalized fields (5.7.6), which are defined as generalized rings, which are not subtrivial and whose proper strict quotients are subtrivial. For ...
6
votes
3answers
836 views

Does “finitely presented” mean “always finitely presented”, considered in general

I'm wondering about the question, "If we have a finitely presented __, is it necessarily finitely presented with respect to any finite generating set for it?" I know this is true for groups and for ...
7
votes
1answer
595 views

Lattice-ordered commutative monoids

By a lattice-ordered monoid, I mean a structure $(A,0,{+},{\vee},{\wedge})$ such that $(A,0,{+})$ is a (not necessarily commutative) monoid, $(A,{\vee},{\wedge})$ is a lattice, and the two ...
1
vote
1answer
196 views

What are sources for pathological and non-so-pathological Gabriel filters on commutative rings?

The heavy lifting in the theory of Gabriel filters is for noncommutative rings, and discussions I've been able to find all focus there. I am trying to develop a theory of Gabriel-filter localization ...