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

learn more… | top users | synonyms

3
votes
5answers
1k 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 ...
4
votes
3answers
217 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 ...
20
votes
0answers
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 ...
2
votes
4answers
734 views

Examples of algebras satisfying (a+b)(c+d)=ac+bd

Is there a known example of an algebra $(A, +, \cdot)$ with two binary commutative (see P.S below) and idempotent operations $+$ and $\cdot$ satisfying the identity $(a+b)(c+d)=ac+bd$? Actually I ...
1
vote
1answer
180 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 ...
24
votes
20answers
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 (constants)...
19
votes
6answers
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 ...
18
votes
4answers
801 views

Varieties where every algebra is free

I'd like to know more about varieties (in the sense of universal algebra) where every algebra is free. Another way to state the condition is that the comparison functor from the Kleisli category to ...
13
votes
2answers
1k 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 ...
13
votes
2answers
418 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 min(min($x+...
9
votes
1answer
425 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 ...
9
votes
4answers
613 views

Complete Boolean algebra not isomorphic to a $\sigma$-algebra

Does there exist a complete Boolean algebra that is not isomorphic to any $\sigma$-algebra? If so, what is an easy or canonical example or construction?
3
votes
1answer
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). ...
9
votes
3answers
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 ...
6
votes
1answer
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 ...
3
votes
1answer
812 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 ...
3
votes
0answers
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 ...
7
votes
0answers
486 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 ...
5
votes
0answers
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). ...
4
votes
2answers
571 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 ...