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

9k 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 ...
984 views

### why is a nullary operation a special element, usually 0 or 1?

Does a nullary operation mean an operation not taking any argument? Then why is a nullary operation a special element, usually 0 or 1, in an algebraic structure? Thanks!
81 views

### Free idempotent semigroup with 3 generators

On Finite free objects I asked examples of finite free objects. I got answer "The free idempotent semigroup satisfies $x^2=x$ for each element $x$. And I confirm it is finite if it is finitely ...
462 views

### Different ways of constructing the free group over a set.

This could be too broad if we're not careful. I'm sorry if it ends up that way. Let's put together a list of different constructions of the free group $F_X$ over a given set $X$. It seems to be ...
128 views

### Is this a general structure for constructs?

Here a construct is a category where the objects are sets and the morphisms are structure preserving functions. Common examples are groups, graphs and topological spaces. As far as I can see there is ...
215 views

### Is there a concept of a “free Hilbert space on a set”?

I am looking for a "good" definition of a Hilbert space with a distinct orthonormal basis (in the Hilbert space sense) such that each basis element corresponds to an element of a given set $X$. Before ...
82 views

### A conjecture in equational logic

In an algebra with a single binary operation g, is there a single equational identity that generates the same set of identities as the set {g(x,y)=g(y,x) , g(g(x,y),z)=g(x,g(y,z))}? My conjecture is ...
318 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, ...
179 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 ...
215 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' ...
211 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 ...
190 views

### presentation of the direct sum of commutative rings / algebras

If $I,J$ are index sets, $R$ a commutative unital ring, $\mathfrak{a},\mathfrak{b}$ ideals of polynomial rings $R[x_i; i\!\in\!I]$, $R[y_j; j\!\in\!J]$, and $\langle\langle\ldots\rangle\rangle$ is the ...
496 views

### A structural proof that $ax=xa$ forms a monoid

During the discussion on this problem I found the following simple observation: If $M$ is a monoid and $a \in M$ then $\{x: ax = xa\}$ is a submonoid. This is trivial to prove by checking ...
403 views

### Preserving structures

Category theory abstracts the notion of the preservation of structure by means of morphisms. Is there a description of what it means to preserve structure of different types of mathematical structures ...
296 views

### Suggestions for a learning roadmap for universal algebra?

I think a useful combination of resources for universal algebra would ideally, when taken together: Provide ample motivation behind the various developments in the field. Either provide powerful ...
271 views

### Any commutative associative operation can be extended to a function on nonempty finite sets

This is a fact we use very frequently in general mathematics when we write such notations as $1+2+3+4$: since we know that $+$ is commutative and associative, we can just "drop the parentheses" and ...
758 views

### Which texts do you recommend to study universal algebra and lattice theory?

As I'm planning to study some algebraic logic (a lot of!), I found that some knowledge of universal algebra, lattice theory and boolean algebras is a must. I wonder if you have any recommendation to ...
134 views

### Should axioms be viewed as part of the signature?

I included category theory in the tags in order to get feedback from the categorial logic community. It goes without saying that this isn't really category theory. A semigroup can be defined as a ...
338 views

### In a slice category C/A of a category C over a given object A, What is the role of the identity morphism of A in C with respect to C/A

In a slice category $C/A$ of a category $C$ over a given object $A$, what is the role of the $C$ identity morphism, $A\to A$ ($1_A$), in $C/A$, particularly with respect to composition? I ...
83 views

### Do torsionfree abelian groups form a (possibly many-sorted) algebraic category?

By "(possibly many-sorted) algebraic category", I mean "category of models of a (possibly many sorted) Lawvere theory. I have arguments for both affirmative and negative answers, and I can't find a ...
86 views

### What properties are shared by isomorphic universal algebras?

There is a consensus, that "isomorphy" (the "is isomorphic to"-relation) is the right kind of sameness between universal algebras (say groups, (single-sorted) vector spaces, lattices, ...), because ...