1
vote
1answer
37 views

Universal Algebras for Pseudovarities and their cardinality

A Birkhoff variety is a class of algebras closed under division and arbitrary products, a pseudovariety is a class of algebras closed under division and finite products. Now for each type of ...
1
vote
1answer
40 views

Why is the collections of all groups a variety

A variety is an equationally defined class of algebras. As I understand it equationally defined means defined by universally quantified equations, for example the variety of all semigroups could be ...
0
votes
1answer
51 views

Relation between quotients and subalgebras

If I have two algebras $A,B$, and one is the quotient of the other, i.e. there exists a surjective morphism $\phi : A \to B$. Then is $B$ isomorphic to some subalgebra of $A$? I think so, because I ...
2
votes
2answers
164 views

Isomorphism of algebras $\mathbb{Q}(\cdot , +, 1)$ and $\mathbb{Z}(\cdot , +, 1)$

I have these two algebras and I need to know if they are isomorphic: $\mathbb{Q}(\cdot , +, 1)$ and $\mathbb{Z}(\cdot , +, 1)$ Are there some general tricks how to deal with this type of tasks?
0
votes
1answer
162 views

What is a subdirect product?

I'm having trouble understanding what a subdirect product is. Say $G$ is a subdirect product of $H=\prod H_i$ - this means that the homomorphisms $f_i:G\to H_i$ are surjective, which can be ...
6
votes
1answer
110 views

What is a simple axiomatisation of groups using division?

I recall from an old exercise I did as an undergrad that groups can be axiomatised using division rather than multiplication: A group is a non-empty set equipped with a binary division operator / ...
3
votes
2answers
209 views

What is the name of the structure Z4 under subtraction?

If we consider $\mathbb{Z_4}$ under addition, then it forms a cyclic group of order 4. However if we change the binary operation to subtraction on $\mathbb{Z_4}$, we get a different structure $J$ with ...
3
votes
1answer
105 views

Is the rank of a relatively free group… ill-defined in general?

A relatively free algebra $F$ has a free generating set (basis) $X$ such that any map $f : X \to F$ can be extended to an endomorphism of $F$. It is known that, in general the notion of rank of $F$ ...