# Tagged Questions

The study of algebraic structures and properties applying to large classes of such structures. For example, ideas from group theory and ring theory are extended and considered for structures with other signatures (systems of basic or fundamental operations).

469 views

### IBN for algebraic theories

Let us say that a finitary algebraic theory $\tau$ has IBN (invariant basis number) if the free functor $F : \mathsf{Set} \to \mathsf{Mod}(\tau)$ reflects the isomorphism relation: If $S,T$ are sets ...
221 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 (http://math.stackexchange.com/questions/305186/left-continuous-magmas-...
330 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, ...
67 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 ...
142 views

318 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). ...
399 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 ...
829 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$. ...
202 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 ...
192 views

### Cyclic Distribution on the reals?

Do there exist binary operators *, **, and *** on the real numbers, such that ...
363 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 ...
218 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 ...
330 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 ...
703 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 ...
219 views

### $U\left(\mathfrak a\right) \otimes_{U\left(\mathfrak a\cap\mathfrak b\right)} U\left(\mathfrak b\right) \cong U\left(\mathfrak a + \mathfrak b\right)$ over a ring containing $\mathbb{Q}$

While the Poincaré-Birkhoff-Witt theorem is usually proven (and sometimes even formulated) for free modules only, it is known (see also here) that it holds for arbitrary modules if the ground ring is ...
236 views

546 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 ...
318 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 ...
797 views

### Given a lattice L with n elements, are there finite groups H < G such that L $\cong$ the lattice of subgroups between H and G?

If there is no restriction on $n$, this is a famous open problem. I'm wondering if any recent work has been done for small $n>6$. I believe the question is answered (positively) for $n=6$ by ...
726 views

### Presenting Lawvere theories?

(Re)Reading Lawvere theories versus classical universal algebra, I was reminded of a question I have had for quite some time: What is the best way to present Lawvere theories? By present, I mean ...
303 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 ...
261 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 ...
258 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 ...
919 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 Poincaré-...
370 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 ...
3k 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 ...
487 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 ...
616 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 ...
206 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 ...
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$ ...
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 ...
486 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 ...
2k views

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 ...
1k views

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 ...
241 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 "...
911 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). ...
204 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 ...
878 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 R-...
540 views