diff -r fee3ed06a281 -r ba52a058942f src/HOL/Algebra/document/root.bib
--- a/src/HOL/Algebra/document/root.bib	Fri Dec 29 18:09:38 2017 +0100
+++ b/src/HOL/Algebra/document/root.bib	Fri Dec 29 19:17:52 2017 +0100
@@ -7,6 +7,13 @@
   note =	 {Also Computer Laboratory Technical Report number 473.}
 }
 
+@Misc{conrad-cyclicity,
+  author = {Keith Conrad},
+  title = {CYCLICITY OF {$(Z/(p))^x$}},
+  howpublished = {Expository paper from the author's website},
+  note = {\url{http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/cyclicFp.pdf}},
+}
+
 @Book{Jacobson:1985,
   author =	 {Nathan Jacobson},
   title = 	 {Basic Algebra I},
@@ -20,6 +27,6 @@
                   Abstract Algebra with {Isabelle HOL}},
   journal = 	 {J. Automated Reasoning},
   year = 	 1999,
-  number =	 23,
+  volume =	 23,
   pages =	 {235--264}
 }