According to wikipedia, an algebraic structure is an arbitrary set with one or more finitary operations defined on it. From a model theory perspective, I understand this definition as: structure with no relations, only functions and constants (I added the constants to my definition, because I know that group, rings, have them). So for example an ordered field is not an algebraic structure (has relation), and a set isn't too (no function). Regardless of the exact definition, a massive part of mathematics is concerned with the study of these structures, and the relations between them. Geometry benefits from algebraic geometry, number theory from algebraic number theory, and so on. My question is, what do this sort of structures have in them, that makes us study and use them so much, and not other structures?
2026-04-13 12:33:12.1776083592
why algebraic structures?
1.9k Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in ABSTRACT-ALGEBRA
- Feel lost in the scheme of the reducibility of polynomials over $\Bbb Z$ or $\Bbb Q$
- Integral Domain and Degree of Polynomials in $R[X]$
- Fixed points of automorphisms of $\mathbb{Q}(\zeta)$
- Group with order $pq$ has subgroups of order $p$ and $q$
- A commutative ring is prime if and only if it is a domain.
- Conjugacy class formula
- Find gcd and invertible elements of a ring.
- Extending a linear action to monomials of higher degree
- polynomial remainder theorem proof, is it legit?
- $(2,1+\sqrt{-5}) \not \cong \mathbb{Z}[\sqrt{-5}]$ as $\mathbb{Z}[\sqrt{-5}]$-module
Related Questions in SOFT-QUESTION
- Reciprocal-totient function, in term of the totient function?
- Ordinals and cardinals in ETCS set axiomatic
- Does approximation usually exclude equality?
- Transition from theory of PDEs to applied analysis and industrial problems and models with PDEs
- Online resources for networking and creating new mathematical collaborations
- Random variables in integrals, how to analyze?
- Could anyone give an **example** that a problem that can be solved by creating a new group?
- How do you prevent being lead astray when you're working on a problem that takes months/years?
- Is it impossible to grasp Multivariable Calculus with poor prerequisite from Single variable calculus?
- A definite integral of a rational function: How can this be transformed from trivial to obvious by a change in viewpoint?
Related Questions in MODEL-THEORY
- What is the definition of 'constructible group'?
- Translate into first order logic: "$a, b, c$ are the lengths of the sides of a triangle"
- Existence of indiscernible set in model equivalent to another indiscernible set
- A ring embeds in a field iff every finitely generated sub-ring does it
- Graph with a vertex of infinite degree elementary equiv. with a graph with vertices of arbitrarily large finite degree
- What would be the function to make a formula false?
- Sufficient condition for isomorphism of $L$-structures when $L$ is relational
- Show that PA can prove the pigeon-hole principle
- Decidability and "truth value"
- Prove or disprove: $\exists x \forall y \,\,\varphi \models \forall y \exists x \,\ \varphi$
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
This is not a complete answer, but I'm not sure that your question can be answered. So here are some thoughts:
As Zhen Lin states in the comments, algebraic structures are somewhat simpler to deal with than structures with both functions and relations. Restricting attention even further, a class of algebraic structures is called a variety of algebras if it can be defined using only equations (like $x\cdot (y\cdot z) = (x\cdot y) \cdot z$). Examples of varieties are groups, rings, modules, boolean algebras... Varieties are the core topic of study in the field of universal algebra, and they are very nice classes for a variety of reasons (e.g. they are closed under product and coproduct, they have free objects...). One could answer that we spend so much time studying and using varieties of algebras simply because they have lots of structure which is interesting and useful.
But you should take the previous point with a grain of salt. First, one of the most important classes of algebraic structures, the class of fields, is not a variety of algebras, since the field axiom requiring inverses is not an equation: it has a more complicated logical structure. Second, one can just as well restrict attention to relational structures, structures with relations but no functions or constants. Relational structures are also very nice to deal with in certain contexts, and they are also quite important in mathematics (i.e. graph theory).
I don't think it's true that we spend a lot of time studying and using algebraic structures instead of other structures. I think we spend a lot of time studying certain algebraic structures, and also certain non-algebraic structures (like ordered fields or graphs), because they're particularly interesting and relevant. You'll find a lot more literature, for example, on graphs than you will on magmas. Magmas are perfectly good algebraic structures, but their definition is a bit to broad to be particularly interesting or useful (apologies to the magma theorists out there).
As for why the algebraic structures we study (e.g. groups, rings, fields, etc.) have turned out to be so fundamental, well, lots of people have written about this far more eloquently than I can. But I think the core reason is that they are abstractions of concrete things we care about in mathematics - groups capture the notion of symmetry, the integers are a ring, blah blah blah.