User:Michael Slone/mathtasks

Tasks are sorted by main complaint.

Check

 * Brahmagupta 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 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."
 * 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