**2**

votes

**1**answer

285 views

### Prove that algebraic structure is not semiring?

I have a [finite] lattice enriched with additional operations. I would like either:
find a pair of binary operations
(and constants) satisfying semiring
laws, or
prove that no such operations exist
...

**4**

votes

**0**answers

255 views

### Embedding of relatively free groups of bigger rank into ones of smaller rank

This question is prompted by this one by Arturo Magidin: whether there exist varieties of groups in which the relatively free group of rank 2 is finite, and the relatively free group of rank 3 is ...

**7**

votes

**1**answer

247 views

### Varieties of groups with infinite relatively free group of rank 2 finite, infinite in rank 3

Does there exist a variety of groups $\mathfrak{V}$ such that the relatively $\mathfrak{V}$-free group of rank 2 is finite, but the relatively $\mathfrak{V}$-group of rank 3 is infinite?
(In other ...

**11**

votes

**1**answer

823 views

### So, did Poincaré prove PBW or not?

This seems to be a question whose answer depends on whom you ask. Maybe we can come up with a final answer?
It is known that Poincaré, at least, invented something that can be called ...

**11**

votes

**0**answers

357 views

### When can we tell if PROPs, Algebraic Theories, etc. are faithfully detected in a given category?

I am interested in understanding a certain phenomenon. I am hoping this sort of problem has been studied before, but I don't know the proper terminology and am having trouble finding answers. I am ...

**14**

votes

**3**answers

2k views

### What is the theory of polynomials?

We all know what polynomials are, along with their elementary properties and many effective algorithms for different representations of polynomials.
The question here is more of a universal algebra ...

**7**

votes

**0**answers

435 views

### The name for a partial order

In a recent paper of mine, my co-authors found that a partial order that we were using was contained in a paper by Kundgen. In it, he called it "right-shifted partial order". I was curious, and found ...

**9**

votes

**3**answers

608 views

### Algebraic axiomatization for AB+BA^T operation on matrices

Let us consider a matrix algebra $Mat_{n\times n}(K)$, where $K$ is a field, $char K \neq 2.$
It is well-known that the axiomatization of commutator operation $[A,B]=AB-BA$ on matrix algebra leads us ...

**3**

votes

**1**answer

190 views

### Can ordinary schemes be described as sheves of algebras/models for a certain Lawvere theory?

Consider the definition of a $\mathcal{C}^{\infty}$-scheme given in Dominique Joyce's "Algebraic geometry over C-infty rings". As far as I uderstand (not being an expert either in C-infty rings nor in ...

**3**

votes

**2**answers

1k views

### Why Lawvere theories have finite products? and more

According to Wikipedia, a Lawvere theory consists of a small category $L$ with (strictly associative) finite products and a strict identity-on-objects functor $I:\aleph_0^\text{op}\rightarrow L$ ...

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

**4**

votes

**1**answer

404 views

### Higher-order preservation theorems?

The Łos-Tarski preservation theorem states that a set of formulas $F$ of first-order language $L$ is preserved under substructures for models of theory $T$ in $L$ precisely when $F$ is equivalent ...

**13**

votes

**3**answers

1k views

### Relation between monads, operads and algebraic theories

I've begun to interest in algebraic theories and their categorical models: in particular monads, generalized multicategories and operads, lawvere theories and their generalization. Is there any ...

**5**

votes

**3**answers

923 views

### Monad arising from operad

It's known that from every operad arises a cartesian monad whose algebras are the algebras for the operad. Leinster proved that there are different operads from which arise the same monad, in this way ...

**5**

votes

**1**answer

232 views

### Do plain functors out of monoidal categories factor into a nontrivial monoidal part and a plain part?

Given symmetric monoidal closed categories $C, D$, a symmetric monoidal (not closed!) functor $F:C\to D$ factors into two parts:
the first is a symmetric monoidal closed functor from $C$ to a ...

**5**

votes

**0**answers

902 views

### Undecidability degree of some elementary theories (two equivalence relations, …)

I have a question about some results in the paper
I. A. Lavrov. Effective inseparability of the sets of identically true formulae and finitely refutable formulae for certain theories (in Russian). ...

**2**

votes

**2**answers

192 views

### Of what kind of complemented bounded poset are the structures in my quasi-variety?

I feel that my question is very basic, but, somewhat suprisingly, nobody was able to give me an answer so far:
Let
$\mathbf{M} := \langle \{ 0,1 \}, 0, 1, \leq, \neg \rangle$
be the structure with ...

**6**

votes

**3**answers

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

**6**

votes

**5**answers

532 views

### Binary operations compatible with the usual order on the reals

An officemate passes along the following natural-seeming question:
Say that a binary operation $\oplus$ is compatible with the usual order $\leq$ on $\mathbb{R}$ if for any $w, x, y, z$ in ...

**23**

votes

**20**answers

2k views

### Why are so few operations with arity bigger than 2?

In usual algebraic structures, like groups, rings, monoids, etc, or in algebras coming from logics like Boolean algebras, Heyting algebras and the like the operations are usually of arity 0 ...

**7**

votes

**1**answer

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

**3**

votes

**2**answers

575 views

### Is the decomposition of an algebra into irreducible components essentially unique?

We consider finite algebras for a given signature, in the sense of universal algebra (for example, they might be groups, rings, or lattices). An algebra $A$ is irreducible when $A \cong B \times C$ ...

**3**

votes

**2**answers

238 views

### What do you call a lattice whose meet operation preserves disjointness of subsets?

To make my question more precise and compact (and probably more intuitive), let me define the following:
A subset $S$ of a lattice is mutually disjoint if for each $x \in S$, $\bigvee(S - \lbrace x ...

**0**

votes

**1**answer

148 views

### How to define the action of $U(G)$ in this situation?

The usual action of $fg$ on $u⊗v$ , where $f,g$ are elements in the Universal Enveloping Algebra $U(G)$ of a Lie algebra $G$ and $u,v$ are elements of a representation $V$ of $G$, is given by ...

**7**

votes

**0**answers

538 views

### Counting and understanging commuting functions.

Fix a positive integer $n$, and consider the functions from a set of size $n$
to itself. Let $cp(n)$ denote the number of ordered pairs $\langle f,g
\rangle$ of these functions which commute, i.e., ...

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

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

**6**

votes

**5**answers

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

**4**

votes

**2**answers

640 views

### Is there a notion of congruence relation for essentially algebraic structures?

In universal algebra there is the notion of congruence relation: Consider a (1-sorted) algebraic structure, i.e. a set $A$ with a bunch of finitary operations $f_i$ satisfying equations.
A congruence ...

**1**

vote

**4**answers

807 views

### Is monomorphism going in both directions sufficient for isomorphism?

In category theory, it seems that a monomorphism from $A$ to $B$ and one from $B$ to $A$ should be enough to guarantee isomorphy, but it doesn't seem to be so. (If I'm right then there's something ...

**4**

votes

**0**answers

263 views

### The graph of algebraic theories

Fix a logic $L$ and consider the category $\mathbf{AlgTh}_L$ with theories of $L$ as objects and theory interpretations as morphisms. For nice enough logics, this category has pushouts (which we will ...

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

**9**

votes

**2**answers

780 views

### Free division rings?

Does it make sense to talk about, say, the free division ring on 2 generators? If so, does the free division ring on countably many generators embed into the free division ring on two generators?

**18**

votes

**6**answers

1k views

### Do non-associative objects have a natural notion of representation?

A magma is a set $M$ equipped with a binary operation $* : M \times M \to M$. In abstract algebra we typically begin by studying a special type of magma: groups. Groups satisfy certain additional ...

**1**

vote

**2**answers

920 views

### What is a semigroup or, what do I do with that associativity proof?

Mathematically, I know what a semigroup is: It is a set S along with an associative binary operation $* : S \times S \rightarrow S$. So far, so good.
From a computational perspective, one can ...

**8**

votes

**2**answers

627 views

### Right actions of operads and monads

Given an operad $A$, there is an associated monad $M_A$ given by $M_A(X) = \coprod_n A(n) \otimes X^{\otimes n}$ such that being an $A$-algebra and being an algebra over the monad $M_A$ is the same ...

**2**

votes

**1**answer

468 views

### Higher-order, multi-sorted, non purely equational version of universal algebra ?

I have been looking around, unsuccessfully, for generalizations of universal algebra based on higher-order logic (rather than first order) and where the relations are not purely equational. ...

**3**

votes

**5**answers

975 views

### Defining 'free monoid' without Nat?

Is there a definition of what is a 'free monoid' which does not pre-suppose that the natural numbers has already been defined? The definitions that I have been able to track down all use the natural ...

**3**

votes

**1**answer

183 views

### Equational definition of Residuated Lattices

The usual axiomatization of residuated lattices involve using ≤. I know I can expand away the use of ≤ using a definition such as (x ≤ y) := (x ∧ y = x), but I fear I will get a set of messy axioms.
...

**3**

votes

**2**answers

270 views

### Terminology: Name for a homomorphism from the free object?

Is there a standard name for taking a homomorphism from the free object over an algebraic structure? Roughly speaking, this should amount to evaluation of any element of the free object under the ...

**1**

vote

**1**answer

510 views

### Coequalizer in the category of primitive recursive functions

What does a coequalizer in the category of primitive recursive functions look like? I know that in Set, a coequalizer is a minimum congruence but...what is it in particular in the category of ...

**7**

votes

**1**answer

512 views

### Does ⋄ generate all De Morgan algebras?

(Asked by Nathaniel Hellerstein on the Q&A board at JMM)
This question is about De Morgan algebras (see also Wikipedia), which are something like Boolean algebras, but with a different weaker ...

**4**

votes

**2**answers

435 views

### Is every lattice the fixed-point set of an order endomorphism of ⋄^n?

(Asked by Nathaniel Hellerstein on the Q&A board at JMM)
Let ⋄ be the 4 element lattice
τ
/ \
i j
\ /
f
Is every lattice isomorphic to the fixed point lattice of some ...