**24**

votes

**1**answer

2k views

### A preprint of Sela concerning the work of Kharlampovich-Miyasnikov

Yesterday, Z. Sela published a preprint in arXiv which claims that the solution of Olga Kharlampovich and Alexi Miyasnikov for the Tarski problem on decidablity of the first order theories of free ...

**3**

votes

**2**answers

319 views

### Are algebraic structures uniquely identifed by their free objects?

It might be a naive question, as I am not a specialist in this field.
This is a follow-up to this question.
I want to study varieties of objects generalizing ordered monoids, in particular using an ...

**4**

votes

**1**answer

183 views

### Why the axiomatic rank of the variety of groups is equal to three?

I am thankful of Anton Klyachko who introduced axiomatic rank to me: the axiomatic rank of a variety is the minimum number of variables which we need to define that variety by identities.
It seems ...

**3**

votes

**1**answer

85 views

### Non finitely based varieties of groups defined by finitely many variables

A set $\Sigma$ of group identities is called bounded if there is $n\geq 1$ such that for any $(w\approx 1)\in \Sigma$, we have $w\in F(x_1, \ldots, x_n)$. A variety $\mathbf{V}$ is called bounded ...

**1**

vote

**1**answer

187 views

### Varieties generated by a two element algebra

I have two questions regarding universal algebra, and also its ordered version.
If a variety $\mathcal{V}$ is generated by a specific two element algebra $2 = \{0,1\}$, then is that the only ...

**3**

votes

**2**answers

170 views

### A variety of algebras satisfying some dual conditions

I would like prove that, under the conditions described below, no non-trivial variety exists.
Let $\mathcal{V}$ be a variety of algebras e.g. rings, semigroups, semilattices.
Further suppose ...

**0**

votes

**3**answers

141 views

### Negated varieties and their relatively free algebras

During the past days, I asked some questions in order to gain a clear understanding of the notion of "free algebras". I suppose that the question below is the most clear image of the concept I have ...

**4**

votes

**3**answers

261 views

### The existence of an algebra whose set of identities and first order theory are equivalent

Is there an algebra $A$ (for example a group) such that $Th(A)$ is logically equivalent to $id(A)$? In other words, is there an algebra $A$ such that
$$
Mod(Th(A))=Var(A)?
$$
Clearly finite algebras ...

**0**

votes

**1**answer

165 views

### relatively free groups in $Var(S_3)$

Suppose $S_3$ is the symmetric group of order 6. Which elements of the variety $Var(S_3)$ are relatively free?
This question is related to my previous question
Relatively free algebras in a variety ...

**4**

votes

**3**answers

201 views

### Relatively free algebras in a variety generated by a single algebra

Suppose $A$ is an algebra of signature $\mathcal{L}$ and $V=Var(A)$ is the variety generated by $A$. I want to know is it possible to classify relatively free elements of $V$? As a special case, for a ...

**6**

votes

**1**answer

281 views

### Generalizations of Birkhoff's HSP Theorem

Let $\mathbf{C}$ be the class of algebraic structures of some fixed type satisfying some sentence $\phi$. Birkhoff's HSP theorem says that $\mathbf{C}$ is closed under homomorphisms, subalgebras and ...

**1**

vote

**0**answers

51 views

### A fixed point problem in infinite dimensions for monotonic algebras

Let $A$ be an algebra over $[0,1]$, whose operations are all unary monotone (increasing or decreasing) bijections, except that $A$ also includes the infimum operation over finite or countably many ...

**12**

votes

**2**answers

920 views

### What is the status of (universal) algebra in type theory?

With the recent interest in homotopy type theory as a foundation for mathematics, it seems natural to develop algebra within the framework of type theory. So far, I can't find much literature ...

**2**

votes

**1**answer

95 views

### Varieties of rational languages and (pseudo-)varieties of finite monoids, question regarding closure property

Let $\mathcal Rat(A)$ denote the class of rational (or regular) languages over the alphabet $A$, a subset $\mathcal V(A) \subseteq \mathcal Rat(A)$ is called a variety of (rational) languages iff
...

**5**

votes

**1**answer

360 views

### What are the essential properties of algebraic closure on an arbitrary structure?

Define the "model theoretic" notion of a closure function as follows:
Definition (1): Let $D$ be a non-empty set. A function $cl:P(D)\longrightarrow P(D)$ called a closure function iff it has the ...

**8**

votes

**1**answer

371 views

### Generalizing detropicalization

