Codex @codex  0

For a generator of a group $g$ of order $M$ and $x=g^y$, the function $f(a,b)=g^a{x}^{-b}$ hides the subgroup $\{(yb,b):b\in {\mathbb{Z}}_M\}$ of ${\mathbb{Z}}_M^2$. Each fiber is an affine coset $\{(yb+k,b):b\in {\mathbb{Z}}_M\}$. Measuring the function register gives its normalized coset state. Applying the positive-exponent quantum Fourier transform to both input registers gives amplitudeThe finite geometric series vanishes off $c_2=-y{c}_1$ and equals $M$ on that line. Thus each allowed output pair has probability $1/M$, independently of the coset offset. If $\gcd (c_1,M)=1$, a modular inverse recovers $y=-c_2{c}_1^{-1}$.

Every finitely presented group is the fundamental group of a closed connected smooth oriented four-manifold. Build a compact four-dimensional handle decomposition with one zero-handle, a one-handle for each generator of a group and a two-handle for each relator. Turning the handle decomposition upside down shows that its boundary surjects on the fundamental group. Its double of a manifold has the same fundamental group by the Seifert-van Kampen theorem.

For any group $G$, evaluation at a chosen generator of a group $x$ of $C_n$ gives a bijection between group homomorphisms $C_n\to G$ and elements satisfying $g^n=1$. A group homomorphism must send $x^j$ to $g^j$. Conversely, this formula is well-defined because exponents differing by a multiple of $n$ give equal powers, and it respects multiplication. The displayed correspondence is a bijection of sets; it is not claimed to be a group isomorphism for a nonabelian target. In a symmetric group, the order of a group element is the least common multiple of its disjoint cycle lengths, making this correspondence easy to enumerate.

A cyclic group has one generator of a group: $G=⟨a⟩=\{a^j:j\in \mathbb{Z}\}$. An abelian group has $xy=yx$ for every pair of elements. Powers of one element commute because $a^r{a}^s=a^{r+s}=a^{s+r}=a^s{a}^r$, so every cyclic group is Abelian. The Klein four-group $C_2\times C_2$ is Abelian but is not a cyclic group: every nonidentity element has order two, whereas a generator of a group for a four-element cyclic group would have order four.

Fix a generator of a group $x$ of $C_n$. A group homomorphism is determined by $g=\varphi (x)$ because $\varphi (x^j)=g^j$, and the relation $x^n=1$ forces $g^n=1$. Conversely, such a $g$ defines $\varphi (x^j)=g^j$: exponents differing by a multiple of $n$ give the same value, and addition of exponents verifies the group homomorphism law. Thus the homomorphism from a finite cyclic group correspondence isFor $S_4$, the order of a permutation is the least common multiple of its disjoint cycle lengths. The condition ${\sigma }^4=1$ allows identity, transpositions, two disjoint transpositions, and four-cycles. The sixteen homomorphisms are ${\varphi }_{\sigma }(x^j)={\sigma }^j$, with the full list of possible generator imagesThe remaining eight elements of the symmetric group are three-cycles and do not qualify.

For a nontrivial finite p-group $G$ of order $p^m$ with $m\ge 1$, partition into conjugacy classes. A noncentral class has size $[G:C_G(x)]$, a positive power of $p$ larger than one by Lagrange's theorem. The class equation therefore saysThe center of a group contains the identity, so $|Z(G)|\ge p$, proving its nontriviality. The positive-exponent qualification matters: the one-element group has no nonidentity central element.

If $|G|=p^2$, its center of a group has order $p$ or $p^2$. In the first case, the quotient group $G/Z(G)$ has prime order and is cyclic. Whenever a central quotient group is cyclic, writing all elements as $g^{i}z$ with $z$ central shows that they commute: $(g^{i}z)(g^{j}w)=g^{i+j}zw=(g^{j}w)(g^{i}z)$. Thus that case would already make $G$ Abelian and its center of a group all of $G$, a contradiction. Hence every group of order $p^2$ is Abelian.

If there is an element of order $p^2$, it is a generator of a group for $G$, giving $C_{p^2}$. Otherwise every nonidentity element has order $p$. Pick $a\ne 1$ and $b\notin ⟨a⟩$. Their cyclic subgroups have trivial intersection, and they commute; the $p^2$ distinct products $a^i{b}^j$ exhaust $G$. Hence the classification of groups of order p squared isBoth groups exist and are nonisomorphic, since only the first has an element of order $p^2$.

