# Tagged Questions

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

83 views

163 views

### Distributor? Distributive analog of commutator and associator?

Motivation: "the commutator gives an indication of the extent to which a certain binary operation fails to be commutative" (http://en.wikipedia.org/wiki/Commutator). For example (courtesy of wikipedia)...
36 views

### why $(\theta _{1}\circ \theta _{2})^{\vee }\subset(\theta _{2}\circ \theta _{1})^{\vee }$

my questiones at this theorem: i coud not undrestand $a\Rightarrow b$ and why $(\theta _{1}\circ \theta _{2})^{\vee }\subset(\theta _{2}\circ \theta _{1})^{\vee }$ please guide me?
49 views

98 views

### Dual atoms of the lattice of varieties

I'm reading Jaroslav Ježek's "Universal algebra". There is a Theorem. For a signature containing at least one symbol of positive arity, the lattice of varieties of that signature has no coatoms. ...
84 views

66 views

### Name for classes of algebras closed under products and quotients

A class of algebras closed under products, quotetiens and subalgebras is a variety. Is there a name for a class of algebras closed under products and quotients? Could you refer me to any theorems ...
83 views

### Rel is a concrete category over Sets, but how to concretize that?

The traditional denotation of a structured set object is something like $(1)\qquad(X,\mathcal S_1,\dots\mathcal S_n)$ for some "structures" $\mathcal S_1,\dots\mathcal S_n$ on a set X. The modern ...
94 views

### Common conditions on functions to be morphisms. [closed]

When coming in contact with the concept of morphism one may start to wonder what makes different structured objects of the same kind to be similar in a "morphical" way. At least I did. Below ...
94 views

### An example of a free algebra in SP(K)

The following theorem is found in the book "Universal Algebra, Fundamentals and Selected Topics" by Clifford Bergman (pp.98). Theorem 4.28. Let $U$ be free for $K$ over $X$. Then, $U/\lambda_k$ is ...
67 views

83 views

### Showing finite lattices are isomorphic to their sets of ideals.

I'm working out a problem from Gratzer '71. We are to show that any finite lattice $L$ $\simeq$ $I(L)$. My attempt was as follow: prove the contrapositive. So assume $L$ is not isomorphic to $I(L)$. ...
188 views

### Algebraic Structures: Does Order Matter?

(I want to link to similar question with a very good answer: Question about Algebraic structure?) An algebraic structure is an ordered tuple of sets. One of these is called the underlying set, and ...
46 views

### Is there accepted terminology for algebraic structures whose every subalgebra is free?

Is there accepted terminology for algebraic structures whose every subalgebra is free? Examples: Any free group Any vector space More generally, any free module over a PID. In fact, this ...
114 views

### Existence of countably generated free algebra in the universal class

I'm trying to solve the following exercise (from Smirnov's "Varieties of algebras"): Problem: Let $K$ be the universal class of $\Omega$-algebras, i.e. $K = Mod(\Sigma)$, where $\Sigma$ is the ...
105 views

### The concept of K-free algebras

This is Definition 10.9 of the book "A Course in Universal Algebra" by Burris and Sankappanavar (page 73, Millennium Edition). http://www.math.uwaterloo.ca/~snburris/htdocs/UALG/univ-algebra.pdf ...
38 views

### A Birkhoff theorem on K-free algebras

Let $F_K(\overline{X})$ be the $K$-free algebra over $\overline{X}$. I want to prove that $F_K(\overline{X})\in ISP(K)$. I have already proved that $F_K(\overline{X})\in IP_SIS(K)$. Since $P_S\leq SP$...
209 views

### Birkhoff's completeness theorem

I have two simple questions. A) Does Birkhoff's completeness theorem follow directly from Gödel's completeness theorem? B) Is Birkhoff's completeness theorem constructive in the following sense: ...
114 views

### K-free algebra over $\overline{X}$

This is Definition 10.9 of the book "A Course in Universal Algebra" by Burris and Sankappanavar (page 73, Millennium Edition). http://www.math.uwaterloo.ca/~snburris/htdocs/UALG/univ-algebra.pdf ...
61 views

### What does a lattice of the direct power of the two-element chain look like?

In universal algebra, it is known that every finite Boolean lattice is isomorphic to a direct power of the two-element chain. I am having hard time figuring out what a lattice of the direct power of ...
97 views

### Prove that $\Pi_{i \in I} \mathbf{A}_i \cong \Pi_{j \in J} (\Pi_{i \in I_j} \mathbf{A}_i)$ where $\{I_j \ | \ j \in J\}$ is a partition of I.

My problem is following: prove that $\Pi_{i \in I} \mathbf{A}_i \cong \Pi_{j \in J} (\Pi_{i \in I_j} \mathbf{A}_i)$, where $\langle \mathbf{A}_i \ | \ i \in I \rangle$ is an indexed set of similar ...
105 views

106 views

### Functorial approach to Ideals and Quotients, Multiplicative Sets and Localizations

I have been playing with substructures of commutative rings today and noticed that there is a strong analogy between the formation of quotients and kernels with the formation of localizations with ...
68 views

### Reference for $F$-algebras and induction?

I've been learning about $F$-coalgebras and coinduction from this fantastic paper, which has really helped me get a feel with its many examples. I'm starting to struggle with reconciling the ...
45 views

### Reducing Several Identities to One Identity

One class of algebraic structures that are typically studied are those given by a set $X$ and a set of $n$-ary operations defined on $X$ for each $n\in \mathbb{N}$. Perhaps most studied are those ...
106 views

I am trying to prove the following statement: Problem: There is no free groups in the universal class $\mathcal{A}$ of all abelian groups satisfying $\forall x (x + x = 0) \vee \forall x (x + x + x = ... 1answer 198 views ### Using the compactness theorem to disprove axiomatizability Another model-theoretic exercise from Smirnov's book. Problem: Construct infinite family of varieties such that their union is not axiomatizable. My solution: Denote by$\mathcal{A}_n$the variety ... 1answer 53 views ### In general algebra, is every generating set equipotent to a finite basis itself a basis? Question. Let$T$denote an algebraic theory, and suppose$X$is the$T$-algebra freely generated by a finite set$F \subseteq X$. Suppose$G \subseteq X$also generates$X$and that$|G|=|F|$. Does$...
There is an exercise in Burris and Sankappanavar's "A Course in Universal Algebra": Problem: Find two algebras $\mathbf{A}_1$, $\mathbf{A}_2$ such that neither can be embedded in \$\mathbf{A}_1 \times ...