Given an identity in max,plus arithmetic, are there ways to turn it into an ordinary algebraic identity it other than by replacing addition by multiplication and replacing max by series-plus or by ...

**13**

votes

**2**answers

397 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 ...

**2**

votes

**0**answers

113 views

### A generalization of quasi-identities

In universal algebra, a variety is axiomatized by identities $t \approx s$ between terms $t$ and $s$. More general are quasi-varieties that are axiomatized by quasi-identities of the form $$u_1 ...

**2**

votes

**1**answer

632 views

### Commutative associative rational binary operations

What are all the nondegenerate rational binary operations that are commutative and associative? (Examples: $(x,y) \mapsto x+y$, $xy+x+y$, $xy/(x+y)$.)
Feel free to re-tag if you can think of ...

**2**

votes

**1**answer

150 views

### How to prove that a binary relation is a strongly rigid relation? i.e. Polρ only contains projections

I first quote a definition from Clone theory in Universal Algebra: A binary relation $\rho$ on a set U is strongly rigid if every universal algebra on U such that $\rho$ is a subuniverse of its square ...

**3**

votes

**2**answers

237 views

### Coequalizers in an Eilenberg-Moore category

Last month I proved that some category $\mathbf C$ that I happen to care about is isomorphic to the Eilenberg-Moore category for a monad on the category of bounded posets $\mathbf{BPos}$.
I know from ...

**2**

votes

**1**answer

190 views

### Cyclic Distribution on the reals?

Do there exist binary operators *, **, and *** on the real numbers, such that ...

**2**

votes

**1**answer

473 views

### Suggestions on the best introductory Model Theory texts [closed]

Any recommendations on the best texts for introducing Model Theory?

**3**

votes

**2**answers

528 views

### Shape of axioms in abstract algebra

When defining abstract algebraic structures (like monoids, groups, etc...), are there some constraints on the shape of the axioms, for the structure to have good properties that we implicitly use in ...

**3**

votes

**1**answer

239 views

### Iterating Monad-Comonads structures

Let $(T, \mu , \eta )$ a monad on the category $\mathscr{C}$ , with the usual EM (Eilenberg-Moore) adjunction $\langle F_T, U_T, \eta_Y, \epsilon_T \rangle: \mathscr{C}^T \to \mathscr{C}$ where ...

**5**

votes

**1**answer

336 views

### Is there a general theory of “representation theorems”?

Let $V$ and $W$ be classes of algebraic structures, and suppose we have some canonical way of constructing objects of $W$ from objects of $V$. Let's call this construction $C$, so that for all $A\in ...

**4**

votes

**2**answers

255 views

### Theorems (from clone theory) that can be stated only by using operations and their composition.

