Let \(C_3=\langle g\mid g^3=1\rangle \). Sending \(g\) to \(x\) gives \[ \mathbb {R}[C_3]\cong \mathbb {R}[x]/(x^3-1). \] Over the real numbers, \[ x^3-1=(x-1)(x^2+x+1), \] and the two factors are coprime. The Chinese remainder theorem and the identification \(\mathbb {R}[x]/(x^2+x+1)\cong \mathbb {C}\) therefore give \[ \mathbb {R}[C_3]\cong \mathbb {R}\times \mathbb {C}. \]

More concretely, if \(\zeta \) is a primitive complex cube root of unity, the isomorphism is \[ a+bg+cg^2\longmapsto \bigl (a+b+c,\ a+b\zeta +c\zeta ^2\bigr ). \] The two factors can be read in three compatible ways: \[ \begin {array}{c|c|c} \text {factor of }x^3-1& \text {real algebra block}& \text {real representation}\\ \hline x-1&\mathbb {R}&\text {trivial line}\\ x^2+x+1&\mathbb {C}&\text {rotation plane}. \end {array} \] The rotation plane is the linearization of the nontrivial part of the regular Group Action. More explicitly, the generator cyclically permutes the basis \(1,g,g^2\). The averaging element \[ e_0=\frac {1+g+g^2}{3} \] projects onto the fixed line \(\mathbb {R}(1+g+g^2)\), while its complementary kernel is the augmentation plane \[ \{a+bg+cg^2:a+b+c=0\}. \] Orbits, freeness, and transitivity belong to the action; the projector and invariant subspaces appear only after linearization.

Since the spectrum of a product is the disjoint union of the spectra, \[ \operatorname {Spec}\mathbb {R}[C_3] \cong \operatorname {Spec}\mathbb {R} \sqcup \operatorname {Spec}\mathbb {C}. \] This is a useful commutative picture. It is not yet a reason to introduce a topos, and it does not extend without choices to noncommutative Group Algebras.

The quaternion group \(Q_8\) has a real Group Algebra decomposition \[ \mathbb {R}[Q_8]\cong \mathbb {R}^4\times \mathbb {H}. \] This can be seen directly from the concrete copy \(Q_8\subset \mathbb {H}^{\times }\) in the quaternion group inside Hamilton's Quaternions, rather than assumed from a classification theorem.

Let \(u_q\) denote the basis element of the Group Algebra indexed by \(q\in Q_8\), and write a general element as \(x=\sum _{q\in Q_8}a_qu_q\). The four characters of \(Q_8/\{\pm 1\}\cong C_2\times C_2\) and the quaternionic map \(u_q\mapsto q\) combine to an algebra homomorphism \[ \Phi :\mathbb {R}[Q_8]\longrightarrow \mathbb {R}^4\times \mathbb {H}. \] For \(q\in \{1,i,j,k\}\), put \(s_q=a_q+a_{-q}\) and \(d_q=a_q-a_{-q}\). The quaternion coordinate of \(\Phi \) recovers \[ d_1+d_i i+d_j j+d_k k. \] The four real coordinates recover the Hadamard transform \[ s_1+\epsilon s_i+\delta s_j+\epsilon \delta s_k, \qquad \epsilon ,\delta \in \{\pm 1\}. \] The Hadamard matrix is invertible, so these four values recover every \(s_q\). Together with the four differences, they recover every coefficient. Thus \(\Phi \) has zero kernel. Both sides have real dimension 8, so \(\Phi \) is an isomorphism. The quaternionic realization and multiplication used here are developed in Hamilton's Quaternions and [voight2021quaternion, sec. 11.2, p. 166].

Taking centers now gives \[ Z\bigl (\mathbb {R}[Q_8]\bigr ) \cong Z\bigl (\mathbb {R}^4\times \mathbb {H}\bigr ) \cong \mathbb {R}^5. \] The comparison is: \[ \begin {array}{c|c|c} \text {object}&\text {retained data}&\text {forgotten data}\\ \hline \mathbb {R}[Q_8]&4\mathbb {R}\text { and }\mathbb {H}&\text {none here}\\ Z(\mathbb {R}[Q_8])&\text {five central factors}& \mathbb {H}\text { and block size or type}. \end {array} \] For a real-centered simple block, the center alone cannot distinguish matrix size or real from quaternionic type. A complex block still has complex center. Hence \(\operatorname {Spec}Z(\mathbb {R}[Q_8])\) is a selected commutative shadow, not a lossless localization of the noncommutative algebra.

Let \(C_2=\{1,s\}\) act on \(X=\{-1,0,1\}\) by \(s\mathbin {\cdot }x=-x\). The action groupoid \(C_2\ltimes X\) has the points of \(X\) as objects and an arrow \((h,x):x\to h\mathbin {\cdot }x\) for every \(h\in C_2\). Omitting identity arrows, its shape is

The coarse quotient remembers only the two orbits:

The retained information is already the isotropy arrow in the action groupoid. Passing to its presheaf category organizes families of such data, but does not create that arrow. This test supports the groupoid bridge and does not, by itself, admit a topos layer.

Let \(G\) be a group object in a topos \(\mathcal {E}\). A left \(G\)-object \(T\) is a torsor when \(T\to 1\) is an epimorphism and \[ (\mu ,\pi _2):G\times T\longrightarrow T\times T, \qquad (g,t)\longmapsto (g\mathbin {\cdot }t,t) \] is an isomorphism. The second condition is the internal form of freeness and transitivity. See [maclane1992sheaves, sec. VIII.2, pp. 429--430].

