# 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).

17 views

59 views

### Subdirect product - terminology

Let $A$ and $B$ be algebras of the same type such that the set of all their subdirect products consists of their ordinary product alone. Is there any terminology that describes this situation? I mean ...
392 views

### A morphism-revealing category? [closed]

Categories of sets and functions can be considered as subcategories of Set but when considered as subcategories of the category SubSet, of pairs of sets with pairs $(X,S)$, $S\subseteq X$, as objects ...
283 views

### About a construction of Borel $\sigma$-algebra associated to a lattice

Let $(\mathcal{A}, \cup, \cap)$ a lattice (with minimum and maximum elements $\bot$ and $\top$). Let $X\subset \mathcal{A}$ a generator set (a set of minimal cardinality that generate $\mathcal{A}$ i....
356 views

### In what sense are operads “better” than PROPs?

I'm a newcomer to operads so apologies if this is a naive question. The standard picture of an operad is of a collection of $n$-ary operations, thought of as objects with $n$ upward-pointing legs (...
155 views

### Hemi-Semi Direct Product

In the category of racks (similarly quandles), instead of well-known semi direct product, we have hemi-semi direct product construction as seen on Wagemann & Crans. As far as I know, semi direct ...
161 views

### Is the variety of algebras $(A,*,+)$ that satisfy $(x*y)+(y*z)=(x+y)*(y+z)$ generated by its finite algebras?

The finite algebras $(A,*,+)$ that satisfy the identity $(x*y)+(y*z)=(x+y)*(y+z)$ are precisely the algebras such that the one-dimensional cellular automata produced by $*$ and $+$ are commutative ...
116 views

### What is known about semigroups that are generated by (cyclic) subgroups?

A semigroup $(A,\cdot)$ that is idempotent (i.e. $a^2=a$ for every element $a\in A$) is naturally generated by its subgroups (every element on itself constitutes a trivial group). I would like to know ...
144 views

### Is every $n$-ary semigroup a subalgebra of an algebra derived from a binary semigroup?

Let $(A,f)$ be an $n$-ary semigroup ($n \ge 2$). Then there exists a ($2$-ary) semigroup $(\overline A,*)$ with an inclusion homomorphism $A \hookrightarrow \overline A$ such that that the restriction ...
79 views

### Poincaré-Birkhoff-Witt theorem for Leibniz algebras

Leibniz algebras can be seen as a non-skew-symmetric generalization of Lie algebras. I have already taken a look at some papers related to Leibniz algebras and extending main results of Lie algebras ...
568 views

### Identities of commutators

Let $G$ be a group and set $[x,y]:= x^{-1}y^{-1}xy$ as usual and consider it as a binary operation. Question: Is there a description of the identities that the operation $[.,.]$ satisfies for all ...
135 views

### Is the class of Heyting algebras originating from directed graphs a variety?

The category RefGph of reflexive directed graphs is the functor category $\hat{∆}_1=\mbox{Fun}(∆^◦_1,$Set), where $∆_1$ is the simplex category truncated at level 1. Hence the poset Sub(X) of ...
351 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 ...
195 views

Setup: Let $\mathcal{O}$ be an operad in the category of sets, and let $\mathcal{O}\text{-Alg}$ denote the category of algebras on it (i.e., operad functors $\mathcal{O}\to\mathbf{Set}$. This category ...
465 views

### Representation theorem for modular lattices?

Birkhoff's representation theorem implies that every distributive lattice embeds into the lattice of subsets of a set. Is there also some representation theorem for modular lattices? For example, I ...
170 views

### Heyting algebras originating from directed graphs

The category RefGph of reflexive directed graphs is the functor category $\hat{∆}_1=\mbox{Fun}(∆^◦_1,$Set), where $∆_1$ is the simplex category truncated at level 1. Hence the poset Sub(X) of ...
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, ...
204 views

### Is the word problem decidable for free finitely generated self-square groups?

A self-square group is a group with extra structure, which encodes the fact that the group is isomorphic to its own direct square. To be exact, the group $G$ has a special element $1$, a unary ...
67 views

### General approaches to extension theorems as Caratheodory

I would like to know if there are some general studies about extension-like theorem, in the sense which i'm going to describe. This paragraph is not rigorous; I just would like the idea to be clear. I ...
100 views

### Finitely presented algebras with isomorphic semilattices of congruences

Let $\mathbb{T}$ be a finitary algebraic theory. For each $\mathbb{T}$-algebra $A$, let $Q (A)$ be the join semilattice of finitely generated congruences on $A$. There is an evident pushforward ...
456 views

### Contexts and notations for composing asymmetric simplices

Imagine the elements of a group-like structure as puzzle pieces with essential two sides, an IN-side and an OUT-side. You can compose two such pieces in two obvious ways: Now consider triangular ...
146 views

### When are the categories of algebras over props (co)complete?

Suppose P is a (colored) prop in a closed symmetric monoidal locally presentable category C. Is the category Alg_P of algebras over P in C locally presentable? It seems that one can relatively easy ...
491 views

156 views

### How distributive are the bad Laver tables?

Suppose that $n\in\omega\setminus\{0\}$. Then define $(S_{n},*)$ to be the algebra where $S_{n}=\{1,...,n\}$ and $*$ is the unique operation on $S_{n}$ where $n*x=x$ $x*1=x+1\,\text{mod}\, n$ and if ...
232 views

### Does every Lawvere theory arise in this way?

By a Lawvere theory, I mean a finite-product category $\mathsf{T}$ equipped with a distinguished object, such that every object of $\mathsf{T}$ can be expressed as a finite product of the ...
164 views

### “Generalized theory of polynomials” for a given commutative Lawvere Theory

I am trying to understand Nikolai Durov's "New Approach to Arakelov Geometry" right now and it got me thinking about a particular thing. Let $R$ be a commutative, associative ring with unit. We can ...
82 views

### Ultraproducts and subobjects of projectives

Usually the question whether the class of projective algebras in a given variety is closed under taking subalgebras seems to be quite hard. In varieties with well understood dual geometry (e. g. ...
110 views

### When does a cogenerator determine a variety?

Two varieties of universal algebras are categorically equivalent iff their respective full subcategories of finitely generated free algebras are equivalent. Roughly speaking, this follows because they ...
222 views

I apologize if this question is meaningless or trivial: What are examples of Algebras admitting quantifier elimination? Especially are there Groups admitting quantifier elimination? I need to say ...
93 views

### Minimal generating sets of free algebras of varieties

Let $V$ be a variety and $F$ be a relatively free algebra in $V$. Suppose $X$ is a minimal generating set for $F$. Under what conditions we can deduce that $X$ is a free basis of $F$?
72 views

Suppose one has two locally finite quasivarieties $\mathcal{V}$ and $\mathcal{W}$. Further suppose that: $\mathcal{V}$ is a variety. The finite algebras $\mathcal{V}_f$ are dually equivalent to $\... 1answer 285 views ### Does every commutative variety of algebras have a cogenerator? By a commutative variety$\mathcal{V}$I mean a classical variety of algebras for some$(\Sigma,E)$, such that each pair of operations in$\Sigma$commutes. Equivalently (i) every interpretation of ... 1answer 154 views ### Is the following a sufficient condition for being a primal algebra? I have a question regarding universal algebra and, in particular, primal algebras: Suppose that A is a finite simple algebra with no proper subalgebra, no automorphism except the identity map, with a ... 2answers 541 views ### Why is every variety of bands determined by a single identity? A band is a semigroup where every element is idempotent:$a a = a$. A collection of bands is a variety if it is closed under taking subobjects (subsemigroups), quotient objects (images of ... 0answers 206 views ### Universal anti-Horn classes? Is there published work about universal anti-Horn classes? Anti-Horn formulas are also sometimes known as dual Horn. See also related question Is there any research of universal algebras axiomatized ... 1answer 108 views ### A decision problem for clones E. Post proved that there are only countably many clones on a two-element set (classes of operations closed under superposition and containing all projections). All these clones are finitely ... 2answers 650 views ### Primitive Recursive Arithmetic via Universal Algebra From the wikipedia article on Primitive Recursive Arithmetic (see http://en.wikipedia.org/wiki/Primitive_recursive_arithmetic): "Primitive recursive arithmetic, or PRA, is a quantifier-free ... 1answer 222 views ### Mal'cev “rational equivalence” and model theory In Universal Algebra, it is possible to say that two presentations denote the "same" kind of algebraic structures, if the two corresponding varieties are "rationally equivalent" (Mal'cev 1958). In ... 0answers 191 views ### What algebraic identities does the iteration of forcing operation satisfy? Let$G$be the set of all formulas$\phi(x)$in the language of such that$ZFC\vdash\exists x\phi(x)$exists,$ZFC\vdash\phi(x)\rightarrowx\,\textrm{is a complete Boolean algebra}"$,$ZFC\vdash\...
Fix a set of variables $V$, and suppose we're given a presentation of a monosorted algebraic theory, with variable symbols taken from $V$. For the sake of example, suppose the presentation consists of ...