To state my question, I first have to explain what I mean by "using operations and their compositions only". In short, it means that I am looking for theorems from clone theory (or on operations and ...

**11**

votes

**1**answer

361 views

### Which categories are the categories of models of a Lawvere theory?

Background: a Lawvere theory $T$ is a category with finite products such that each object is a power of a fixed object $x$. Given a Lawvere theory $T$, the category $\text{Mod}_T$ of models of $T$ is ...

**11**

votes

**0**answers

658 views

### Why did Bourbaki not use universal algebra?

I have seen a discussion about Bourbaki’s usage of categories before. So let me ask a different question: why did he not use universal algebra?
Well, universal algebra is not much older than category ...

**4**

votes

**4**answers

284 views

### What is an ideal-supporting algebra?

I'm sorry if this question is too elementary, but I asked it at MathStackExchange and it received no responses.
On the Wikipedia page for congruence relation it mentions how for groups and rings, ...

**7**

votes

**0**answers

186 views

### Binary Operation on a Cubic Surface

If $P$ and $Q$ are two sufficiently general points on a cubic surface, the line between them intersects the cubic surface at a unique third point, $f(P,Q)$. This gives a binary operation on (generic) ...

**5**

votes

**2**answers

176 views

### Algebras with finite essential arity

We are talking about algebras in the universal algebraic sense, that is, a set that $A$ is equipped with a set $F$ of finitary operations on $A$.
Definition: An algebra $(A,F)$ is said to have ...

**11**

votes

**5**answers

598 views

### What are the invariant Pseudo-differential operators on a Lie group?

It is well-known that (left) $G$-invariant differential operators on a Lie group $G$, has an algebraic description, i.e. universal enveloping algebra of the Lie algebra of the group.
On the other ...

**1**

vote

**1**answer

199 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 ...

**8**

votes

**0**answers

296 views

### When can I assure that the representation theory of a PROP is faithful?

Recall that a PROP is a symmetric monoidal category whose object-set is freely $\otimes$-generated by a single object $x\in P$. A representation or algebra for a prop $P$ in a symmetric monoidal ...

**2**

votes

**1**answer

210 views

### Methods to tell if a magma has idempotents

(Disclaimer: below, when I say "compact" I mean "compact Hausdorff.")
I asked a version of this question on math stackexchange ...

**1**

vote

**0**answers

58 views

### Looking for a uniform explanation of algebras with canonical generators.

Let $\mathcal{V}$ be a finitary variety i.e. the algebras for a signature whose operations have finite arity and for some arbitrary set of equations. Then any algebra $A \in \mathcal{V}$ has a ...

**2**

votes

**1**answer

134 views

### Distributive lattice embedding into a finite lattice.

Suppose one has an inclusion $\iota : D \hookrightarrow S$ where $D$ is a finite distributive lattice and $S$ is a finite join-semilattice.
If $\iota$ preserves all meets and joins one can show that ...

**17**

votes

**1**answer

773 views

### What are the relations between conjugates and commutators?

The following algebraic structure came up when I was thinking about invariants of coloured knots. The elements are all elements of a noncommutative free group $F$, and the operations are:
$a^b= ...

**6**

votes

**1**answer

384 views

### Two questions about commutative theories

Let $\mathcal{T}$ be a commutative algebraic theory (for example sets, abelian groups, commutative monoids, but not groups etc.). References include the nlab and Borceux' Handbook of Categorical ...

**3**

votes

**1**answer

295 views

### Classification of plethories over $\mathbb{Q}$

Let $k$ be a commutative ring. For every cocommutative bialgebra $A$ over $k$ the symmetric algebra of the underlying $k$-module $S(A)$ carries the structure of a $k$-plethory (Borger, Wieland, 2.5). ...

**4**

votes

**3**answers

714 views

### Survey of finite axiomatizability for relational theories?

An $L$-theory $T$ is finitely axiomatizable if there is a finite set $A$ of $L$-sentences with the same consequences as $T$, i.e. such that $M \models T$ iff $M \models A$ for every $L$-structure $M$. ...

**3**

votes

**2**answers

189 views

### Are the categories of bialgebras and weak biaglebras cocomplete/algebraic?

I am trying to verify whether the category of bialgebras and then the category of weak bialgebras are cocomplete.
We know that algebraic categories are cocomplete (Thm. 4.5 of this book), so I have ...

**6**

votes

**5**answers

509 views

### Computing colimits in a Lawvere theory

Let Prod(C, D) be the set of finite-product preserving functors from C to D. Is it true that for any Lawvere theory L, Prod(L, Set) has small colimits? This seems to be the case, as it is invoked ...

**3**

votes

**1**answer

329 views

### How strong is the condition that an operad splits, i.e. O(n)=O(s)xO(n-s)?

I recently proved something for the operad $Comm$ valued in a model category $M$ and am trying to generalize it to other symmetric operads. I'm very new to operads, so please forgive me if there are ...

**2**

votes

**1**answer

213 views

### What to call substructures in universal algebra in which we restrict the signature?

Suppose $\Sigma$ is a signature in the sense of universal algebra and $\Sigma' \subseteq \Sigma$ a sub-signature. Every $\Sigma$-algebra is also a $\Sigma'$-algebra in a forgetful way. Suppose $A$ is ...

**21**

votes

**3**answers

2k views

### Lawvere theories versus classical universal algebra

A Lawvere theory is a small category with finite products such that every object is isomorphic to a finite product of copies of a distinguished object x. A model of the theory in a category with ...

**7**

votes

**2**answers

309 views

### Is there a general result that theorems about finite structures proved in ZFC can be proved in ZF?

The title question is too vague so let me be specific.
Much of modern finite semigroup theory uses profinite semigroups and properties of profinite semigroups that depend on the existence of prime ...

**2**

votes

**1**answer

328 views

### Essential arities in quasi-varieties.

For my question, let us consider the following scenario.
We have a quasi-variety $\mathcal{A}$ generated by a finite algebra $\mathbf{M}$ (i.e. $\mathcal{A} = \mathbb{ISP}(\mathbf{M})$). Now, let ...

**8**

votes

**3**answers

635 views

### What is the smallest variety of algebras containing all fields?

A field is a ring whose nonzero elements form a commutative group under multiplication. A field is also a commutative inverse semigroup with respect to multiplication. The unique multiplicative ...