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

1
vote
0answers
80 views

Another way of saying that algebraic objects are isomorphic

From a universal algebraic perspective, let's say we have two isomorphic groups. Then can I speak of their isomorphic nature by saying the binary operations of multiplication of the two groups are ...
8
votes
1answer
232 views

An exercise in infinite combinatorics from Burris and Sankappanavar

Exercise 6.7 in chapter IV of Burris and Sankappanavar's A Course in Universal Algebra starts as follows: Show that for $I$ countably infinite there is a subset $S$ of the set of functions from ...
2
votes
1answer
161 views

Unification of expressions involving sets

Let's let $\def\OP#1#2{\left\langle#1,#2\right\rangle}\OP xy$ represent the set $\{\{x\},\{x,y\}\}$ as is usual, per Kuratowski. Then: $$ \begin{eqnarray} \OP{\OP ab}c & = & \{\{\{\{a\}, ...
4
votes
1answer
70 views

Associativity, Jacobi, and self-action representations

About a year and a half ago, I was at a talk by Martin Hyland where he suggested that the Jacobi identity is to the associative law as the anticommutative law is to the commutative law. I think this ...
3
votes
1answer
177 views

Do filters on a Boolean algebra also make a Boolean algebra?

Let $\mathfrak{B}=(B,\bot,\top,\lnot,\wedge,\vee)$ be a boolean algebra. $B_F$ be the set of all filters on $\mathfrak B$. And for all filter $F$, $G$, $F \wedge_{B_F} G \colon= \mathbf C(F \cup G)$ ...
5
votes
2answers
204 views

Stone duality for ideals and filters (exercise)

In A Course in Universal Algebra (Burris, Sankapannavar), the exercise 4.4.7-8, p.158, says: Let $A$ be a Boolean algebra. Denote $A^\ast:=\{\text{ultrafilters of }A\}$, and give $A^\ast$ the ...
10
votes
4answers
446 views

Are isomorphic structures really indistinguishable?

I always believed that in two isomorphic structures what you could tell for the one you would tell for the other... is this true? I mean, I've heard about structures that are isomorphic but different ...
2
votes
1answer
150 views

correspondence for universal subalgebras of $U/\vartheta$

Let $U$ be a universal algebra of type $T$, and denote $\mathrm{Con}(U)\!=\!\{\text{congruence relations on }U\}$ and $\mathrm{Sub}(U)\!=\!\{\text{subalgebras of }U\}$. Let "$\leq$" mean "subalgebra". ...
3
votes
2answers
270 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
178 views

$M_3$ is a simple lattice

