What Constitutes an Algebraic Structure in Set Theory?

[sponsoredwalk]

I just found out that the words "algebraic structure" have a precise definition and that this
notion is not just common language!

DEFINITION: An algebraic structure consists of one or
more sets closed under one or more operations, satisfying
some axioms
http://www-public.it-sudparis.eu/~gibson/Teaching/MAT7003/L5-AlgebraicStructures.pdf

In abstract algebra, an algebraic structure consists of one or more sets, called underlying sets
or carriers or sorts, closed under one or more operations, satisfying some axioms.
link

An Algebraic Structure is defined by the tuple $<A, o_1, ...,o_k;R_1,...,R_m;c_1,...,c_k>$
where;
A is a non-empty set,
$o_i$ is a function $A^{pi} \ : \ A \ \rightarrow \ A$

$R_j$ is a relation on A

$p_i$ is a positive integer

$c_i$ is an element of A

link (Ch. 2)

Then below this definition they give another (equivalent) definition:

An algebraic structure is a triple <A,O,C> where:

A ≠ ∅

$O \ = \ U^n_{i = 1} \ o_i$ where o_i are i-ary operations

C ⊆ A is the constant set.

So based on this I have three questions:

1: How is this concept explained in terms of set theory?

I am thinking that it follows from the idea of a "structured set".
Unfortunately, I can find basically nothing on this concept from browsing online.
The only sources I have found are the one in the last link, page 23 of Vaught Set Theory
which is extremely short & also Bourbaki's Set Theory book - but it's buried after 250+
pages of prerequisite theory. There may just be a different name for this concept, idk...

2: Could you recommend any sources (book recommendations)
discussing Structures on Sets as they arise in ZFC theory?

If there's a book that describes how structures on sets fall out of ZFC theory in a
book describing ZFC that would be optimal, for all I know every book does this just
under a different name.

3: Could you recommend any sources explaining Algebraic Structures in terms of sets?

I started a different thread a while ago trying to ground a vector space in terms of
set theory making everything very explicit, the answer I got was structured to follow
patterns that I now recognise as coming out of this idea of algebraic structures &
basically I'd just like to read how this concept is defined and originates from set theory
with all the prerequisite set theory knowledge that goes with it being built up too.

 

[Hurkyl]

Two good keywords:

• Universal Algebra
• Model Theory

 

[micromass]

This is probably not what you're looking for, but these references are the closest I get to answering your problem:

1) http://www.math.uwaterloo.ca/~snburris/htdocs/ualg.html is a very good introduction to algebraic structures.

2) http://www.math.uiuc.edu/~vddries/410notes/main.dvi treats algebraic structures from a more fundamental point-of-view. This is probably what you want, but it's quite advanced. The theory you want is in section 2.3...

 

[sponsoredwalk]

2) http://www.math.uiuc.edu/~vddries/410notes/main.dvi treats algebraic structures from a more fundamental point-of-view. This is probably what you want, but it's quite advanced. The theory you want is in section 2.3...

Exactly what I was hoping for! Cheers/Ty/Slainte/Salute/Nostrovia!

 

[blue_raver22]

1. In terms of set theory, an algebraic structure can be seen as a structured set, where the set is equipped with operations and relations that satisfy certain properties or axioms. This can be thought of as a way to organize and study sets in a more systematic and mathematical way.

2. Some recommended sources for understanding algebraic structures in ZFC theory are:
- "A Course in Mathematical Logic" by J. Bell and M. Machover
- "Theory of Sets" by N. Bourbaki
- "Set Theory: An Introduction to Independence Proofs" by K. Kunen
- "Introduction to Set Theory" by H. B. Enderton

3. To understand algebraic structures in terms of sets, it would be helpful to study the basics of abstract algebra, which deals with algebraic structures such as groups, rings, and fields. Some recommended sources for this are:
- "Algebra" by M. Artin
- "Abstract Algebra" by D. Dummit and R. Foote
- "Algebra: Chapter 0" by P. Aluffi
- "A Book of Abstract Algebra" by C. Pinter

Overall, it is important to have a strong understanding of set theory and abstract algebra in order to fully grasp the concept of algebraic structures on sets. It may also be helpful to consult with a mathematics professor or attend a course on abstract algebra for a more in-depth understanding of this topic.