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

9
votes
1answer
152 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 ...
5
votes
0answers
125 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 ...
2
votes
0answers
60 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. ...
18
votes
2answers
487 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 ...
5
votes
0answers
181 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 ...
7
votes
1answer
90 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 ...
2
votes
1answer
207 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 ...
3
votes
0answers
180 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)\rightarrow``x\,\textrm{is a complete Boolean algebra}"$, ...
6
votes
2answers
461 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 ...
10
votes
4answers
527 views

The groupoid of algebraic expressions and proofs

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 ...
5
votes
1answer
217 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 ...
12
votes
3answers
410 views

Is the Amitsur-Levitzki identity essentially unique?

Let us consider the matrix algebra. $Mat_n(\mathbb{C})$. The Amitsur-Levitzki identity states that for any matrices $X_1, X_2, ..., X_{2n} \in Mat_n(\mathbb{C})$ the sum $\Sigma_{\sigma \in S_{2n}} ...
3
votes
1answer
202 views

Is the equational theory of commutative vN regular rings decidable?

I wanted to check whether $A(x,y):=\frac{xy}{x+y}$ is an associative operation in every commutative vN regular ring. Now $A(-1,A(1,1))=A(-1,\frac{1}{2})=1\neq 0 =A(0,1)=A(A(-1,1),1)$. On the other ...
4
votes
2answers
143 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}$ ...
10
votes
3answers
527 views

Natural associative law for a ternary “group”?

Suppose one were to define a group-like structure based on a set $G$ with a ternary (rather than binary) operator $g( a, b, c ) = \left< a, b, c \right>$. One possible definition for the ...
3
votes
0answers
87 views

Pseudovarieties of monoids

All (pseudo)varieties considered here are (pseudo)varieties of monoids. It is known that any (finite or infinite) monoid that satisfies the identities \begin{equation} xhxyty = xhyxty, \quad ...
1
vote
1answer
173 views

Two questions about axiomatic rank of groups

Let $G$ be a group and $V=Var(G)$ be the variety generated by $G$. Suppose the axiomatic rank of $V$ is $n$. Let $Id(V)$ be the set of all identities of $V$. 1- Can we say that every element of ...
4
votes
1answer
125 views

When are the congruence lattices nicer?

This is a purely idle question, but one I'm increasingly interested the more thought I put into it: For $\mathcal{A}$ a universal algebra (that is, nonempty set together with some named functions), a ...
2
votes
0answers
114 views

Non-finitely based varieties and pseudovarieties

The variety of semigroups defined by $B=\Big\{(x^py^p)^2=(y^px^p)^2:p \text{ is prime}\Big\}$ is non-finitely based (Isbell, 1970). Is the pseudovariety defined by $B$ also non-finitely based? More ...
2
votes
1answer
143 views

Algebraic objects and lifts of their represented functors

I've seen the following theorem around in various forms: To give an object $A \in \mathcal{C}$ the structure of a $\Omega$-algebra object in $\mathcal{C}$ is equivalent to giving a lift of the ...
4
votes
1answer
222 views

The word problem of the free left distributive algebra on one generator

A left distributive algebra is a set $A$ together with a binary operation, $\cdot$, satisfying $a\cdot(b\cdot c)=(a\cdot b)\cdot(a\cdot c)$. One important example of left distributive algebras arises ...
3
votes
1answer
98 views

Is quasivariety generated by all perfect graphs finitely axiomatizable?

Fix logic $L$ with equality and a binary relation symbol $E$. The class of graphs can be identified with the class of models of the universal first-order Horn $L$-sentences $\forall x,y\; E(x,y) ...
2
votes
1answer
107 views

Which algebraic theories have the property that $\mid$ is antisymmetric for all free algebras?

Let $T$ denote an algebraic theory. Terminological Question. Let $X$ denote a $T$-algebra. Is there a name for the preorder $\mid$ defined on $X$ by asserting that $a \mid b$ iff there is a term ...
3
votes
2answers
160 views