I'd like to prove (exercise 9.5 in Roman's Lattices and Ordered Sets, p.203) that the lattice $M_3$ is simple, meaning that the only congruences on $M_3$ are the trivial ones (the 'equality' ...
2
votes
1answer
150 views

ideals of a ring form a modular lattice

We know that if $M$ is a left $R$-module, then $(\{\text{submodules of }M\},\subseteq)$ is a modular lattice. Taking $M\!=\!R$, we deduce that $(\{\text{ideals of }R\},\subseteq)$ is a modular ...
4
votes
2answers
308 views

Variety generated by finite fields

Let $K_1,\dotsc,K_n$ be finite fields and let $V$ be the variety of rings, generated by the $K_i$ (rings aren't necessarily unital). I want to figure out what $V$ looks like. By a theorem of Tarski, ...
6
votes
1answer
285 views

Lattices are congruence-distributive

$\newcommand{\r}[1]{\mathrel{#1}}$ First, a few definitions. Given a lattice $L$, a congruence on $L$ is an equivalence relation $\theta$, compatible with the lattice operations, i.e. if ...
2
votes
3answers
243 views

Are groups algebras over an operad?

I'm trying to understand a little bit about operads. I think I understand that monoids are algebras over the associative operad in sets, but can groups be realised as algebras over some operad? In ...
4
votes
2answers
258 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 ...
1
vote
0answers
85 views

direct product of different algebras?

Is it possible to define a "direct product" of two algebras with different signatures? For example, boolean lattice $\otimes$ monoid? Perhaps we need to take some quotient to make sense of it (e.g Q ...
1
vote
0answers
165 views

amalgam of structures

Trying to refine my question here. This is a response to the questions here: Homomorphisms between structures My objective is to take a set of $S-$structures and form an amalgam object out of that ...
12
votes
1answer
298 views

Why do free monoids have a “trivial” automorphism group and free groups don't?

Let $X$ be a set and $M$ the free monoid over $X$. Then an automorphism $f$ of $M$ satisfies $f(X)=X$ and so $\text{Aut}(M)$ is canonically isomorphic to $\mathfrak{S}_X$. My Proof: For every word ...
2
votes
1answer
351 views

Injective Homomorphism and direct products

This question relates to products of structures all with the same symbol set $S$. After I give a little background the question follows. Direct Products This definition of the direct product is ...
1
vote
2answers
231 views

Existence of universal enveloping inverse semigroup (similar to “Grothendieck group”)

Context In its simplest form, the Grothendieck group construction associates an abelian group to a commutative semigroup in a "universal way". Now I'm interested in the following nilpotent ...
3
votes
1answer
131 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$ ...
13
votes
2answers
2k views

Category Theory vs. Universal Algebra - Any References?

After seeing the answer to the question Category theory, a branch of abstract algebra, I would like to ask Are there literature discussing the difference/indifference/comparison between category ...
7
votes
1answer
218 views

Software for some universal algebra issues

I am looking for some mathematical software that can help me with a very common task in the realm of universal algebra (as far as I know programs like prover9/mace4 and uacalc do not help with this ...
8
votes
1answer
285 views

Combinatorics of term algebras

My question is about the number of terms of size $n$ in term algebras for an arbitrary (finite) signature. A signature is a map $\Sigma : S \rightarrow \mathbb{N}$ from a set $S$ of symbols. We ...
1
vote
3answers
209 views

n-ary derived operation in universal algebra

I've just come across the definition of the n-ary derived operation, namely that starting with an operational type $(\Omega, \alpha)$, set $ X_n = (x_1, ... , x_n) $ and $ \Omega$-structure $A$, we ...
4
votes
1answer
209 views

Introductory universal algebra question

I've just started reading about universal algebra, and have already hit a problem (see the two bullet points at the bottom). My book gives the following definitions (paraphrased): An operational ...
1
vote
1answer
97 views

Idea for a proof involving an identity of term functions on $\sigma$-structures [x]

I have some problems with the following theorem: Fix an signature $\sigma$ and a set of variables $\mathbb{V}$. We call $t$ and $t_1$ "equivalent", if for every $\sigma$-structure $S$ and every term ...
114
votes
6answers
8k views

In (relatively) simple words: What is an inverse limit?

I am a set theorist in my orientation, and while I did take a few courses that brushed upon categorical and algebraic constructions, one has always eluded me. The inverse limit. I tried to ask one of ...
2
votes
2answers
149 views

how are vector spaces viewed as universal algebras?

Hey I have this question from Universal Algebra texts where you can see groups, rings, lattices and other structures as Universal Algebras, but I still don't have clear how vector spaces can be viewed ...
1
vote
1answer
107 views

Count of unique algebras with one unary operation (on finite set)

It's possible, that count of unique algebras (up to isomorphism) with one unary operation on set with $n$ elements is $2^n-1$? For $n=1,2,3,4$ is this hypothesis true (I still have not verified it on ...
1
vote
1answer
154 views

Can nonisomorphic algebras generate isomorphic relatively free algebras?

Suppose that we have two varieties of algebras $A$ and $B$, whose operators all have arities less than some regular cardinal, and such that every $B$-algebra (please correct me if this is not the ...
1
vote
1answer
65 views

How to define the action of U(G) in this situation?

The usual action of $fg$ on $u⊗v$, where $f,g$ are elements in the Universal Enveloping Algebra $U(G)$ of a Lie algebra $G$ and $u,v$ are elements of a representation $V$ of $G$, is given by ...
1
vote
3answers
409 views

Can we represent all algebraic structures in First-Order logic?

Can we represent all algebraic structures in First-Order logic?
2
votes
1answer
185 views

Algebra terminology question

Suppose A is some algebraic structure, and x and y are two elements of the underlying set. Is there any more concise way of stating, "there exists an automorphism in A which maps x to y"?. It seems ...
2
votes
5answers
590 views

Constructing a counterexample in category theory

Exercise 10 in Geroch's Mathematical Physics asks whether direct products distribute over direct sums in arbitrary categories. (They do in the category of sets, which is what motivates the question). ...
26
votes
4answers
3k views

Simple explanation of a monad

I have been learning some functional programming recently and I so I have come across monads. I understand what they are in programming terms, but I would like to understand what they are ...