cattheory.bib

%% -*- coding:utf-8 -*-
@book{feynman2010quantum,
  title={Quantum Mechanics and Path Integrals},
  author={Feynman, R.P. and Hibbs, A.R. and Styer, D.F.},
  isbn={9780486477220},
  lccn={2010004550},
  series={Dover Books on Physics},
  url={https://books.google.ru/books?id=JkMuDAAAQBAJ},
  year={2010},
  publisher={Dover Publications}
}

@misc{ wiki:snellslaw,
    author = "{Wikipedia contributors}",
    title = "Snell's law --- {Wikipedia}{,} The Free Encyclopedia",
    year = "2019",
    howpublished = "\url{https://en.wikipedia.org/w/index.php?title=Snell%27s_law&oldid=908247962}",
    note = "[Online; accessed 20-August-2019]"
  }

@misc{ wiki:least_action_principle,
    author = "{Wikipedia contributors}",
    title = "Principle of least action --- {Wikipedia}{,} The Free Encyclopedia",
    year = "2019",
    url = "https://en.wikipedia.org/w/index.php?title=Principle_of_least_action&oldid=894342906",
    note = "[Online; accessed 30-May-2019]"
  }
@misc{ quora:monoidimportance,
    author = "{Lex Sheehan}",
    title = "What’s the significance of monoids?",
    year = "2017",
    url = "https://qr.ae/TWNHIi"
  }


@misc{ wiki:coproduct,
    author = "{Wikipedia contributors}",
    title = "Coproduct --- {Wikipedia}{,} The Free Encyclopedia",
    year = "2019",
    url = "https://en.wikipedia.org/w/index.php?title=Coproduct&oldid=893649821",
    note = "[Online; accessed 5-May-2019]"
  }

@misc{bib:scalable_program_arch,    
    title = {Scalable program architectures},
    author = {Gabriel Gonzalez},
    year="2014",
    url = {http://www.haskellforall.com/2014/04/scalable-program-architectures.html}
}

@misc {bib:stackexchange:initial_terminal_in_fun_category,
    title = {Terminal and Initial objects in the category of functors},
    author = {Enkidu (https://math.stackexchange.com/users/455216/enkidu)},
    howpublished = {Mathematics Stack Exchange},
    note = {URL:https://math.stackexchange.com/q/3033845 (version: 2018-12-10)},
    eprint = {https://math.stackexchange.com/q/3033845},
    url = {https://math.stackexchange.com/q/3033845}
}

@misc{bib:stackexchange:empty_category,
    title = {Does an(/the?) empty category exist?},
    author = {user84563 (https://math.stackexchange.com/users/301130/user84563)},
    howpublished = {Mathematics Stack Exchange},
    note = {URL:https://math.stackexchange.com/q/1997015 (version: 2016-11-03)},
    eprint = {https://math.stackexchange.com/q/1997015},
    url = {https://math.stackexchange.com/q/1997015}
}
@misc{ wiki:cone,
    author = "{Wikipedia contributors}",
    title = "Cone (category theory) --- {Wikipedia}{,} The Free Encyclopedia",
    year = "2018",
    url = "https://en.wikipedia.org/w/index.php?title=Cone_(category_theory)&oldid=827711162",
    note = "[Online; accessed 10-November-2018]"
  }

@misc{stanford:linear_logic,
	author       =	{Di Cosmo, Roberto and Miller, Dale},
	title        =	{Linear Logic},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	url          =	{https://plato.stanford.edu/archives/win2016/entries/logic-linear/},
	year         =	{2016},
	edition      =	{Winter 2016},
	publisher    =	{Metaphysics Research Lab, Stanford University}
}

@misc{github:galois_ivanmurashko,
  author = {Ivan Murashko},
  title = {Lectures notes in Introduction to Galois Theory by
  Ekaterina Amerik},
  year = {2016-2019},
  publisher = {GitHub},
  journal = {GitHub repository},
  url = {https://github.com/ivanmurashko/courseragalois}
}


@misc{github:cattheory_ivanmurashko,
  author = {Ivan Murashko},
  title = {Category Theory by Example},
  year = {2018},
  publisher = {GitHub},
  journal = {GitHub repository},
  url = {https://github.com/ivanmurashko/articles/tree/master/cattheory}
}

@misc{github:cattheory_cpp_examples,
  author = {{Ivan Murashko}, {Alexey Radkov}, {Marat Minshin}},
  title = {C++ examples for Category Theory by Example book},
  year = {2018},
  publisher = {GitHub},
  journal = {GitHub repository},
  url = {https://github.com/CatTheoryByExample/cpp-examples}
}

@misc{github:cattheory_scala_examples,
  author = {{Ivan Murashko}, {Alexey Radkov}, {Marat Minshin}},
  title = {Scala examples for Category Theory by Example book},
  year = {2018},
  publisher = {GitHub},
  journal = {GitHub repository},
  url = {https://github.com/CatTheoryByExample/scala-examples}
}

@misc{github:cattheory_hs_examples,
  author = {{Ivan Murashko}, {Alexey Radkov}, {Marat Minshin}},
  title = {Haskell examples for Category Theory by Example book},
  year = {2018},
  publisher = {GitHub},
  journal = {GitHub repository},
  url = {https://github.com/CatTheoryByExample/hs-examples}
}


@book{bib:quantum_optics_mine,
 title={{Квантовая оптика}},
  author={{Мурашко И. В.}},
  url={https://github.com/ivanmurashko/lectures/blob/master/pdfs/qo.pdf},
  year={2018}
}

@misc{ wiki:distributive_category,
    author = "{Wikipedia contributors}",
    title = "Distributive category --- {Wikipedia}{,} The Free Encyclopedia",
    year = "2018",
    url = "https://en.wikipedia.org/w/index.php?title=Distributive_category&oldid=851490594",
    note = "[Online; accessed 14-October-2018]"
  }

@misc{bib:whatisaproof,    
    title = {What is a Proof?},
    author = {Tom Leighton and Ronitt Rubinfeld},
    url = {http://web.mit.edu/neboat/Public/6.042/proofs.pdf}}


@misc{bib:studycom:truefalse,    
    title = {Writing and Classifying True, False and Open Statements in Math},
    author = {Michael Quist},
    url = {https://study.com/academy/lesson/writing-and-classifying-true-false-and-open-statements-in-math.html}}


@misc{bib:stackexchange:terminalinmonoid,    
    title = {Is the identity functor the terminal object of the category of endofunctors on $C$?},
    author = {Qiaochu Yuan (https://math.stackexchange.com/users/232/qiaochu-yuan)},
    howpublished = {Mathematics Stack Exchange},
    note = {URL:https://math.stackexchange.com/q/6318 (version: 2010-10-08)},
    eprint = {https://math.stackexchange.com/q/6318},
    url = {https://math.stackexchange.com/q/6318}}

@article{bib:Moggi91,
  author    = {Eugenio Moggi},
  title     = {Notions of Computation and Monads},
  journal   = {Inf. Comput.},
  volume    = {93},
  number    = {1},
  pages     = {55--92},
  year      = {1991},
  url       = {http://fsl.cs.illinois.edu/pubs/moggi-1991-ic.pdf}
}

@book{bib:maclane98,
  title={Categories for the Working Mathematician},
  author={Lane, S.M.},
  isbn={9780387984032},
  lccn={97045229},
  series={Graduate Texts in Mathematics},
  url={https://books.google.ru/books?id=eBvhyc4z8HQC},
  year={1998},
  publisher={Springer New York}
}


@misc{nlab:whiskering,
  author = {nLab authors},
  title = {whiskering},
  howpublished = {http://ncatlab.org/nlab/show/whiskering},
  note = {Revision 11},
  month = {sep},
  year = {2018}
}

@misc{ wiki:russell_paradox,
    author = "{Wikipedia contributors}",
    title = "Russell's paradox --- {Wikipedia}{,} The Free Encyclopedia",
    year = "2018",
    url = "https://en.wikipedia.org/w/index.php?title=Russell\%27s_paradox&oldid=852430810",
    note = "[Online; accessed 29-July-2018]"
  }

@misc{ wiki:zfc,
    author = "{Wikipedia contributors}",
    title = "Zermelo–Fraenkel set theory --- {Wikipedia}{,} The Free Encyclopedia",
    year = "2018",
    url = "https://en.wikipedia.org/w/index.php?title=Zermelo\%E2\%80\%93Fraenkel_set_theory&oldid=852467638",
    note = "[Online; accessed 29-July-2018]"
  }

@article{bib:arxiv:Bob_Coecke_2008,
  title={Introducing categories to the practicing physicist},
  author={Bob Coecke},
  url={https://arxiv.org/abs/0808.1032},
  year={2008}
}


@misc {bib:stackexchange:morphism:equality,
    title = {How should I think about morphism equality?},
    author = {David Myers (https://math.stackexchange.com/users/142355/david-myers)},
    howpublished = {Mathematics Stack Exchange},
    note = {URL:https://math.stackexchange.com/q/1346167 (version: 2015-07-01)},
    eprint = {https://math.stackexchange.com/q/1346167},
    url = {https://math.stackexchange.com/q/1346167}
}


@article{bib:proofwiki:Empty_Mapping_is_Unique,
  title={Empty Mapping is Unique},
  author={ProofWiki},
  url={https://proofwiki.org/wiki/Empty_Mapping_is_Unique},
  year={2018}
}


@article{bib:proofwiki:Injection_iff_Monomorphism_in_Category_of_Sets,
  title={Injection iff Monomorphism in Category of Sets},
  author={ProofWiki},
  url={https://proofwiki.org/wiki/Injection_iff_Monomorphism_in_Category_of_Sets},
  year={2018}
}

@article{bib:proofwiki:Surjection_iff_Epimorphism_in_Category_of_Sets,
  title={Surjection iff Epimorphism in Category of Sets},
  author={ProofWiki},
  url={https://proofwiki.org/wiki/Surjection_iff_Epimorphism_in_Category_of_Sets},
  year={2018}
}


@book{bib:milewski2018category,
  title={Category Theory for Programmers},
  author={Milewski, B.},
  url={https://github.com/hmemcpy/milewski-ctfp-pdf/releases/download/v0.7.0/category-theory-for-programmers.pdf},
  year={2018},
  publisher={Bartosz Milewski}
}

@article{bib:KeithConradFiniteFields,
  title = {Finite Fields},
  author = {Keith Conrad},
  url = {http://www.math.uconn.edu/~kconrad/blurbs/galoistheory/finitefields.pdf}
}

@article{bib:KeithConradTensorProduct1,
  title = {Tensor Poroducts},
  author = {Keith Conrad},
  url = {http://www.math.uconn.edu/~kconrad/blurbs/linmultialg/tensorprod.pdf}
}

@article{bib:KeithConradSeparability2,
  title = {Separability II},
  author = {Keith Conrad},
  url = {http://www.math.uconn.edu/~kconrad/blurbs/galoistheory/separable2.pdf}
}

@article{bib:KeithConradTraceNorm2,
  title = {Trace and Norm II},
  author = {Keith Conrad},
  url = {http://www.math.uconn.edu/~kconrad/blurbs/galoistheory/tracenorm2.pdf}
}

@article{bib:KenBrownPrimitiveElementTheorem,
  title = {The Primitive Element Theorem},
  author = {Ken Brown},
  url = {http://www.math.cornell.edu/~kbrown/6310/primitive.pdf}
}


@misc{ wiki:maxideal,
   author = "Wikipedia",
   title = "Maximal ideal --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Maximal_ideal&oldid=704326783",
   note = "[Online; accessed 29-July-2016]"
 }

@misc{ wiki:nilpotent,
   author = "Wikipedia",
   title = "Nilpotent --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Nilpotent&oldid=727125150",
   note = "[Online; accessed 29-July-2016]"
 }

@book{ribenboim2001classical,
  title={Classical Theory of Algebraic Numbers},
  author={Ribenboim, P.},
  isbn={9780387950709},
  lccn={00040044},
  series={Universitext},
  url={https://books.google.ru/books?id=u5443xdaNZcC},
  year={2001},
  publisher={Springer New York}
}

 @misc{ wiki:groupaction,
   author = "Wikipedia",
   title = "Group action --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Group_action&oldid=735249701",
   note = "[Online; accessed 28-August-2016]"
 }

 @misc{ mathworld:groupfixedpoint,
   author = "Rowland, Todd",
   title = "Group Fixed Point.", 
   year = "2016",
   url = "http://mathworld.wolfram.com/GroupFixedPoint.html",
   note = "From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. "
 }

 @misc{ wiki:normalsubgroup,
   author = "Wikipedia",
   title = "Normal subgroup --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Normal_subgroup&oldid=737429252",
   note = "[Online; accessed 9-September-2016]"
 }

 @misc{ wiki:eulerfunction,
   author = "Wikipedia",
   title = "Euler's totient function --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Euler\%27s_totient_function&oldid=736552571",
   note = "[Online; accessed 14-September-2016]"
 }

 @misc{ wiki:multiplicativegroup,
   author = "Wikipedia",
   title = "Multiplicative group of integers modulo n --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Multiplicative_group_of_integers_modulo_n&oldid=739054442",
   note = "[Online; accessed 20-September-2016]"
 }

 @misc{ wiki:simpleextension,
   author = "Wikipedia",
   title = "Simple extension --- Wikipedia{,} The Free Encyclopedia",
   year = "2014",
   url = "https://en.wikipedia.org/w/index.php?title=Simple_extension&oldid=595508851",
   note = "[Online; accessed 20-September-2016]"
 }

 @misc{ wiki:group,
   author = "Wikipedia",
   title = "Subgroup --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Subgroup&oldid=737399477",
   note = "[Online; accessed 23-September-2016]"
 }

 @misc{ wiki:linearmap,
   author = "Wikipedia",
   title = "Linear map --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Linear_map&oldid=740065546",
   note = "[Online; accessed 24-September-2016]"
 }

 @misc{ wiki:rank,
   author = "Wikipedia",
   title = "Rank (linear algebra) --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Rank_(linear_algebra)&oldid=739885289",
   note = "[Online; accessed 24-September-2016]"
 }

 @misc{ wiki:kernel,
   author = "Wikipedia",
   title = "Kernel (linear algebra) --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Kernel_(linear_algebra)&oldid=735290769",
   note = "[Online; accessed 24-September-2016]"
 }

 @misc{ wiki:directsum,
   author = "Wikipedia",
   title = "Direct sum --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Direct_sum&oldid=738351383",
   note = "[Online; accessed 24-September-2016]"
 }

 @misc{ wiki:directsummodules,
   author = "Wikipedia",
   title = "Direct sum of modules --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Direct_sum_of_modules&oldid=730018916",
   note = "[Online; accessed 25-September-2016]"
 }

@misc{ wiki:quotientgroup,
   author = "Wikipedia",
   title = "Quotient group --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Quotient_group&oldid=726415849",
   note = "[Online; accessed 27-September-2016]"
 }

 @misc{ wiki:alteringgroup,
   author = "Wikipedia",
   title = "Alternating group --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Alternating_group&oldid=736689793",
   note = "[Online; accessed 27-September-2016]"
 }

@misc{ wiki:permutationgroups,
   author = "Wikibooks",
   title = "Abstract Algebra/Group Theory/Permutation groups --- Wikibooks{,} The Free Textbook Project",
   year = "2016",
   url = "https://en.wikibooks.org/w/index.php?title=Abstract_Algebra/Group_Theory/Permutation_groups&oldid=3070727",
   note = "[Online; accessed 27-September-2016]"
 }

 @misc{ wiki:paritypermutation,
   author = "Wikipedia",
   title = "Parity of a permutation --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Parity_of_a_permutation&oldid=736707840",
   note = "[Online; accessed 28-September-2016]"
 }

 @misc{ wiki:commutator,
   author = "Wikipedia",
   title = "Commutator --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Commutator&oldid=740207690",
   note = "[Online; accessed 30-September-2016]"
 }

@misc{ wiki:commutatorsubgroup,
   author = "Wikipedia",
   title = "Commutator subgroup --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Commutator_subgroup&oldid=737371946",
   note = "[Online; accessed 30-September-2016]"
 }

@misc{ wiki:sylow,
   author = "Wikipedia",
   title = "Sylow theorems --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Sylow_theorems&oldid=735518140",
   note = "[Online; accessed 1-October-2016]"
 }

 @misc{ wiki:glg,
   author = "Wikipedia",
   title = "General linear group --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=General_linear_group&oldid=738480571",
   note = "[Online; accessed 2-October-2016]"
 }
 @misc{ wiki:endomorphism,
   author = "Wikipedia",
   title = "Endomorphism --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Endomorphism&oldid=726230579",
   note = "[Online; accessed 2-October-2016]"
 }

 @misc{ wiki:gsmodule,
   author = "Wikipedia",
   title = "Generating set of a module --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Generating_set_of_a_module&oldid=732648521",
   note = "[Online; accessed 5-October-2016]"
 }

 @misc{ wiki:fgmodule,
   author = "Wikipedia",
   title = "Finitely generated module --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Finitely_generated_module&oldid=735554374",
   note = "[Online; accessed 5-October-2016]"
 }

 @misc{ wiki:fractionfield,
   author = "Wikipedia",
   title = "Field of fractions --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Field_of_fractions&oldid=720271734",
   note = "[Online; accessed 5-October-2016]"
 }

@misc{ wiki:freemodule,
   author = "Wikipedia",
   title = "Free module --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Free_module&oldid=699002213",
   note = "[Online; accessed 9-January-2016]"
 }

 @misc{ wiki:fgagroup,
   author = "Wikipedia",
   title = "Finitely generated abelian group --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Finitely_generated_abelian_group&oldid=723506843",
   note = "[Online; accessed 3-June-2016]"
 }

 @misc{ wiki:dbf,
   author = "Wikipedia",
   title = "Degenerate bilinear form --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Degenerate_bilinear_form&oldid=738751020",
   note = "[Online; accessed 10-September-2016]"
 }

 @misc{ wiki:dualspace,
   author = "Wikipedia",
   title = "Dual space --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Dual_space&oldid=742901318",
   note = "[Online; accessed 6-October-2016]"
 }

 @misc{ wiki:localring,
   author = "Wikipedia",
   title = "Local ring --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Local_ring&oldid=716779040",
   note = "[Online; accessed 23-April-2016]"
 }

@article{bib:KeithConradLinearchar,
  title = {Linear independence of characters},
  author = {Keith Conrad},
  url = {http://www.math.uconn.edu/~kconrad/blurbs/galoistheory/linearchar.pdf}
}

@misc{ wiki:normalextrus,
  author = {Wikipedia},
  title = {{"Нормальное расширение --- Википедия{,} свободная энциклопедия"}},
  year = "2014",
  url = "http://ru.wikipedia.org/?oldid=65922374",
}

 @misc{ wiki:abeliangroup,
   author = "Wikipedia",
   title = "Abelian group --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Abelian_group&oldid=763791116",
   note = "[Online; accessed 5-February-2017]"
 }

@misc{ wiki:finitegroup,
   author = "Wikipedia",
   title = "Finite group --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Finite_group&oldid=759713845",
   note = "[Online; accessed 5-February-2017]"
 }

@misc {mathstackexchange:discriminant3,
    title = {Using Vieta's theorem for cubic equations to derive the cubic discriminant},
    author = {Qiaochu Yuan},
    publisher = {Mathematics Stack Exchange},
    note = {URL:http://math.stackexchange.com/q/103504 (version: 2012-01-29)},
    eprint = {http://math.stackexchange.com/q/103504},
    url = {http://math.stackexchange.com/q/103504}
}

 @misc{ wiki:klein4group,
   author = "Wikipedia",
   title = "Klein four-group --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Klein_four-group&oldid=759017274",
   note = "[Online; accessed 9-February-2017]"
 }

@misc{ wiki:subgroups_of_cyclic_groups,
   author = "Wikipedia",
   title = "Subgroups of cyclic groups --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Subgroups_of_cyclic_groups&oldid=744131880",
   note = "[Online; accessed 10-February-2017]"
 }

@misc{ wiki:diagonalizable_matrix,
   author = "Wikipedia",
   title = "Diagonalizable matrix --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Diagonalizable_matrix&oldid=764159566",
   note = "[Online; accessed 10-February-2017]"
 }

@misc{ wiki:eigenvalues,
   author = "Wikipedia",
   title = "Eigenvalues and eigenvectors --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Eigenvalues_and_eigenvectors&oldid=764288456",
   note = "[Online; accessed 10-February-2017]"
 }

 @misc{ wiki:ranknullity,
   author = "Wikipedia",
   title = "Rank–nullity theorem --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Rank\%E2\%80\%93nullity_theorem&oldid=730054227",
   note = "[Online; accessed 15-February-2017]"
 }

@misc{ wiki:directproduct,
   author = "Wikipedia",
   title = "Direct product of groups --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Direct_product_of_groups&oldid=723991376",
   note = "[Online; accessed 19-February-2017]"
 }

@book{book:kostrikin,
  title={{Введение в алгебру. ч. 3. Основные структуры алгебры}},
  author={{Кострикин А. И.}},
  isbn={978-5-94057-886-4},
  year={2012},
  publisher={{МЦНМО, Москва}}
}

@misc{ wiki:simplegroup,
   author = "Wikipedia",
   title = "Simple group --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Simple_group&oldid=709515196",
   note = "[Online; accessed 1-March-2017]"
 }

 @misc{ wiki:correspondence,
   author = "Wikipedia",
   title = "Correspondence theorem (group theory) --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Correspondence_theorem_(group_theory)&oldid=744531320",
   note = "[Online; accessed 2-March-2017]"
 }

 @misc{ wiki:grouphomomorphism,
   author = "Wikipedia",
   title = "Group homomorphism --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Group_homomorphism&oldid=737886552",
   note = "[Online; accessed 4-March-2017]"
 }

@MISC {mathstackexchange:sn,
    TITLE = {Why is $S_5$ generated by any combination of a transposition and a 5-cycle?},
    AUTHOR = {Alexander Gruber},
    HOWPUBLISHED = {Mathematics Stack Exchange},
    NOTE = {URL:http://math.stackexchange.com/q/357673 (version: 2013-05-11)},
    EPRINT = {http://math.stackexchange.com/q/357673},
    URL = {http://math.stackexchange.com/q/357673}
}

 @misc{ wiki:cyclicpermutation,
   author = "Wikipedia",
   title = "Cyclic permutation --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Cyclic_permutation&oldid=755419947",
   note = "[Online; accessed 6-March-2017]"
 }

 @misc{ wiki:cyclicmodule,
   author = "Wikipedia",
   title = "Cyclic module --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Cyclic_module&oldid=752351296",
   note = "[Online; accessed 13-March-2017]"
 }

 @misc{ groupwiki:generalaffinegroup,
   author = "Groupwiki",
   title = {"General affine group: $GA(1,5)$"},
   year = "2017",
   url = "https://groupprops.subwiki.org/w/index.php?title=General_affine_group:GA(1,5)&oldid=45747",
   note = "[Online; accessed 15-March-2017]"
 }

 @misc{ groupwiki:s5structure,
   author = "Groupwiki",
   title = {"Subgroup structure of symmetric group:$S_5$"},
   year = "2017",
   url = "https://groupprops.subwiki.org/w/index.php?title=Subgroup_structure_of_symmetric_group:S5&oldid=49180",
   note = "[Online; accessed 15-March-2017]"
 }

@book{bib:lang,
  author    = {Serge Lang},
  title     = {Algebra},
  publisher = {Springer Science and Business Media},
  edition   = {3},
  year      = {2002},
  isbn      = {978-1-4613-0041-0},
  series    = {Graduate Texts in Mathematics},
  url       = "https://books.google.ru/books?id=eOUlBQAAQBAJ"
}

@misc{ wiki:primeideal,
   author = "Wikipedia",
   title = "Prime ideal --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Prime_ideal&oldid=763442154",
   note = "[Online; accessed 29-March-2017]"
 }

@MISC {mathstackexchange:cyclicmodule,
    TITLE = {Isomorphism and cyclic modules},
    AUTHOR = {Kyle Miller},
    HOWPUBLISHED = {Mathematics Stack Exchange},
    NOTE = {URL:http://math.stackexchange.com/q/1003598 (version: 2014-11-03)},
    EPRINT = {http://math.stackexchange.com/q/1003598},
    URL = {http://math.stackexchange.com/q/1003598}
}

 @misc{ wiki:dualbasis,
   author = "Wikipedia",
   title = "Dual basis --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Dual_basis&oldid=748729591",
   note = "[Online; accessed 1-April-2017]"
 }

 @misc{ wiki:adjugatematrix,
   author = "Wikipedia",
   title = "Adjugate matrix --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Adjugate_matrix&oldid=765833302",
   note = "[Online; accessed 3-April-2017]"
 }

@MISC {mathstackexchange:tensorproduct,
    TITLE = {Tensor product of Galois extension and algebraic closure},
    AUTHOR = {Starfall (http://math.stackexchange.com/users/326053/starfall)},
    HOWPUBLISHED = {Mathematics Stack Exchange},
    NOTE = {URL:http://math.stackexchange.com/q/2217402 (version: 2017-04-04)},
    EPRINT = {http://math.stackexchange.com/q/2217402},
    URL = {http://math.stackexchange.com/q/2217402}
}

 @misc{ wiki:disjointunion,
   author = "Wikipedia",
   title = "Disjoint union --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Disjoint_union&oldid=774047863",
   note = "[Online; accessed 13-April-2017]"
 }

@MISC {mathstackexchange:cyclicgroupssubgroup,
    TITLE = {Subgroups of a cyclic group and their order.},
    AUTHOR = {user58289},
    HOWPUBLISHED = {Mathematics Stack Exchange},
    NOTE = {URL:https://math.stackexchange.com/q/410389 (version: 2013-07-27)},
    EPRINT = {https://math.stackexchange.com/q/410389},
    URL = {https://math.stackexchange.com/q/410389}
}

@MISC {url:gap,
    TITLE = {GAP - Groups, Algorithms, Programming -
a System for Computational Discrete Algebra},
    URL = {https://www.gap-system.org/}
}

@article{bib:gap,
  title = {GAP - Reference Manual},
  url = {https://www.gap-system.org/Manuals/doc/ref/chap0.html}
}

@misc{ proofwiki:fieldhomomorphism,
   author = "ProofWiki",
   title = "Definition: Field Homomorphism",
   year = "2017",
   url = "https://proofwiki.org/w/index.php?title=Definition:Field_Homomorphism&oldid=283682",
   note = "[Online; accessed 18-June-2017]"
 }

@book{bib:baker,
  author    = {Andrew Baker},
  title     = {An introduction to Galois theory},
  year      = {2013},
  url       = "http://www.maths.gla.ac.uk/~ajb"
}