For an ordinary group \(G\), write \[ \mathsf {B}G=\mathsf {Set}^{BG^{\mathrm {op}}} \] for the topos of right \(G\)-sets, regarded as presheafs on the one-object category \(BG\). Its universal torsor \(U_G\) has underlying right \(G\)-set \(G\) with regular right multiplication. The constant group object \(\underline {G}\), whose right \(G\)-action is trivial, acts on \(U_G\) by left multiplication. This supplies the torsor action; the left and right actions commute.

For \(C_2\), the regular left action is a torsor in \(\mathsf {Set}\): \[ C_2\times C_2\longrightarrow C_2\times C_2, \qquad (g,h)\longmapsto (gh,h) \] is a bijection. The trivial action on a 2-point set \(D\), despite \(D\to 1\) being onto, is not a torsor. Its corresponding map sends \((g,d)\) to \((d,d)\), so it is neither injective nor surjective. Inhabitation and cardinality alone do not supply a torsor.

Let \(G\) be a group and \(\mathcal {E}\) a topos over \(\mathsf {Set}\). There is a natural equivalence \[ \operatorname {Geom}_{/\mathsf {Set}}(\mathcal {E},\mathsf {B}G) \simeq \operatorname {Tor}(\mathcal {E},G) \] between geometric morphisms over \(\mathsf {Set}\) to \(\mathsf {B}G\) and \(G\)-torsors in \(\mathcal {E}\). Under this equivalence, a geometric morphism \[ f:\mathcal {E}\longrightarrow \mathsf {B}G \] classifies the torsor \(f^*U_G\).

This is Theorem VIII.2.7 of [maclane1992sheaves]; its theorem and proof are on printed pp. 431--433.

The two directions are visible in the diagram

For a single finite action, freeness and transitivity can be checked without topoi. The added value here is one universal object classifying torsors in every topos over \(\mathsf {Set}\) and carrying them along inverse image.

For a geometric morphism \[ f:\mathcal {E}\longrightarrow \mathcal {F}, \] we write \[ f^*:\mathcal {F}\longrightarrow \mathcal {E}, \qquad f_*:\mathcal {E}\longrightarrow \mathcal {F}, \qquad f^*\dashv f_*. \] Thus the morphism and its inverse-image functor point in opposite directions. The functor \(f^*\) preserves finite limits.

Two examples fix the convention: \[ \begin {array}{c|c|c} \text {input map}&\text {geometric morphism}&\text {inverse image}\\ \hline i:\{x\}\hookrightarrow X& \mathsf {Set}\to \mathsf {Sh}(X)& i^*F=F_x=\displaystyle \varinjlim _{x\in U}F(U)\\[3pt] \varphi :H\to G& \mathsf {B}H\to \mathsf {B}G& \operatorname {Res}^G_H:\mathsf {B}G\to \mathsf {B}H. \end {array} \] In the first row, the stalk is the filtered colimit of all neighborhood sections, not the value on one chosen neighborhood.

Mac Lane and Moerdijk construct inverse-image sheaves through pulled-back étale spaces in [maclane1992sheaves, sec. II.9], especially printed pp. 99--101.

In the second row, right actions are presheaves. Precomposition with \(B\varphi ^{\mathrm {op}}\) is restriction of actions. It has both Kan-extension adjoints, so it is the inverse-image part of the displayed geometric morphism. The homomorphism and geometric morphism point from \(H\) to \(G\); restriction points from \(G\)-objects to \(H\)-objects.

Work in \(\mathsf {B}C_2\), the topos of right \(C_2\)-sets, and let \(U=C_2\) carry the regular right action. The unique equivariant map \(U\to 1\) is an epimorphism because its underlying function is surjective. In the internal language, this says that \(U\) is inhabited. Internal Group Actions are developed in [maclane1992sheaves, sec. V.2, pp. 237--240].

A global element would be an equivariant map \(1\to U\). Its value would have to satisfy \(u\mathbin {\cdot }s=u\), but the regular action has no fixed point. Hence \[ \operatorname {Hom}_{\mathsf {B}C_2}(1,U)=\varnothing . \] The two external tests are: \[ \begin {array}{c|c} \text {internal statement}&\text {external test}\\ \hline U\text { is inhabited}&U\to 1\text { is epi}\\ U\text { has a global point}&U^{C_2}\neq \varnothing . \end {array} \]

More generally, for a nontrivial group \(G\), the regular right \(G\)-object \(U_G=G\) satisfies \[ U_G\to 1\text { is epi}, \qquad \Gamma (U_G)=U_G^G=\varnothing . \] Indeed, if \(xg=x\) for every \(g\), cancellation forces every \(g\) to be \(1\). Internal existence is therefore generalized or local existence; it does not choose a global invariant element. This distinction is not a physical existence claim.

The finite tests separate calculations that merely take place in a topos from calculations that use topos-level structure: \[ \begin {array}{c|c|c|c} \text {test}&\text {lower level}&\text {topos value}&\text {verdict}\\ \hline C_3\text { action}&\text {linear action}&\text {none}&\text {fail}\\ C_2\ltimes X&\text {isotropy}&\text {none}&\text {fail}\\ C_2\text { torsor}&\text {free/transitive}&\text {classification}&\text {conditional}\\ \text {context}&\text {pullback/restriction}&\text {inverse image}&\text {conditional}\\ U_G&\text {no fixed point}&\text {internal inhabitation}&\text {strict}. \end {array} \]

Topoi enter these notes only when a result uses universal torsor classification, organizes several constructions as inverse image or base change, or relies on internal reasoning that differs from global sections. Ordinary Group Actions, Group Algebra calculations, and action groupoids stay below that layer.

This boundary also excludes several stronger claims. The spectrum of a center is not the original noncommutative Group Algebra. The action-groupoid example does not require a quotient stack. No site, descent theorem, or physical correspondence has been supplied by these finite tests. Each of those would need its own mathematical construction before extending the present layer.