#abstractalgebra — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #abstractalgebra, aggregated by home.social.
-
“(...) One day, while I was at work, I started a conversation with one of the customers who eventually started telling me about a degree in mathematics she was doing. I was so intrigued by the things she said that a few days later we ended up talking about ring theory over ramen.” - Aleksandra Brodowy
➡️ https://hermathsstory.eu/aleksandra-brodowy
#Academia #Industry #Mathematics #RingTheory #AbstractAlgebra #Uncertainty #RiskAnalysis #Student #AccountManager #WomenInMaths #WomenInSTEM #HerMathsStory
-
“(...) One day, while I was at work, I started a conversation with one of the customers who eventually started telling me about a degree in mathematics she was doing. I was so intrigued by the things she said that a few days later we ended up talking about ring theory over ramen.” - Aleksandra Brodowy
➡️ https://hermathsstory.eu/aleksandra-brodowy
#Academia #Industry #Mathematics #RingTheory #AbstractAlgebra #Uncertainty #RiskAnalysis #Student #AccountManager #WomenInMaths #WomenInSTEM #HerMathsStory
-
“(...) One day, while I was at work, I started a conversation with one of the customers who eventually started telling me about a degree in mathematics she was doing. I was so intrigued by the things she said that a few days later we ended up talking about ring theory over ramen.” - Aleksandra Brodowy
➡️ https://hermathsstory.eu/aleksandra-brodowy
#Academia #Industry #Mathematics #RingTheory #AbstractAlgebra #Uncertainty #RiskAnalysis #Student #AccountManager #WomenInMaths #WomenInSTEM #HerMathsStory
-
“(...) One day, while I was at work, I started a conversation with one of the customers who eventually started telling me about a degree in mathematics she was doing. I was so intrigued by the things she said that a few days later we ended up talking about ring theory over ramen.” - Aleksandra Brodowy
➡️ https://hermathsstory.eu/aleksandra-brodowy
#Academia #Industry #Mathematics #RingTheory #AbstractAlgebra #Uncertainty #RiskAnalysis #Student #AccountManager #WomenInMaths #WomenInSTEM #HerMathsStory
-
“(...) One day, while I was at work, I started a conversation with one of the customers who eventually started telling me about a degree in mathematics she was doing. I was so intrigued by the things she said that a few days later we ended up talking about ring theory over ramen.” - Aleksandra Brodowy
➡️ https://hermathsstory.eu/aleksandra-brodowy
#Academia #Industry #Mathematics #RingTheory #AbstractAlgebra #Uncertainty #RiskAnalysis #Student #AccountManager #WomenInMaths #WomenInSTEM #HerMathsStory
-
“I realized that studying mathematics made me logical, precise and optimistic in life. The subject helped me gain the confidence and skills to achieve much more than I ever aspired to.” - Tabitha Rajashekar
➡️ https://hermathsstory.eu/tabitha-rajashekar/
#AbstractAlgebra #DiscreteMathematics #Academia #GraphTheory #WomenInMaths #HerMathsStory
-
“I realized that studying mathematics made me logical, precise and optimistic in life. The subject helped me gain the confidence and skills to achieve much more than I ever aspired to.” - Tabitha Rajashekar
➡️ https://hermathsstory.eu/tabitha-rajashekar/
#AbstractAlgebra #DiscreteMathematics #Academia #GraphTheory #WomenInMaths #HerMathsStory
-
“I realized that studying mathematics made me logical, precise and optimistic in life. The subject helped me gain the confidence and skills to achieve much more than I ever aspired to.” - Tabitha Rajashekar
➡️ https://hermathsstory.eu/tabitha-rajashekar/
#AbstractAlgebra #DiscreteMathematics #Academia #GraphTheory #WomenInMaths #HerMathsStory
-
“I realized that studying mathematics made me logical, precise and optimistic in life. The subject helped me gain the confidence and skills to achieve much more than I ever aspired to.” - Tabitha Rajashekar
➡️ https://hermathsstory.eu/tabitha-rajashekar/
#AbstractAlgebra #DiscreteMathematics #Academia #GraphTheory #WomenInMaths #HerMathsStory
-
“I realized that studying mathematics made me logical, precise and optimistic in life. The subject helped me gain the confidence and skills to achieve much more than I ever aspired to.” - Tabitha Rajashekar
➡️ https://hermathsstory.eu/tabitha-rajashekar/
#AbstractAlgebra #DiscreteMathematics #Academia #GraphTheory #WomenInMaths #HerMathsStory
-
Algebra-Vorlesung: Was bedeuten "algebraisch", "endlich" und "endlich erzeugt"? Klar erklärt mit Beispielen und Beweisen — perfekt für Studierende und Neugierige. Kurz, prägnant und lehrreich. Schau rein und frische dein Verständnis auf! #Algebra #Mathematik #AbstractAlgebra #Vorlesung #Education #PeerTube #German
https://tube.mathe.social/videos/watch/cfb6f631-c510-457f-92fb-6b56da2bb2de -
algebra final tmrw 😤 watch me cook
-
algebra final tmrw 😤 watch me cook
-
algebra final tmrw 😤 watch me cook
-
algebra final tmrw 😤 watch me cook
-
algebra final tmrw 😤 watch me cook
-
Fundamentals Of Hypercomplex Numbers | UCLA Extension
Dr. Michael Miller, a retired researcher at RAND, has been teaching upper level undergraduate/graduate level math courses for fun at UCLA Extension for over 50 years. This winter, he'll be introducing hypercomplex numbers to those interested in abstract math: Fundamentals Of Hypercomplex Numbers. His courses are thorough and rigorous, but geared toward lifelong learners and beginners in abstract mathematics to allow people better entry points into higher level mathematics. His classes are […]https://boffosocko.com/2025/12/03/fundamentals-of-hypercomplex-numbers-ucla-extension/
-
Fundamentals Of Hypercomplex Numbers | UCLA Extension
Dr. Michael Miller, a retired researcher at RAND, has been teaching upper level undergraduate/graduate level math courses for fun at UCLA Extension for over 50 years. This winter, he'll be introducing hypercomplex numbers to those interested in abstract math: Fundamentals Of Hypercomplex Numbers. His courses are thorough and rigorous, but geared toward lifelong learners and beginners in abstract mathematics to allow people better entry points into higher level mathematics. His classes are […]https://boffosocko.com/2025/12/03/fundamentals-of-hypercomplex-numbers-ucla-extension/
-
Fundamentals Of Hypercomplex Numbers | UCLA Extension
Dr. Michael Miller, a retired researcher at RAND, has been teaching upper level undergraduate/graduate level math courses for fun at UCLA Extension for over 50 years. This winter, he'll be introducing hypercomplex numbers to those interested in abstract math: Fundamentals Of Hypercomplex Numbers. His courses are thorough and rigorous, but geared toward lifelong learners and beginners in abstract mathematics to allow people better entry points into higher level mathematics. His classes are […]https://boffosocko.com/2025/12/03/fundamentals-of-hypercomplex-numbers-ucla-extension/
-
Fundamentals Of Hypercomplex Numbers | UCLA Extension
Dr. Michael Miller, a retired researcher at RAND, has been teaching upper level undergraduate/graduate level math courses for fun at UCLA Extension for over 50 years. This winter, he'll be introducing hypercomplex numbers to those interested in abstract math: Fundamentals Of Hypercomplex Numbers. His courses are thorough and rigorous, but geared toward lifelong learners and beginners in abstract mathematics to allow people better entry points into higher level mathematics. His classes are […]https://boffosocko.com/2025/12/03/fundamentals-of-hypercomplex-numbers-ucla-extension/
-
Ah yes, nothing screams cutting-edge tech like animating 80-year-old math 🤓. Enjoy watching lambda diagrams do the cha-cha while #JavaScript holds your browser hostage 💻🔐. Because who doesn't love mixing abstract algebra with forced web scripting? 😂
https://cruzgodar.com/applets/lambda-calculus #cuttingEdgeTech #lambdaDiagrams #abstractAlgebra #webScripting #humorousTech #HackerNews #ngated -
Ah yes, nothing screams cutting-edge tech like animating 80-year-old math 🤓. Enjoy watching lambda diagrams do the cha-cha while #JavaScript holds your browser hostage 💻🔐. Because who doesn't love mixing abstract algebra with forced web scripting? 😂
https://cruzgodar.com/applets/lambda-calculus #cuttingEdgeTech #lambdaDiagrams #abstractAlgebra #webScripting #humorousTech #HackerNews #ngated -
Ah yes, nothing screams cutting-edge tech like animating 80-year-old math 🤓. Enjoy watching lambda diagrams do the cha-cha while #JavaScript holds your browser hostage 💻🔐. Because who doesn't love mixing abstract algebra with forced web scripting? 😂
https://cruzgodar.com/applets/lambda-calculus #cuttingEdgeTech #lambdaDiagrams #abstractAlgebra #webScripting #humorousTech #HackerNews #ngated -
Ah yes, nothing screams cutting-edge tech like animating 80-year-old math 🤓. Enjoy watching lambda diagrams do the cha-cha while #JavaScript holds your browser hostage 💻🔐. Because who doesn't love mixing abstract algebra with forced web scripting? 😂
https://cruzgodar.com/applets/lambda-calculus #cuttingEdgeTech #lambdaDiagrams #abstractAlgebra #webScripting #humorousTech #HackerNews #ngated -
The determinant of transvections. — New blog post on Freedom Math Dance
A transvection in a K-vector space V is a linear map T(f,v) of the form x↦x+f(x)v, where f is a linear form and v is a vector such that f(v)=0. It is known that such a linear map is invertible, with inverse given by f and −v. More precisely, one has T(f,0)=id and T(f,v+w)=T(f,v)∘T(f,w). In finite dimension, these maps have determinant 1 and it is known that they generate the special linear group SL(V), the group of linear automorphisms of determinant 1.
When I started formalizing in Lean the theory of the special linear group, the question raised itself of the appropriate generality for such results. In particular, what happens when one replaces the field K with a ring R and the K-vector space V with an R-module?
https://freedommathdance.blogspot.com/2025/11/the-determinant-of-transvections.html
-
The determinant of transvections. — New blog post on Freedom Math Dance
A transvection in a K-vector space V is a linear map T(f,v) of the form x↦x+f(x)v, where f is a linear form and v is a vector such that f(v)=0. It is known that such a linear map is invertible, with inverse given by f and −v. More precisely, one has T(f,0)=id and T(f,v+w)=T(f,v)∘T(f,w). In finite dimension, these maps have determinant 1 and it is known that they generate the special linear group SL(V), the group of linear automorphisms of determinant 1.
When I started formalizing in Lean the theory of the special linear group, the question raised itself of the appropriate generality for such results. In particular, what happens when one replaces the field K with a ring R and the K-vector space V with an R-module?
https://freedommathdance.blogspot.com/2025/11/the-determinant-of-transvections.html
-
The determinant of transvections. — New blog post on Freedom Math Dance
A transvection in a K-vector space V is a linear map T(f,v) of the form x↦x+f(x)v, where f is a linear form and v is a vector such that f(v)=0. It is known that such a linear map is invertible, with inverse given by f and −v. More precisely, one has T(f,0)=id and T(f,v+w)=T(f,v)∘T(f,w). In finite dimension, these maps have determinant 1 and it is known that they generate the special linear group SL(V), the group of linear automorphisms of determinant 1.
When I started formalizing in Lean the theory of the special linear group, the question raised itself of the appropriate generality for such results. In particular, what happens when one replaces the field K with a ring R and the K-vector space V with an R-module?
https://freedommathdance.blogspot.com/2025/11/the-determinant-of-transvections.html
-
The determinant of transvections. — New blog post on Freedom Math Dance
A transvection in a K-vector space V is a linear map T(f,v) of the form x↦x+f(x)v, where f is a linear form and v is a vector such that f(v)=0. It is known that such a linear map is invertible, with inverse given by f and −v. More precisely, one has T(f,0)=id and T(f,v+w)=T(f,v)∘T(f,w). In finite dimension, these maps have determinant 1 and it is known that they generate the special linear group SL(V), the group of linear automorphisms of determinant 1.
When I started formalizing in Lean the theory of the special linear group, the question raised itself of the appropriate generality for such results. In particular, what happens when one replaces the field K with a ring R and the K-vector space V with an R-module?
https://freedommathdance.blogspot.com/2025/11/the-determinant-of-transvections.html
-
The determinant of transvections. — New blog post on Freedom Math Dance
A transvection in a K-vector space V is a linear map T(f,v) of the form x↦x+f(x)v, where f is a linear form and v is a vector such that f(v)=0. It is known that such a linear map is invertible, with inverse given by f and −v. More precisely, one has T(f,0)=id and T(f,v+w)=T(f,v)∘T(f,w). In finite dimension, these maps have determinant 1 and it is known that they generate the special linear group SL(V), the group of linear automorphisms of determinant 1.
When I started formalizing in Lean the theory of the special linear group, the question raised itself of the appropriate generality for such results. In particular, what happens when one replaces the field K with a ring R and the K-vector space V with an R-module?
https://freedommathdance.blogspot.com/2025/11/the-determinant-of-transvections.html
-
Numperphile - “Lord of the Commutative Rings”
This was the sort of stuff I loved in upper-level undergraduate mathematics.
-
Numperphile - “Lord of the Commutative Rings”
This was the sort of stuff I loved in upper-level undergraduate mathematics.
-
Numperphile - “Lord of the Commutative Rings”
This was the sort of stuff I loved in upper-level undergraduate mathematics.
-
Numperphile - “Lord of the Commutative Rings”
This was the sort of stuff I loved in upper-level undergraduate mathematics.
-
Numperphile - “Lord of the Commutative Rings”
This was the sort of stuff I loved in upper-level undergraduate mathematics.
-
A fundamental result in universal algebra is the Subdirect Representation Theorem, which tells us how to decompose an algebra \(A\) into its "basic parts". Formally, we say that \(A\) is a subdirect product of \(A_1\), \(A_2\), ..., \(A_n\) when \(A\) is a subalgebra of the product
\[
A_1\times A_2\times\cdots\times A_n
\]
and for each index \(1\le i\le n\) we have for the projection \(\pi_i\) that \(\pi_i(A)=A_i\). In other words, a subdirect product "uses each component completely", but may be smaller than the full product.A trivial circumstance is that \(\pi_i:A\to A_i\) is an isomorphism for some \(i\). The remaining components would then be superfluous. If an algebra \(A\) has the property than any way of representing it as a subdirect product is trivial in this sense, we say that \(A\) is "subdirectly irreducible".
Subdirectly irreducible algebras generalize simple algebras. Subdirectly irreducible groups include all simple groups, as well as the cyclic \(p\)-groups \(\mathbb{Z}_{p^n}\) and the Prüfer groups \(\mathbb{Z}_{p^\infty}\).
In the case of lattices, there is no known classification of the finite subdirectly irreducible (or simple) lattices. This page (https://math.chapman.edu/~jipsen/posets/si_lattices92.html) by Peter Jipsen has diagrams showing the 92 different nontrivial subdirectly irreducible lattices of order at most 8. See any patterns?
We know that every finite subdirectly irreducible lattice can be extended to a simple lattice by adding at most two new elements (Lemma 2.3 from Grätzer's "The Congruences of a Finite Lattice", https://arxiv.org/pdf/2104.06539), so there must be oodles of finite simple lattices out there.
#UniversalAlgebra #combinatorics #logic #math #algebra #AbstractAlgebra
-
A fundamental result in universal algebra is the Subdirect Representation Theorem, which tells us how to decompose an algebra \(A\) into its "basic parts". Formally, we say that \(A\) is a subdirect product of \(A_1\), \(A_2\), ..., \(A_n\) when \(A\) is a subalgebra of the product
\[
A_1\times A_2\times\cdots\times A_n
\]
and for each index \(1\le i\le n\) we have for the projection \(\pi_i\) that \(\pi_i(A)=A_i\). In other words, a subdirect product "uses each component completely", but may be smaller than the full product.A trivial circumstance is that \(\pi_i:A\to A_i\) is an isomorphism for some \(i\). The remaining components would then be superfluous. If an algebra \(A\) has the property than any way of representing it as a subdirect product is trivial in this sense, we say that \(A\) is "subdirectly irreducible".
Subdirectly irreducible algebras generalize simple algebras. Subdirectly irreducible groups include all simple groups, as well as the cyclic \(p\)-groups \(\mathbb{Z}_{p^n}\) and the Prüfer groups \(\mathbb{Z}_{p^\infty}\).
In the case of lattices, there is no known classification of the finite subdirectly irreducible (or simple) lattices. This page (https://math.chapman.edu/~jipsen/posets/si_lattices92.html) by Peter Jipsen has diagrams showing the 92 different nontrivial subdirectly irreducible lattices of order at most 8. See any patterns?
We know that every finite subdirectly irreducible lattice can be extended to a simple lattice by adding at most two new elements (Lemma 2.3 from Grätzer's "The Congruences of a Finite Lattice", https://arxiv.org/pdf/2104.06539), so there must be oodles of finite simple lattices out there.
#UniversalAlgebra #combinatorics #logic #math #algebra #AbstractAlgebra
-
A fundamental result in universal algebra is the Subdirect Representation Theorem, which tells us how to decompose an algebra \(A\) into its "basic parts". Formally, we say that \(A\) is a subdirect product of \(A_1\), \(A_2\), ..., \(A_n\) when \(A\) is a subalgebra of the product
\[
A_1\times A_2\times\cdots\times A_n
\]
and for each index \(1\le i\le n\) we have for the projection \(\pi_i\) that \(\pi_i(A)=A_i\). In other words, a subdirect product "uses each component completely", but may be smaller than the full product.A trivial circumstance is that \(\pi_i:A\to A_i\) is an isomorphism for some \(i\). The remaining components would then be superfluous. If an algebra \(A\) has the property than any way of representing it as a subdirect product is trivial in this sense, we say that \(A\) is "subdirectly irreducible".
Subdirectly irreducible algebras generalize simple algebras. Subdirectly irreducible groups include all simple groups, as well as the cyclic \(p\)-groups \(\mathbb{Z}_{p^n}\) and the Prüfer groups \(\mathbb{Z}_{p^\infty}\).
In the case of lattices, there is no known classification of the finite subdirectly irreducible (or simple) lattices. This page (https://math.chapman.edu/~jipsen/posets/si_lattices92.html) by Peter Jipsen has diagrams showing the 92 different nontrivial subdirectly irreducible lattices of order at most 8. See any patterns?
We know that every finite subdirectly irreducible lattice can be extended to a simple lattice by adding at most two new elements (Lemma 2.3 from Grätzer's "The Congruences of a Finite Lattice", https://arxiv.org/pdf/2104.06539), so there must be oodles of finite simple lattices out there.
#UniversalAlgebra #combinatorics #logic #math #algebra #AbstractAlgebra
-
A fundamental result in universal algebra is the Subdirect Representation Theorem, which tells us how to decompose an algebra \(A\) into its "basic parts". Formally, we say that \(A\) is a subdirect product of \(A_1\), \(A_2\), ..., \(A_n\) when \(A\) is a subalgebra of the product
\[
A_1\times A_2\times\cdots\times A_n
\]
and for each index \(1\le i\le n\) we have for the projection \(\pi_i\) that \(\pi_i(A)=A_i\). In other words, a subdirect product "uses each component completely", but may be smaller than the full product.A trivial circumstance is that \(\pi_i:A\to A_i\) is an isomorphism for some \(i\). The remaining components would then be superfluous. If an algebra \(A\) has the property than any way of representing it as a subdirect product is trivial in this sense, we say that \(A\) is "subdirectly irreducible".
Subdirectly irreducible algebras generalize simple algebras. Subdirectly irreducible groups include all simple groups, as well as the cyclic \(p\)-groups \(\mathbb{Z}_{p^n}\) and the Prüfer groups \(\mathbb{Z}_{p^\infty}\).
In the case of lattices, there is no known classification of the finite subdirectly irreducible (or simple) lattices. This page (https://math.chapman.edu/~jipsen/posets/si_lattices92.html) by Peter Jipsen has diagrams showing the 92 different nontrivial subdirectly irreducible lattices of order at most 8. See any patterns?
We know that every finite subdirectly irreducible lattice can be extended to a simple lattice by adding at most two new elements (Lemma 2.3 from Grätzer's "The Congruences of a Finite Lattice", https://arxiv.org/pdf/2104.06539), so there must be oodles of finite simple lattices out there.
#UniversalAlgebra #combinatorics #logic #math #algebra #AbstractAlgebra
-
A fundamental result in universal algebra is the Subdirect Representation Theorem, which tells us how to decompose an algebra \(A\) into its "basic parts". Formally, we say that \(A\) is a subdirect product of \(A_1\), \(A_2\), ..., \(A_n\) when \(A\) is a subalgebra of the product
\[
A_1\times A_2\times\cdots\times A_n
\]
and for each index \(1\le i\le n\) we have for the projection \(\pi_i\) that \(\pi_i(A)=A_i\). In other words, a subdirect product "uses each component completely", but may be smaller than the full product.A trivial circumstance is that \(\pi_i:A\to A_i\) is an isomorphism for some \(i\). The remaining components would then be superfluous. If an algebra \(A\) has the property than any way of representing it as a subdirect product is trivial in this sense, we say that \(A\) is "subdirectly irreducible".
Subdirectly irreducible algebras generalize simple algebras. Subdirectly irreducible groups include all simple groups, as well as the cyclic \(p\)-groups \(\mathbb{Z}_{p^n}\) and the Prüfer groups \(\mathbb{Z}_{p^\infty}\).
In the case of lattices, there is no known classification of the finite subdirectly irreducible (or simple) lattices. This page (https://math.chapman.edu/~jipsen/posets/si_lattices92.html) by Peter Jipsen has diagrams showing the 92 different nontrivial subdirectly irreducible lattices of order at most 8. See any patterns?
We know that every finite subdirectly irreducible lattice can be extended to a simple lattice by adding at most two new elements (Lemma 2.3 from Grätzer's "The Congruences of a Finite Lattice", https://arxiv.org/pdf/2104.06539), so there must be oodles of finite simple lattices out there.
#UniversalAlgebra #combinatorics #logic #math #algebra #AbstractAlgebra
-
I've been on a longer hiatus from livestreaming than I originally intended, but you can see me give a seminar talk this evening at the The New York City Category Theory Seminar:
https://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html
I'll be talking about the invariant theory part of my thesis (https://arxiv.org/abs/2402.18063) at 7PM, New York time. I'll discuss how I found that every (positive) property of finite structures can be checked by counting small* substructures.
*Terms and conditions may apply. Small is constrained by the logical complexity of a property and may not conform to mundane notions of smallness in bad cases.
#CategoryTheory #combinatorics #logic #Bourbaki #algebra #AbstractAlgebra
-
I've been on a longer hiatus from livestreaming than I originally intended, but you can see me give a seminar talk this evening at the The New York City Category Theory Seminar:
https://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html
I'll be talking about the invariant theory part of my thesis (https://arxiv.org/abs/2402.18063) at 7PM, New York time. I'll discuss how I found that every (positive) property of finite structures can be checked by counting small* substructures.
*Terms and conditions may apply. Small is constrained by the logical complexity of a property and may not conform to mundane notions of smallness in bad cases.
#CategoryTheory #combinatorics #logic #Bourbaki #algebra #AbstractAlgebra
-
I've been on a longer hiatus from livestreaming than I originally intended, but you can see me give a seminar talk this evening at the The New York City Category Theory Seminar:
https://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html
I'll be talking about the invariant theory part of my thesis (https://arxiv.org/abs/2402.18063) at 7PM, New York time. I'll discuss how I found that every (positive) property of finite structures can be checked by counting small* substructures.
*Terms and conditions may apply. Small is constrained by the logical complexity of a property and may not conform to mundane notions of smallness in bad cases.
#CategoryTheory #combinatorics #logic #Bourbaki #algebra #AbstractAlgebra
-
I've been on a longer hiatus from livestreaming than I originally intended, but you can see me give a seminar talk this evening at the The New York City Category Theory Seminar:
https://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html
I'll be talking about the invariant theory part of my thesis (https://arxiv.org/abs/2402.18063) at 7PM, New York time. I'll discuss how I found that every (positive) property of finite structures can be checked by counting small* substructures.
*Terms and conditions may apply. Small is constrained by the logical complexity of a property and may not conform to mundane notions of smallness in bad cases.
#CategoryTheory #combinatorics #logic #Bourbaki #algebra #AbstractAlgebra
-
I've been on a longer hiatus from livestreaming than I originally intended, but you can see me give a seminar talk this evening at the The New York City Category Theory Seminar:
https://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html
I'll be talking about the invariant theory part of my thesis (https://arxiv.org/abs/2402.18063) at 7PM, New York time. I'll discuss how I found that every (positive) property of finite structures can be checked by counting small* substructures.
*Terms and conditions may apply. Small is constrained by the logical complexity of a property and may not conform to mundane notions of smallness in bad cases.
#CategoryTheory #combinatorics #logic #Bourbaki #algebra #AbstractAlgebra
-
Microsoft's Outlook on mobile won't allow me to attach this 618kb jpg to an email, so I'm posting it on Mastodon in order to have a copy of it on my laptop. This is related to the thing about Tarski's High School Algebra Problem I posted a while ago. The long identity is called the Wilkie Identity.
#Microsoft #Outlook #math #algebra #AbstractAlgebra #UniversalAlgebra #logic
