# Questions tagged [universal-algebra]

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

305 questions
Filter by
Sorted by
Tagged with
170 views

### Is equational logic in universal algebra a proof system not a logic system?

As far as I know a logic system defines its own semantics (e.g. $\models$), but not a proof calculus/system on its language. See p261 in Ebbinghaus et al's Mathematical Logic: In universal algebra, ...
100 views

### What is the name for Boolean algebra's version of $\models$ between sets of identities and identities?

On p62 in Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits by Elliott Mendelson (1970), Part (b) of the corollary says that if an identity is satisfied by some ...
44 views

### Varieties where any subalgebra is a regular sub-object

Following [LPAC] Chap.3, p.132 let $S$ a set of sorts and $\Sigma$ a $S$-sorted signature. From the [LPAC] treatment we have the category $Alg(\Sigma)$ with a $(\mathit{regular.Epi,Mono})$-...
603 views

### Are there axioms satisfied in commutative rings and distributive lattices but not satisfied in commutative semirings?

Consider the language of rigs (also called semirings): it has constants $0$ and $1$ and binary operations $+$ and $\times$. The theory of commutative rigs is generated by the usual axioms: $+$ is ...
73 views

### Characterisation of presentations for varietal large equational theories

Let $T : \mathbf{Set}^\mathrm{op} \to \mathscr T$ be a large equational theory (i.e. a bijective-on-objects product-preserving functor). Following Linton in Some Aspects of Equational Categories, we ...
171 views

### “Tietze-like transformations” for defining interesting bijections between algebraic structures

Consider the following two definitions of the natural numbers: The natural numbers are the algebraic structure $\mathbb{N}_1$ generated by one constant, $0$ and one unary function, $S$ (and no ...
188 views

### Is there a finite equational basis for the join of the commutative and associative equations?

I asked this on math stack exchange, but I was told to post it on mathoverflow. Consider the lattice of equational theories of a single binary operation $*$. The meet of the theory axiomatized by the ...
157 views

### Invariant theory in universal algebra

Let $\mathcal{L}$ be a finite first-order language with no relation symbols, and $\mathcal{K}:=\mathcal{V}(\Theta)$ a variety in this language definited by a set of identities $\Theta$. My questions ...
226 views

337 views

### Does the likelihood of these tables exist?

Probably it does, and may be a number near $e^{-3/2}$ for 2-deficient tables. First some background. Early on in my studies of universal algebra, I encountered a result of Vadim Murskii, with the ...
479 views

### Is the class of power-associative binars finitely axiomatizable?

A binar is simply a set $S$ equipped with a single binary operation $*$. A power-associative binar is a binar where the subalgebra generated by a single element is associative. Equivalently, they can ...
342 views

### Jordan algebra identities

A Jordan algebra is a vector space with a commutative bilinear operation $\circ$ obeying an identity that's often written as $$(x \circ y) \circ (x \circ x) = x \circ (y \circ (x \circ x)) .$$ ...
36 views

### Morphism of sketches inducing a (co)reflective subcategory

Certain morphisms of theories gives rise to (co)reflective subcategories of their models. For the sake of simplicity, I'm going to fix my definition of sketch to be a category $\mathbb{C}$ with a ...
7k views

### Does “finitely presented” mean “always finitely presented”? (Answered: Yes!)

Precisely, if an R-module M has a finite presentation, and Rk → M is some unrelated surjection (k finite), is the kernel necessarily also finitely generated? Basically I want to believe I can ...
151 views

167 views

### Indecomposable weirdos (cnt.)

This post is a continuation of Weirdos but algebraic. Logically, the quoted post could follow the present one rather than precede it. Question Does there exist an indecomposable weirdo which is ...
500 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 ...
233 views

### What are algebraic systems and algebraic closure as defined by Kenjiro Shoda? Which are his main results on them?

In On Utumi's ring of quotients, Canad. J. Math. 15(1963), 363-370, J. Lambek says: As a matter of historical record, the minimal injective extension of a module is a special case of the "algebraic ...
358 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 ...
168 views

### The question about elementary equivalence of free products

Let $A,B,C,D$ be algebraic systems and $A$ and $B$ be elementary equivalent as well as $C$ and $D$. Are free products of $A,C$ and $B,D$ elementary equivalent if $A,B,C,D$ are groups, or $A,B,C,D$ ...
833 views

### Shape of axioms in algebraic structures

When defining 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 many ...
731 views

### What is a module over a Boolean ring?

Recall that a (unital) Boolean ring is a (unital) commutative ring $A$ where every element is idempotent; it follows that $A$ is of characteristic 2. There is an equivalence of categories between ...
166 views

### Algebraic/relational structures produced using evolutionary/machine learning algorithms?

Are there examples of algebraic structures which have been constructed using evolutionary algorithms and possibly machine learning algorithms? I am looking for algebraic structures like lattices ...
6k views

### $fgf = f$, $gfg = g$, $fg$ not necessarily identity, what is this called?

A very simple question, I just totally forgot how it was called, and Google is not helping. There's a pair of functions $f:X\to Y$, $g:Y\to X$. $fgf = f$, $gfg = g$, but $fg$ and $gf$ don't need to ...
243 views

### Comparing “axiomatized function spaces”

This was previously asked and bountied at math.stackexchange with no response. Let $C(\mathbb{R}^2,\mathbb{R})$ be the space of all continuous functions $\mathbb{R}^2\rightarrow \mathbb{R}$ with the ...
257 views

### Short proof a monoid is a group iff every splitting is right homogeneous

In the paper "Schreier split epimorphisms between monoids" by Bourn, Nelson, Martins-Ferreira, Montoli and Sobral, Semigroup Forum June 2014, the authors prove a characterization of groups among ...
877 views

### Primitive recursive arithmetic via universal algebra

From the Wikipedia article on Primitive recursive arithmetic: "Primitive recursive arithmetic, or PRA, is a quantifier-free formalization of the natural numbers. It was first proposed by Skolem ...
380 views

### Axiomatizing orientation in the complex plane

Lately I've begun to suspect that a certain ternary relation might play a role in $\bf{C}$ analogous to the role played by the binary relation $>$ in $\bf{R}$, namely, the relation that the ...
496 views

### Ternary associative multiplication

In this answer Brian M. Scott describes the following generalization of a binary associative multiplication to a ternary one: it is a function $$[\cdot,\cdot,\cdot] : G\times G \times G \to G$$ such ...
4k views

### Motivation of filtered colimits

I am trying to move in categorical algebra beyond the basics. A Lawvere theory L is a small category with finite products. (I know that there also is a functor $(skeleton(FinSet))^{op}\to L$, which ...
312 views

### If questions are formalized as ideals of a boolean algebra, what kind of algebra of questions appears from Stone representation theorem?

Affirmative propositions make up a Boolean algebra, and Boolean algebras became part of classical algebra for over one century ago - in this sense they are "simple". But I did not encounter in ...
103 views

### Explicit lifting characterization of complete lattices among posets?

It's well-known that the complete lattices are characterized among all posets as the regular-injectives. That is, a poset $L$ is a complete lattice if and only if $L$ has the right lifting property ...
1k 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 ...
638 views

### What's the cokernel of a monoid homomorphism?

Let $f:A\to B$ be a monoid homomorphism. Where can I find an explicit description of the its cokernel? Are there any books on this topic? By the cokernel of $f$, I mean the universal arrow which ...
For finite groups $G$ of odd order, as $x \mapsto x^2$ is bijection (but no automorphism in general) then, we can define for each $g \in G$ the element $x^{1/2}$ by requiring $(x^{1/2})^2 = x$. Then ...