Finite lattices whose number of join-irreducibles does not exceed its height

In a finite distributive lattice $L$ one has $height(L) = |J(L)|$ i.e. the size of the largest chain equals the number of join-irreducible elements. Briefly, this follows by arranging the subposet ...
3
votes
1answer
139 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 ...
9
votes
3answers
504 views

Are norms intrinsically $\mathbb{R}$-valued?

Another way of phrasing this: are there any viable definitions of something which is norm-like but whose range is in a linearly ordered rig (for example) rather than $\mathbb{R}$? I have searched a ...
2
votes
1answer
64 views

Dualities between varieties and quasivarieties at the finite level

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 ...
6
votes
2answers
268 views

Is HSP(A) = ISP(A) decidable?

Let $A$ be a finite algebra for some finitary signature. Is it decidable whether $\mathbb{H}\mathbb{S}\mathbb{P}(A) = \mathbb{I}\mathbb{S}\mathbb{P}(A)$? That is, whether the variety ...
-1
votes
1answer
94 views

Variety of commutative semi group [closed]

V is a variety of commutative semi group satisfying the identity $x^2 = x^3$. I need to prove that: $|F_V(\{x_1\dots,x_n\})|$ = $3^n -1$. Any hints on this ? $F_V$ is V-free algebra.
-3
votes
1answer
108 views

SHPS and SPHS inequality using monounary algebra

Let $A_n = \{(1,\ldots,n) , f \}$ where $f(i) = (i+1)$ if $i \neq n $ otherwise $f(n) = 1$. This describes a mono unary algebra. The proof for $HPS \neq SPHS$ I know uses metabelian groups and was ...
3
votes
1answer
69 views

H S class operator and its equality

$A \in S(K)$ iff $A$ is a subalgebra of some member of $K$ $A \in H(K)$ iff $A$ is a homomorphic image of some member of $K$ It is trivial to see the containment $SH \leq HS$. Taking a simple ...
1
vote
1answer
95 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 ...
1
vote
1answer
78 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$?
6
votes
3answers
222 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 ...
5
votes
3answers
234 views

Locally finite varieties which are not finitely generated

Let $\Sigma$ be a signature consisting of operations with finite arity. Let $\mathcal{V}$ be a variety of algebras for this signature. Further suppose that $\mathcal{V}$ is locally finite i.e. every ...
3
votes
0answers
156 views

Equational theories determined by “identities without variables”

How to characterize equational theories $T$ which have the following property: for any two terms $t(x_1,...,x_n)$ and $t'(x_1,...,x_n)$ in the signature of $T$, if for any closed terms (i. e. terms ...
5
votes
1answer
173 views

What do algebraic theories with strictly terminal trivial models look like?

By algebraic theory I mean one in the sense of Lawvere, i.e. a collection of finitary operations, including projections, together with a multi-composition satisfying the obvious axioms. (I believe ...
2
votes
0answers
69 views

Existence of a construction in Universal Algebra: infinite trees

Is anything known about the following construction? Fix a signature (function symbols with arities incl 0) Sigma and a Sigma-algebra A. Construct a new Sigma-algebra T(A) as follows: The carrier set ...
4
votes
1answer
148 views

Finite generation of vector identities

This question is partially motivated by Looking for a comprehensive referece for vector identities, although that question may not be appropriate for MO. Consider the set $\mathcal{E}$ of all valid ...
8
votes
4answers
484 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?
2
votes
1answer
192 views

The Universal Algebra of a sigma-Algebra

I am searching for the 'dual' algebraic structure of a Sigma Algebra. The notion of duallity is like on the case of the Boolean Algebra and Set Algera. If X is a set, the complement and intersection ...
0
votes
1answer
42 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?
15
votes
4answers
637 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 ...
12
votes
1answer
262 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
vote
1answer
153 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 ...
3
votes
2answers
320 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 ...
2
votes
1answer
209 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 ...
24
votes
1answer
2k 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 ...
4
votes
1answer
183 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 ...
3
votes
1answer
85 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 ...