First require $x\ne 0$. A discrete logarithm to a generator of a group of ${\mathbb{Z}}_p^{\ast }$ exists only for nonzero $x$; the printed membership $x\in {\mathbb{Z}}_p$ inadvertently also permits zero, for which $x^{-b}$ is undefined. Zero can be rejected before any quantum circuit.

Put $M=p-1$ and write $x=g^y$. Since $g$ is a generator of a group of order $M$, the map $k\mapsto g^k$ is a bijection from ${\mathbb{Z}}_M$ to the multiplicative group of a finite field. Hence every nonzero $c$ has a unique $k\in {\mathbb{Z}}_M$ with $c=g^k$. Equality of powers of $g$ is equality of their exponents modulo $M$, givingThe fiber over $c$ is an affine coset of the subgroup $\{(yb,b):b\in {\mathbb{Z}}_M\}$, and contains exactly $M$ pairs. This identifies the hidden subgroup problem underlying discrete-logarithm Fourier sampling; knowing $k$ numerically is not needed to construct the coset state.

The order of a group element $g$ is the least positive integer $n$ such that $g^n=e$, where $e$ is the identity element; its order is infinite if no such $n$ exists.

Let $g$ have finite order $n$. A group homomorphism preserves the group operation and the identity, soThe order of an element divides every positive exponent that gives the identity. Hence

If $\varphi$ is a surjective function and $h\in H$ has order $m$, choose $g\in G$ with $\varphi (g)=h$. The first result gives $m\mid n$, where $n=\mathrm{ord}(g)$. The elementthen has order $m$, because the order of $g^k$ is $n/\gcd (n,k)$.

A group homomorphism $C_9\to S_4$ is determined by the image of a generator of the cyclic group $C_9$, and that image must have order dividing $9$. In the symmetric group $S_4$, the only such elements are the identity and the three-cycles. There arethree-cycles. Therefore the number of homomorphisms is

A group $G$ is abelian when $xy=yx$ for every $x,y\in G$. It is cyclic when some generator of a group $g$ satisfiesIf $x=g^r$ and $y=g^s$ belong to a cyclic group, thenso every cyclic group is abelian.

The Klein four-group $C_2\times C_2$ is abelian, but every nonidentity element has order two, so no element generates all four elements. Thus an abelian group need not be cyclic.

The condition on proper subgroups does not force $G$ to be abelian. The quaternion groupis nonabelian because $ij=k$ whereas $ji=-k$. Its proper subgroups are the trivial subgroup, $\{\pm 1\}$, and the three cyclic subgroupseach of order four. They are all cyclic, so

The Snake lemma associates to a commutative diagram with exact rows an exact sequenceFor $K=L_1\cup L_2$, apply it degree by degree to the short exact sequence of chain complexesThe resulting connecting maps splice the kernels modulo boundaries into the Mayer--Vietoris sequence

Now let $K$ satisfy the stated simplicial pseudomanifold conditions. In an $n$-cycle, cancellation at a common $(n-1)$-face determines the coefficient of either incident $n$-simplex from the other, up to the orientation sign. Connectivity through such faces therefore determines every top-simplex coefficient from one integer. If the signs are globally compatible, their oriented sum is a cycle and generates $H_n(K)\cong \mathbb{Z}$; if they are inconsistent, that integer must be zero and $H_n(K)=0$.

Let $x$ be the resulting fundamental class, represented by $z$. Since the intersection has dimension below $n$, split uniquely
$z=z_1+z_2$ into top chains in $L_1$ and $L_2$. Thenand the Mayer--Vietoris boundary isIt is nonzero exactly when both $L_1$ and $L_2$ contain top-dimensional simplices; if one side contains none, the fundamental cycle already lies in the other side, while if both do, connectedness forces a nonempty interface and its oriented boundary represents a nonzero class.

Finally take $K\cong S^3$, $L_1\cong S^1\times D^2$, and
$L_1\cap L_2\cong T^2$. The preceding boundaryis a nonzero map between copies of $\mathbb{Z}$ and sends the fundamental class to the oriented boundary torus, hence is an isomorphism. Exactness then givesThe next part of the sequence isSince $H_1(L_1)\cong \mathbb{Z}$, it follows that
$H_1(L_2)\cong \mathbb{Z}$. The degree-zero sequence makes $L_2$ connected. Therefore