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).
413
questions
0
votes
1
answer
48
views
Product of two algebras with maximum condition
Suppose $A$ and $B$ are two algebras of the same signature, both having maximum condition on sub-algebras. Is it true that $A\times B$ has the same property?
- 2,183
29
votes
4
answers
1k
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 ...
- 61.6k
16
votes
1
answer
522
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 ...
- 1,261
2
votes
1
answer
260
views
Universal constructions that factor through endomorphisms
If $\cal A$ is a variety of algebras (e.g., all groups) and $\cal B$ is a subvariety defined by some set of identities $X$ (e.g., abelian groups with $X = \{xy \simeq yx\}$), then there is a functor $...
- 859
3
votes
2
answers
477
views
Are algebraic structures uniquely identifed by their free objects?
It might be a naive question, as I am not a specialist in this field.
This is a follow-up to this question.
I want to study varieties of objects generalizing ordered monoids, in particular using an ...
- 1,291
2
votes
1
answer
328
views
Algebras admitting quantifier elimination
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 ...
- 2,183
25
votes
1
answer
3k
views
A preprint of Sela concerning the work of Kharlampovich-Miyasnikov
Yesterday, Z. Sela published a preprint in arXiv which claims that the solution of Olga Kharlampovich and Alexi Miyasnikov for the Tarski problem on decidablity of the first order theories of free ...
- 2,183
4
votes
1
answer
204
views
Why the axiomatic rank of the variety of groups is equal to three?
I am thankful of Anton Klyachko who introduced axiomatic rank to me: the axiomatic rank of a variety is the minimum number of variables which we need to define that variety by identities.
It seems ...
- 2,183
3
votes
1
answer
124
views
Non finitely based varieties of groups defined by finitely many variables
A set $\Sigma$ of group identities is called bounded if there is $n\geq 1$ such that for any $(w\approx 1)\in \Sigma$, we have $w\in F(x_1, \ldots, x_n)$. A variety $\mathbf{V}$ is called bounded ...
- 2,183
1
vote
1
answer
285
views
Varieties generated by a two element algebra
I have two questions regarding universal algebra, and also its ordered version.
If a variety $\mathcal{V}$ is generated by a specific two element algebra $2 = \{0,1\}$, then is that the only ...
- 1,261
1
vote
3
answers
378
views
Example of a non-finitely based variety with explicit set of defining identities
There are many examples of non-finitely based varieties. In a finite signature, is there an example of such variety with a known explicit set of identities?
- 2,183
3
votes
4
answers
899
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 ...
- 2,183
3
votes
2
answers
181
views
A variety of algebras satisfying some dual conditions
I would like prove that, under the conditions described below, no non-trivial variety exists.
Let $\mathcal{V}$ be a variety of algebras e.g. rings, semigroups, semilattices.
Further suppose that:
...
- 1,261
0
votes
3
answers
183
views
Negated varieties and their relatively free algebras
During the past days, I asked some questions in order to gain a clear understanding of the notion of "free algebras". I suppose that the question below is the most clear image of the concept I have ...
- 2,183
5
votes
3
answers
306
views
The existence of an algebra whose set of identities and first order theory are equivalent
Is there an algebra $A$ (for example a group) such that $Th(A)$ is logically equivalent to $id(A)$? In other words, is there an algebra $A$ such that
$$
Mod(Th(A))=Var(A)?
$$
Clearly finite algebras ...
- 2,183
38
votes
19
answers
5k
views
Counterexamples in universal algebra
Universal algebra - roughly - is the study, construed broadly, of classes of algebraic structures (in a given language) defined by equations. Of course, it is really much more than that, but that's ...
2
votes
4
answers
540
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 ...
- 2,183
4
votes
3
answers
403
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 ...
- 2,183
7
votes
1
answer
662
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 ...
- 1,327
15
votes
2
answers
2k
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 ...
- 475
2
votes
1
answer
193
views
Varieties of rational languages and (pseudo-)varieties of finite monoids, question regarding closure property
Let $\mathcal Rat(A)$ denote the class of rational (or regular) languages over the alphabet $A$, a subset $\mathcal V(A) \subseteq \mathcal Rat(A)$ is called a variety of (rational) languages iff
...
- 798
7
votes
1
answer
714
views
What are the essential properties of algebraic closure on an arbitrary structure?
Define the "model theoretic" notion of a closure function as follows:
Definition (1): Let $D$ be a non-empty set. A function $cl:P(D)\longrightarrow P(D)$ called a closure function iff it has the ...
user36136
2
votes
0
answers
142
views
A generalization of quasi-identities
In universal algebra, a variety is axiomatized by identities $t \approx s$ between terms $t$ and $s$. More general are quasi-varieties that are axiomatized by quasi-identities of the form $$u_1 \...
- 43.7k
9
votes
1
answer
689
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 ...
- 19.4k
3
votes
1
answer
1k
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 ...
- 19.4k
1
vote
1
answer
255
views
Bodnarchuk, Kaluzhnin, Kotov, Romov’s Theorem on inclusion of Polymorphism ($Pol \rho \subseteq Pol \sigma$)
Bodnarchuk, Kaluzhnin, Kotov, Romov’s paper [1] is well-known. Anne Fearnley [2] infered from it the following theroem and used it to prove the inclusion of polymorphisms.
Theorem (Bodnarchuk, ...
- 31
2
votes
1
answer
172
views
How to prove that a binary relation is a strongly rigid relation? i.e. Polρ only contains projections
I first quote a definition from Clone theory in Universal Algebra: A binary relation $\rho$ on a set U is strongly rigid if every universal algebra on U such that $\rho$ is a subuniverse of its square ...
- 31
5
votes
2
answers
583
views
Coequalizers in an Eilenberg-Moore category
Last month I proved that some category $\mathbf C$ that I happen to care about is isomorphic to the Eilenberg-Moore category for a monad on the category of bounded posets $\mathbf{BPos}$.
I know from ...
- 827
2
votes
1
answer
2k
views
Suggestions on the best introductory Model Theory texts [closed]
Any recommendations on the best texts for introducing Model Theory?
5
votes
2
answers
959
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 ...
- 1,291
3
votes
1
answer
391
views
Iterating Monad-Comonads structures
Let $(T, \mu , \eta )$ a monad on the category $\mathscr{C}$ , with the usual EM (Eilenberg-Moore) adjunction $\langle F_T, U_T, \eta_Y, \epsilon_T \rangle: \mathscr{C}^T \to \mathscr{C}$ where ...
- 4,125
10
votes
1
answer
712
views
Is there a general theory of "representation theorems"?
Let $V$ and $W$ be classes of algebraic structures, and suppose we have some canonical way of constructing objects of $W$ from objects of $V$. Let's call this construction $C$, so that for all $A\in V$...
- 4,431
16
votes
1
answer
944
views
Which categories are the categories of models of a Lawvere theory?
Background: a Lawvere theory $T$ is a category with finite products such that each object is a power of a fixed object $x$. Given a Lawvere theory $T$, the category $\text{Mod}_T$ of models of $T$ is ...
- 115k
17
votes
0
answers
2k
views
Why did Bourbaki not use universal algebra?
I have seen a discussion about Bourbaki’s usage of categories before. So let me ask a different question: why did he not use universal algebra?
Well, universal algebra is not much older than category ...
7
votes
0
answers
269
views
Binary Operation on a Cubic Surface
If $P$ and $Q$ are two sufficiently general points on a cubic surface, the line between them intersects the cubic surface at a unique third point, $f(P,Q)$. This gives a binary operation on (generic) ...
- 137k
6
votes
3
answers
292
views
Algebras with finite essential arity
We are talking about algebras in the universal algebraic sense, that is, a set that $A$ is equipped with a set $F$ of finitary operations on $A$.
Definition: An algebra $(A,F)$ is said to have ...
- 1,488
11
votes
5
answers
979
views
What are the invariant Pseudo-differential operators on a Lie group?
It is well-known that (left) $G$-invariant differential operators on a Lie group $G$, has an algebraic description, i.e. universal enveloping algebra of the Lie algebra of the group.
On the other ...
19
votes
2
answers
729
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+...
- 19.4k
12
votes
3
answers
656
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 ...
- 61.5k
2
votes
1
answer
284
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 (https://math.stackexchange.com/questions/305186/left-continuous-magmas-...
- 19.3k
4
votes
4
answers
381
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, ...
- 357
1
vote
0
answers
78
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 ...
- 1,261
2
votes
1
answer
218
views
Distributive lattice embedding into a finite lattice
Suppose one has an inclusion $\iota : D \hookrightarrow S$ where $D$ is a finite distributive lattice and $S$ is a finite join-semilattice.
If $\iota$ preserves all meets and joins one can show that $...
- 1,261
0
votes
2
answers
207
views
Direct limit of lattice-ordered groups
In general, any abelian group can be expressed as a direct limit of its f.g. subgroups. For the case of $\ell$-group (lattice-ordered group) is that true or not? As an abelian group we do not have ...
- 173
17
votes
1
answer
3k
views
What are the relations between conjugates and commutators?
The following algebraic structure came up when I was thinking about invariants of coloured knots. The elements are all elements of a noncommutative free group $F$, and the operations are:
$a^b= b^{-...
- 21.9k
6
votes
2
answers
590
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). ...
- 61.5k
7
votes
1
answer
478
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 ...
- 61.5k
4
votes
3
answers
1k
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$. ...
- 2,330
3
votes
2
answers
270
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 ...
- 365
2
votes
1
answer
195
views
Cyclic Distribution on the reals?
Do there exist binary operators *, **, and *** on the real numbers, such that ...
- 21