User:Michael Slone/mathtasks

Tasks are sorted by main complaint.

Check

• Brahmagupta#interpolation formula vorify
• Direct limit reread
• Eigenvalue, eigenvector and eigenspace read
• Elementary symmetric polynomial check
• Exact category reread
• Examples of generating functions check
• Fibred category check
• Galois theory read
• Hall polynomial check
• Homological algebra check
• Hyperstructure fact-check (and rm apparent sig?)
• PRO (category theory) read
• Power sum symmetric polynomial check
• Relation algebra read
• Schnorr group read
• Semidirect product read
• Weil conjectures read

Move

• Auto magma object → Magma object requires nom at Wikipedia:Requested moves, since target has nontrivial history
• Conjugacy class sum consider merge
• Saturation (graph theory) consider merge into Matching
• Symmetric graph consider merge into arc-transitive graph

Style fixes

• Bracket algebra standardize refs
• Brauer–Nesbitt theorem standardize refs
• Burnside's lemma typography
• Categorical algebra standardize refs
• Categories for the Working Mathematician fix refs
• Cauchy's theorem (group theory) dash fix
• Dagger compact category fix refs
• Element (category theory) standardize refs
• Flat module standardize refs
• Functional-theoretic algebra standardize refs
• Fundamental theorem of combinatorial enumeration standardize refs
• Generating set standardize dab page
• Graph center image woes
• Groupoid standardize refs, other cleanup as needed
• Gröbner basis "Other reading" → "References"; other refs possibly needed
• Hales–Jewett theorem fix refs
• Hecke algebra standardize refs
• Higher category theory standardize, copyedit
• Rewriting de-we?
• Rook polynomial reword lead... "Despite its name..." is not needed

Copyedit

• Adjoint functors tweak intro, later section
• Atomic (order theory) copyedit
• Axiomatizable class increase English-to-math-mode ratio
• Banach–Tarski paradox consider rewording... "Now look" "Forget about [this] for now"
• Basis (linear algebra) read, fix paren problems
• Binary function copyedit, rm space
• Binomial coefficient copyedit intro
• Birkhoff polytope copyedit
• Block walking copyedit, tone, ref
• Bound graph wording
• Bourbaki–Witt theorem copyedit
• Brahmagupta matrix copyedit
• Brauer group tweak intro
• Bulls and cows reword final para
• Characteristic sequence fix person
• Chinese remainder theorem fix intro
• Chowla–Mordell theorem wording
• Class automorphism wording
• Connected category wording
• Coalgebra de-"indeed", other fixes
• Covering problem wording in intro
• Cube-connected cycles copyedit, esp. agreement
• Cubic graph copyedit
• Cut (graph theory) copyedit
• Direct product some tone fixes needed
• Distributive homomorphism copyedit, wikify
• Distributive law between monads copyedit
• Dual basis in a field extension "devices"?
• Duality (order theory) capitalization where it oughtn't be
• Extremal combinatorics rewrite "it appears" sentence?
• Family automorphism copyedit
• Fourier algebra copyedit
• Fractal dimension on networks rm puffery
• Frieze group fix intro
• Galois cohomology copyedit
• Grün's lemma first sentence
• One-dimensional symmetry group marked for cleanup
• Ore extension intro
• Presheaf (category theory) deconfuse
• Primary cyclic group copyedit
• Rédei's theorem copyedit, exp?
• Schuette–Nesbitt formula copyedit
• Semi-local ring copyedit, ref?
• Splitting lemma major repair
• Star product this has hardly been touched since it was imported from PM
• Symmetric group inversions and parity
• Twelvefold way reduce overlinking
• Upper and lower bounds marked for cleanup

Illustrate

• Bicategory add diagrams
• Bridge (graph theory) add diagram

Expand

• Abel polynomial expand
• Adjunction (field theory) expand intro
• Algebraic enumeration say something
• Alternating sign matrix expand
• Andrews-Curtis conjecture fetch a possible counterexample?
• Arithmetic lattice define properly, expand
• Artin-Rees lemma expand statement, filter back into intro
• Autonomous category vorify, expand
• Beck's monadicity theorem connect with Bénabou work on descent
• Bialgebra add missing lead
• Binary constraint needs to be expanded; I can't do it
• Binet–Cauchy identity point out connection to determinants
• Braid group mention Wirtinger?
• Branch (graph theory) add lead
• Bruck–Chowla–Ryser theorem expand and copyedit
• Bundle (mathematics) add concrete example
• Cameron–Erdős conjecture expand
• Closed category contextify
• Combinatorial class wording; connect with generating function
• Completion (ring theory) intro
• Conjugate element (field theory) contextify
• Conjugation of isometries in Euclidean space expand intro
• Costas array make intro more introductory and contextifying
• Critical group spanning trees
• de Bruijn digraph contextify; perhaps merge into De Bruijn sequence?
• Degree-constrained spanning tree expand
• Differentially closed field plenty of empty sections
• Disperser contextify
• Distributive category contextify
• Division ring add intro
• Empty category principle contextify
• End (category theory) satisfy talk page request for "instructive example"
• Flat map expand, ref
• Generator (category theory) expand, ref
• Graded category contextify
• Graph enumeration expand
• Higman's lemma expand, name link
• Hilbert's seventeenth problem give clear statement of problem
• Holomorph (mathematics) contextify
• Pasch's theorem expand, ref
• Path cover contextify
• Pulation square expand
• Reconstruction conjecture intro
• Schur's theorem add lead
• Steinhaus-Johnson-Trotter algorithm exp
• Threshold graph +degree-maximal, recognition from degree sequence, refs

Reference

• Acyclic object reference, expand
• Algebraic independence find cite for "It is not known whether the set {π, e} is algebraically independent over Q."[1][2]
• Beatles Concert Puzzle find in EWD, look for refs redirected, refs added
• Bell polynomials add ref to nice paper by Rota in Finite Operator Calculus
• Countable chain condition ref
• Degree matrix ref
• Division algebra improve refs
• Edge-transitive graph improve refs
• Edge contraction ref
• Formal power series ref
• Formally real field ref
• Functor category ref
• Galois group ref
• Generalized arithmetic progression ref
• Global field ref
• Hereditary property ref
• Hereditary ring ref
• Hilbert–Speiser theorem find ref
• Homogeneous polynomial ref
• Paley's theorem ref
• Power set add real refs
• Principles and parameters add cite for lead
• Semigroupoid ref or cite arXiv paper + refimprove
• Short five lemma ref (don't have Cartan-Eilenberg in refs yet)
• Sieve (category theory) ref
• Simple algebra marked unref
• Skew lattice ref, exp
• Smash product ref
• Snake lemma ref
• Socle (mathematics) ref (Lang?)
• Span (category theory) ref
• Strong antichain ref
• Structure (category theory) ref, wording
• Sylvester's determinant theorem ref mentioned but not listed
• Ultrafilter ref
• Unique factorization domain ref

Create

• Eulerian poset
• Gale diagram